Vtipy pro intelektuály už dávno nejsou v televizi vzácností. Lze je vidět v The Simpsons, v jiných animovaných seriálech, všude. Ale Futurama tuto techniku posunula na novou, nukleární úroveň.
Vezměte si epizodu „The Prisoner of Benda“ – jeden z nejjasnějších příkladů, kdy se scenárista Ken Keeler dostal do slepé uličky. Potřeboval řešení zápletky založené na skutečném, originálním matematickém důkazu. Ne rekvizita, ne vtip, ale skutečný důkaz, který funguje v rámci logiky pořadu.
Pokud máte zájem ponořit se hlouběji do průsečíku pop kultury a vědy, jste na správném místě. Nejde jen o karikatury, ale o to, jak oddělení skript omylem vyřešilo problém v teorii permutací.
Přeskupení, které rozbilo vesmír
Příběh začíná jednoduše. Profesor Farnsworth vynalezl zařízení pro sdílení mysli. Vymění si těla s Amy, která chce jíst nezdravé jídlo bez extra kalorií. Klasická Amy.
Ale je tu nuance. Zařízení funguje pouze jednou pro každý konkrétní pár. Pokud si A vyměnil těla s B, není již možné vrátit vše zpět přímou výměnou. Mechanismus je zablokován.
Nastává chaos. Jde o osm párů, devět postav se ocitne ve spletité změti těl. kdo je v kom? Nikdo neví. Zpočátku dokonce i scénáristé.
Bender ukradne jachtu. Leela hledá ve Fryově mozku romantické stopy. Fry se při zvláštním aktu pomsty nebo sebetrýznění vymění s doktorem Zoidbergem kvůli jeho nechutné podobě připomínající humra. Nebo možná jen chtěl být divný.
Cíl je jednoduchý: každý se musí vrátit do svého těla. Problém se však zdá neřešitelný v rámci zavedených pravidel. Je nemožné vrátit zpět permutace pomocí existujícího obsazení postav.
Keeler, který má doktorát z matematiky, zíral na tabuli. Uvědomil si, že k nápravě chaosu jsou potřeba nové postavy. Ale kolik jich potřebujete?
Může počet pomocníků růst s velikostí skupiny? Nebo existuje pevné, malé číslo, které vždy funguje?
Studoval vědeckou literaturu. Nic. Problém o řešení paradoxu tělesných permutací nebyl v akademických časopisech řešen.
Pak Keeler vše napsal na papír a dokázal to.
Matematika šílenství
Zde je abstraktní formulace problému.
Představte si $n$ prvků v neuspořádaném pořadí. Cílem je vrátit je do původního pořadí (1, 2, …, $n$) pomocí párových permutací. Podmínka: Můžete vyměnit pouze dva prvky najednou a nemůžete znovu použít stejný pár.
Keeler objevil, že zavedením dvou dalších znaků (nazývejte je $x$ a $y$) lze náhodné zamíchání opravit na libovolný počet původních $n$ znaků.
Toto je známé jako Futurama Theorem. Zní to triviálně, ale je to legitimní teorie skupin.
Keelerova metoda funguje tak, že rozdělí zamíchanou sadu na dvě poloviny. Jedna část obsahuje prvky od 1 do $i$, druhá – od $i+1$ do $n$. Poté pomocí dvou nových proměnných $x$ a $y$ provede permutace.
Proces vypadá takto:
- Zaměňte nesprávně umístěné prvky první poloviny za $x$.
- Vyměňte prvky druhé poloviny za $y$.
- Vyměňte $x$ za $i+1$.
- Vyměňte $y$ od 1.
Výsledek? Původní pořadí bylo obnoveno. Další proměnné $x$ a $y$ ruší své účinky. Zůstanou vyměněni mezi sebou, ale všichni ostatní se vrátí domů.
Světoběžníci zachraňují situaci
V epizodě přijdou na pomoc Harlem Globetrotters – ano, skutečný zábavní basketbalový tým. Dva hráči, Sweet Clyde Dixon a Bulbgum Tate, se blíží k desce.
Napíšou Keelerův důkaz.
Matematika se sčítá. Pro Frye a Zoidberga, kteří uvízli v jednoduché párové permutaci, používají světoběžníci čtyři kroky. Považují pár za $(2, 1)$ a aplikují algoritmus.
Celkový počet kroků pro všech devět postav pomocí této metody je 13. Teoretické minimum je 9, ale 13 je čisté řešení v rámci narativních omezení.
Na konci epizody skončí každé vědomí ve správném těle. Globetrotters zůstávají navzájem vyměněni. Mohli přepnout zpět, ale to už je jedno. Mise splněna.
Proč je to důležité (vtipy stranou)
Keeler byl potěšen svým důkazem, ale nezveřejnil ho. Považoval to za kuriozitu, nikoli za přínos vědě.
Mýlil se.
V roce 2014 matematici Ron Evans, Liuhua Huang a Tuan Nguyen převzali Keelerovu logiku a formalizovali ji. Publikovali vylepšený devítistránkový důkaz v American Mathematical Monthly.
Neodkazovali jen na epizodu. Potvrdili jeho pravost. “Futuramův teorém” je nyní uznávaným výsledkem kombinatorické teorie grup týkajících se permutací a rozkladů cyklů.
To vyvolává zajímavou otázku o kreativitě. Někdy je nejlepším způsobem, jak vyřešit rigorózní akademický problém, přistupovat k němu z pohledu kresleného filmu.
Epizoda obstojí při kontrole. Matematika se drží. Světoběžníci jsou stále v pohodě.
Ale jedna myšlenka zůstává: jsme zvyklí považovat tyto sféry za oddělené. Matematika je ve věži ze slonoviny, komedie v obýváku. Když se protnou, výsledkem je obvykle trik.
Keeler dokázal, že křižovatka může být strukturální. Nemovitý. Užitečný.
Až někdo příště řekne, že popkultura postrádá hloubku, připomeňte mu Globetrotters. Připomeňte mu desku. Připomeňte jim, že někdy stačí jen dvě postavy navíc k vyřešení problému, o kterém jste ani nevěděli, že ho máte.
A možná řešení není vrátit se. Jde o to jít dál. Spolu se dvěma novými přáteli.
