Resuelven problema matemático de hace 30 años

Agencias
2016-07-11

Nueva York– 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.

Te puede interesar
Piden renuncia de la titular de la Secretaría de Energía
El Diario de Juárez | 21:01hrs.
El Partido de la Revolución Democrática acusó falta de experiencia a Rocío Nahle por no dar solución al desabasto de combustible en el país
Victoria del Magic sobre Celtics
Associated Press | 21:01hrs.
Orlando se impuso 105-103 a Boston y con ello rompió su racha de cuatro derrotas consecutivas
EU y Argentina apoyan a 'presidente interino' en Venezuela
Excélsior | 19:01hrs.
Esto por considerar al gobierno de Nicolás Maduro como una dictadura
Inicia AMLO festejos por Zapata
Reforma | 08:01hrs.
AMLO iniciará en Morelos la celebración por Centenario de la muerte de Emiliano Zapata, a quien rendirá homenaje el primer año de Gobierno
Cae con AMLO compra de gasolina de EU
Reforma | 21:01hrs.
Es una caída de 28 por ciento respecto a diciembre de 2017 y enero de 2018
EU reitera que no reconoce la toma de posesión del 'dictador' Maduro
Excélsior | 19:01hrs.
Son varios los países de América que no reconocen el gobierno de Nicolás Maduro en Venezuela por considerarlo una dictadura
Tips para ser un experto al buscar vuelos en Google
El Diario de Juárez | 19:01hrs.
Esta herramienta utiliza un algoritmo que analiza las tarifas de boletos de avión en cualquier fecha
Parálisis en EU podría resultar más cara que construir muro
El Diario de Juárez | 14:01hrs.
El cierre parcial de gobierno en Estados Unidos ha supuesto una pérdida de 3 mil 600 millones de dólares hasta el momento
Define Congreso venezolano plan para enfrentar a Maduro
Associated Press | 09:01hrs.
La oposición ha considerado el segundo mandato del presidente como 'usurpación' de cargo