人力検索はてな
モバイル版を表示しています。PC版はこちら
i-mobile

四色問題は1976年に当時のコンピュータで二千数百時間をかけて力ずくで証明されましたが、その後のコンピュータによる証明の追試やアルゴリズムの改良、または実行時間の短縮状況などについて知りたいです。(英語可)

●質問者: 他人
●カテゴリ:コンピュータ 科学・統計資料
✍キーワード:1976年 アルゴリズム コンピュータ 力ずく 四色問題
○ 状態 :終了
└ 回答数 : 3/3件

▽最新の回答へ

1 ● lobelia
●25ポイント

http://www.hatena.ne.jp/1089384586#

四色問題は1976年に当時のコンピュータで二千数百時間をかけて力ずくで証明されましたが、その後のコンピュータによる証明の追試やアルゴリズムの改良、または実行時間の短.. - 人力検索はてな

Kenneth Appel and Wolfgang Haken以降に

発表されたもしくは改良された

四色問題の解法.

専門ではないので,内容までは理解できませんでした.

Robertson, Sanders, Seymour, Thomas, The four-color theorem

http://www.math.gatech.edu/~thomas/FC/fourcolor.html

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)

以上は四色問題に関するちゃんとした論文です.

で,ここからは日本語のサイト

トンデモ理論の可能性もありますが,

私にはわかりませんので,

もし,お気に召しませんでしたらポイントは結構です.上記リンクも含めて.

http://www.age.ne.jp/x/eurms/FCTj_8.html

四色問題の簡明な解決

http://www002.upp.so-net.ne.jp/hadwiger/

四色問題を解く。

四色問題を解く

http://web.sfc.keio.ac.jp/~t01613mt/java/4syoku/syokuse.html

Moved

ニューラルネットワークで解く4色問題。

http://www.google.co.jp/search?q=cache:lIkURgLqT40J:zxp044.u-aiz...

同上??

http://www.math.tohoku.ac.jp/~kuroki/SB/#Gardner

スペンサー・ブラウンなんていらない

スペンサー・ブラウンのトンデモ説??

◎質問者からの返答

求めていたのは最初の論文にあるような情報でした。なるほど、Sparc 20で3時間20分ですか。しかし、他に挙げられていたリンクも興味深く読ませていただきました。ありがとうございました。


2 ● last_wednesday
●20ポイント

http://www.ams.org/era/1996-02-01/S1079-6762-96-00003-0/S1079-67...

http://www.ams.org/notices/199807/thomas.pdf

既出のサイトの通り、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解は謎ですね。


3 ● actual
●15ポイント

http://ja.wikipedia.org/wiki/%E5%9B%9B%E8%89%B2%E5%95%8F%E9%A1%8...

?????峨????? - Wikipedia

アルゴリズムの改良はなされているようですが・・・

http://www32.ocn.ne.jp/~graph_puzzle/1no29.htm

第一部 第二十九章

http://www.geocities.co.jp/SiliconValley-Oakland/1680/puzzle/col...

M.Hiroi's Home Page / Puzzle De Programming

◎質問者からの返答

ありがとうございました。ですが、もう少し具体的な情報が欲しかったのでした。

関連質問


●質問をもっと探す●



0.人力検索はてなトップ
8.このページを友達に紹介
9.このページの先頭へ
対応機種一覧
お問い合わせ
ヘルプ/お知らせ
ログイン
無料ユーザー登録
はてなトップ