No.1
600
1
25pt
http://www.hatena.ne.jp/1089384586#
四色問題は1976年に当時のコンピュータで二千数百時間をかけて力ずくで証明されましたが、その後のコンピュータによる証明の追試やアルゴリズムの改良、または実行時間の短.. - 人力検索はてな
Kenneth Appel and Wolfgang Haken以降に
発表されたもしくは改良された
四色問題の解法．
専門ではないので，内容までは理解できませんでした．
Robertson, Sanders, Seymour, Thomas, The four-color theorem
http://www.ams.org/journal-getitem?pii=S1079-6762-96-00003-0
Electronic Research Announcements
http://citeseer.ist.psu.edu/kainen00octonion.html
An Octonion Model for Physics - Kainen (ResearchIndex)
http://citeseer.ist.psu.edu/bar-natan99lie.html
Lie Algebras And The Four Color Theorem (ResearchIndex)
http://citeseer.ist.psu.edu/515365.html
Temperley-Lieb Algebras And The Four-Color Theorem - Kauffman, Thomas (ResearchIndex)
以上は四色問題に関するちゃんとした論文です．
で，ここからは日本語のサイト
トンデモ理論の可能性もありますが，
私にはわかりませんので，
もし，お気に召しませんでしたらポイントは結構です．上記リンクも含めて．
四色問題の簡明な解決
四色問題を解く
ニューラルネットワークで解く4色問題。
同上？？
http://www.math.tohoku.ac.jp/~kuroki/SB/#Gardner
スペンサー・ブラウンなんていらない
スペンサー・ブラウンのトンデモ説？？
No.2
170
20pt
既出のサイトの通り、1996年にNeil Robertson、 Daniel Sanders、 Paul Seymour、 Robin Thomasによって改良され、
調べる必要のあるパターンが1,936(1,476)から633に減ったようです。
http://perso.wanadoo.fr/jean-paul.davalan/liens/liens_4colors.ht...
bookmarks four colors
リンク集。
プログラムは見つけられませんでした。
http://www.geocities.com/dharwadker/
Four Colour Theorem
2000年にAshay Dharwadkerにより行われた、より新しい証明の試みのようです。
正しいものかどうかはわかりませんでした。
http://www.angelfire.com/mi4/proof/
On Dharwadker's Magnificent Proof
http://m759.freeservers.com/rough.html
Redirect Page
概説と批評。
http://www.nasaexplores.com/extras/maps/maps_home_2002.html
NASAexplores: Map Coloring - A Mathematical Challenge
ついでにNASAの地図塗り分けページ。
ありがとうございます。Dharwadker解は謎ですね。
No.3
6101
15pt
http://ja.wikipedia.org/wiki/%E5%9B%9B%E8%89%B2%E5%95%8F%E9%A1%8...
�����峨����� - Wikipedia
アルゴリズムの改良はなされているようですが・・・
http://www.geocities.co.jp/SiliconValley-Oakland/1680/puzzle/col...
M.Hiroi's Home Page / Puzzle De Programming
ありがとうございました。ですが、もう少し具体的な情報が欲しかったのでした。
8
8
2
1
1
求めていたのは最初の論文にあるような情報でした。なるほど、Sparc 20で3時間20分ですか。しかし、他に挙げられていたリンクも興味深く読ませていただきました。ありがとうございました。