Der tatsächliche Beweis für die Härte der Berechnung der Cheeger-Konstante (oder Kantenexpansion) wurde von Kaibel in einem technischen Bericht durch eine Reduktion des MAX-Cut-Problems gegeben (siehe Satz 2). Der Beweis ist eine Erweiterung des Beweises der Härte des Equicut-Problems, den Garey, Johnson und Stockmeyer in einigen vereinfachten NP-vollständigen Graphproblemen gegeben haben .NPNP
V. Kaibel: Zur Erweiterung von Graphen von 0/1-Polytopen. Technischer Bericht arXiv: math.CO/0112146, 2001
BEARBEITEN : Das folgende Argument ist falsch , wie von Chekuri hervorgehoben, und zu Bildungszwecken hinterlassen.
Dies ist keine von Ihnen angeforderte Referenz, sondern erklärt den Folklorestatus des Härteergebnisses.
Hier ist eine Beweisidee für die CoNP-Vollständigkeit der Entscheidung, ob ein zusammenhängender kubischer Graph ein Kantenexpander ist, und daher ist die Bestimmung der Cheeger-Konstante CoNP-hart.h(G)
Das minimale Bisektionsproblem ist vollständigNP für verbundene kubische Graphen. Hier wollen wir entscheiden, ob ein Graph mit einer ganzen Zahl in zwei gleich große Teile aufgeteilt werden kann, so dass die Anzahl der Schnittkanten kleiner als .Gkk
Es ist zu beachten, dass die Ergänzung dieses Problems der Entscheidung entspricht, ob der Graph ein Expander ist oder nicht (jede ausgeglichene Partition von hat Schnittkanten von mehr als ).GVk
PS Arora in diesem Seminar erklärt, dass es - , ein Expander-Diagramm ( zu erkennen . http://www.cs.princeton.edu/~zdvir/apx11slides/arora-slides.pptxCoNPα