Nerdgrappen zijn niet meer zeldzaam op tv. Je ziet ze in The Simpsons, je ziet ze overal. Maar Futurama? Futurama ging nucleair op de proppen.
Neem ‘The Prisoner of Benda’, een opvallende aflevering waarin schrijver Ken Keeler tegen een muur botste. Hij had een plotoplossing nodig die een echt, origineel wiskundig bewijs vereiste. Geen prop. Geen grap. Een feitelijk bewijs. En het moest werken in de logica van de show.
Als je graag diep duikt in het snijvlak van popcultuur en harde wetenschap, dan ben je hier aan het juiste adres. Dit gaat niet alleen over tekenfilms. Het gaat over hoe een schrijverskamer per ongeluk een probleem in de permutatietheorie oploste.
De ruil die het universum kapot maakte
Het uitgangspunt begint eenvoudig. Professor Farnsworth bedenkt een apparaat om gedachten te verwisselen. Hij ruilt met Amy, die junkfood wil eten zonder de calorieën. Klassieke Amy.
Maar er zit een addertje onder het gras. De machine is een eenmalige deal voor elk paar. Als A met B ruilt, kun je ze niet zomaar direct terugruilen. Het slot is ingeschakeld.
Er ontstaat chaos. Er zijn zeven verschillende paren opgebruikt. Negen personages belanden in een wirwar van lichamen. Wie is wie? Niemand weet het. In eerste instantie zelfs de schrijvers niet.
Bender steelt een jacht. Leela zoekt naar romantische aanwijzingen in Fry’s brein. Fry, in een bizarre wraakactie, verandert in de lelijke kreeftvorm van Dr. Zoidberg omdat hij zichzelf haat? Of misschien wilde hij gewoon raar zijn.
Het doel is simpel: iedereen gaat terug naar zijn eigen lichaam. Het probleem is onmogelijk volgens de vastgestelde regels. Je kunt de ruil met de bestaande cast niet ongedaan maken.
Keeler, gepromoveerd in de wiskunde, staarde naar het bord. Hij besefte dat hij nieuwe personages nodig had om de puinhoop op te lossen. Maar hoeveel?
Kan het aantal helpers meegroeien met de groepsgrootte? Of was er een vast, klein aantal dat altijd werkte?
Hij dook in de literatuur. Niets. Het probleem van hoe de body-swap-paradox op te lossen was niet behandeld in wetenschappelijke tijdschriften.
Dus Keeler schreef het uit. En hij bewees het.
De wiskunde achter de waanzin
Hier is de abstracte versie van het probleem.
Stel je $n$ items voor in een gecodeerde volgorde. Het doel is om ze terug te brengen naar de bestelling (1, 2, …, $n$) met behulp van swaps. Het addertje onder het gras: je kunt slechts twee items tegelijk ruilen en je kunt een paar niet hergebruiken.
Keeler ontdekte dat door slechts twee extra karakters te introduceren (laten we ze $x$ en $y$ noemen), je de strijd om een aantal initiële karakters $n$ kunt oplossen.
Dit staat bekend als de Futurama-stelling. Het klinkt als trivia, maar het is legitieme groepentheorie.
De methode van Keeler werkt door de gecodeerde set in twee helften te splitsen. De ene helft gaat van 1 naar $i$, de andere van $i+1$ naar $n$. Vervolgens permuteert hij de items met behulp van de twee nieuwe variabelen $x$ en $y$.
Het proces ziet er als volgt uit:
- Ruil zoekgeraakte elementen uit de eerste helft met $x$.
- Wissel elementen van de tweede helft met $y$.
- Wissel $x$ om met $i+1$.
- Wissel $y$ met 1.
Het resultaat? De oorspronkelijke orde is hersteld. De extra variabelen $x$ en $y$ vallen weg. Ze blijven achter, worden met elkaar geruild, maar alle anderen zijn thuis.
De Globetrotters redden de dag
In de aflevering komen de Harlem Globetrotters – ja, het echte NBA-entertainmentteam – helpen. Twee spelers, Sweet Clyde Dixon en Bubblegum Tate, lopen naar het bord.
Ze schrijven het bewijs van Keeler op.
De wiskunde klopt. Voor Fry en Zoidberg, die vastzitten in een eenvoudige tweerichtingsruil, gebruiken de Globetrotters vier stappen. Ze behandelen het paar als $(2, 1)$ en passen het algoritme toe.
Met deze methode komt het totaal aantal stappen voor alle negen karakters op 13. Het minimaal mogelijke is 9, maar 13 is schoon en werkt binnen de narratieve beperkingen.
Aan het einde van de aflevering bevindt elke geest zich in het juiste lichaam. De Globetrotters blijven met elkaar geruild. Ze kunnen terugschakelen, maar dat maakt niet uit. De missie is voltooid.
Waarom dit ertoe doet (Beyond The Gags)
Keeler was blij met zijn bewijs. Maar hij heeft het niet ingediend. Hij dacht dat het een curiosum was, en geen bijdrage aan het veld.
Hij had het mis.
In 2014 namen wiskundigen Ron Evans, Lihua Huang en Tuan Nguyen de logica van Keeler over en formaliseerden deze. Ze publiceerden een verbeterde proefdruk van negen pagina’s in de American Mathematical Monthly.
Ze noemden niet alleen de aflevering. Zij hebben het gevalideerd. De “Futurama-stelling” is nu een erkend resultaat in de combinatorische groepentheorie, met name wat betreft permutaties en cyclusontbinding.
Het roept een interessante vraag op over creativiteit. Soms is de beste manier om een rigide academisch probleem op te lossen, het te benaderen vanuit een cartoon.
De aflevering houdt stand. De wiskunde houdt stand. De Globetrotters zijn nog steeds cool.
Maar hier is de slepende gedachte: we behandelen deze velden als gescheiden. Wiskunde zit in de ivoren toren. Komedie is in de woonkamer. Wanneer ze elkaar kruisen, is het resultaat meestal een gimmick.
Keeler bewees dat het kruispunt structureel kan zijn. Echt. Bruikbaar.
De volgende keer dat iemand je vertelt dat de popcultuur geen diepgang heeft, herinner hem dan aan de Globetrotters. Herinner ze aan het bord. Herinner hen eraan dat je soms twee extra karakters nodig hebt om een probleem op te lossen waarvan je niet wist dat je het had.
En misschien, heel misschien, is de oplossing niet om terug te gaan. Het is om vooruit te blijven gaan. Met twee nieuwe vrienden.
