Onderzoekers hebben een nieuwe methode ontwikkeld om een hulpbron zodanig te verdelen dat geen enkele deelnemer het gevoel heeft dat een ander een beter deel heeft gekregen. Deze wiskundige doorbraak lost een langlopend vraagstuk op over de efficiëntie van het proces.
In de theoretische informatica en speltheorie staat het zogenaamde 'cake cutting'-probleem centraal. Het doel is om een resource — in dit geval gesymboliseerd door een cake — te verdelen tussen een aantal personen, waarbij een 'envy-free' (benijdensvrije) toewijzing wordt gezocht. Dit betekent dat elke persoon vindt dat zijn eigen stuk minstens zo waardevol is als elk ander stuk in de verdeling.
De zoektocht naar efficiëntie
Het vinden van een dergelijke verdeling is complex, vooral wanneer men probeert het aantal 'queries' (vragen over de voorkeuren van de deelnemers) te beperken. Volgens een recent wetenschappelijk document op arxiv.org was het tot nu toe een grote uitdaging om een verdeling te vinden met een beperkt aantal queries.
Eerdere pogingen om dit probleem op te lossen leidden tot zeer hoge complexiteitsgraden. Zo stelden Aziz en Mackenzie de eerste grens vast die enkel afhankelijk was van het aantal deelnemers ($n$), maar deze grens was extreem hoog: een 'torensprong' van zes $n$'s. Latere verbeteringen, waaronder het werk van Ye en Bai, brachten dit terug naar een enkel-exponentiële grens van $n^{O(1)}2^n$. Desondanks bleef er een aanzienlijk gat bestaan tussen deze deterministische bovengrens en de algemene ondergrens van $\Omega(n^2)$ die door Procaccia was vastgesteld.
Een nieuwe randomiseerde aanpak
In het op 20 oktober 2026 gepubliceerde artikel presenteren Simon Mackenzie en Mashbat Suzuki een nieuwe oplossing. De onderzoekers tonen aan dat een polynomiale verwachte query-grens mogelijk is door gebruik te maken van een gerandomiseerd protocol.
Dit protocol maakt gebruik van onafhankelijke, uniform gesamplede punten van de 'cake' als bron van willekeur. Voor elke groep van $n$ agenten met niet-negatieve, additieve en niet-atomische waarderingen biedt het protocol drie specifieke garanties:
1. Het proces zal met een waarschijnlijkheid van één worden afgerond.
2. Elke resulterende toewijzing is volledig en exact benijdensvrij.
3. Het verwachte aantal Robertson-Webb queries is $\widetilde{O}(n^{30})$.
Hierbij is de verwachting uitsluitend gebaseerd op de willekeurige keuzes van het protocol zelf, zonder dat er aannames worden gedaan over de voorkeuren van de deelnemers.
Wetenschappelijke context en impact
De publicatie, die is ingediend bij de categorieën Computer Science and Game Theory (cs.GT) en Computational Complexity (cs.CC) op , beslaat 56 pagina's en bevat vier figuren. De resultaten vormen een antwoord op een centrale open vraag binnen de 'fair division'-theorie: of polynomiaal veel queries voldoende zijn voor een exacte benijdensvrije verdeling.
Hoewel de theoretische complexiteit van $\widetilde{O}(n^{30})$ nog steeds hoog is, is de verschuiving van een exponentiële naar een polynomiale grens een significante stap voorwaarts in de computationele complexiteitstheorie. Het bewijst dat het probleem efficiënter oplosbaar is dan voorheen werd aangenomen, mits men willekeurige elementen in het algoritme introduceert.
De details van dit onderzoek zijn beschikbaar via de , waar de preliminaire versie van het werk door Mackenzie en Suzuki is opgeslagen. Andere bronnen, zoals de Exact Online Support Portal, bevatten geen relevante informatie over dit specifieke wiskundige vraagstuk.