Los chistes de nerds ya no son raros en la televisión. Los ves en Los Simpson, los ves en todas partes. ¿Pero Futurama? Futurama se volvió nuclear con la mordaza.
Tomemos como ejemplo “El prisionero de Benda”, un episodio destacado en el que el escritor Ken Keeler chocó contra una pared. Necesitaba una solución gráfica que requiriera una prueba matemática original y genuina. No es un accesorio. No es una broma. Una prueba real. Y tenía que funcionar en la lógica del programa.
Si te gustan las inmersiones profundas en la intersección de la cultura pop y la ciencia sólida, estás en el lugar correcto. No se trata sólo de dibujos animados. Se trata de cómo una sala de escritores resolvió accidentalmente un problema de teoría de la permutación.
El intercambio que rompió el universo
La premisa comienza simple. El profesor Farnsworth inventa un dispositivo de intercambio de mentes. Se intercambia con Amy, que quiere comer comida chatarra sin calorías. Amy clásica.
Pero hay un problema. La máquina es un trato único para cualquier par determinado. Si A intercambia con B, no puedes simplemente volver a intercambiarlos directamente. La cerradura está activada.
Sobreviene el caos. Se han agotado siete pares diferentes. Nueve personajes terminan en una maraña de cuerpos. ¿Quién es quién? Nadie lo sabe. Al principio, ni siquiera los escritores.
Bender roba un yate. Leela busca pistas románticas en el cerebro de Fry. ¿Fry, en un extraño movimiento de venganza, adopta la fea forma de langosta del Dr. Zoidberg porque se odia a sí mismo? O tal vez simplemente quería ser raro.
El objetivo es simple: cada uno vuelve a su propio cuerpo. El problema es imposible según las reglas establecidas. No puedes deshacer los intercambios con el elenco existente.
Keeler, que tiene un doctorado en matemáticas, se quedó mirando la pizarra. Se dio cuenta de que necesitaba nuevos personajes para arreglar el desastre. ¿Pero cuantos?
¿Podría crecer el número de ayudantes con el tamaño del grupo? ¿O había un número pequeño y fijo que siempre funcionaba?
Profundizó en la literatura. Nada. El problema de cómo resolver la paradoja del intercambio de cuerpo no se había abordado en las revistas académicas.
Entonces Keeler lo escribió. Y lo demostró.
Las matemáticas detrás de la locura
Aquí está la versión abstracta del problema.
Imagine $n$ artículos en un orden revuelto. El objetivo es devolverlos al orden (1, 2, …, $n$) mediante swaps. El problema: solo puedes intercambiar dos elementos a la vez y no puedes reutilizar un par.
Keeler descubrió que al introducir solo dos caracteres adicionales (llamémoslos $x$ e $y$), puedes resolver la confusión de cualquier número de caracteres iniciales $n$.
Esto se conoce como el Teorema de Futurama. Suena a trivialidad, pero es una teoría de grupos legítima.
El método de Keeler funciona dividiendo el conjunto revuelto en dos mitades. La mitad va de 1 a $i$, la otra de $i+1$ a $n$. Luego, usando las dos nuevas variables $x$ e $y$, permuta los elementos.
El proceso se ve así:
- Intercambia elementos extraviados de la primera mitad con $x$.
- Intercambia elementos de la segunda mitad con $y$.
- Intercambia $x$ por $i+1$.
- Intercambia $y$ por 1.
¿El resultado? Se restablece el orden original. Las variables adicionales $x$ y $y$ se cancelan. Se quedan atrás, se intercambian entre sí, pero todos los demás están en casa.
Los Trotamundos salvan el día
En el episodio, los Harlem Globetrotters (sí, el verdadero equipo de entretenimiento de la NBA) llegan para ayudar. Dos jugadores, Sweet Clyde Dixon y Bubblegum Tate, se acercan a la pizarra.
Escriben la prueba de Keeler.
Las matemáticas son correctas. Para Fry y Zoidberg, que están atrapados en un simple intercambio bidireccional, los Globetrotters utilizan cuatro pasos. Tratan el par como $(2, 1)$ y aplican el algoritmo.
El total de pasos para los nueve personajes llega a 13 con este método. El mínimo posible es 9, pero 13 es limpio y funciona dentro de las limitaciones narrativas.
Al final del episodio, cada mente está en el cuerpo correcto. Los Globetrotters permanecen intercambiados entre sí. Podrían volver atrás, pero no importa. La misión está completa.
Por qué esto importa (más allá de los chistes)
Keeler estaba contento con su prueba. Pero no lo presentó. Pensó que era una curiosidad, no una contribución al campo.
Estaba equivocado.
En 2014, los matemáticos Ron Evans, Lihua Huang y Tuan Nguyen tomaron la lógica de Keeler y la formalizaron. Publicaron una prueba mejorada de nueve páginas en el American Mathematical Monthly.
No se limitaron a citar el episodio. Lo validaron. El “Teorema de Futurama” es ahora un resultado reconocido en la teoría combinatoria de grupos, específicamente en lo que respecta a las permutaciones y la descomposición de ciclos.
Plantea una pregunta interesante sobre la creatividad. A veces la mejor manera de resolver un problema académico rígido es abordarlo desde una caricatura.
El episodio se mantiene. Las matemáticas se mantienen. Los Globetrotters siguen siendo geniales.
Pero aquí está el pensamiento persistente: tratamos estos campos como separados. Las matemáticas están en la torre de marfil. La comedia está en el salón. Cuando se cruzan, el resultado suele ser un truco.
Keeler demostró que la intersección puede ser estructural. Real. Útil.
La próxima vez que alguien te diga que la cultura pop no tiene profundidad, recuérdale los Globetrotters. Recuérdeles la pizarra. Recuérdales que a veces necesitas dos personajes adicionales para solucionar un problema que no sabías que tenías.
Y tal vez, sólo tal vez, la solución no sea volver atrás. Es seguir adelante. Con dos nuevos amigos.
