18/10/25 13:33:11.20 NWb458hv0.net BE:284894144-2BP(1000)
URLﾘﾝｸ(img.5ch.net)
URLﾘﾝｸ(gigazine.net)
数学者を25年以上悩ませてきた「The Minimal Superpermutation Problem(最小超置換問題)」という難問を解決するかもしれないと、
世界中の数学者から大きな関心を集めています。解決の糸口となったのは、テレビアニメ「涼宮ハルヒの憂鬱」の
エピソードの視聴順についてでした。
/sci/ - The Haruhi problem (lower bound) - Science ＆ Math - 4chan
URLﾘﾝｸ(boards.4chan.org)
An anonymous 4chan post could help solve a 25-year-old math mystery - The Verge
URLﾘﾝｸ(www.theverge.com)
2006年に放送されたテレビアニメ「涼宮ハルヒの憂鬱」の第1期は全14話から構成されています。
2006年のテレビ放送時では、物語の時系列と異なる順序でエピソードが放映され、話題となりました。
4chanのアニメファンコミュニティの間では「涼宮ハルヒの憂鬱」をどのエピソード順に見るのがよいかという話題が
しばしば取り扱われていました。その中で「可能な限りの順序で全てのエピソードを見たい場合、
最も少ない組み合わせは何通りになるか」という問題が提起され、このテーマはやがて「Haruhi Problem(ハルヒ問題)」
という問題に昇華し、数学コミュニティで議論されるようになりました。このハルヒ問題は、数学の世界では
「最小超置換問題」と呼ばれる難問にあたります。
「最小超置換」とは、全ての組み合わせを内包した文字列のこと。例えば、A・Bという2要素の組合せは「AB」
と「BA」となりますが、この2文字の最小超置換は「ABA」となります。「ABA」という最小超置換文字列には、
「AB」と「BA」という2通りの組み合わせが内包されています。
URLﾘﾝｸ(i.gzn.jp)
また、A・B・Cという3要素の組み合わせは「ABC」「ACB」「BAC」「BCA」「CAB」「CBA」の6通り。
そして3文字の最小超置換は「ABCABACBA」という9文字の文字列となります。「ABCABACBA」という文字列には、
6通りの組み合わせが全て内包されています。
URLﾘﾝｸ(i.gzn.jp)
この最小超置換の文字列の長さは、要素が増えるごとに爆発的に増えると考えられています。
記事作成時点では、最小超置換の文字数は4要素までしか判明していません。最小超置換問題とは、
要素の数を「n」と置いたときに最小超置換の文字列の定式化とその証明を求めるというものでした。
この問題が論文で提起されたのは1993年のことでしたが、25年以上かけてこの問題が解決
されることはありませんでした。しかし、4chanの数学フォーラムで、nを14とするハルヒ問題の
解法をきっかけに証明が投稿され、論文という形式ではないものの、最小超置換問題の解決の
糸口となるのではと世界中の数学者から注目を集めました。
URLﾘﾝｸ(i.gzn.jp)
マケット大学の数学者であるジェイ・パントーン氏は、当初この投稿の内容に懐疑的でしたが、
この投稿を元にした論文(PDFファイル)を発表しています。パントーン氏によると、
「涼宮ハルヒの憂鬱」のエピソードを全組合せで視聴するには少なくとも939億2423万411話のエピソードを見る必要があるとのこと。
また、コンピュータ科学者のロビン・ヒューストン氏は以前から最小超置換問題に
取り組んでいた数学者で、ハルヒ問題を皮切りに数学の難問が解き明かされようとしていることについて
「興味深い状況だ」と興奮しています。
URLﾘﾝｸ(i.gzn.jp)