TGViewer
codedump的电报频道 codedump的电报频道 @codedump_notes · 5.5K subscribers
Post #672 2.47K
#数学
从微博上看到的关于《凉宫春日的忧郁》和数学的故事,原文见《How Anime Fans Stumbled upon a Mathematical Proof》:

你敢信?一群二次元在4chan上随口聊了几句《凉宫春日的忧郁》,结果无意间推动了数学界的研究进展,甚至被正式写进了学术论文!

事情得从2011年说起,当时4chan上有人讨论《凉宫春日的忧郁》这部动画的特殊播放顺序。

当时这部作品还只有14集,内容被设计成非线性叙事,官方特意打乱了播放顺序,让观众可以按照不同方式观看,每种顺序可能都会带来不同的剧情体验。

于是,有人提出了一个有趣的问题:“如果要看完所有可能的播放顺序,最少需要看多少集?”

本来这只是个单纯的刷番问题,没想到它竟然撞上了数学界的一个未解难题——超排列(Superpermutation)问题。

简单来说,超排列指的是如何用最短的序列,把所有可能的排列顺序都包含进去。

比如,如果你有3集动画,所有顺序有3! = 6种,看完整个列表的话,理论上需要刷18集(3×6),但如果巧妙地让顺序部分重叠,比如1-2-3-1-2-1-3-2-1,这样只需要9集就能包含所有排列。(1-2-3和2-3-1共享2-3)

这就是超排列的精髓——用最短的方式覆盖所有可能性。

在4chan这场讨论里,一个匿名网友无意间给出了一个新的数学推导,得出了超排列最短长度的下界公式。

也就是说,他算出了这个问题的最小值范围,而数学家们当时还没找到这个结论!

离谱的是,这个匿名网友自己都没意识到自己的推导有多重要,只是随手发了几条帖子,说:“我想到了一个方法,看看有没有漏洞。”然后这些帖子就被埋没在互联网的浩瀚信息流之中了。

直到2018年,数学家Robin Houston在研究超排列问题时,偶然在某数学博客上看到了2013年转帖的这段4chan讨论。

他越研究越觉得不对劲,直到确认,这位匿名网友的公式是正确的,而且是数学界当时未曾正式提出的突破!

这一发现让数学界瞬间炸锅,最后Houston和另外两位数学家Jay Pantone、Vince Vatter专门整理了这位4chan网友的解法,并把它写进了正式的数学论文,论文的第一作者赫然写着——Anonymous 4chan Poster(4chan匿名网友)。

更有趣的是,数学家Greg Egan后来发现了超排列的一个新的上界公式,而4chan网友的公式刚好提供了下界。

换句话说,数学家们终于有了一个明确的数值范围,来估算超排列的最短可能长度。

如果真的要按照所有可能的顺序刷完一部n集的动画,你至少要看n! + (n-1)! + (n-2)! + (n-3)集,最多要看n! + (n-1)! + (n-2)! + (n-3)! + (n-3)集。

比如,如果是一部14集的动画,你最少要刷93884313611集,最多要刷93924230411集,哪怕从人类诞生开始刷到现在,都不一定能看完!

所以,下次再看到有人熬夜狂刷动画,说不定他在进行数学研究呢。
Weibo #二次元闲聊顺手解出数学难题##偶然发现的... 来自量子位 - 微博 #二次元闲聊顺手解出数学难题##偶然发现的数学证明# 你敢信?一群二次元在4chan上随口聊了几句《凉宫春日的忧郁》,结果无意间推动了数学界的研究进展,甚至被正式写进了学术论文! 事情得从2011年说起,当时4c...
  • 👍 14
More from @codedump_notes
  1. Sep 27, 2026#系统编程 讲解Go语言并发主题的小书:《Go concurrency distilled》
  2. Sep 22, 2026#开源软件 开源本来承载的主要任务之一就是赢得信任,智谱这一把开源不但没有赢取信任,反而让更多人感到了疑问,比如我。
  3. Sep 22, 2026#开源项目 #Rust #数据库 hawdb:Rust编写的嵌入式图数据库,用于Nowledge产品中管理本地图数据。
  4. Sep 21, 2026#Rust #人工智能 最近看了好几个Rust相关的新闻,比如: * Rust在微软内部升级为一级语言:《Guest Post: Rust Is Tier-1 Language a…
  5. Sep 19, 2026#人工智能 这个翻译可以说是 信达雅 了。
  6. Sep 15, 2026#人工智能 《我不得不把才华埋葬在昨天》,Deepseek 核心开发的文章,也许再过一段时间,他就不用亲手写算子了。
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →