2011 stellte ein User auf der Internetplattform «4chan» eine scheinbar simple Frage: Wie oft man den Anime «Die Melancholie der Haruhi Suzumiya» schauen müsse, um alle 14 Episoden in kürzester Zeit mindestens einmal in jeder möglichen Reihenfolge gesehen zu haben.
Daraufhin entwickelte sich im Thread eine riesige Diskussion, in der es darum ging, wie man diese Frage mathematisch bewältigen könnte. Nach vier Tagen schrieb schliesslich ein anonymer User einen Lösungsansatz unter die Frage, der unbeachtet blieb – bis vor kurzem. Nach sieben Jahren sind Mathematiker über den Lösungsvorschlag gestolpert und seither hellauf begeistert, denn der Lösungsansatz könnte bei einem Matherätsel helfen, welches die Mathegenies dieser Welt nun schon seit Jahrzehnten zu lösen versuchen.
Das Anime-Problem kann mit Mathematik aus der Kombinatorik gelöst werden. Demnach lässt sich die Zahl theoretisch mit einer sogenannten Superpermutation berechnen.
123 (n=3)
Die Permutation davon wäre:
123
231
312
321
213
132
Die Superpermutation lautet also:
123121321
Man müsste also nur die Zahlen von eins bis 14 nehmen und alle möglichen Permutationen der Zahlenreihe berechnen. Leider ist es so, dass im Moment eine Superpermutation nur bis zu n=7 berechnet werden kann, also weitaus weniger als die 14 Ziffern, die man für die Beantwortung der Frage berechnen müsste.
Allerdings können Mathematikerinnen immerhin eine obere und untere Grenze berechnen, genannt obere und untere Schranke. Je grösser die untere Schranke ist und je kleiner die obere, desto genauer fällt das Ergebnis der Superpermutation aus. Das Streben, eine Superpermutation auch für längere Zahlenreihen immer genauer berechnen zu können, beschäftigt Forscher schon seit Jahrzehnten.
Und genau hier könnte der Lösungsansatz des 4chan-Users für einen Durchbruch sorgen. Denn mit dem neuen Beweis, den der User gepostet hat, lässt sich eine untere Schranke mit dem bisher grössten Wert berechnen.
Die neue Erkenntnis beschäftigt im Moment einige Forscher. Der Mathematiker Robin Housten schreibt aktuell, zusammen mit zwei Kollegen, sogar eine Arbeit, basierend auf dem Post des 4chan-Users. Er war es auch, der auf Twitter davon berichtete:
A curious situation. The best known lower bound for the minimal length of superpermutations was proved by an anonymous user of a wiki mainly devoted to anime. https://t.co/z3wVAcUJl1
— Robin Houston (@robinhouston) 23. Oktober 2018
Die drei hoffen, dass sie die Arbeit bald publizieren können. Den anonymen 4chan-User werden sie als Co-Autoren aufführen. (pls)