[閒聊] 在4chan討論解出涼宮春日問題的神秘天才

[jackliao1990 (j)]

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」的匿名用戶至今都沒有現身露臉

這位低調沉默的天才到底是誰呢??


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.168.221 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_Chat/M.1725108070.A.3B6.html
→ web946719: 當然是某個宇宙人
推 a204a218: 路過的民間高人
推 jeff666: John Smith
推 cancer0708: 小磯健二
推 KhePri: ptt某位大便的時候推導出來的
→ JaccWu: 為了有興趣的事情推動世界的強者？
推 greg90326: 4chan好猛
推 shadowblade: 蛤
推 graywater: 某外星人：寫證明是數學，我是親身統計的
推 inte629l: 好扯 助手4ni?
→ Ricestone: 六年前的事，而且前陣子西恰也po過了
推 sai0224sai: 發明比特幣的也是從未現身的天才
→ sai0224sai: 數學家都這麼低調嗎
→ spfy: 不低調就不會當數學家了
推 Amulet1: 宇宙人
推 AfterDark: 長門有希本人
推 Hosimati: 不低調就不會還是數學家了
→ Ricestone: 也許是我進無盡的八月了= =找不到之前的文
推 ggeneration: 長門大神本人
推 minipig0102: 哇 哇
推 Hsu1025: 有希
推 felaray: 長門大神!
推 bitcch: 以前的網路神人真的很多
推 a29022792: 找不到正常吧 西恰應該存不了這麼久