Uno de los santos griales del diseño de algoritmos es encontrar un algoritmo fuertemente polinómico para la programación lineal, es decir, un algoritmo cuyo tiempo de ejecución está limitado por un polinomio en el número de variables y restricciones y es independiente del tamaño de la representación de los parámetros (suponiendo aritmética de costo unitario). ¿Resolver esta pregunta tendría implicaciones fuera de mejores algoritmos para la programación lineal? Por ejemplo, ¿la existencia / no existencia de tal algoritmo tendría alguna consecuencia para la geometría o la teoría de la complejidad?
Editar: Tal vez debería aclarar lo que quiero decir con consecuencias. Busco consecuencias matemáticas o resultados condicionales, las consecuencias que se sabe que es verdad ahora . Por ejemplo: "un algoritmo polinomial para LP en el modelo BSS separaría / colapsaría las clases de complejidad algebraica FOO y BAR", o "si no hay un algoritmo polinomial fuerte, entonces resuelve tal o cual conjetura sobre los politopos", o "a algoritmo fuertemente polinomial para el problema X que puede formularse como un LP tendría una consecuencia interesante bla ". La conjetura de Hirsch sería un buen ejemplo, excepto que solo se aplica si simplex es polinomial.