Wenn Geschwister einen Geburtstagskuchen teilen, Erben einen Nachlass aufteilen oder Mitbewohner Zimmer und Miete verteilen, stoßen wir auf das fundamentale Problem der Gerechtigkeit (Fairness).

Die älteste intuitive Lösung für zwei Personen lautet: „Einer teilt, der andere wählt (Cut and Choose)“. Der Teilende bemüht sich um exakte Gleichheit, um sich selbst abzusichern, während der Wählende das bevorzugte Stück nimmt.

Doch was geschieht bei drei oder mehr Personen? Und was passiert, wenn der Kuchen ungleichmäßig belegt ist – links Schokolade, rechts Erdbeeren – und die Vorlieben der Teilnehmer stark asymmetrisch sind? Teilt man den Kuchen nach reinem geometrischem Volumen in drei gleiche Teile, fühlt sich der Erdbeer-Allergiker betrogen.

Gibt es ein mathematisches Verfahren, das garantiert, dass jeder Teilnehmer nach seinen ganz eigenen Maßstäben zufrieden ist und niemand das Stück eines anderen beneidet?

Dies ist das zentrale Forschungsgebiet der fairen Aufteilung (Fair Division), bekannt als Kuchenteilungs-Problem (Cake-Cutting Problem). Seit seiner mathematischen Formulierung durch Hugo Steinhaus in den 1940er Jahren hat es sich zu einer hochentwickelten Disziplin entwickelt, die Maßtheorie, Topologie (Fixpunktsätze und Sperners Lemma), Spieltheorie und Algorithmen vereint. 2016 gelang Haris Aziz und Simon Mackenzie ein historischer Durchbruch: der erste beschränkte, endliche neidfreie Algorithmus für beliebig viele Teilnehmer.

1. Mathematische Modellierung: Maßtheorie des Geschmacks

1.1 Der Kuchen als metrischer Raum

Der Kuchen wird als reelles Intervall $X = [0, 1]$ modelliert. Jedes Teilstück ist eine messbare Borel-Menge $A \in \mathcal{B}(X)$.

1.2 Subjektive Wertmaße

Jeder Teilnehmer $i \in \{1, \dots, n\}$ besitzt ein privates Wertmaß $V_i: \mathcal{B}(X) \to [0, 1]$, das folgenden Axiomen genügt:

1. Normierung: $V_i(X) = 1, V_i(\emptyset) = 0$.
2. Nicht-Negativität: $V_i(A) \ge 0$.
3. Additivität: Für disjunkte Stücke gilt $V_i(A \cup B) = V_i(A) + V_i(B)$.
4. Nicht-Atomarität (Teilbarkeit): Zu jedem Stück $A$ und Skalar $\alpha \in [0, 1]$ existiert ein Teilstück $B \subset A$ mit $V_i(B) = \alpha V_i(A)$.

Das Geniale an diesem Modell: Die Teilnehmer müssen sich in ihren Präferenzen keineswegs einig sein. Jeder bewertet den Kuchen ausschließlich nach seiner inneren Dichtefunktion $v_i(x)$.

2. Vier Kriterien der Gerechtigkeit: Proportionalität vs. Neidfreiheit

Bei einer Partition $(X_1, \dots, X_n)$ unterscheidet die Mathematik vier Stufen der Fairness:

Warum Neidfreiheit viel stärker ist als Proportionalität

Bei zwei Personen ($n=2$) fallen beide Kriterien zusammen. Bei drei Personen jedoch reicht Proportionalität nicht aus, um Neid zu verhindern! Angenommen, Alice schätzt drei Stücke wie folgt ein:

• Eigenes Stück $X_1$: $0.35$ ($> 1/3$, proportional!)
• Bobs Stück $X_2$: $0.50$
• Charlies Stück $X_3$: $0.15$

Alice hat mehr als ihr zustehendes Drittel erhalten, doch sie empfindet brennenden Neid auf Bob, der in ihren Augen $50\%$ des Kuchens besitzt. Neidfreiheit (Envy-Freeness) ist das Goldstandard-Kriterium für echten sozialen Frieden.

3. Das 2-Personen-Verfahren: “Cut and Choose”

  sequenceDiagram
    autonumber
    actor A as Spieler 1 (Teilender / Cutter)
    actor B as Spieler 2 (Wählender / Chooser)
    Note over A: Teilt den Kuchen bei c, sodass<br/>V1([0, c]) = 1/2 und V1([c, 1]) = 1/2
    A->>B: Präsentiert Stücke X1 und X2
    Note over B: Bewertet beide Stücke unter V2
    alt V2(X1) >= V2(X2)
        B->>B: Wählt Stück X1
        A->>A: Erhält restliches Stück X2
    else V2(X2) > V2(X1)
        B->>B: Wählt Stück X2
        A->>A: Erhält restliches Stück X1
    end
    Note over A,B: Beide erhalten >= 1/2; Neid = 0!

Spieltheoretisch hat der Wählende (Chooser) einen massiven strategischen Vorteil (Informationsrente): Der Teilende muss exakt $50:50$ teilen und bleibt bei $50\%$ Nutzen stehen. Weichen die Geschmäcker ab, kann der Wählende $80\%$ oder $100\%$ des subjektiven Nutzens für sich beanspruchen.

4. Das Selfridge-Conway-Verfahren für 3 Personen

Um 1960 entdeckten John Selfridge und John Horton Conway ein diskretes Protokoll mit maximal 5 Schnitten für 3 Personen:

1. Stufe 1 (Hauptkuchen und Trimmen):
   • $P_1$ teilt den Kuchen in drei für ihn exakt gleichwertige Teile $A, B, C$.
   • $P_2$ begutachtet die Stücke. Wenn ein Stück (z. B. $A$) eindeutig das größte ist, schneidet $P_2$ einen Randstreifen (Abschnitt $T$) ab, sodass der Rest $A'$ mit dem zweitgrößten Stück gleichwertig ist.
   • Auswahl: $P_3$ wählt zuerst. Dann wählt $P_2$ (muss $A'$ nehmen, falls $P_3$ es nicht nahm). Zuletzt nimmt $P_1$ das verbleibende Stück.
   • Da $P_1$ ein unversehrtes Stück mit Wert $1/3$ erhält, beneidet $P_1$ niemanden!
2. Stufe 2 (Neidfreie Verteilung des Rests $T$):
   • Sei $T_{\text{in}}$ der Spieler, der $A'$ erhalten hat, und $T_{\text{out}}$ der andere aus $\{P_2, P_3\}$.
   • $T_{\text{out}}$ teilt $T$ in drei gleiche Stücke.
   • Auswahlreihenfolge: $T_{\text{in}} \to P_1 \to T_{\text{out}}$.
   • Clou: $P_1$ beneidet $T_{\text{in}}$ niemals, denn selbst mit ganz $T$ erreicht $A'$ in den Augen von $P_1$ höchstens den Wert $1/3$, den $P_1$ bereits besitzt!

5. Topologie und Mieten-Harmonie: Sperners Lemma

Francis Su bewies 1999 mithilfe von Sperners Lemma (einem kombinatorischen Äquivalent des Brouwerschen Fixpunktsatzes), dass sich Zimmer und Gesamtmiete in einer WG stets so aufteilen lassen, dass jeder Mitbewohner ein anderes Zimmer wählt und vollkommen neidfrei bleibt (Rental Harmony).

6. Fazit

Gerechtigkeit bedeutet nicht mechanische Gleichmacherei, sondern die Achtung individueller Werte. Durch mathematisches Mechanismusdesign verwandelt die Spieltheorie menschlichen Neid in harmonische Kooperation.