回看板
Disp BBS
作者 jackliao1990 (j)
標題 [閒聊] 在4chan討論解出涼宮春日問題的神秘天才
時間 Sat Aug 31 20:41:07 2024

https://warosu.org/sci/thread/S3751105#p3751197

2011年9月17號 9:58:54

有人在4Chan的科學及數學版（/sci/）上提問

"如果要把《涼宮春日的憂鬱》(2006年版，共14集)所有可能的播放次序都看一遍，最少
要看多集？"

這其實是一個自1993年就困擾數學家的最小超排列問題
https://zh.wikipedia.org/zh-tw/超排列
超排列 - 維基百科，自由的百科全書
在2011年9月，貼圖討論版網站4chan上的一個匿名用戶（Lower Bounds）證明，n（n≥2）個符號的最小超排列的長度至少為 n! +(n-1)! +(n-2)! + n -3[1]。4chan中討論最小超排列問題的最初目的是解決如何在最短時間內看完電視動畫《涼宮春日的憂鬱》2006年版共14集的全部可能組合（它在上映時是打亂順序播出的），相當於求n =14的最小超排列[2]。在2018年10月，計算機科學家羅賓· 休斯頓在推特上介紹了這一證明，因此引起了公眾的興趣[3][4] 。2018年10月25日，羅賓· 休斯頓、傑伊 ...


討論串開始的半小時後

一位名為「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 (臺灣)
※ 作者: jackliao1990 2024-08-31 20:41:07
※ 文章代碼(AID): #1cqmzcEs (C_Chat)
※ 文章網址: https://www.ptt.cc/bbs/C_Chat/M.1725108070.A.3B6.html
→ web946719: 當然是某個宇宙人1F 08/31 20:42
推 a204a218: 路過的民間高人2F 08/31 20:42
推 jeff666: John Smith3F 08/31 20:43
推 cancer0708: 小磯健二4F 08/31 20:44
推 KhePri: ptt某位大便的時候推導出來的5F 08/31 20:45
→ JaccWu: 為了有興趣的事情推動世界的強者？6F 08/31 20:49
推 greg90326: 4chan好猛7F 08/31 20:54
推 shadowblade: 蛤8F 08/31 20:56
推 graywater: 某外星人：寫證明是數學，我是親身統計的9F 08/31 20:57
推 inte629l: 好扯 助手4ni?10F 08/31 20:59
→ Ricestone: 六年前的事，而且前陣子西恰也po過了11F 08/31 21:00
推 sai0224sai: 發明比特幣的也是從未現身的天才
數學家都這麼低調嗎12F 08/31 21:00
→ spfy: 不低調就不會當數學家了14F 08/31 21:06
推 Amulet1: 宇宙人15F 08/31 21:10
推 AfterDark: 長門有希本人16F 08/31 21:14
推 Hosimati: 不低調就不會還是數學家了17F 08/31 21:15
→ Ricestone: 也許是我進無盡的八月了= =找不到之前的文18F 08/31 21:16

--
作者 jackliao1990 的最新發文:
點此顯示更多發文記錄