【アメリカ】涼宮ハルヒの憂鬱の視聴順が生んだ「ハルヒ問題」、米公共ラジオが特集。15年たっても最短の答えは出ていない

米公共ラジオWBUR、9月25日に「ハルヒ問題」を16分の回で配信

米ボストンの公共ラジオWBURが2026年9月25日、ポッドキャスト「Endless Thread」で「The Haruhi Problem」と題した回を公開しました。尺は16分17秒、進行はBen Brock JohnsonとAmory Sivertsonの2人、エピソード制作はFrannie Monahanがクレジットされています。

扱っているのは、アニメ『涼宮ハルヒの憂鬱』の視聴順をめぐって生まれた組合せ論の問題です。2006年に放送された第1期は全14話で、物語の時系列とは違う順番でエピソードが放映されました。ここから「全14話をあらゆる順序で観るには、最短で何話ぶん観ればいいのか」という問いが立ち、それが数学の未解決問題と同じものだと判明した。番組はそういう筋立てで進みます。

ただ、副題は「How anime and 4Chan solved a decades-old math puzzle」、つまり「アニメと4chanが数十年来の数学パズルを解いた」と言い切っています。この「解いた」がどこまでを指すのか。そこを確かめたくて、一次資料まで遡ってみました。

WBURは「4chanのスレッドで解かれた」と表現、Quantaは2018年に「前進させた」と報じた

出典：The Haruhi Problem: How anime and 4Chan solved a decades-old math puzzle（WBUR Endless Thread / 2026年9月25日）

出典：Mystery Math Whiz and Novelist Advance Permutation Problem（Quanta Magazine / 2018年11月5日）

until the equation was solved in a thread on 4Chan about watching the anime（この方程式が、アニメの視聴について語る4chanのスレッドで解かれるまでは）

この件を最初に広く伝えた数学専門誌Quanta Magazineの2018年11月5日の記事は、見出しの時点で扱いが違います。使われている動詞は「advance」、日本語にすれば「前進させた」で、「解いた」ではありません。同誌は匿名の投稿者とSF作家グレッグ・イーガンがそれぞれ下限と上限を改善したと報じたうえで、問題そのものが決着したとは書いていないのです。この差は小さくないと受け止めました。

2011年9月の4chan「/sci/」板、問いの投稿から37分後に下限の証明が書き込まれた

起点は2011年9月、4chanの科学・数学板「/sci/」に立った1つのスレッドです。4chanの投稿は一定期間で消えるため現物は残っていませんが、アーカイブサイトwarosuに保存されたスレッド(S3751105)で当時のやりとりを読めます。冒頭の問いはこうでした。

You have an n episode tv series. You want to watch the episodes in every order possible.（n話のテレビシリーズがある。あなたはそのエピソードを、可能なかぎりすべての順序で観たい）

続けて、そのとき最短で何話ぶん観ることになるのかを問う一文が置かれています。文面にハルヒの名前は出てきません。「n話のテレビシリーズ」という一般形で問いが立てられていて、n＝14という具体値がハルヒに対応していました。日本語圏の紹介記事では「ハルヒの視聴順が話題になった」とまとめられがちですが、証明が書かれたスレッド本体は最初から抽象的な問題として進んでいます。

