Mathematiker entwickeln perfekt faire 60-seitige Würfel für jede Spielerzahl

Auf einer Spielkonvention um 2010 stellte der Brettspielentwickler James Ernest dem Mathematiker Eric Harshbarger beim Abendessen eine scheinbar lockere Frage: Könnte jemand ein Würfelset entwerfen, mit dem jeder Spieler in einer Gruppe, ob zwei oder zwölf Personen, genau einmal würfelt und dabei für den ersten Zug die exakt gleiche Chance hat? Die Anforderung war strenger, als sie klingt. Kein Gleichstand. Keine Neuwürfe. Nur ein Wurf pro Spieler und eine völlig zufällige, aber faire Entscheidung.

Harshbarger, heute Mathematiker an der Auburn University in Alabama, konnte an diesem Abend keine Antwort geben. Aber die Frage ließ ihn mehr als ein Jahrzehnt lang nicht los. Sie wurde als „Wer-zuerst-würfelt“-Problem bekannt, ein Rätsel, das Kombinatorik, Geometrie und die alltägliche Zufälligkeit von Brettspielen verband. Nach fünfzehn Jahren gelegentlicher Zusammenarbeit haben Harshbarger und ein Netzwerk mathematischer Freunde nun die Lösung vorgestellt: ein Satz von fünf 60-seitigen Würfeln, der die Zugreihenfolge für jede Spielerzahl vollkommen fair bestimmen kann.

Das Problem, das einfach klingt

Auf den ersten Blick wirkt die Aufgabe trivial. Um Gleichstände zu vermeiden, könnte man einfach jede Würfelseite mit einer einzigartigen Zahl versehen. Bei fünf 60-seitigen Würfeln bedeutet das, die Zahlen von 1 bis 300 zu gravieren, jede genau einmal. Wer eine 300 würfelt, gewinnt offensichtlich, und da keine zwei Spieler dieselbe Zahl würfeln können, ist ein Gleichstand ausgeschlossen. Doch „Fairness“ ist eine deutlich anspruchsvollere Bedingung als nur Duplikate zu vermeiden.

Die Feinheit zeigt sich, wenn man fragt, was für beliebige Teilmengen von Spielern passiert. Die Würfel müssen so konstruiert sein, dass jeder Spieler in einer Gruppe von zwei, drei, vier oder fünf Personen exakt die gleiche Wahrscheinlichkeit hat, die höchste Zahl zu würfeln. Wenn die Zahlen ungleich verteilt sind, könnte ein Würfel deutlich eher eine hohe Zahl liefern und damit der Person, die ihn wählt, einen unfairen Vorteil verschaffen. Harshbarger erklärte es so: „Das Einfache ist, Gleichstände zu vermeiden; man setzt einfach unterschiedliche Zahlen auf alle Würfel. Das Problem ist, wie man diese unterschiedlichen Zahlen auf die Würfel verteilt, damit die Wahrscheinlichkeit nicht nur für das gesamte Set, sondern für jede beliebige Teilmenge gleich ist.“

Genau diese Bedingung machte das Rätsel so trügerisch schwierig. Eine zufällige Verteilung der Zahlen auf die Würfel erfüllt fast nie die Fairness-Anforderung für jede Teilmenge. Selbst eine scheinbar ausgewogene Anordnung scheitert oft, wenn man nur zwei Würfel miteinander vergleicht. Um echte Fairness zu erreichen, müssen die Zahlen mit mathematischer Präzision angeordnet werden, mit einem Gleichgewicht aus hohen und niedrigen Werten auf jedem Würfel, sodass jeder Würfel im Effekt gleich stark ist.

Eine 15-jährige mathematische Reise

Die Frage tauchte erstmals bei diesem Dinner auf der Konvention auf, doch Harshbarger verfolgte sie nicht mit fieberhafter Eile. Stattdessen blieb sie als „Gelegenheitsprojekt“ unter Freunden, Mathematikern und Puzzle-Enthusiasten bestehen, die immer wieder in Konferenzen und Online-Foren darauf zurückkamen. Was das Problem reizvoll machte, war nicht nur sein praktischer Nutzen, sondern auch seine theoretische Tiefe.

Die Entwicklung eines fairen Würfelsets hängt mit einem bekannten Begriff aus der Wahrscheinlichkeitstheorie zusammen, den „nichttransitiven Würfeln“. Normalerweise kann ein Würfelset eine Stein-Schere-Papier-ähnliche Kette erzeugen, in der Würfel A Würfel B schlägt, Würfel B Würfel C schlägt und Würfel C Würfel A schlägt. Das Wer-zuerst-würfelt-Problem verlangt jedoch etwas Stärkeres: völlige Symmetrie unter allen Würfeln, sodass keiner schwächer oder stärker als ein anderer ist. Mathematisch müssen die Würfel probabilistisch „austauschbar“ sein. Für jedes Würfelpaar muss jeder die gleiche Chance haben, die höhere Zahl zu werfen, und das muss für jedes Dreier-, Vierer- oder komplette Set gelten.

Im Laufe der Jahre probierten die Mitwirkenden verschiedene Ansätze aus: iterative Suchalgorithmen, kombinatorische Ungleichungen und jede Menge kluge Vermutungen. Aber eine brute-force-Suche war nicht praktikabel. Die Zahl möglicher Zuweisungen von 300 Zahlen auf 300 Flächen ist astronomisch, und es gab keine offensichtliche Symmetrie, die die Suche vereinfacht hätte. Der Fortschritt kam in Schüben. Manchmal tauchte ein vielversprechender Kandidat auf, nur um beim Test gegen eine bestimmte Teilmenge zu scheitern. Zu anderen Zeiten bewies das Team, warum eine ganze Familie von Entwürfen nicht funktionieren konnte, und engte die Suche so ein.

