Żarty dla intelektualistów już dawno przestały być rzadkością w telewizji. Można je zobaczyć w The Simpsons, w innych serialach animowanych, wszędzie. Ale Futurama przeniosła tę technikę na nowy, nuklearny poziom.
Weźmy odcinek „Więzień Bendy” – jeden z najwyraźniejszych przykładów, kiedy scenarzysta Ken Keeler wpadł w twórczy impas. Potrzebował rozwiązania fabuły w oparciu o autentyczny, oryginalny dowód matematyczny. Nie rekwizyt, nie żart, ale prawdziwy dowód, który działa w ramach logiki przedstawienia.
Jeśli chcesz głębiej zanurzyć się w styku popkultury i nauki, trafiłeś we właściwe miejsce. Nie chodzi tu tylko o kreskówki, ale o to, jak dział scenariuszy przypadkowo rozwiązał problem z teorią permutacji.
Przetasowania, które zrujnowały wszechświat
Historia zaczyna się prosto. Profesor Farnsworth wynajduje urządzenie do dzielenia się myślami. Zamienia ciała z Amy, która chce jeść śmieciowe jedzenie bez dodatkowych kalorii. Klasyczna Amy.
Ale jest niuans. Urządzenie działa tylko raz dla każdej konkretnej pary. Jeśli A zamienił się ciałami z B, nie jest już możliwe zwrócenie wszystkiego w drodze bezpośredniej wymiany. Mechanizm jest zablokowany.
Następuje chaos. W grę wchodzi osiem par, dziewięć postaci znajduje się w splątanej plątaninie ciał. Kto jest w kim? Nikt nie wie. Początkowo nawet scenarzyści.
Bender kradnie jacht. Leela przeszukuje mózg Fry’a w poszukiwaniu romantycznych wskazówek. Fry, w dziwnym akcie zemsty lub samotortury, zamienia się z doktorem Zoidbergiem ze względu na jego obrzydliwą postać przypominającą homara. A może po prostu chciał być dziwny.
Cel jest prosty: każdy musi wrócić do swoich ciał. Problem wydaje się jednak nierozwiązywalny w ramach ustalonych zasad. Nie można cofnąć permutacji przy użyciu istniejącej obsady znaków.
Keeler, który ma doktorat z matematyki, wpatrywał się w tablicę. Zdał sobie sprawę, że potrzebne są nowe postacie, aby zaradzić chaosowi. Ale ile z nich potrzebujesz?
Czy liczba pomocników może rosnąć wraz z wielkością grupy? A może istnieje stała, mała liczba, która zawsze działa?
Studiował literaturę naukową. Nic. Problem o rozwiązaniu paradoksu permutacji ciała nie był poruszany w czasopismach akademickich.
Następnie Keeler spisał wszystko na papierze i udowodnił to.
Matematyka szaleństwa
Oto abstrakcyjne sformułowanie problemu.
Wyobraź sobie elementy $n$ w pomieszanej kolejności. Celem jest przywrócenie ich do pierwotnej kolejności (1, 2, …, $n$) przy użyciu permutacji parami. Warunek: Możesz zamienić tylko dwa elementy na raz i nie możesz ponownie użyć tej samej pary.
Keeler odkrył, że wprowadzając dwa dodatkowe znaki (nazwij je $x$ i $y$), przemieszanie można skorygować o dowolną liczbę oryginalnych $n$ znaków.
Jest to znane jako Twierdzenie Futuramy. Brzmi banalnie, ale jest to uzasadniona teoria grup.
Metoda Keelera polega na podzieleniu przetasowanego zestawu na dwie połowy. Jedna część zawiera elementy od 1 do $i$, druga od $i+1$ do $n$. Następnie, używając dwóch nowych zmiennych $x$ i $y$, wykonuje permutacje.
Proces wygląda następująco:
- Zamień nieprawidłowo umieszczone elementy pierwszej połowy za $x$.
- Zamień elementy drugiej połowy za pomocą $y$.
- Zamień $x$ na $i+1$.
- Zamień $y$ z 1.
Wynik? Pierwotny porządek został przywrócony. Dodatkowe zmienne $x$ i $y$ anulują swoje działanie. Pozostają zamienieni między sobą, ale wszyscy inni wracają do domu.
Globtroterzy ratują sytuację
W tym odcinku na ratunek przybywają Harlem Globetrotters – tak, prawdziwa rozrywkowa drużyna koszykówki. Do planszy podchodzi dwóch graczy, Sweet Clyde Dixon i Bulbgum Tate.
Piszą dowód Keelera.
Matematyka się sumuje. W przypadku Fry’a i Zoidberga, którzy utknęli w prostej permutacji parami, globtroterzy stosują cztery kroki. Rozważają parę jako $(2, 1)$ i stosują algorytm.
Całkowita liczba kroków dla wszystkich dziewięciu znaków przy użyciu tej metody wynosi 13. Teoretyczne minimum to 9, ale 13 to czyste rozwiązanie w ramach ograniczeń narracyjnych.
Pod koniec odcinka każda świadomość trafia do odpowiedniego ciała. Globetrotters pozostają ze sobą zamienieni. Mogliby wrócić, ale to już nie ma znaczenia. Misja wykonana.
Dlaczego to jest ważne (żarty na bok)
Keeler był zadowolony ze swojego dowodu, ale go nie opublikował. Uważał to za ciekawostkę, a nie wkład w naukę.
Mylił się.
W 2014 roku matematycy Ron Evans, Liuhua Huang i Tuan Nguyen przyjęli logikę Keelera i sformalizowali ją. Opublikowali ulepszony dziewięciostronicowy dowód w American Mathematical Monthly.
Nie nawiązali tylko do odcinka. Potwierdzili jego autentyczność. „Twierdzenie Futuramy” jest obecnie uznanym wynikiem kombinatorycznej teorii grup dotyczącej permutacji i rozkładów cykli.
Rodzi to interesujące pytanie dotyczące kreatywności. Czasami najlepszym sposobem rozwiązania rygorystycznego problemu akademickiego jest podejście do niego z perspektywy kreskówki.
Odcinek wytrzymuje wnikliwą analizę. Matematyka trzyma poziom. Globetrotterzy są nadal fajni.
Pozostaje jednak jedna myśl: jesteśmy przyzwyczajeni do traktowania tych sfer jako odrębnych. Matematyka jest w wieży z kości słoniowej, komedia w salonie. Kiedy się przecinają, rezultatem jest zwykle sztuczka.
Keeler udowodnił, że przecięcie może mieć charakter strukturalny. Prawdziwy. Użyteczne.
Następnym razem, gdy ktoś powie, że popkulturze brakuje głębi, przypomnij mu o Globetrotterach. Przypomnij mu o tablicy. Przypomnij im, że czasami wystarczą tylko dwie dodatkowe postacie, aby rozwiązać problem, o którym nawet nie wiedziałeś.
I może rozwiązaniem nie będzie powrót. Chodzi o to, żeby nadal iść do przodu. Razem z dwójką nowych przyjaciół.
