« サントリーのヨーグリーナ&南アルプスの天然水、いませやねんのメチャ売れで紹介されてる。私も飲んで結構驚いた。透明なのに味が、、、 | トップページ | 今ニュース速報で消費税増税が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年5月
  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 31      
フォト
無料ブログはココログ