righ1113 / 4CT_FSharp

四色定理を F# に移植したよ

4CT_FSharp

四色定理を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より）

参考文献

リンクは新しいタブで開いてください。

「RSST」

The Four Color Theorem
Neil Robertson, Daniel P. Sanders, Paul Seymour and Robin Thomasらによる、
オリジナルの証明を改良したもの。C言語で書かれている。
本Repositoryでは、これをF#に移植することを目標にする。

「四色定理の証明」 山森千絵, 指導教員：杉浦洋

link
RSSTに沿った内容のpdf。日本語。

「Coq-proof」

Formal proof of the Four Color Theorem
Georges Gonthierによる、定理証明支援系Coqを用いた証明。

「四色問題」 Robin Wilson 著, 茂木健一郎 訳

link
一般向けの解説書。これは良書。

「四色問題 どう解かれ何をもたらしたのか」 一松信 著

link
こちらはやや専門的。

証明&プログラムの説明

Wikiをみてね