Математичний доказ «Футурами»: як тілесні перестановки вирішили реальне завдання
Жарти інтелектуалів давно перестали бути рідкістю на телебаченні. Їх можна побачити в Сімпсонах, в інших мультсеріалах, всюди. Але “Футурама” вивела цей прийом на новий, ядерний рівень.
Візьмемо епізод «Бранниця Бендена» (The Prisoner of Benda) — один з найяскравіших прикладів, коли сценарист Кен Кілер уперся в творчий глухий кут. Йому потрібно рішення сюжету, засноване на справжньому, оригінальному математичному доказі. Чи не реквізит, не жарт, а справжній доказ, що працює в логіці шоу.
Якщо вам цікаво глибше поринути у взаємодію поп-культури та точних наук, ви потрапили за адресою. Йдеться не просто про мультфільми, а про те, як сценарний відділ випадково вирішив проблему теорії перестановок.
Перестановка, що зламала всесвіт
Історія починається просто. Професор Фарнсуорт винаходить пристрій обміну свідомостей. Він змінюється тілом з Емі, яка хоче їсти шкідливу їжу без зайвих калорій. Класична Емі.
Але є нюанс. Пристрій працює лише один раз для кожної конкретної пари. Якщо А змінилося тілом з Б, повернути все назад прямим обміном не можна. Механізм блокується.
Настає хаос. Вісім пар задіяні, дев’ять персонажів опиняються у переплутаному клубку тіл. Хто в кому? Ніхто не знає. Спочатку навіть автори сценарію.
Бендер краде яхту. Ліла шукає романтичні підказки у мозку Фрая. Фрай ж, у дивному акті помсти чи самокатування, змінюється з лікарем Зойдбергом через його огидну лобстероподібну форму. Або, можливо, йому просто захотілося бути дивним.
Мета проста: усі мають повернутися у свої тіла. Проте проблема видається нерозв’язною у межах встановлених правил. Скасувати перестановки за допомогою наявного складу персонажів неможливо.
Кілер, що має ступінь доктора філософії в галузі математики, дивився на дошку. Він зрозумів, що для виправлення хаосу потрібні нові персонажі. Але скільки їх потрібно?
Чи може кількість помічників зростати разом із розміром групи? Чи існує фіксована, невелика кількість, яка завжди працює?
Він вивчив наукову літературу. Нічого. Проблема про рішення парадоксу тілесних перестановок була розглянута в академічних журналах.
Тоді Кілер записав усе на папері та довів це.
Математика безумства
Ось абстрактне формулювання завдання.
Уявіть $n$ елементів, що знаходяться в перемішаному порядку. Мета – повернути їх у вихідний порядок (1, 2, …, $ n $), використовуючи попарні перестановки. Умова: можна міняти місцями лише два елементи за раз, і використовувати одну і ту ж пару повторно не можна.
Кілер виявив, що якщо ввести два додаткових персонажа (позначимо їх $x$ і $y$), то перемішування можна виправити для * будь-якої кількості вихідних персонажів $ n $.
Це відомо як “Теорема Футурами”. Звучить як trivia, але це є легітимна групова теорія.
Метод Кілер працює шляхом поділу перемішаного набору на дві половини. Одна частина містить елементи від 1 до $i$, інша – від $i+1$ до $n$. Потім, використовуючи дві нові змінні $x$ і $y$, він виконує перестановки.
Процес виглядає так:
- Змініть місцями неправильно розташовані елементи першої половини з $x$.
- Змініть місцями елементи другої половини з $y$.
- Поміняйте місцями $x$ з $i+1$.
- Поміняйте місцями $y$ з 1.
Результат? Початковий порядок відновлено. Додаткові змінні $x$ та $y$ взаємно анулюють свої ефекти. Вони залишаються поміняними місцями один з одним, але решта повертається додому.
Глобтроттери рятують ситуацію
В епізоді на допомогу приходять “Глобтроттерс” (Harlem Globetrotters) – так, реально існуюча баскетбольна команда-розвага. Два гравці, Світ Клайд Діксон та Бульбгам Тейт, підходять до дошки.
Вони виписують підтвердження Кілера.
Математика сходиться. Для Фрая та Зойдберга, які застрягли у простій парній перестановці, глобтротери використовують чотири кроки. Вони розглядають пару як $(2, 1)$ і застосовують алгоритм.
Загальна кількість кроків для всіх дев’яти персонажів за цим методом становить 13. Теоретичний мінімум – 9, але 13 – це чисте рішення, яке укладається у наративні обмеження.
До кінця епізоду кожна свідомість виявляється у правильному тілі. Глобтротери залишаються поміняними місцями один з одним. Вони могли б перейти назад, але це вже не важливо. Місію виконано.
Чому це важливо (крім жартів)
Кілер був задоволений своїм доказом, але не став його публікувати. Він вважав це курйозом, а чи не вкладом у науку.
Він помилявся.
У 2014 році математики Рон Еванс, Люхуа Хуан та Туан Нгуен взяли логіку Кілера та формалізували її. Вони опублікували покращений дев’ятисторінковий доказ у журналі “American Mathematical Monthly”.
Вони не просто посилалися на епізод. Вони підтвердили його достовірність. «Теорема Футурами» тепер визнаний результат комбінаторної теорії груп, що стосується перестановок і розкладання на цикли.
Виникає цікаве питання творчості. Іноді найкращий спосіб вирішити суворе академічне завдання — підійти до нього з боку мультфільму.
Епізод витримує перевірку. Математика витримує перевірку. Глобтроттери, як і раніше, круті.
Але залишається одна думка: ми звикли вважати ці сфери окремими. Математика – у вежі зі слонової кістки, комедія – у вітальні. Коли вони перетинаються, результатом зазвичай стає gimmick (фішка).
Кілер довів, що перетин може бути структурним. Реальним. Корисним.
Наступного разу, коли хтось скаже, що поп-культура позбавлена глибини, нагадайте йому про глобтротери. Нагадайте йому про дошку. Нагадайте, що іноді для вирішення проблеми, про яку ви навіть не підозрювали, потрібно всього два зайві персонажі.
І, можливо, рішення не в тому, щоб повертатись назад. А в тому, щоби продовжувати йти вперед. Разом із двома новими друзями.
