[闲聊] 在4chan串中解出凉宫春日问题的神秘天才
楼主: jackliao1990 (jack) 2024-08-31 20:41:07
https://warosu.org/sci/thread/S3751105#p3751197
2011年9月17号 9:58:54
有人在4Chan的科学及数学版（/sci/）上提问
"如果要把《凉宫春日的忧郁》(2006年版，共14集)所有可能的播放次序都看一遍，最少
要看多集？"
这其实是一个自1993年就困扰数学家的最小超排列问题
https://zh.wikipedia.org/zh-tw/超排列
讨论串开始的半小时后
一位名为“Lower bounds”的帐号在讨论串中表示
"我想我证明了下限是 n! + (n-1)! + (n-2)! + (n-3)"
接着该帐号又回了5则贴文以给出证明
由此可算出
要看的凉宫春日集数的下限为93884313611集
2018年10月
数学家Greg Egan等人得出
要看的凉宫春日集数的上限为93924230411集
此外数学家们经过检查后也表示“Lower bounds”这匿名帐号的证明是对的
4chan的宅男为组合数学的推进做出重大的贡献
然而名为“Lower bounds”的匿名用户至今都没有现身露脸
这位低调沉默的天才到底是谁呢??
2011年9月17号 9:58:54
有人在4Chan的科学及数学版（/sci/）上提问
"如果要把《凉宫春日的忧郁》(2006年版，共14集)所有可能的播放次序都看一遍，最少
要看多集？"
这其实是一个自1993年就困扰数学家的最小超排列问题
https://zh.wikipedia.org/zh-tw/超排列
讨论串开始的半小时后
一位名为“Lower bounds”的帐号在讨论串中表示
"我想我证明了下限是 n! + (n-1)! + (n-2)! + (n-3)"
接着该帐号又回了5则贴文以给出证明
由此可算出
要看的凉宫春日集数的下限为93884313611集
2018年10月
数学家Greg Egan等人得出
要看的凉宫春日集数的上限为93924230411集
此外数学家们经过检查后也表示“Lower bounds”这匿名帐号的证明是对的
4chan的宅男为组合数学的推进做出重大的贡献
然而名为“Lower bounds”的匿名用户至今都没有现身露脸
这位低调沉默的天才到底是谁呢??
作者: web946719 (韦伯就是漏气依旧) 2024-08-31 20:42:00
当然是某个宇宙人
作者: a204a218 (Hank) 2024-08-31 20:42:00
路过的民间高人
作者: jeff666 2024-08-31 20:43:00
John Smith
作者: cancer0708 (你好，我制仗也贩剑) 2024-08-31 20:44:00
小矶健二
作者: KhePri (史密提威威) 2024-08-31 20:45:00
ptt某位大便的时候推导出来的
作者: JaccWu (初心) 2024-08-31 20:49:00
为了有兴趣的事情推动世界的强者？
作者: greg90326 (虚无研究所) 2024-08-31 20:54:00
4chan好猛
作者: shadowblade (影刃) 2024-08-31 20:56:00
蛤
作者: graywater (灰水) 2024-08-31 20:57:00
某外星人：写证明是数学，我是亲身统计的
作者: inte629l 2024-08-31 20:59:00
好扯 助手4ni?
作者: Ricestone (麦饭石) 2024-08-31 21:00:00
六年前的事，而且前阵子西恰也po过了
作者: sai0224sai (塞啦) 2024-08-31 21:00:00
发明比特币的也是从未现身的天才数学家都这么低调吗
作者: spfy (spfy) 2024-08-31 21:06:00
不低调就不会当数学家了
作者: Amulet1 (AmuletHeart) 2024-08-31 21:10:00
宇宙人
作者: AfterDark (我祇是来借个电话) 2024-08-31 21:14:00
长门有希本人
作者: Hosimati (星咏み) 2024-08-31 21:15:00
不低调就不会还是数学家了
作者: Ricestone (麦饭石) 2024-08-31 21:16:00
也许是我进无尽的八月了= =找不到之前的文
作者: ggeneration (于夜空之中歌唱) 2024-08-31 21:23:00
长门大神本人
作者: minipig0102 (夫人您听我解释) 2024-08-31 22:07:00
哇 哇
作者: Hsu1025 2024-08-31 22:37:00
有希
作者: felaray (傲娇鱼) 2024-09-01 00:54:00
长门大神!
作者: bitcch (必可取) 2024-09-01 01:09:00
以前的网络神人真的很多
作者: a29022792 (我猫厨我骄傲) 2024-09-01 07:12:00
找不到正常吧 西恰应该存不了这么久
