Lassen Sie mich sehen, ob ich dies auf hohem Niveau klarstellen kann. Angenommen, die UG-Instanz ist ein zweigeteilter Graph , Bijektionen { π e } e ∈ E , wobei π e : Σ → Σ und | Σ | = m . Sie wollen ein neues Diagramm zu konstruieren , H , so dass , wenn die UG - Instanz 1 - δ erfüllbar, dann H hat einen großen Schnitt, und wenn die UG - Instanz ist nicht einmal δ -satisfiable, dannG = ( V.∪ W., E.){ πe}}e ∈ E.πe: Σ → Σ| Σ | =mH.1 - δH.δ hat nur sehr kleine Schnitte.H.
Der Graph enthält für jeden Scheitelpunkt in W eine Wolke von 2 m Punkten, die jeweils mit x ∈ { - 1 , 1 } Σ gekennzeichnet sind . Die Absicht ist, dass Sie in der Lage sein sollten, eine lange Codecodierung der Beschriftungen von W als einen Schnitt von H zu interpretieren . Denken Sie daran, dass Sie zum Codieren von σ ∈ Σ mit dem langen Code eine Boolesche Funktion f verwenden : { - 1 , 1 } Σ → { - 1 , 1 }H.W2mx∈{−1,1}ΣWHσ∈Σf:{−1,1}Σ→{−1,1};; insbesondere ist es die Diktatorfunktion . Lassen Sie uns einen Schnitt S ∪ T (dh eine Bi-Partition der Eckpunkte) aus der Langcode-Codierung wie folgt erzeugen. Wenn w ∈ W eine Bezeichnung hat, die von der Booleschen Funktion f codiert wird , gehen Sie zur Scheitelpunktwolke in H , die w entspricht , und geben Sie in S alle Scheitelpunkte in der Wolke ein, die mit einem x gekennzeichnet sind, für das f ( x ) = 1 ist . Alle anderen gehen zu T.f(x)=xσS∪Tw∈WfHwSxf(x)=1T. Sie können dies rückwärts tun, um allen basierend auf einem Schnitt von H boolesche Funktionen zuzuweisen .w∈WH
Um für die Reduktion zu arbeiten, müssen Sie in der Lage sein zu sagen , nur um den Wert eines Schnittes sucht S∪T , ob die Booleschen Funktionen zum Schnitt entsprechend der Nähe eines langen Codes sind codiert , von einem gewissen Zuordnung von Etikett zu , dass erfüllt viele der Beschränkungen der UG G . Die Frage ist also, welche Informationen wir aus dem Wert eines Schnitts S ∪ T erhalten . Betrachten Sie zwei beliebige Eckpunkte a mit der Bezeichnung x in der Wolke entsprechend w und b mit der Bezeichnung y in der Wolke entsprechend w 'WGS∪Taxwbyw′(In der Reduktion betrachten wir nur , w ' in verschiedenen Wolken). Wir sagten, dass der Schnitt verwendet werden kann, um boolesche Funktionen f w und f w ' abzuleiten . Wenn es nun eine Kante ( a , b ) in H gibt , wird ( a , b ) genau dann geschnitten, wenn f w ( x ) ≠ f w ′ ( y )ww′fwfw′(a,b)H(a,b)fw(x)≠fw′(y). Daher ist die Verwendung nur des Werts eines Schnitts, um festzustellen, ob die von ihm induzierten Booleschen Funktionen "gut" sind, dasselbe wie ein Test, bei dem bei gegebenen Booleschen Funktionen nur nach dem Bruchteil einer bestimmten Liste gefragt wird von Paaren ( ( w , x ) , ( w ' , y ) ) haben wir f w ( x ) ≠ f w ' ( y ) .{fw}w∈W((w,x),(w′,y))fw(x)≠fw′(y)
fw(x)≠fw′(y)Hwxw′yv∈Vw,w′x,y∈{−1,1}nwx∘πv,ww′y∘πv,w′((1−ρ)/2)d((1+ρ)/2)n−ddxy