18/10/25 18:20:56.35 e6JcpQV/.net
URLﾘﾝｸ(gigazine.net)
2018年10月25日 11時50分 サイエンス GIGAZINE
「涼宮ハルヒの憂鬱」のおかげで25年解けなかった数学の難問が解決されるかもしれない
(抜粋)
海外の掲示板「4chan」での議論が、数学者を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)
4chanのアニメファンコミュニティの間では「涼宮ハルヒの憂鬱」をどのエピソード順に見るのがよいかという話題がしばしば取り扱われていました。その中で「可能な限りの順序で全てのエピソードを見たい場合、最も少ない組み合わせは何通りになるか」という問題が提起され、
このテーマはやがて「Haruhi Problem(ハルヒ問題)」という問題に昇華し、数学コミュニティで議論されるようになりました。このハルヒ問題は、数学の世界では「最小超置換問題」と呼ばれる難問にあたります。
この問題が論文
URLﾘﾝｸ(zbmath.org)
で提起されたのは1993年のことでしたが、25年以上かけてこの問題が解決されることはありませんでした。しかし、4chanの数学フォーラムで、nを14とするハルヒ問題の解法をきっかけに証明が投稿され、論文という形式ではないものの、最小超置換問題の解決の糸口となるのではと世界中の数学者から注目を集めてました。
URLﾘﾝｸ(i.gzn.jp)
つづく