當(dāng)某部熱門(mén)動(dòng)漫劇集的粉絲想要以各種可能的順序觀看劇集時(shí)，他們提出了一個(gè)讓組合數(shù)學(xué)家困惑多年的問(wèn)題。

經(jīng)典動(dòng)漫劇集的粉絲們希望知道：

需要多長(zhǎng)時(shí)間才能以盡可能高的效率

按所有可能的順序觀看一部14集的動(dòng)漫。

圖源：Yuriko Nakao/Getty Images

點(diǎn)擊zzllrr小樂(lè)公眾號(hào)主頁(yè)右上角設(shè)為星標(biāo)★數(shù)學(xué)科普不迷路！

作者：Manon Bischoff 編輯：Daisy Yuhas 2025-3-3

譯者：zzllrr小樂(lè)（數(shù)學(xué)科普公眾號(hào)）2025-3-19

數(shù)學(xué)問(wèn)題的答案可以在意想不到的地方找到，包括互聯(lián)網(wǎng)的黑暗領(lǐng)域。2011年，一位匿名發(fā)帖者在如今臭名昭著、備受爭(zhēng)議的圖片板4chan上提出了一個(gè)關(guān)于經(jīng)典動(dòng)漫劇集《涼宮春日的憂郁》（The Melancholy of Haruhi Suzumiya）的數(shù)學(xué)難題。盡管這個(gè)公告板上充斥著仇恨、暴力和極端的內(nèi)容，但最初的帖子卻為這個(gè)復(fù)雜的數(shù)學(xué)問(wèn)題提供了解決方案。

這部動(dòng)漫劇集的第一季共有14集，你可以按照自己喜歡的順序觀看。（對(duì)于像我一樣不熟悉動(dòng)漫世界的人來(lái)說(shuō)：Netflix上的一部名為《萬(wàn)花筒》（Kaleidoscope）的8集真人驚悚片也遵循了同樣的原則。）在2011年4chan上關(guān)于該劇集的討論中，有人問(wèn)他們至少要看多少集才能以所有可能的順序觀看。

事實(shí)上，這個(gè)問(wèn)題與所謂的超排列（superpermutation）有關(guān)。事實(shí)證明，這個(gè)數(shù)學(xué)領(lǐng)域存在許多難題：直到今天，數(shù)學(xué)家仍然無(wú)法完全回答4chan用戶提出的問(wèn)題。

但令人驚訝的是，在那次討論中，一位匿名用戶用一種數(shù)學(xué)家以前不知道的方法估算了觀看所有劇集的最低數(shù)量?！拔倚枰诙嗥又衃詳細(xì)闡述]這一點(diǎn)。請(qǐng)仔細(xì)檢查我可能遺漏的任何漏洞，”這位用戶寫(xiě)道，他分幾個(gè)步驟解釋了他們是如何得出這個(gè)估計(jì)的。其他用戶隨后也提出了這些論點(diǎn)并進(jìn)行了討論——但在4chan之外，這些都沒(méi)有引起任何轟動(dòng)。似乎沒(méi)有人注意到。

極度沉迷刷劇

在數(shù)學(xué)中，兩個(gè)對(duì)象在重新排列或重新組合時(shí)會(huì)發(fā)生置換。例如，你可以將AB置換為BA。如果一部動(dòng)漫劇集只包含兩部分，你可以先看第一集，然后看第二集（1-2），也可以先看第二集，然后看第一集（2-1）。

如果你想以多種方式觀看一部電視?。ㄒ苍S是為了弄清楚哪種劇集順序最合理），你需要一個(gè)超排列。這是所有可能排列的序列。想象一下一場(chǎng)馬拉松式的節(jié)目，你先看第一集，然后看第二集，然后看第二集，再看第一集（1-2-2-1）。為了避免連續(xù)兩次觀看第二集，較短的超排列將是1-2-1；你只需要看三集就可以涵蓋所有可能的順序。

如果一部劇集由三集組成，那么找到最短的超排列就會(huì)變得有點(diǎn)棘手。在這種情況下，有 3!=6 個(gè)不同的序列：1-2-3、1-3-2、2-3-1、2-1-3、3-1-2、3-2-1。

