四色定理
四色定理(よんしょくていり、Four Color Theorem)
グラフ理論だと
「平面グラフは4彩色可能である」
という言い換えができるらしい
グラフ色分け問題
Haskellでの
righ1113/4CT_Haskell: 四色定理を Haskell に移植したよ（復活）
四色定理のCoqでの証明
coq-community/fourcolor: Formal proof of the Four Color Theorem 【maintainer=@ybertot】
#Coq
#グラフ理論