Alex Leo/Shutterstock，IFLScience
你可能沒聽過涼宮春日的憂鬱，但是，至少對於動漫迷來說，這是一個相當大的事情。 本來是個系列輕小說故事講述了典型的高中生阿虛的冒險故事，以及他被迫幫助他美麗但古怪的朋友春日創建的時間旅行外星人 ESP 俱樂部的故事。 自 2003 年首次推出以來，它已衍生出 10 卷附加書、改編的電影、幾款電玩遊戲，甚至還有自己的宗教信仰，春日主義。
它於 2006 年首次被改編成動畫。 當DVD發行時，它們又被重新訂購了。 而且，在一部以時間旅行、哲學悖論和超自然現象為主題的劇集中，這兩者都不一定是觀看該系列的最終順序。
這導致了一個問題：以每種可能的順序觀看該系列的最快方法是什麼？
幾年前，一位匿名 4chan 發文者著手解決這個難題。 該人聲稱已經找到了答案的下限——觀看的劇集數少於該上限，那麼您就不可能按順序觀看該系列。
至關重要的是，他們提供了一個證明——並且，透過這樣做，他們為世界提供了數學家們四分之一個世紀以來一直未能解決的問題的答案。
用數學術語來說，Haruhi 問題為它已經眾所周知，請問以下問題： 的超排列的最短可能長度是多少n元素？
給定一個集合- 事物或元素的集合，例如“小於4 的自然數”或“美國國旗上的顏色” - 排列基本上意味著這些事物可以按某種順序列出。排列大於 4” 的是 123。另一個是 312。
然而，超排列是包含集合的每個可能排列的字串。 小於 4 的自然數的一個超排列是 123121321，因為它包含數字 1、2 和 3 的六種可能的排序中的每一種。
這對於小集合來說很好，但是這些超級排列的長度可以變得非常大，非常快。 事實上，當你的集合中有五個數字時，可能的最短超排列已經是長度為 153 個字符。 因此，數學家不想透過反覆試驗來找到超排列，而是希望找到一個通用規則：他們可以使用一個公式來找到任意數量元素的超排列的最小長度。
後退1993年，一些數學家認為他們已經做到了這一點，但他們的猜測是被證明是假的2014 年，對於超過 5 個元素的集合，這個問題被重新討論。 上週，數學家羅賓休斯頓 (Robin Houston) 在 Haruhi 留言板上偶然發現了匿名證明，這讓研究人員興奮不已網路上聚集進行即興的同儕評審。
-
判決？ 證明已通過，「Anonymous 4chan Poster」現在已被列為合著者一篇新的組合數學論文呈現結果。
由於最近的證明顯示了該問題的上限，看來這個 25 年前的數學問題可能會一勞永逸地解決。
休斯頓說：“也許有可能將這東西完全打開。”邊緣。
那麼我們是否應該期待匿名 4channer 站出來呢？ 可能不會很快——根據他們的證明，在他們有時間享受新的數學名聲之前，他們還有近 430 萬年的《春日》值得觀看。
