SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme

Stellen Sie sich vor, Sie versuchen, ein riesiges, dreidimensionales Jigsaw-Puzzle zu lösen. Aber dies ist kein Bild eines Sonnenuntergangs oder einer Katze; es ist eine mathematische Maschine, die darauf ausgelegt ist, zwei Gittern von Zahlen miteinander zu multiplizieren. In der Welt der Informatik und Mathematik wird dies als „Matrizenmultiplikation“ bezeichnet. Jahrzehntelang haben Mathematiker nach dem effizientesten Weg gesucht, diese Maschine zu bauen. Sie wollen wissen, was die absolute Mindestanzahl an winzigen, grundlegenden Bausteinen (genannt „Multiplikationen“) ist, die benötigt werden, damit das Ganze funktioniert.

Betrachten Sie diese Bausteine wie Lego-Steine. Lange Zeit wusste jeder, wie man eine 3x3-Multiplikationsmaschine mit 23 Steinen bauen kann. Die große Frage war: Können wir sie mit nur 22 Steinen bauen? Um dies herauszufinden, verwandelten Forscher das Problem in ein riesiges Logikrätsel, ähnlich den Rätseln, die man in einem Videospiel oder einem Sudoku-Buch finden könnte, aber in einem Maßstab, der einem den Kopf verdrehen würde. Sie kodierten die Regeln der Mathematik in ein Format, das Computer überprüfen können – sie erstellten ein „SAT“-Problem (was für „Satisfiability“, also Erfüllbarkeit, steht). Wenn der Computer einen Weg finden kann, alle Schalter auf „Ein“ zu stellen, ohne gegen Regeln zu verstoßen, ist das Rätsel gelöst. Wenn der Computer sagt „unmöglich“, dann sind vielleicht 22 Steine nicht genug. Dieses Paper vertieft sich in einen spezifischen Satz dieser Logikrätsel, die dazu entwickelt wurden, die Grenzen unserer heutigen Computer und unseres Verständnisses dieser mathematischen Maschinen zu testen.

---

Das große „unmögliche“ Rätsel, das keines war

Lernen Sie Nick Palladinos kennen, einen digitalen Detektiv, der beschloss, einen frischen Blick auf einen Satz von zehn Logikrätseln zu werfen, die alle anderen bereits aufgegeben hatten. Diese Rätsel, bekannt als die „Challenge 2“-Instanzen, wurden von anderen Forschern mit einem sehr spezifischen, starren Satz von Regeln erstellt. Die Schöpfer dieser Rätsel glaubten, sie seien „unmöglich“ zu lösen. Sie dachten, die Regeln seien so eng gefasst, dass keine Kombination von 23 Lego-Steinen jemals zusammenpassen könnte, um die Maschine zu bauen. Es war, als würde man einem sagen: „Hier ist eine Box mit einem Schloss, das definitiv nicht geöffnet werden kann“, und alle nickten einfach und gingen weg.

Aber Palladinos versuchte nicht nur, das Schloss mit einem größeren Hammer gewaltsam zu öffnen. Stattdessen betrachtete er das Schloss selbst und erkannte etwas Entscheidendes: Die Regeln waren nicht so streng, wie alle dachten.

Die Ersteller der Rätsel hatten die Regeln mit „positiven“ Anweisungen geschrieben. Sie sagten: „Du musst diesen spezifischen Stein hier haben“ und „Du musst jenen Stein dort haben“. Aber sie vergaßen zu sagen: „Und du darfst keine anderen Steine daneben haben, die diese berühren.“ Es stellt sich heraus, dass die Mathematik erlaubt, zusätzliche Steine hinzuzufügen, solange die fertige Maschine korrekt funktioniert. Die „unmöglichen“ Rätsel warteten eigentlich nur darauf, dass jemand erkennt, dass die Tür nicht verschlossen war; es war nur so, dass alle versuchten, die Puzzleteile in eine Box zu passen, die zu klein war, während sie ignorierten, dass die Box tatsächlich ein wenig größer sein konnte.

Die Magie des Verschiebens und Vertauschens

Wie hat Palladinos sie also gelöst? Er nutzte einen cleveren Trick unter Verwendung von „Symmetrie“. Stellen Sie sich vor, Sie haben einen Rubik's Cube. Wenn Sie den gesamten Würfel drehen oder rotieren, bewegen sich die Farben, aber der Würfel bleibt dasselbe Objekt. Palladinos erkannte, dass die mathematische „Maschine“, die er baute, eine ähnliche Eigenschaft besaß. Er konnte eine funktionierende Lösung (einen Satz von 23 Steinen, die erfolgreich Matrizen multiplizieren) nehmen und die Teile mittels eines speziellen mathematischen Tanzes, der „GL(3, 2)-Gruppenwirkung“ genannt wird, drehen, rotieren oder durchmischen.

