El problema del viajante consiste en encontrar el camino más corto que permite visitar una serie de ciudades conectadas por carreteras volviendo al punto de partida y visitando cada ciudad una sola vez. No hay ningún algoritmo eficiente para resolver este problema (que es NP-duro) . En 1950 los ordenadores permitían resolver un problema con 50 ciudades, en 1980 con unas 2300 ciudades y en 2006 se alcanzó el récord actual, 85900 ciudades (en la figura aparecen 13509 ciudades de EEUU). Los informáticos han tratado de descubrir algoritmos eficientes que aproximen la solución del problema. En 1976, Nicos Christofides (Imperial College, Londres) desarrolló un algoritmo eficiente que produce caminos cuyo coste excede al óptimo en menos del 50%. ¿Se puede mejorar? En 2011, se logró mejorar el algoritmo de Christofides con un nuevo algoritmo eficiente que excede del óptimo en menos del 49,99999999999999999999999999999999999999999999999996 por ciento. ¿Por qué ha costado tanto obtener una ventaja tan pequeña? Nadie lo sabe, pero resulta muy sugerente. Nos lo cuenta Erica Klarreich, “Computer Scientists Take Road Less Traveled. After decades without progress, new shortcuts are discovered in the traveling salesman problem,” Simons Foundation, Jan 29, 2013.
El matemático de la Universidad de Dublín (Irlanda) Gary McGuire, ha utilizado un algoritmo complejo y «muchas horas de trabajo ante un superordenador» para determinar que un sudoku no se puede resolver si no hay un mínimo de 17 cifras-pista en su inicio, ya que con menos «no existe una solución única».
Este juego, que se hizo popular en Japón y es habitual en el espacio de pasatiempos, cuenta en su mayoría con unas 25 cifras-pista, según ha apuntado el científico. A medida que bajan las pistas, más difícil es su resolución.
La complejidad del sudoku ha llevado a los matemáticos a estudiarlo. Ahora, McGuire ha llegado a esta conclusión tras trabajar durante dos años en el algoritmo complejo que le ha llevado a la solución.
«La única manera realista de conseguir resultados era el método de la fuerza bruta», ha apuntado McGuire, quien ha añadido que «su investigación ha inspirado para impulsar las técnicas de computación y matemáticas hasta el límite».
McGuire ha simplificado el trabajo de algunos de sus compañeros, que le han precedido en esta investigación, mediante el diseño de un algoritmo que evitara lo que el científico ha denominado «series inevitables» o «lo que podría dar lugar a múltiples soluciones».
Según ha señalado la revista ‘Nature’, el anuncio de este hallazgo se ha producido en un cogreso matemático celebrado en Boston (Estados Unidos) el pasado siete de enero y en donde recibió la aprobación de sus compañeros. «El enfoque es razonable y es plausible», ha apuntado el matemático de la Universidad James Madison (Estados Unidos).
Fuente: LAVANGUARDIA.com CIENCIA