Eine der heiligen Seiten des Algorithmusdesigns ist das Auffinden eines stark polynomialen Algorithmus für die lineare Programmierung, dh eines Algorithmus, dessen Laufzeit durch ein Polynom in der Anzahl der Variablen und Nebenbedingungen begrenzt ist und von der Größe der Darstellung der Parameter unabhängig ist (vorausgesetzt, Stückkostenarithmetik). Hätte die Lösung dieser Frage Auswirkungen außerhalb besserer Algorithmen für die lineare Programmierung? Würde beispielsweise die Existenz / Nichtexistenz eines solchen Algorithmus Konsequenzen für die Geometrie oder Komplexitätstheorie haben?
Edit: Vielleicht sollte ich klären, was ich mit Konsequenzen meine. Ich suche nach mathematischen Konsequenzen oder bedingten Ergebnissen, Implikationen, von denen bekannt ist, dass sie jetzt wahr sind . Zum Beispiel: "Ein Polynomalgorithmus für LP im BSS-Modell würde die algebraischen Komplexitätsklassen FOO und BAR trennen / kollabieren" oder "Wenn es keinen stark polynomalen Algorithmus gibt, löst er die eine oder andere Vermutung über Polytope auf" oder "a stark Polynom - Algorithmus für Problem X , die als LP formuliert werden können , wäre interessant Folge haben , blah “. Die Hirsch-Vermutung wäre ein gutes Beispiel, außer dass sie nur gilt, wenn Simplex ein Polynom ist.