Credit: DarkEclipse69
Point
数学には「組み合わせ数学」と呼ばれる分野があり、「最小置換問題」と呼ばれる未解決の難問が25年前からある
・「涼宮ハルヒの憂鬱」には複数通りの視聴順があることから、「すべての視聴順を見るためは最も効率的な順番で何話見ることになるのか?」という問題があった
海外掲示板4chan”に、この問題への数学的な解法を示した匿名投稿あり、数学者たちの注を集めた

海外掲示板サイト4chan”で、TVアニメ涼宮ハルヒの憂鬱」の全エピソードを可なすべての順番で見るための効率的な順番を数学的に解いた投稿が、25年間数学者を悩ませてきた同様の数学的難問の解決につながるのではないかと注されています。

谷川流氏のライトノベル原作アニメ涼宮ハルヒの憂鬱』は、エンディングダンスをみんなで踊ってネットに挙げて盛り上がるなど、一部で社会になった人気TVアニメシリーズです。


海外でも大変人気があり、匿名掲示板サイト“4-chan”でも様々な議論が交わされています。中でも盛り上がっているのが、「すべてのエピソードを可な組み合わせですべて見たとして、最低何話見ることになるのか?」という問題です。このテレビアニメは、2006年に放映された第一期の14エピソードの順番が、原作の順番や時系列とは異なっており、放映順と原作順、時系列順といった見方ができます。そこで、ファンたちはこの問題を、“Haruhi probrem” と呼び、真剣議論しているのです。

これと同じ問題は、数学世界では「最小置換問題(Minimal superpermutation problem)」として知られています。この問題は与えられた数の数字をすべての可な順番で並べて、重複を許して結合させた場合の最短の数列の長さをめるというものです。

例えば、1と2という数字が与えられたときの可な組み合わせは、(1,2)と(2,1)の2つです。その置換は1221となり、長さは4ということになりますが、最小置換はん中の重複した2を重ねて、121となり、長さは3となり一つだけ縮みます。この数列には、(1,2)も(2,1)も含まれているので、121の順番をたどることですべての順番を体験できます。最小置換は、1つの時は長さが1、2つの時は3、3つで9、4つで33、5つで153となり、この長さには実は法則性があります。この法則に従うと、6つの時は、873となります。

Credit: 4chan / サムネシュタゲ

しかし驚いたことに、それよりも短い最小置換872が見つかってしまったのです。そこで、さらに短い最小置換があるのではないか?さらに数が増えた場合でも説明できる全な法則があるのではないか?と探されており、問題が提起されてから25年経過して現在に至ります。

そして4chanに、ある「名無しさん」がこのハルヒ問題を解くための一つの方法を投稿し、数学的素養のあるハルヒファン満足させました。しかし、その解法は、現時点で最も素晴らしい最小置換問題の解法でもあったのです。この投稿を見た、コンピューター科学者で数学者でもあるロビン・ヒューストン氏がツイッター4chan数学のこの奇妙な関係についてツイートしたことで、爆発的に広まっています。

マケット大学数学ジェイパントーン氏は最初、この解法に懐疑的でしたが4chan投稿された非公式な表記法を数学者に染みのある公式なものに書き換えて、pdfファイルとして開しています。nを14とする今回の解法に従って、ハルヒの第一期をすべての可な順番で見るとすると、総エピソード数は少なくとも93,884,313,611話、最大で93,924,230,411話見ることになります。この範囲をもっと狭めて特定する必要はありますが、最小置換問題を解く大きな一歩となったことには変わりありません。

 

シーズンを全組み合わせで見るのは「情報統合思念体によって作られた対有機生命体コンタクト用ヒューマノイドインターフェース」でもない限り理ですが、この数学者をも唸らせる解法にいたった名無しハルヒファンの類まれなる知性には、脱帽するしかありません。

 

数学的に美しいのは「12進法」なのに私たちが「10進法」を使っている理由

 

via: The Verge/ translated & text by SENPAI

 

『涼宮ハルヒの憂鬱』がきっかけで数学の難問が解決する可能性


(出典 news.nicovideo.jp)


<このニュースへのネットの反応>

で、肝心の本編はいつ再開するんですかね?


解を出した4ちゃん投稿者もすごいがこれに着目した記者もたいしたもの


朝比奈さんまたやってしまったね


これ、ちゅるやさんもシリーズのうちに入ってんの?


時系列順に見るのがいい。はい論破


こいつら*だ(褒め言葉


endless eight = ∞; Q.E.D.


長門4ちゃんに介入してる説


※ただし2期はないものとする


禁則事項が禁則事項なんですぅ;;


すまん「ハルヒちゃん」の方しか読んでない。


時系列で見る場合、ジョン・スミスのあたりから見ることになるのか。


二期はエンドレスエイト2~7以外は完璧だろ!


立派な計算だと思うけどエンドレスエイト8回分は連続で並べなければならないという条件は考慮してるのかね?してないと思うなー


n個数の拠点すべてを最短経路でまわるってなかなか難しい問題なんだよね。C言語の本にもあった(しったか


すごい作品にはすごい人が集まるんだなー


たまに久々に見たりすると長門が可愛すぎて悶絶するんだよなーこれ


>FEP 1期って書いてあるからエンドレスエイトは入らないと思う


なるほどわからん





何が何だかさっぱりわからんが、何かしらの役に立ったなら、それはよろしいことなのだろう。