いちばん驚いたのは時間差でした。アーカイブに表示されているタイムスタンプでは、スレッドが立った時刻が01:58:54、下限の証明を含む投稿(#3751197)が02:35:54。差は37分しかありません。匿名の投稿者は「I think I have a proof of the lower bound n! + (n-1)! + (n-2)! + n-3」（下限 n!＋(n−1)!＋(n−2)!＋n−3 の証明ができたと思う）と書き出し、証明が長いので複数の投稿に分けると断ってから続けています。なお投稿日を「9月16日」と記す英語メディアもあり、日付は情報源によって1日ぶれます。月単位では2011年9月で一致しています。

この書き込みは7年間ほとんど顧みられませんでした。動いたのは2018年10月です。数学者のRobin Houston、Jay Pantone、Vince Vatterが匿名投稿の証明を精査して整形し、整数列データベースOEISの項目A180632に「A lower bound on the length of the shortest superpattern」として公開しました。著者欄には3人の名前と並んで「Anonymous 4chan Poster」が記載されています。

下限93,884,313,611話と上限93,924,230,411話、差はちょうど11!の39,916,800話

数字を置くと、何が解けていて何が解けていないかがはっきりします。この問題は「超順列(superpermutation)」の最短長を求める問題として知られ、n個の記号すべての並べ方を部分列として含む、いちばん短い列の長さを問うものです。

まず、14話の並べ方そのものは14!＝87,178,291,200通りあります。これを素直に全部つなげれば14×14!話ぶん観ることになりますが、前の順序の末尾と次の先頭を重ねれば短くできます。

匿名投稿者が示した下限の式はn!＋(n−1)!＋(n−2)!＋n−3。n＝14を代入すると87,178,291,200＋6,227,020,800＋479,001,600＋11で、93,884,313,611話になります。これより短い視聴順は存在しない、というのが証明された中身です。

上限側を詰めたのがSF作家のグレッグ・イーガンでした。2018年10月、イーガンはn!＋(n−1)!＋(n−2)!＋(n−3)!＋n−3の長さの超順列を実際に構成してみせます。n＝14では93,924,230,411話。少なくともこの長さで済むことは、ここで確定しました。

2つの式を見比べると、違いは(n−3)!の項が1つあるかないかだけです。つまり残っている隙間はn＝14のとき11!＝39,916,800話ぶん。93,924,230,411から93,884,313,611を引いた値とぴたりと一致します。最短の答えはこの約3,992万話の幅のどこかにある。そこまでは分かっていて、ではどこなのかは分かっていません。

ちなみに下限の93,884,313,611話を1話24分として通しで観ると、休みなしでおよそ428万年かかる計算になります。上限との差の39,916,800話だけでも約1,822年。どちらも人間が確かめられる量ではありません。この問題が総当たりの計算ではなく証明でしか進まない理由が、ここにあります。

なお、超順列の最短長が厳密に分かっているのはn≦5までです。2014年にはRobin Houstonが、それまで「最短長は1!＋2!＋…＋n!になる」と広く信じられていた予想に対し、n＝6で873より短い872文字の超順列を見つけて反例を示しました。誰もが正しいと思っていた式が一度崩れている。そのぶん、n＝14の幅を埋める作業は慎重に進んでいます。

時系列をばらした2006年の放送が、匿名の投稿者をOEISの著者欄に載せた

日本のアニメの編成上の判断が、海外の匿名掲示板を経由して数学の一次資料に名前を残した。これがこの一件の、日本から見たときの骨格です。

2006年の『涼宮ハルヒの憂鬱』は、原作を読んでいる視聴者にも驚きを用意するために、意図的に時系列を入れ替えて放送されました。日本国内では当時「放送順」と「時系列順」のどちらで観るべきかという議論が起き、そこで話は落ち着いています。ところが海外のファンコミュニティでは、同じ疑問が「では全部の順序を試すとしたら」という方向へ転がり、数学板に持ち込まれました。同じ作品の同じ編成が、日本では視聴ガイドの話題に、海外では組合せ論の問題になった。この分かれ方が印象に残っています。

日本語でこの件が紹介されたのは、OEIS公開と同日の2018年10月25日にGIGAZINEが報じたのが早い例で、その後もナゾロジーやITmediaが折に触れて取り上げてきました。ただし今回のWBURの回そのものは、本稿の執筆時点で日本語では報じられていません。日本の作品が海外でどう語り直されているかをつかむには、こうした現地の番組編成まで見にいく必要があります。

もう一つ、輸出という観点で気になったのが「Haruhi Problem」という呼称の定着ぶりです。数学の文脈で、問題名に日本のアニメのタイトルが付いたまま流通している例はそう多くありません。OEISの項目やイーガンの解説を読む海外の学生が、その入り口で作品名に触れる。その状態が10年以上続いています。

解かれたのは問いの立て方であって、全14話の最短視聴順そのものではない

WBURの副題にある「solved」は、厳密には正確ではありません。解かれたのは下限の証明であり、上限の構成であり、その2つが同じ式のひと項ぶんまで接近したという事実です。n＝14の最短視聴順が何話なのかは、2026年9月時点でも確定していません。

とはいえ、この回が「解いた」と書きたくなる気持ちも分かります。数十年動かなかった問題の下限を、名前も残していない匿名の投稿者が37分で書き上げ、7年後に専門家がそれを正式な文書に仕立て直し、SF作家が反対側から挟み込んだ。経路としては、たしかに決着めいて見えます。

残っている39,916,800話ぶんの幅を誰が埋めるのかは、まだ誰にも分かりません。ただ、前回それを動かしたのが学術機関ではなく、アニメの視聴順を話していた掲示板だったこと。それは記録として、きちんと残っています。