miércoles, 2 de junio de 2010

El español Francisco Santos resuelve la Conjetura de Hirsch

La Conjetura de Hirsch fue enunciada en una carta de Warren M. Hirsch (1920–2007) a George Dantzig (1914–2005) en 1957 y afirma la existencia de un límite determinado para la complejidad del algoritmo símplex. Concretamente afirma que el grafo de un politopo con n facetas y d caras no puede tener diámetro mayor que n-d. Es uno de los problemas abiertos más básicos, fundamentales y antiguos en teoría de politopos y no hay demostrada ninguna cota superior polinómica para el diámetro que se conjetura lineal. Como contraste, se conocen muy pocos politopos donde la cota n-d se alcance con exactitud.
Francisco Santos de la Universidad de Cantabria ha demostrado ahora mediante un contraejemplo que dicha conjetura es falsa y por tanto no existe cota superior.

No hay comentarios: