[閒聊] 在4chan串中解出涼宮春日問題的神秘天才
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 留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.253.168.221 (臺灣)
※ PTT 網址
→
當然是某個宇宙人
推
路過的民間高人
推
John Smith
推
小磯健二
推
ptt某位大便的時候推導出來的
→
為了有興趣的事情推動世界的強者?
推
4chan好猛
推
蛤
推
某外星人:寫證明是數學,我是親身統計的
推
好扯 助手4ni?
→
六年前的事,而且前陣子西恰也po過了
推
發明比特幣的也是從未現身的天才
→
數學家都這麼低調嗎
→
不低調就不會當數學家了
推
宇宙人
推
長門有希本人
推
不低調就不會還是數學家了
→
也許是我進無盡的八月了= =找不到之前的文
推
長門大神本人
推
哇 哇
推
有希
推
長門大神!
推
以前的網路神人真的很多
推
找不到正常吧 西恰應該存不了這麼久
71
[閒聊] 涼宮春日為何當年被污名化嚴重啊?看到日本媒體特別標注炸彈犯愛看涼宮春日 想到當年不管是台灣還是日本的媒體圈和社會環境都很愛踩涼宮春日 同時期差不多紅魔法禁書等等都沒有這種待遇 為何當時社會風氣很愛拿涼宮春日出來撻伐? 明明涼宮春日劇情離暴力和色情很遠了70
[閒聊] 涼宮春日當年為何可以這麼紅?記得那是我好像國高中的時候 不少同學都在看輕小說 其中涼宮春日的憂鬱最紅 完全沒看過輕小說的也一定聽過 記得那時候附近ACG店都貼很大張海報67
[情報] 涼宮春日的憂鬱 最新作涼宮春日的劇場 剛剛『スニーカー文庫 35周年FESTA!』生放送公布的: 然後明年有演奏會:48
[閒聊] 涼宮春日的憂鬱是懷舊輕小說?如題 繼母的拖油瓶是我的前女友第八話中 東頭到男主的房間參觀他的書櫃 拿了涼宮春日的憂鬱說13
[涼宮] 涼宮春日換下來的校服有汗臭味阿虛敢拿?涼宮春日的憂鬱 2009 第二話, 涼宮春日強迫朝比奈學姊換上兔女郎裝:15
[閒聊] 什麼,涼宮春日的憂鬱是2006年的動畫?如提,剛才看到這張風格演變圖 瞥見涼宮春日是2006年的動畫 大驚訝,我記得當年我還在用rm player看勒 --9
[閒聊] 他有資格喜歡涼宮春日嗎?我呸!實在太氣人了,我只好用這種標題,就算違反板規我還是打算這麽寫,他是『愛你愛到殺 死你』嗎? --- 京阿尼縱火案犯人:受《涼宮春日》震動 興起寫小說投稿念頭8
[閒聊] 存在於OP或ED的特殊舞曲這季有新番集數採用亂數播放的形式,很容易聯想到當年的涼宮春日的亂數播放 但想到涼宮春日,最深刻的第一印象卻是ED的涼宮舞,也催生了戰神(?)山本寬 有些OP或ED,讓劇中角色跳一些特殊舞蹈而大受觀眾歡迎 可能動畫劇情都忘了卻還記得那些特殊舞曲,還有哪些像涼宮舞的OPED舞曲? --1
[閒聊] 老高如何介紹涼宮春日的憂鬱?2006年的時候,老高在日本工作4年 那時候日本涼宮紅的跟什麼一樣 剛好涼宮那個什麼 外星人:2
[舊番] 涼宮春日噴了阿虛滿臉口水不會臭臭的?涼宮春日的憂鬱 2009 第一話, 涼宮春日突然想到了創建社團的想法噴了阿虛滿臉口水: 我想請問大家,
爆
[閒聊] 黑白妹 有沒有人知道怎麼開做愛選項 (正解給P)爆
[閒聊] 膽大黨疑似辱華67
[Vtub]為什麼最近都特別強調是自費啊?59
[BGD] It's MyGO!!!!!台詞熟悉度測驗爆
[閒聊] 你的入門日劇是?☺33
Re: [閒聊] 鋼彈,但是樂高84
[閒聊] 大家最早接觸到的小黃遊是啥25
[問題] 鳴潮四星是誰六命就練誰嗎爆
[閒聊] 鹿乃子是得罪誰?16
[24秋] 青春之箱 0914
[公連] 以後不會再發售角色曲的實體CD了14
[MLTD]官方唐突用傲嬌女僕桃子對製作人展開攻勢11
[閒聊] 韓漫好者越來越多?14
Re: [閒聊] 鹿乃子是得罪誰?50
[閒聊] 切腹一定要包含介錯嗎?18
[閒聊] 「空之色、水之色」補番心得11
[閒聊] PSP跟NDS當年誰強32
[閒聊] 隔壁太太作者:組合包-28%11
Re: [閒聊] 膽大黨疑似辱華11
[開箱]學生會也有洞公式插畫本-藤成學園活動日誌21
[膽大] 愛羅也太能打了吧10
[光美] 明年的光美-キミとアイドルプリキュア♪12
[閒聊] 舒恩為什麼害怕當妮姬10
[閒聊] 台灣騎車普遍都能接受低扭力機車嗎馬娘理16
[MyGO] Xpark企鵝命名截止日前統計9
[24秋] 新網王 U17 第9集 手塚是不是6
[問題] 真鯛大陸圖為什麼只能平手8
[閒聊] DQ3 亂玩有差嗎25
[閒聊] 我是不是被三國無雙給排泄了8
Re: [Vtub]為什麼最近都特別強調是自費啊?