Laut Harshbarger steuerten viele Mathematiker und Hobbyisten Ideen bei, auch wenn ihre Namen nicht auf dem endgültigen Paper stehen. „Es war wirklich eine Gemeinschaftsleistung“, sagte Harshbarger gegenüber Live Science. „Die Leute brachten verschiedene Teile des Puzzles mit, und langsam setzten wir ein Bild dessen zusammen, was möglich war und was nicht.“ Der Prozess war weniger ein plötzlicher Geistesblitz als vielmehr eine beharrliche, schrittweise Verfeinerung.

Das siegreiche Design

Nach fünfzehn Jahren Arbeit fand das Team schließlich eine vollständige Lösung: fünf 60-seitige Würfel, jeweils ein Polyeder, das als Hexekontaeder bekannt ist, gemeinsam mit den Zahlen 1 bis 300 versehen, ohne Wiederholungen. Die Verteilung der Zahlen auf die Würfel ist nicht zufällig; sie ist eine sorgfältig entworfene Anordnung, bei der jeder Würfel exakt die gleiche Wahrscheinlichkeit hat, gegen jeden anderen Würfel zu gewinnen, und auch die gleiche Wahrscheinlichkeit, in jeder größeren Teilmenge der höchste zu sein.

Um die Leistung öffentlich zu zeigen, ließ Harshbarger fünf riesige Holzrepliken der Würfel anfertigen oder baute sie selbst, jede aus einer anderen Holzart geschnitzt. Die übergroßen Würfel helfen dabei, die Komplexität des Objekts zu veranschaulichen. Ein 60-seitiger Würfel wirkt fast wie eine Kugel, und das Handhaben vermittelt die geometrische Raffinesse, die für das Design nötig war. Diese künstlerischen Versionen sind nun dauerhaft im neuen Mathematikgebäude der Auburn University ausgestellt und dienen sowohl als Feier als auch als Inspiration für Studierende, die vielleicht eines Tages eigene mathematische Rätsel lösen.

Die Entdeckung hat unmittelbare Folgen für Brettspielentwickler. Anstatt komplizierte Regeln für die Zugreihenfolge zu verwenden, könnten Spieler einfach einen der fünf Würfel nehmen und würfeln. Das System funktioniert mit jeder Spielerzahl von eins bis fünf. Bei zwei Spielern wählt jeder einen Würfel und würfelt; die höhere Zahl gewinnt. Bei fünf Spielern entscheiden dieselben Würfe, wer beginnt, und jeder Spieler hat eine Eins-zu-fünf-Chance zu gewinnen. Die Würfel würden sogar mit sechs oder mehr Spielern funktionieren, wenn man Gleichstände zuließe? Nein, das Design garantiert keine Gleichstände, aber das Problem verlangt nur Fairness innerhalb des gesamten Sets. Dennoch bezieht sich die Leistung des Teams ausdrücklich auf Gruppen bis fünf, da jedes Set fünf Würfel umfasst.

Bemerkenswert ist, dass die Garantie selbst dann gilt, wenn Spieler strategisch Würfel wählen. Da jeder Würfel gegen jeden anderen fair ist, hat keiner einen inhärenten Vorteil. Ein Spieler könnte versuchen vorherzusagen, welchen Würfel ein anderer wählen wird, aber weil alle Würfel symmetrisch sind, gibt es keine Möglichkeit, durch die Auswahl einen Vorteil zu erlangen. Genau das macht das Design so bemerkenswert: Es verwandelt ein scheinbar einfaches Werkzeug in einen vollkommen unparteiischen Zufallsgenerator.

Warum 60 Seiten?

Warum brauchte die Lösung 60-seitige Würfel statt zum Beispiel standardmäßige 6-seitige Würfel? Die Antwort liegt in der Mathematik der Fairness. Damit ein Würfelset für jede Teilmenge vollkommen unparteiisch ist, muss die Zahl der Seiten groß genug sein, um eine sehr ausgewogene Verteilung der Werte zu ermöglichen. Mit nur sechs Seiten ist es unmöglich, 30 Zahlen (für ein Fünf-Würfel-Set) so zu verteilen, dass die Wahrscheinlichkeiten für jede Teilmenge ausgeglichen sind. Die Geometrie der 60-seitigen Würfel bietet genügend Flächen, um das feine Gleichgewicht zu ermöglichen, das das Problem verlangt.

Harshbargers Arbeit ist ein elegantes Beispiel dafür, wie reine Mathematik aus einer spielerischen Frage entstehen kann. Was als „Scherz“ auf einer Spielkonvention begann, wurde zu einer ernsthaften Forschungsleistung, die Wahrscheinlichkeitstheorie, Kombinatorik und polyedrische Geometrie berührte. Am Ende entstand etwas Greifbares: ein Würfelset, das Spieler in die Hand nehmen, werfen und dem sie vertrauen können.

Die fünf Holz-Würfel im Mathematikgebäude von Auburn sind nicht nur Relikte; sie sind ein greifbarer Beweis dafür, dass manche Probleme Geduld, Zusammenarbeit und die Bereitschaft erfordern, die Würfel immer wieder zu werfen.

Dieser Artikel basiert auf Berichten von Live Science. Zum Originalartikel.