四色定理をF#に移植したよ
Ruby→https://github.com/righ1113/4CT_Ruby
21/03/21 役目は果たした
20/07/12 Reduce, Discharge 二周目終了、Reduce と Discharge の deg=7 は動く
20/03/09 Reduce 二周目終了
20/02/16 Reduce, Discharge 一周目終了
19/12/27 ver1srcに移行
19/12/21 init.
四色定理(よんしょくていり/ししょくていり、英: Four color theorem)とは、
厳密ではないが日常的な直感で説明すると
「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理である。
グラフ理論でとらえると、
- 「平面グラフは4彩色可能である」
という定理になる。
(Wikipediaより)
リンクは新しいタブで開いてください。
The Four Color Theorem
Neil Robertson, Daniel P. Sanders, Paul Seymour and Robin Thomasらによる、
オリジナルの証明を改良したもの。C言語で書かれている。
本Repositoryでは、これをF#に移植することを目標にする。
link
RSSTに沿った内容のpdf。日本語。
Formal proof of the Four Color Theorem
Georges Gonthierによる、定理証明支援系Coqを用いた証明。
link
一般向けの解説書。これは良書。
link
こちらはやや専門的。
Wikiをみてね