[問卦] 解出涼宮春日問題的神秘天才到底是誰

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

2011年9月17號

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

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

這其實是一個自1993年就困擾數學家的最小超排列問題

討論串開始的半小時後

一位名為「Lower bounds」的帳號在討論串中表示

"我想我證明了下限是 n! + (n-1)! + (n-2)! + (n-3)"

接著該帳號又回了5則貼文以給出證明

由此可算出

要看的涼宮春日集數的下限為93884313611集

2018年10月

數學家Greg Egan等人得出

要看的涼宮春日集數的上限為93924230411集

而且數學家也表示

「Lower bounds」這位帳號給出的證明是對的

名為「Lower bounds」的匿名天才至今都沒有現身露臉

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

--