Rechnerischer Beweis des optimalen 4x4 Boggle-Bretts
2025-04-23
Ein Programmierer verbrachte Monate damit, einen Branch-and-Bound-Algorithmus und benutzerdefinierte Datenstrukturen zu verwenden, um rechnerisch das Brett mit der höchsten Punktzahl in einem 4x4 Boggle-Spiel zu beweisen. Dies löst ein fast 40 Jahre altes Problem und zeigt, dass selbst scheinbar unmögliche erschöpfende Suchen mit einer ausreichend tiefen Suche erreicht werden können. Das Projekt verwendete eine 192-Kern-CPU, dauerte 5 Tage und kostete etwa 1200 $. Ohne KI zu verwenden, zeigt es die Leistungsfähigkeit klassischer Algorithmen und Datenstrukturen sowie die Rolle des Cloud-Computings bei der Bewältigung rechenintensiver Probleme.
Spiele
Rechnerischer Beweis