MATEMÁTICAS: RESUELVEN LA “CONJETURA DE LA SENSIBILIDAD”
Y cuestiones de matemáticas “Resuelto un famoso problema matemático en dos páginas condensadas en un tuit” “Hao Huang demuestra después de 30 años la llamada conjetura de la sensibilidad, que se engloba en la teoría de la complejidad computacional. Cuando un problema matemático importante, que lleva 30 años propuesto,
Y cuestiones de matemáticas
“Resuelto un famoso problema matemático en dos páginas condensadas en un tuit”
“Hao Huang demuestra después de 30 años la llamada conjetura de la sensibilidad, que se engloba en la teoría de la complejidad computacional.
Cuando un problema matemático importante, que lleva 30 años propuesto, acaba por resolverse en dos escasas páginas de razonamiento, no cabe más que darse la enhorabuena. Como aquel sacrificio de dama en una partida de ajedrez que fascina por la creatividad de su estratega, esas dos páginas de inventiva matemática son un regalo para cualquier admirador de la disciplina. Su autor, Hao Huang, matemático e informático teórico de la Universidad de Emory (EE UU), probó la llamada conjetura de la sensibilidad en un artículo de seis páginas (dos de demostración y el resto para centrar el contexto y para enunciar consecuencias y derivadas del resultado), que publicó a principios de julio en ArXiV, un repositorio abierto de artículos científicos. Unas horas después las redes sociales ya se felicitaban.
El influyente blog de Gil Kalai, de la Universidad Hebrea de Jerusalén, anunciaba: "Increíble: ¡Hao
Huang demuestra la conjetura de la sensibilidad!". Al rato, Ryan O'Donnell, investigador de Carnegie Mellon, comprimía las dos milagrosas páginas en los 282 caracteres de un tuit.
La conjetura de la sensibilidad fue enunciada por Noam Nisan y Mario Szegedy en 1989, y se engloba en la informática teórica, en concreto la teoría de la complejidad computacional, con aplicaciones a la teoría de la elección social. Tomar decisiones no es tarea fácil. Para hacerlo, tanto máquinas como humanos nos apoyamos en reglas de decisión o algoritmos, es decir, métodos sistemáticos previamente diseñados. Supongamos que debemos tomar una decisión binaria, sí o no, basados en el resultado de un número (N) de datos, también binarios. Por ejemplo, podría tratarse de aprobar o no un texto legal, basándonos en los votos de un cuerpo electoral (cada voto sería uno de los datos).
Como ven la cosa es complejísima, por eso ha estado 30 años sin resolverse. Pero ahora que se ha resuelto, se va a aplicar y lo vamos a tener en el Iphone ya.
