Es ist bekannt, dass Ford-Fulkerson oder Edmonds-Karp mit der Fettrohrheuristik (zwei Algorithmen für maximalen Durchfluss) nicht anhalten müssen, wenn einige der Gewichte irrational sind. Tatsächlich können sie sogar auf den falschen Wert konvergieren ! Alle Beispiele, die ich in der Literatur finden konnte [Referenzen unten plus Referenzen darin], verwenden jedoch nur einen einzigen irrationalen Wert: den konjugierten goldenen Schnitt und andere Werte, die entweder rational oder rationale Vielfache vonϕ′ sind. Meine Hauptfrage ist:
Allgemeine Frage: Was passiert mit anderen irrationalen Werten?
Zum Beispiel (aber Sie haben nicht das Gefühl, dass Sie all diese Fragen beantworten müssen, um etwas zu posten - ich würde eine interessante Antwort auf eine oder andere Fragen finden, die unter die obige allgemeine Frage fallen):
Kann man bei jedem solche Gegenbeispiele konstruieren (oder sogar zeigen)?
Schwächer: Gibt es Beispiele, die einen irrationalen Wert verwenden, der sich wesentlich von ? Das heißt, gibt es ein α, das kein rationales Vielfaches von ϕ 'ist (oder stärker nicht in Q ( ϕ ' ) ) und so, dass es Gegenbeispiele zu Ford-Fulkerson und / oder Edmonds-Karp gibt, in denen alle Gewichte liegen Q ( α ) ?
Gibt es in der anderen Richtung ein irrationales so dass Ford-Fulkerson (bzw. Edmonds-Karp) mit dem korrekten Wert auf allen Graphen anhält, deren Gewichte alle von Q ∪ { q α : q ∈ Q } stammen ? (Oder stärker von Q ( α ) ?)
In allen Fällen möchte ich so etwas wie das reale RAM-Modell annehmen, damit exakte Arithmetik und exakte Vergleiche von reellen Zahlen in konstanter Zeit durchgeführt werden.
(Es gibt andere Max-Flow-Algorithmen, von denen bekannt ist, dass sie in stark polynomialer Zeit ausgeführt werden, selbst mit beliebigen reellen Gewichten, weshalb diese Art von Frage möglicherweise nicht weiter untersucht wurde. Aber ich habe diese Algorithmen gerade in meiner Klasse für Undergrad-Algorithmen unterrichtet Ich bin immer noch neugierig darauf.)
Verweise
Ein minimales Gegenbeispiel für Ford-Fulkerson wurde von Zwick TCS 1999 gegeben
Ein Gegenbeispiel für Edmonds-Karp wurde von Queyranne oder Queyranne Math gegeben. Oper. Res. 1980 , obwohl ich nicht weiß, ob das minimal ist.
Diese sind beide in Jeff Ericksons Vorlesungsunterlagen zu finden , wobei die erste in Abschnitt 23.5 und die zweite in Übung 14 von Vorlesung 23 enthalten ist.