Denken Sie daran, wie man die Möbel in einem Raum umstellt. Man kann das Sofa nach links schieben, die Lampe nach rechts und den Teppich in die Mitte legen. Der Raum bleibt ein Raum und die Möbel funktionieren immer noch, aber das Layout ist anders. Palladinos nahm eine bekannte, funktionierende Lösung und wandte diese mathematischen „Drehungen“ darauf an. Dann nutzte er ein Abgleichspiel, um zu sehen, ob diese neuen, durchgemischten Versionen der Möbel in die spezifischen „Schlitze“ der kniffligen Rätsel passen würden.

Und raten Sie mal? Sie passten perfekt!

Tatsächlich fand Palladinos nicht nur eine Lösung; er fand Lösungen für alle zehn der Rätsel, die angeblich unlösbar waren. Er bewies, dass diese „unlösbaren“ Formeln tatsächlich erfüllbar sind. Der Computer hat nicht nur geraten; er hat jede einzelne Regel überprüft. Das Paper bestätigt, dass für alle 10 dieser „Challenge 2“-Dateien eine gültige Möglichkeit existiert, die 23 Bausteine anzuordnen, damit die Maschine funktioniert. Die Bezeichnung „unmöglich“ war ein Missverständnis der Regeln, keine echte mathematische Barriere.

Der „Geister“-Stein und die perfekte Lösung

Das Paper befasste sich auch mit einer dritten Herausforderung, „Challenge 3“. Diese stellte eine andere Frage: Können wir die Maschine mit 23 Steinen bauen, aber sicherstellen, dass ein spezifischer Stein „geisterhaft“ ist? In der Mathematiksprache bedeutet dies, dass einer der 23 Bausteine eine „Typ-3-Zählung“ von Null haben sollte. Dies ist eine schicke Art zu sagen, dass einer der Steine nicht an einem bestimmten, häufig vorkommenden Muster teilnehmen soll, das normalerweise in diesen Maschinen erscheint.

Palladinos gelang dies ebenfalls. Er nahm eine funktionierende Lösung und vollzog einen kleinen, präzisen Tausch. Er nahm zwei Steine, die eine bestimmte Aufgabe erfüllten, und ersetzte sie durch zwei andere Steine, die exakt dieselbe Aufgabe erfüllten, aber anders aussah. Dieser Tausch war so clever, dass er einen „Geister“-Stein erschuf – einen, der das verbotene Muster überhaupt nicht auslöste. Er bewies, dass man die 3x3-Matrizenmultiplikationsmaschine tatsächlich mit 23 Steinen bauen kann, wobei einer davon völlig frei von diesem spezifischen Muster ist.

Die abschließende Prüfung

Um sicherzustellen, dass niemand sagen konnte: „Oh, du hast nur Glück mit dem Computer gehabt“, baute Palladinos einen super-strengen Prüfer. Er generierte die vollständige Liste der 26.541 Variablen (die Schalter) für alle 21 Rätsel (10 aus Challenge 1, 10 aus Challenge 2 und 1 aus Challenge 3). Er ließ dann ein separates Programm laufen, das die ursprünglichen Rätselregeln und die neuen Lösungen las und jede einzelne der 2.461.316 logischen Klauseln überprüfte.

Das Ergebnis? Null Fehler. Jede einzelne Regel wurde erfüllt. Die Lösungen sind echt, sie sind verifiziert und sie sind reproduzierbar. Jeder mit der richtigen Software kann denselben Code ausführen und in etwa neun Sekunden genau dasselbe Ergebnis erhalten.

Was dies bedeutet (und was es nicht bedeutet)

Was ist also die wichtigste Erkenntnis? Das Paper zeigt, dass die „unmöglichen“ Rätsel eigentlich die ganze Zeit lösbar waren; die Regeln waren nur nicht so eng gefasst, wie die Rätselmacher dachten. Es ist eine Erinnerung daran, dass in der Mathematik und Informatik der schwierigste Teil manchmal nicht das Finden der Lösung ist, sondern die Erkenntnis, dass das Problem gar nicht so kaputt ist, wie es scheint.

Es gibt jedoch einen Haken. Dieses Paper löst die Rätsel für eine spezifische Art von mathematischer Welt namens „F2“ (was wie eine Welt ist, in der Zahlen nur nach 1 zurückspringen, also 1+1=0). Es beweist nicht, dass wir eine 22-Steine-Maschine bauen können. Die Suche nach der 22-Steine-Maschine (Challenge 4) ist weiterhin offen. Das Paper sagt auch nicht, dass diese Lösungen für jede Art von Mathematik funktionieren, die man in der realen Welt verwenden könnte, wie zum Beispiel die komplexen Zahlen in der Ingenieurwissenschaft. Es löst lediglich die spezifischen Logikrätsel, wie sie geschrieben wurden.

Aber für die geschriebenen Rätsel ist das Urteil eindeutig: Das „Unmögliche“ ist tatsächlich möglich. Die Tür war nie verschlossen; wir brauchten nur den richtigen Schlüssel, um den Griff zu drehen.