Der Artikel untersucht die Laufzeit des 3-FLIP-Algorithmus für das Max-Cut-Problem in Graphen mit zufällig gewählten Kantengewichten.
Zunächst wird ein neuer Graph Gn konstruiert, bei dem der FLIP-Algorithmus eine exponentiell lange Laufzeit von Ω(3^n) Schritten benötigt, unabhängig von der verwendeten Pivot-Regel. Dies zeigt, dass der FLIP-Algorithmus im Worst-Case deutlich schlechter abschneiden kann als in der Praxis beobachtet.
Anschließend wird gezeigt, dass der 3-FLIP-Algorithmus sogar bei geglätteter Komplexität, also wenn die Kantengewichte zufällig gewählt werden, eine superpolynomielle Laufzeit von 2^Ω(√n) haben kann. Dies ist das erste Beispiel eines lokalen Suchalgorithmus für das Max-Cut-Problem, der in der geglätteten Analyse ineffizient sein kann.
Die Konstruktion nutzt die Möglichkeit, die lokalen Verbesserungen des 3-FLIP-Algorithmus präzise zu kontrollieren, indem zunächst einige Nachbarn bestimmter Knoten über den Schnitt bewegt werden. Darauf aufbauend wird eine Folge von Schritten konstruiert, die exponentiell lang ist und dennoch immer eine Verbesserung darstellt.
На другой язык
из исходного контента
arxiv.org
Дополнительные вопросы