« サントリーのヨーグリーナ&南アルプスの天然水、いませやねんのメチャ売れで紹介されてる。私も飲んで結構驚いた。透明なのに味が、、、 | トップページ | 今ニュース速報で消費税増税が2019年10月まで延期と出た。 »

2016年5月28日 (土)

200TBのサイズの数学の証明、ブーリアンピタゴラスの三つ組み問題はn=7824までできる。

ちょっと前にこういう話題が出ておもしろいなーと思っていた。13GBの証明のお話し。
今回は、、、200TB!Nature Newから。

Two-hundred-terabyte maths proof is largest ever

A computer cracks the Boolean Pythagorean triples problem — but is it really maths?

そしてarXivに出ていた論文はこれ。

Solving and Verifying the boolean Pythagorean Triples problem via  Cube-and-Conquer

どんな問題かというと、Ronald Grahamさんが1980年代に$100の!賞金を懸けて証明を募集したもの。

正の整数を赤と青に分けるとしましょう。そのうち、ある三つの数a,b,cがあのピタゴラスのa^2 + b^2 = c^2を満たすものは同じ色にはならないようにする。例えば3,4,5なら3,5を青に塗ると、4は赤じゃないとだめ。ですべての正の整数を塗り分けられる?というもの。

つまり青の方も赤の方もどっちもその中にa^2 + b^2 = c^2を満たすようなものはないようにできる?

で答えは、7824まではできて、7825は×、ということでした。

その証明が200TB。。。

これもテレンスタオみたいな人が将来数ページで証明してしまうのかもしれない。。。

« サントリーのヨーグリーナ&南アルプスの天然水、いませやねんのメチャ売れで紹介されてる。私も飲んで結構驚いた。透明なのに味が、、、 | トップページ | 今ニュース速報で消費税増税が2019年10月まで延期と出た。 »

日記・コラム・つぶやき」カテゴリの記事

コメント

コメントを書く

(ウェブ上には掲載しません)

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/512682/63696912

この記事へのトラックバック一覧です: 200TBのサイズの数学の証明、ブーリアンピタゴラスの三つ組み問題はn=7824までできる。:

« サントリーのヨーグリーナ&南アルプスの天然水、いませやねんのメチャ売れで紹介されてる。私も飲んで結構驚いた。透明なのに味が、、、 | トップページ | 今ニュース速報で消費税増税が2019年10月まで延期と出た。 »

最近の記事

最近のコメント

2017年11月
      1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30    
フォト
無料ブログはココログ