[閒聊] 在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
找不到正常吧 西恰應該存不了這麼久
