硬核动画讨论,网友讨论凉宫春日动画无意间帮助解决数学难题


在本月末凉宫春日系列小说将刊登短篇新作,虽然已经有十几年的时间但是凉宫春日系列依旧保持着旺盛的生命力,如今还是可以看到很多人讨论小说原作以及京都动画制作的 TV 动画,凉宫春日系列也渐渐的衍生出了凉宫学,还有教授专门分析《凉宫春日的忧郁》动画中「漫无止境的八月」进行艺术上的批判。而在 4chan 上因为讨论 2006 版凉宫春日动画的观看顺序,无意间涉及了「最小超排列」这个数学难题,还有人真的给出了 N=14 的解法,成为了解决「最小超排列」这个数学难题的新线索。



2006 版的《凉宫春日的忧郁》动画播出顺序与故事的时间顺序是不同的,所以就经常会有人讨论以什么顺序来看 2006 版凉宫春日动画,在 4chan 上有人提到「想要以所有可能的顺序看凉宫春日 2006 版动画的话,最少要看多少话?」,这个提问引起了数学板的注意,因为这个问题涉及到了数学界的「最小超排列问题」。

「最小超排列」是指包含所有要素全部组合的序列,比如 A、B 两个要素可以组成的组合是「AB」「BA」,则 A、B 两个要素的「最小超排列」是「ABA」,因为「ABA」中包含了「AB」「BA」。如果是 A、B、C 三个要素组合可以有「ABC」「ACB」「BAC」「BCA」「CAB」「CBA」六种组合,而 A、B、C 三个要素的「最小超排列」为「ABCABACBA」,包含了全部六种组合。


「最小超排列」的排列长度会根据要素数量的增加而迎来爆发式的增长,「最小超排列问题」就是要找到设定要素数量为 N 的时候最小超排列排列公式以及证明。「最小超排列问题」在 1993 年提出,25 年来一直没有得到正式的解决,但是在 4chan 的数学板有人给出了以 N=14 的凉宫春日问题解法与证明,虽然这个解法并不是正式的数学论文,但是成为了解决「最小超排列问题」的一个新线索受到了数学研究者的关注。美国马凯特大学数学研究者 Jay Pantone 以 4chan 上的投稿为蓝本发表了一个论文让数学界能够更好的了解这个匿名网友给出的公式与证明, Jay Pantone 认为想要以所有可能的组合看凉宫春日 2006 版动画的话,至少需要看 939 亿 2423 万 411 话。

虽然这次的「最小超排列问题」可能解法公式,目前除了这次讨论凉宫春日 2006 版动画观看顺序问题外,并没有任何实际应用需要,但在 Jay Pantone 眼里这很正常,在一个纯数学公式发现后可能需要几十年的时间才会应用到人类生活当中,这次 4cha 数学板上「春日问题」的讨论证明了不是必须要成为专业的数学家才能理解数学,才能推进数学学科前沿发展,数学的美妙之处在于任何人都有可能理解这些问题。