https://streamable.com/3oqhkf #matematyka #anime #4chan

Lower bounds, or the Haruhi problem

In September 2011, an anonymous poster on the Science & Math ("/sci/") board of 4chan proved that the smallest superpermutation on n symbols (n ≥ 2) has at least length n! + (n−1)! + (n−2)! + n − 3.[3] In reference to the Japanese anime series The Melancholy of Haruhi Suzumiya, the problem was presented on the imageboard as "The Haruhi Problem":[4] if you wanted to watch the 14 episodes of the first season of the series in every possible order, what would be the shortest string of episodes you would need to watch?[5] The proof for this lower bound came to the general public interest in October 2018, after mathematician and computer scientist Robin Houston tweeted about it.[3] On 25 October 2018, Robin Houston, Jay Pantone, and Vince Vatter posted a refined version of this proof in the On-Line Encyclopedia of Integer Sequences (OEIS).[5][6] A published version of this proof, credited to "Anonymous 4chan poster", appears in Engen and Vatter (2021).[7] For "The Haruhi Problem" specifically (the case for 14 symbols), the current lower and upper bound are 93,884,313,611 and 93,924,230,411, respectively.[3] This means that watching the series in every possible order would require about 4.3 million years.[8] https://en.wikipedia.org/wiki/Superpermutation

https://www.reddit.com/r/math/comments/9qyxm4/an_anonymous_user_on_4chan_solved_an_interesting/
https://twitter.com/robinhouston/status/1054637891085918209

Źródło nagrania: https://www.tiktok.com/@average_joe_mcc/video/7326987827630083371