Саймон Сингх - Симпсоны и их математические секреты

Во второе множество входят все остальные персонажи. Диаграмма Сили показывает, что разум профессора оказался в теле Бендера, разум Бендера – в теле Императора, разум Императора – в теле Ведра, разум Ведра – в теле Эми, разум Эми – в теле Гермеса, разум Гермеса – в теле Лилы, а разум Лилы – в теле профессора, что замыкает множество. Эта совокупность тоже считается множеством, поскольку для каждого тела есть разум, но тела и разумы перемешаны.

Определив множества, Килер включил в общую совокупность еще двоих человек, Баблгама Тейта и Милейшего Клайда, которые затем совершают обмен разумами в каждом из двух множеств. Для того чтобы увидеть процесс в действии, давайте начнем с меньшего множества и упорядочим его.

На представленной ниже диаграмме Сили показано, что именно происходит в эпизоде. Мы видим, что этап возврата разумов в свои тела начинается с обмена разумами между Милейшим Клайдом и Фраем (в теле которого находится разум Зойдберга); затем Баблгам Тейт обменивается разумом с Зойдбергом (в теле которого разум Фрая). После еще двух обменов разум Фрая возвращается в свое тело, а разум Зойдберга – в свое.

Милейший Клайд и Баблгам Тейт все еще перепутаны, поэтому очевидно, что на следующем этапе необходимо вернуть их разумы в свои тела, выполнив всего один обмен – и это возможно, потому что они еще не менялись разумами друг с другом. Однако пока это преждевременно. Маскетбольные гении включены в общую совокупность персонажей, обменявшихся разумами, с целью распутать два множества, поэтому их миссия еще не закончена. Следовательно, они должны оставаться с перепутанными телами и разумами, пока не решат проблему со вторым множеством.

Ниже представлена диаграмма Сили, на которой показано девять обменов разумами в процессе упорядочивания второго множества. Нет надобности анализировать ее пошагово, но общая закономерность показывает, как включение Милейшего Клайда и Баблгама Тейта создает место для маневра, необходимое для разрешения ситуации. Оба персонажа вовлечены в каждый обмен разумами, что объясняет высокую плотность диаграммы в нижней четверти. Милейший Клайд и Баблгам Тейт выступают в качестве сосудов для тех разумов, которые ищут свой дом. Получив тот или иной разум, они тут же совершают такой обмен, чтобы этот разум оказался в конечном счете в подходящем теле. Какой бы разум Клайд и Тейт ни получили, они сразу же передают его в соответствующее тело во время следующего обмена и т. д.

Хотя Килер проделал отличную работу, решив задачу обмена разумами и доказав теорему Футурамы, тем не менее важно отметить, что он либо упустил один момент, либо сознательно проигнорировал его, для того чтобы сделать финал эпизода «Узник Бендера» более эффектным. Речь идет о еще одном, более коротком пути решения этой задачи. Если вы помните, для того чтобы распутать любую ситуацию, необходимо ввести двух новых персонажей. Однако в сценарии, который мы анализируем, одно из упорядочиваемых множеств состоит всего из двух человек (разум Фрая в теле Зойдберга и разум Зойдберга в теле Фрая). Следовательно, они могли бы выступить в качестве двух новых персонажей по отношению к более крупному множеству. Это возможно, поскольку Фрай и Зойдберг еще не обменивались разумами ни с одним персонажем, входящим в него.

Двухэтапный процесс возвращения разумов в свои тела, который имеет место в эпизоде, потребовал сначала четырех обменов, а затем еще девяти, что в сумме дает тринадцать обменов. Напротив, если использовать более короткий путь, то все разумы можно было бы вернуть в свои тела посредством всего девяти обменов.

Использование существующего множества для получения двух дополнительных персонажей, необходимых для распутывания другого множества, впервые проанализировал Джеймс Крайм, математик из Кембриджа (Англия). Поэтому некоторые называют этот метод следствием Крайма , которое представляет собой математическое утверждение, вытекающее из теоремы Футурамы.

Теорема Килера вдохновила Рона Эванса, Лихуа Хуана и Туан Нгуен на написание научной работы по теме обмена разумами под названием Keeler’s Theorem and Products of Distinct Transpositions («Теорема Килера и результаты различных транспозиций»), которая была опубликована в журнале American Mathematical Monthly. В этой работе анализируются пути наиболее эффективного разрешения любой ситуации с обменом разумами.