幸運(yùn)的是，你不必觀看3×6=18集，但可以找到一個(gè)巧妙的捷徑，在這種情況下：1-2-3-1-2-1-3-2-1。該順序包含數(shù)字1、2和3的所有可能排列，即你只需觀看9集!

數(shù)學(xué)家還計(jì)算了由n=4和n=5集組成的劇集的最短超排列（分別為33集和153集）。然而，除此之外，他們一無(wú)所知。n>5的最短超排列尚不清楚。

事實(shí)上，這個(gè)挑戰(zhàn)與算法中最難解決的問(wèn)題之一有關(guān)：旅行商問(wèn)題（TSP - Traveling Salesperson Problem，也稱旅行推銷(xiāo)員問(wèn)題）。在這個(gè)問(wèn)題中，一個(gè)人想要訪問(wèn)不同的城市，最后回到家鄉(xiāng)。任務(wù)是找到連接所有城市的最短路線。

最短超排列是這個(gè)問(wèn)題的一個(gè)變體，其中各個(gè)排列代表不同的城市。在這種情況下，你通過(guò)確定排列的重疊來(lái)分配城市之間的不同距離。例如，城市 1-2-3 和 2-3-1 有很大的重疊：第一個(gè)排列的最后兩位數(shù)字與第二個(gè)排列的前兩位數(shù)字匹配，因此它們可以組合成 1-2-3-1。

因此，我們可以在這兩個(gè)城市之間分配一個(gè)短距離。另一方面，1-2-3 和 2-1-3 不重疊。（要查看這兩個(gè)序列，你必須查看完整的六個(gè)部分；沒(méi)有捷徑可走。）因此，這些城市之間的距離很大。

要在排列中找到最短路線，你需要連接重疊最多的排列。只有一個(gè)困難：沒(méi)有已知的算法可以快速解決旅行推銷(xiāo)員問(wèn)題。如果我們處理的是幾個(gè)城市——或者，在動(dòng)漫劇集中，是幾集——這不是一個(gè)主要缺點(diǎn)。但一旦n變大，計(jì)算機(jī)就會(huì)無(wú)法完成任務(wù)，因?yàn)橛?jì)算時(shí)間會(huì)隨著n呈指數(shù)增長(zhǎng)。

計(jì)算機(jī)能夠計(jì)算 n=4 和 n=5 的超排列，但無(wú)法計(jì)算超過(guò)這個(gè)數(shù)字的超排列。盡管可以計(jì)算更大數(shù)字的復(fù)雜超排列，但找到最短的超排列變得更加困難。

因此，專(zhuān)家必須進(jìn)行估算。例如，有一種算法可以幫助估算n個(gè)對(duì)象的最短超排列的長(zhǎng)度：1!+2!+3!+ ? +n! 使用該算法，如果n=2，則得到長(zhǎng)度為 1+2=3 的超排列。對(duì)于n=3，結(jié)果長(zhǎng)度為 1+2+6=9。對(duì)于n=4，結(jié)果為33。對(duì)于n=5，結(jié)果為153，這對(duì)應(yīng)于每種情況下的最短超排列。

然而，對(duì)于較大的n，此算法不再適用：計(jì)算機(jī)已經(jīng)能夠找到比它所推導(dǎo)的更短的超排列。事實(shí)上，公式1!+2!+3!+ ? +n!大大高估了較大的n的最短超排列的長(zhǎng)度。盡管該算法僅提供近似答案，但數(shù)學(xué)家將其作為起點(diǎn)，目的是縮小可選范圍以找到更精確的答案。

巧合與重新發(fā)現(xiàn)

2013年，現(xiàn)任新不倫瑞克省蒙特艾利森大學(xué)數(shù)學(xué)教授的納撒尼爾·約翰斯頓（Nathaniel Johnston）瀏覽了《涼宮春日的憂郁》粉絲頁(yè)面。約翰斯頓本人并不是動(dòng)漫迷。他是在谷歌搜索一些與超排列相關(guān)的搜索詞后進(jìn)入該網(wǎng)站的。在那里，他偶然發(fā)現(xiàn)了近兩年前在 4chan 上的討論，一名用戶將其復(fù)制到了粉絲網(wǎng)站上。

約翰斯頓沒(méi)有費(fèi)心去計(jì)算，只是在他的博客上引用了粉絲的帖子。http://www.njohnston.ca/2013/04/the-minimal-superpermutation-problem/ 這條評(píng)論在幾年內(nèi)也沒(méi)有被注意到。

