自分、人間向いてないんで

社会不適合者の人生消化試合ブログ 生きるの向いてない

修論は四色定理(無理)

グラフ理論 (Springer‐Verlag GTMシリーズ)
 

競プロの問題見てみたけれどグラフ理論関連結構多いなと思った。そんなわけでグラフ理論の本借りてきた。学部生のときにやったけれどもう結構忘れているので。その前にPython覚えろという話だが。いや私はむしろこっちが本業だから良いのか。いずれにせよ修論を書くには勉強が足りない。まあそれ以前に単位が心配だが。

四色問題 (新潮文庫)

四色問題 (新潮文庫)

 

四色定理についてはこの本がわかりやすいかと。まあ他にもあるかもしれないけど私が大学入る前に読んだのがこれだったので。証明にコンピューターを使ったら毀誉褒貶だったという話だが教授曰くギャップを埋めればこれを機械を用いず証明できるとのこと。要するに無理ゲー。まあ何も考えず大学院まで来たらやばいところに辿り着いてしまった。もちろん挑戦する気はないです。1852年に提唱されて以来PCを使わない証明は誰も出来ていないわけだし修士の学生が取り組むような問題ではない。というか解決出来たら多分歴史に名が残るレベル。