La primera temporada de “La melancolía de Haruhi Suzumiya” tiene 14 episodios. Se trata de una serie anime emitida en Japón en 2006 y que, curiosamente, se emitió en orden no lineal. Cuando se publicó en DVD, el editor decidió ordenarlo de forma cronológica. Evidentemente, eso no les hizo gracia a los fans.
Ahí empezó una obsesión entre el fandom por ver los episodios en todos los órdenes posibles. Y, claro, era cuestión de tiempo que alguien hiciera la pregunta: "si quisiera ver los episodios en todos los órdenes posibles, ¿cuál sería la sucesión de episodios más corta?". Eso ocurrió el 17 de septiembre de 2011 en 4chan. En 37 minutos, un usuario anónimo encontró una solución al problema. Los matemáticos llevaban 25 años estudiando el problema.
Un problema en internet
La combinatoria, la rama de las matemáticas que se ocupa de los órdenes de conjuntos, es una rama relativamente accesible para los aficionados. Pero sin lugar a dudas esto es algo excepcional. En 1993, Daniel Ashlock y Jenett Tillotson expusieron el mismo problema (“¿cuál es la cadena más corta que contiene todas las permutaciones de un conjunto de n elementos?”) y ofrecieron una solución.
Pero en 2014, Robin Houston demostró que el enfoque de Ashlock y Tillotson no funcionaba en conjuntos de más de seis elementos. Desde entonces, la comunidad matemática se volvió a interesar por el asunto y, sin ir más lejos, hace poco más de un mes Greg Egan, matemático y escritor de ciencia ficción, encontró la solución al problema contrario (la cadena más larga que contiene todas las permutaciones de un conjunto).
Hace un par de días, Houston descubrió que la respuesta estaba internet desde hacía años y que, aunque la solución de 4chan funciona (y había matemáticos que lo sabían), "debido a que no es parte de la literatura, otros matemáticos son reacios a citar o confiar en él en sus trabajos. Así que está en un estado de limbo extraño".
Voy a repetirlo por si no ha quedado claro: la resolución de un problema que tiene más de 20 años, lleva casi 10 colgada en internet y siendo ignorada por la comunidad matemática por el lugar donde está publicada. Internet es maravilloso.
93,884,313,611 episodios
Quizá la única excepción a este "vacío" matemático es Jay Pantone, de la Universidad de Marquette, quien encontró el hilo de 4chan y sorprendido por su potencia lo escribió a lenguaje matemático. Y sí, parece que tiene sentido algo que no estaba claro del todo.
Hay que tener en cuenta que las demostraciones matemáticas son técnicamente mucho más complejas que un sencillo "funciona". Las pruebas, controles y desafíos que debe superar una prueba para ser admitida son muy estrictos y seguramente la falta de estos es lo que ha mantenido a la solución de Haruhi en el "limbo extraño" del que hablaba Houston.
Sea como sea, utilizando el algoritmo de 4chan, Pantone ha confirmado que hacen falta ver un total de 93,884,313,611 episodios para ver todas las combinaciones posibles. También ha confirmado que esa es la cadena más corta. La más larga (usando el método de Greg Egan) serían 93,924,230,411 episodios. Ahora, los expertos trabajan para unificar ambos métodos en una sola solución que nos ayude a comprender el mundo de las superpermutaciones. Y visto lo visto, falta nos hace.
Imagen | Gracia Dharma
Ver 53 comentarios
53 comentarios
piratastur
Hay que ser muy troll-master para colar una demostración matemática novedosa en un foro de anime y dejarla ahí en plan "like a boss" de forma anónima.
oracon
El problema es llamado super permutacion,crear la cadena mas corta que contenga todas las permutaciones de un conjunto como subcadena, una subcadena es una parte consecutiva de una cadena.
Para el conjunto de {1,2} que permutaciones son 1,2 y 2,1 la respuesta mas ingenua es solo unir en una cadena todas las permutaciones del conjunto 1221 pero como se ve se puede eliminar un 2 para hacer la cadena mas corta dando 121, las subcadenas 12 y 21 contienen son las permutaciones de {1,2}.
Para el conjunto de {1,2,3} las permutaciones son 123,321,132,231,212 y 312 la superpermutacion minima del conjunto es 123121321.
Para un conjunto de tamaño 2 la longitud minima de la superpermutacion es 3, para un conjunto de 3 elementos es 9.
El problema planteado es encontrar una formula que dado el tamaño de un conjunto de la longitud minima de la superpermutacion del conjunto.
En problemas de combinatoria o calculo de complejidad computacional, por que es muchas veces es muy difícil encontrar una formula exacta se generan dos limites, un limite superior y un limite inferior en el cual la función este contenida, en general los investigadores publican mejores aproximaciones para ambos limites.
Dando de ejemplos los limites mas obvios.
El limite superior del problema obvio es unir todas las permutaciones en una cadena o n*n!.
El limite inferior debe ser mayor que la permutacion de una cadena o n! + n-1.
El juego es hacer inferior el limite superior o llegar una solución mas optima del problema y el limite inferior sea mayor.
En el caso limite superior calculado por Greg Egan revivo el interes en el problema.
Con lo que se encontro la demostración de 4chan para el limite inferior.
93,884,313,611 es el limite superior y el 93,924,230,411 limite inferior para la superpermutacion de un conjunto de 14 elementos.
Usuario desactivado
Para mi, lo más importante de este tema, es poder averiguar quien fue la persona que solucionó el problema, darle los medios para que pueda continuar o mejorar sus conocimientos.
Entendiendo que esto tenga algún tipo de utilidad para el planeta claro.
sva
El problema de la ciencia actual es el dogmatísmo y la prepotencia, nos hemos cerrado en banda y hemos obviado los principios básicos del método ciéntifico (la observación y que cualquier teoría puede ser refutada).
Así nos va en la época de las fakes news y los comporativismos.
drkwzrd
No estoy deacuerdo con tu penúltimo párrafo. Las pruebas matemáticas se reducen a un sencillo "funciona". El problema es que muchas demostraciones sencillas ya estan hechas y las que faltan o vendran nuevas son demostraciones muy extensas, compendios de "funciona en este caso", uno tras otro hasta que has cubierto "todos los casos"
Usuario desactivado
Déjà vu?
No, es que últimamente reaparecen en mi lector RSS noticias viejas...
l0ck0
"Pantone ha conformado que hacen falta ver un total de 93,884,313,611 episodios para ver todas las combinaciones posibles. También ha confirmado que esa es la cadena más corta. La más larga (usando el método de Greg Egan) serían 93,924,230,411 episodios."
no entiendo.... si quieres ver todos los capitulos de todas las formas posibles como hay 2 soluciones??
kijulone
Aunque el uso de la coma no es incorrecto, se recomienda usar el punto, ".", como separador de miles.
omar18
Por eso es sabio nunca ser cerrado de mente, nunca se sabe donde puedes encontrar la clave al conocimiento: en la caída de una manzana o en un foro de anime...
donmalo.requetemalo
No debo estar entendiendo el planteamiento del problema, porque para mí la solución es factorial de 14 (14!), que es 87178291200
sicara
No entiendo nada.
censor
¿ver la serie al completo y con episodios que tienes que visualizar más de una vez?. La verdad no le veo mucho sentido.
Que se tenga el capricho de ver la serie sin orden cronologico se lo paso, pero que encima tenga que ver un mismo episodio más de una vez...ya es de traca.
Y yo que pensaba que para ver todas las combinaciones posibles de la serie se calculaba con un simple 14! :_(
humbertomondejar
Eso es clasico, yo he explicado el principio de funcionamiento de EMDrive y como se puede explicar sin metafísica matematica esotérica; el maestrein no habla de eso:
........
Vayamos por parte y si no entienden algo preguntenme.
1-EMdrive no viola ninguna ley física.
2-EMdrive si funciona.
3-Su empuje lo producen los fotones térmicos que abandonan la cámara empujándola hacia atrás, pero como esta no es simétrica, sino un cono truncado; el empuje total no es cero.
4-La mayor prueba de que mi explicación es correcta es que una vez desconectas el generador de microondas no cesa el empuje, sino que este continua por un tiempo. Eso está dado porque la cámara tarda un tiempo en alcanzar la temperatura ambiente.
5-Los experimentos con balanza de torsión a pesar de su alta perdición no son los ideales en este caso, por eso yo ideé un experimento de plano inclinado donde se pueda comparar los tiempos descenso con empuje y sin empuje todas la veces que desees. Pero nadie me ha llamado.
6-Los premios Nobel de Fisica se le da alguna veces al creador del misterioso suceso (por ejemplo, los neutrinos) y siempre al que explica el fenómeno (Pauli) así que el inventor Roger Shawye y yo (si fuera correcta mi explicación sobre el principio de funcionamiento de EMdrive) seríamos los homenajeados por algo que revolucionaria la ciencia espacial.
El primer Nobel cubano y el primero en la historia humana sin contrato con ninguna universidad famosa. Todo un escándalo mundial.
7-Si quieren conocer sobre esto, en mi blog, de Blogspot pueden buscarlo con mi nombre HUMBERTO MONDEJAR GONZALEZ y hay un tag llamado EMdrive como con 7 entradas a lo loco, porque yo tengo muy poco tiempo para editar.
neoromani
Yo me llamo Ralph
rodolfonieves
La Hipotesis de Reimann es falsa.
Rodolfo Nieves Rivas
fesol7luzley@gmail.com
Resumen:
Criterio de Nieves:
Si:
a + ib = c + id
Cuando: a ≠ c
Entonces:
d = [( c - a )i + b]
Lo que nos permite
Demostrar que los
Numeros Complejos
Son Polimorficos.
Lema: 1
Los Numeros
Complejos son
Polimorficos
Corolario: 1
Si:
El Lema: 1
Es cierto.
Entonces:
La Hipotesis de
Reimann es falsa.
Corolario: 2
Si:
El Lema: 1
Es cierto.
Entonces:
La Hipotesis del
Continuo es falsa.
Escolio:
P ≠ NP
inkdeem
No usan esa solución gracias a una de las leyes fundamentales del internet: Si su avatar es de anime, su opinión no cuenta.
enriquesuarez
Como dicen estup. . . si los ordeno el creador de esa forma si se deven de ver, ahora cada quien lo puede ver como le de la gana y no existe ningun problema matematico de ninguna clase,