Soweit ich weiß, haben alle bekannten deterministischen Pivot-Regeln für Simplex-Algorithmen bestimmte Eingaben, für die der Algorithmus exponentielle Zeit (oder zumindest kein Polynom) benötigt, um das Optimum zu finden. Nennen wir diese Instanzen "pathologisch", da der Simplex-Algorithmus normalerweise (dh bei den meisten Eingaben) schnell beendet wird. Ich erinnere mich aus meinem Mathematikkurs, dass die Standardbeispiele für pathologische Instanzen für bestimmte Regeln sehr strukturiert waren. Meine allgemeine Frage ist, ob dies ein Artefakt der spezifischen Beispiele oder ein Merkmal von pathologischen Fällen im Allgemeinen ist.
Ergebnisse wie die geglättete Analyse und der Polynom-Zeit-Algorithmus , der sie erweitert, beruhen auf der Störung der Eingabe - was darauf hindeutet, dass die pathologischen Beispiele sehr speziell sind. Daher scheint die Intuition, dass die pathologischen Instanzen stark strukturiert sind, nicht so weit hergeholt.
Hat jemand spezielle Einsichten dazu? Oder einige Verweise auf bestehende Arbeiten? Ich war mir nicht sicher, was ich unter "strukturiert" verstehe, um zu versuchen, so umfassend wie möglich zu sein, aber Vorschläge, wie man "strukturiert" besser definieren kann, wären auch nützlich. Alle Ratschläge oder Referenzen sind sehr dankbar!