2018年10月，數(shù)學(xué)家羅賓·休斯頓（Robin Houston）偶然看到了同事的博客文章。休斯頓剛剛得知，澳大利亞科幻小說(shuō)作家格雷格·伊根（Greg Egan）發(fā)現(xiàn)了最短超排列的新最大長(zhǎng)度，表示為：

n!+(n-1)!+(n-2)!+(n-3)!+n-3

這本身就很奇怪。但當(dāng)休斯頓開(kāi)始進(jìn)一步了解這個(gè)結(jié)果時(shí)，他意識(shí)到超排列的最小長(zhǎng)度已被一位匿名動(dòng)漫粉絲賦予了一個(gè)新值（他當(dāng)時(shí)不知道 4chan 上的起源）。最小長(zhǎng)度的公式為：

n!+(n-1)!+(n-2)!+n-3

同年10月23日，休斯頓在Twitter（現(xiàn)為X https://x.com/robinhouston/status/1054637891085918209）上分享了他的發(fā)現(xiàn)?！斑@真是一個(gè)奇怪的情況。超排列最小長(zhǎng)度的最優(yōu)下限是由一位主要關(guān)注動(dòng)漫的維基匿名用戶證明的，https://mathsci.fandom.com/wiki/The_Haruhi_Problem ”他寫(xiě)道。

休斯頓與他的同事、數(shù)學(xué)家杰伊·潘通（Jay Pantone）和文斯·瓦特（Vince Vatter）一起決定檢查 4chan 用戶的證明，并將其以數(shù)學(xué)方式記錄下來(lái)。研究人員于同月將他們的數(shù)學(xué)工作發(fā)布到整數(shù)序列在線百科全書(shū)OEIS https://oeis.org/A180632/a180632.pdf ，第一作者被列為“匿名 4chan 發(fā)帖者”。

那么這些公式告訴我們什么呢？如果你想以所有可能的組合觀看一部n集劇集，你必須至少看完n!+(n-1)!+(n-2)!+n-3 集（這是4chan用戶的貢獻(xiàn)），最多看完n!+(n-1)!+(n-2)!+(n-3)!+n-3集，這是我們通過(guò) Egan 的工作知道的。

對(duì)于8集的連續(xù)劇《萬(wàn)花筒》，你至少要看46085集，最多要看46205集。對(duì)于14集的《涼宮春日的憂郁》，這個(gè)數(shù)字急劇增加：最少 93884313611 集，最多 93924230411 集。

回想一下，這不是一個(gè)完整的解——它只是為超排列的大小設(shè)置了一個(gè)范圍，讓你能夠以任何可能的順序高效地觀看該劇集。

幸運(yùn)的是，Egan 還提供了一個(gè)構(gòu)建相應(yīng)超排列的算法。這讓《春日》（Haruhi）粉絲們能夠找出最佳的劇集觀看順序。但考慮到每集平均長(zhǎng)度約為24分鐘，觀看完這個(gè)超排列需要大約400萬(wàn)年。

參考資料

https://www.scientificamerican.com/article/the-surprisingly-difficult-mathematical-proof-that-anime-fans-helped-solve/

http://www.njohnston.ca/2013/04/the-minimal-superpermutation-problem/

https://x.com/robinhouston/status/1054637891085918209

https://mathsci.fandom.com/wiki/The_Haruhi_Problem

https://oeis.org/A180632/a180632.pdf

科普薦書(shū)

【更多讀者好評(píng)數(shù)學(xué)書(shū)單推薦、數(shù)學(xué)科普作家自薦、出版社書(shū)單推薦通道已陸續(xù)打開(kāi)，敬請(qǐng)期待】

·開(kāi)放 · 友好 · 多元 · 普適 · 守拙·

讓數(shù)學(xué)

更加

易學(xué)易練

易教易研

易賞易玩

易見(jiàn)易得

易傳易及

歡迎評(píng)論、點(diǎn)贊、在看、在聽(tīng)

收藏、分享、轉(zhuǎn)載、投稿

查看原始文章出處

點(diǎn)擊zzllrr小樂(lè)

公眾號(hào)主頁(yè)

右上角

數(shù)學(xué)科普不迷路！