新しいものづくりがわかるメディア

RSS


42は3つの立方数の和で表せる——惑星コンピューターを使って最後の難問を解く

ブリストル大学とマサチューセッツ工科大学(MIT)が率いるチームは、65年におよぶ数学パズルで、最後まで残っていた解を求めることに成功した。

この問題は1954年にケンブリッジ大学で設定された方程式 x3+y3+z3=k について、k=1から100までのすべての解を求めるというものだ。このディオファントス方程式(Diophantine Equation:多変数多項式の整数解や有理数解を求める問題)を解くには、膨大な計算を必要とするため、当時すぐに手に負えなくなった。しかしその後のコンピューターの進歩により、それぞれのkについて解が求まり、あるいは解がないことが証明され、「33」と「42」が残っていた。このうち「33」については、ブリストル大学のAndrew Booker教授がスーパーコンピューターを使って解を求めることに成功し、残るは「42」だけとなっていた。

奇しくも「42」は、イギリスの脚本家Douglas AdamsによるスラップスティックSF小説『銀河ヒッチハイク・ガイド(Hitchhiker’s Guide to the Galaxy)』に登場するスーパーコンピューター「ディープ・ソート」が750万年かけて出した「生命、宇宙、その他もろもろについての深遠なる疑問の答え」と同じだ。

小説では「42」に対応する「深遠なる疑問」を明らかにするため、惑星ほどの大きさの巨大コンピューター「地球」が建造されるが、Booker教授はその代わりにMITの計算数理学者Andrew Sutherland教授の協力を得て、地球規模のコンピューティングプラットフォーム「Charity Engine」を利用した。Charity Engineには、世界規模で50万台を超えるPCが接続され、各PCの空き時間を使って計算を実行する。Charity Engineによる100万時間を越える計算の結果得られた解は次の通りだ。

X = -80,538,738,812,075,974
Y = 80,435,758,145,817,515
Z = 12,602,123,297,335,631

これにより、1954年に示された有名なディオファントス方程式のk=1から100に対する解は「42」を含み全て求められ、長年の問題に終止符が打たれたことになる。

Booker教授は、「ホッとしている。このゲームでは、地震を予知しようとする努力にも似て、何かを見つける確信は持てない。数カ月の探索で何か見つかるかもしれないし、100年かかっても何も見つけられないかもしれない」とコメントしている。

fabcross for エンジニアより転載)

関連情報

おすすめ記事

 

コメント

今人気の記事はこちら

  1. Raspberry Piのサンプルプログラムで機械学習を学ぶ——CQ出版、「ラズパイとカメラで自習 機械学習」発刊
  2. マイコンによる電子工作を基礎から解説——工学社、「Mbedを使った電子工作プログラミング」発刊
  3. 弦ごとのコントロールも可能——エレキギター用光学式ピックアップ「ōPik」
  4. マスク装着時の不快感を軽減——B´full、「3Dプリント製 立体インナー:メイクキープフレーム」販売開始
  5. 5分で組み立て可能——モジュラー式デスクトップ3Dプリンターキット「Creality CR-6 SE」
  6. 英バース大、3Dプリントして自作できる研究室グレードの顕微鏡デザインを公開——最安製造コストは2000円以下
  7. SPDTリレー×4搭載——「ESP32」ベースのIoTモジュール「ESP Module」
  8. 芝浦工業大学、人工筋肉を高速振動させたスピーカーを開発
  9. 入館時に体温を自動チェックできる——スペクトラム・テクノロジー、「体温検知キット」発売
  10. テレワークで大活躍! キットできっと作れるZoom専用キーボード

ニュース

編集部のおすすめ

連載・シリーズ

注目のキーワード

もっと見る