Resuelven problema matemático de hace30 años
En los años 1980, un matemático estadounidense de nombre Robert Graham ofreció un premio de 100 dólares a cualquiera que pudiera resolver un acertijo que no pudo solucionar él.
Ahora, 30 años después, un grupo de matemáticos reclamaron el premio.
Sin embargo, sus colegas encontraron que es difícil verificar al ganador porque la prueba en sí, que fue solucionada utilizando una súper computadora, tomaría 10 billones de años leerla.
El doctor Marijn Heule de la Universidad de Texas, el doctor Oliver Kullmann de la Universidad Swansea y el profesor Victor Marek de la Universidad de Kentucky, resolvieron el dilema.
“Debido al interés general que ha generado este problema matemático, nuestro resultado requiere una prueba formal”, dijeron.
El problema parece una fórmula familiar de Pitágoras que describe la longitud de los lados de un triángulo recto.
Se dice que el cuadrado de la hipotenusa, el lado C, que es el lado opuesto del ángulo recto, es igual a la suma del cuadrado de los otros dos lados, A y B.
Graham preguntó si era posible que cada lado de un triángulo recto fuera un número positivo entero, conocido como un número entero no negativo, y asignó a cada número un color, de tal manera que ningunos enteros que sean la solución a la ecuación sean del mismo color.
Eso significa que en cualquier número positivo entero que sea la solución a la ecuación, dos podrían ser del mismo color, pero no todos.
El problema fue nombrado Triples Pitagóricos Booleanos.
La prueba, presentada durante una conferencia en Bordeaux, muestra que ese esquema de colores es posible hasta el número 7 mil 824. Más allá de eso, no es posible.
El equipo solucionó el problema utilizando Cube and Conquer, el método de la prueba híbrida de solución SAT para problemas difíciles que escribieron en un papel que fue publicado en el servidor arXiv.
La serie de símbolos producidos como prueba es equivalente a los textos digitalizados de los 200 terabytes de información de la Biblioteca del Congreso de Estados Unidos, según una carta del Centro Nacional de Investigación de Francia.
Procesar los números tomó dos días del tiempo de la súper computadora Estampida del Centro de Cómputo Avanzado de Texas.
Aunque técnicamente, el equipo junto con su computadora creó una prueba del problema, hay dudas.
Una es si la prueba es real, ya que no responde por qué se efectúa un corte en el punto 7 mil 825.
Independientemente, Graham, actualmente de 80 años, entregó el dinero debido a que la súper computadora respondió a la pregunta.