Warum unterscheidet sich der HAMILTONISCHE ZYKLUS von PERMANENT?


23

Ein Polynom f(x1,,xn) ist eine monotone Projektion eines Polynoms g(y1,,ym) wenn m = poly (n) , und es gibt eine Zuordnung π:{y1,,ym}{x1,,xn,0,1} so dass . Das heißt, es ist möglichjede Variable zu ersetzen , y j von g durch eine Variable x i oder eine Konstante 0 oder 1 , so dass die resultierende Polynom fällt mit f . f(x1,,xn)=g(π(y1),,π(ym))yjgxi01f

Ich interessiere mich (für die Gründe) für den Unterschied zwischen dem permanenten Polynom PER und dem Hamilton-Zyklus-Polynom HAM: , wo die erste Summation über ist alle Permutationen h : [

PERn(x)=hi=1nxi,h(i)    and    HAMn(x)=hi=1nxi,h(i)
und die Sekunde gilt nur für allezyklischenPermutationen h : [ n ] [ n ] . h:[n][n]h:[n][n]
Frage: Warum ist HAM keine monotone Projektion PER? Oder ist es immer noch so?
Ich bitte nicht um Beweise , nur aus intuitiven Gründen.

Motivation: Die größte bekannte monotone Untergrenze für PER (von Razborov bewiesen) bleibt "nur" . Auf der anderen Seite, die Ergebnisse des Valiant implizieren , dass CLIQUE n  sind eine monotone Projektion von HAM m wo CLIQUE n ( x ) = Σ S Π i < j S x i , j mit der Summation über alle Teilmengen S [ n ] der Größe | S |nΩ(logn)

CLIQUEn is a monotone projection of HAMm
CLIQUEn(x)=Si<jSxi,j
S[n] . Ich selbst konnte aus diesen allgemeinen Ergebnissen keine "einfache, direkte" Reduktion erhalten, aberAlon und Boppanabehaupten (in Abschn. 5), dass bereitsm=25n2für diese Reduktion ausreicht. |S|=nm=25n2

Aber warten: Es ist bekannt , dass CLIQUE monotone Schaltungen der Größe erfordert (erster bewiesen durch Alon und Boppana Razborov Methode verwendet wird ). 2nΩ(1)

So waren HAM eine monotone Projektion von PER, hätten wir auch für PRO untere Grenze. 2nΩ(1)

Warum ist HAM eigentlich nicht einmal eine nicht monotone Projektion von PER? Über das Boolesche Semiren ist das erstere NP- vollständig, während das letztere in P ist . Aber wieso? Wo ist ein Ort, an dem es etwas Besonderes ist, zyklisch für eine Permutation zu sein?

PS Ein offensichtlicher Unterschied könnte sein: HAM deckt [n] mit nur einem (langen) Zyklus ab, während PER möglicherweise disjunkte Zyklen dafür verwenden kann. Um PER auf HAM zu projizieren, scheint die harte Richtung zu lauten: Stellen Sie sicher, dass das Fehlen eines Hamilton-Zyklus das Fehlen jeglicher Bedeckung mit disjunkten Zyklen in der neuen Grafik impliziert. Ist dies der Grund dafür, dass HAM keine Projektion von PER ist?

PPS Eigentlich Valiant bewies ein Einprägen Ergebnis: jedes Polynom mit c u{ 0 , 1 } , deren Koeffizienten c u p-Zeit berechenbar sind , , ist eine Projektion (nicht unbedingt monoton, wenn das Algo nicht monoton ist) von HAM m für m = poly ( n )f(x)=u[n]cuiuxicu{0,1}cumm(n). PER hat ebenfalls diese Eigenschaft, jedoch nur über Felder des Merkmals . In diesem Sinne sind HAM und PER in der Tat "ähnlich", es sei denn, wir befinden uns nicht in GF (2), wo sich PER, wie Bruno erinnerte, DETERMINANT zuwendet und einfach ist.2


1
Ich habe eine Frage etwas abseits des Themas. Darf ich fragen, warum PERMANENT über das boolesche Semiren hinaus in P ist? Mir ist ein solcher Algorithmus nicht bekannt.
Caozhu

@caozhu: Dies ist einfach so, da PERMANENT das gleiche ist wie DETERMINANT gegenüber dem Booleschen Semiring. Der Algorithmus ist dann ein beliebiger DETERMINANT-Algorithmus.
Bruno

3
@Bruno: nicht ganz. Sie haben Recht, wenn wir auf dem Gebiet GF (2) sind; dann können wir zum Beispiel Gauß verwenden. Dennoch boolean Schaltung für PRO der Größe etwa n 5 / 2 kann konstruiert werden unter Verwendung von Hopcroft-Karp Algorithmus für maximale Übereinstimmung oder nur Floyd-Fulkerson maximalen Fehler - Algorithmus. {,,¬}n5/2
Stasys

Antworten:


9

Das Folgende ist ein Beweis für jeden Ring mit dem Merkmal Null, dass das Hamilton-Zyklus-Polynom keine monotone Projektion der bleibenden Karte in Polynomgröße ist. Die Grundidee ist, dass monotone Projektionen von Polynomen mit nichtnegativen Koeffizienten dazu führen, dass das Newton-Polytop des einen eine erweiterte Formulierung des Newton-Polytops des anderen ist und dann die jüngsten unteren Schranken auf erweiterte Formulierungen angewendet werden.

Sei und g ( y 1 , , y m ) Polynome mit nichtnegativen Koeffizienten (wie hier der Fall). Angenommen, f ist eine monotone Projektion von g unter der Zuweisung π (nach der Notation der Frage). Unter π wird jedes Monom von g entweder auf 0 (wenn eine seiner Variablen auf 0 abgebildet wird) oder auf ein Monom von f abgebildetf(x1,,xn)g(y1,,ym)fgππgf : Es kann wegen Nicht-Negativität keine Stornierungen geben.

Lassen bezeichnen den Newton Polytop von f , und in ähnlicher Weise für N e w ( g ) .New(f)fNew(g)

Behauptung : Es gibt eine erweiterte Formulierung für in R m unter Verwendung von n + m Variablen und einer Anzahl von Einschränkungen, die höchstens n + m plus der Anzahl von Einschränkungen ist, die N e w ( g ) definieren .New(f)Rmn+mn+mNew(g)

So geht's: Sei die Koordinaten auf R m (in denen N e w ( g ) lebt; ein ganzzahliger Punkt in R m mit Koordinaten ( e 1 , , e m ) entspricht nämlich das Monom y e 1 1y e m m ). Für die i so, dass π ( y i ) =e1,,emRmNew(g)Rm(e1,,em)y1e1ymemi überschneidenπ(yi)=0 mit { e i = 0 } (da nur Monome, an denen y i nicht beteiligtist, zur Projektion beitragen können); dies fügt höchstens m zusätzliche Beschränkungen hinzu. Sei P das resultierende Polytop. Danninduziert π eine lineare Abbildung L π : R mR n , so dass L π ( P ) = N e w ( f )New(g){ei=0}yimPπLπ:RmRnLπ(P)=New(f)New(f)n+mPmLπnxi

Now take f to be the n-th Hamilton cycle polynomial and g to be the m-th permanent, and suppose that f is a monotone projection of g. The Newton polytope of the permanent (and determinant, incidentally), is the cycle cover polytope. This polytope is easily described by the "edge" variables eij and the m equations stating that every vertex has degree exactly 2.

The Newton polytope of the Ham. Cycle polynomial is the Hamiltonian cycle polytope (surprise, surprise). But this polytope is the TSP polytope, which requires 2nΩ(1) equations to describe any extended formulation of, which, when m is subexponential, contradicts the small extended formulation given by the cycle cover polytope and Lπ as above.

(Note that this argument fails if f, g, or π can have negative coefficients, as then there can be cancellations, so Lπ need not map onto New(f).)

It's interesting to note that the geometry of these polytopes is closely related to the fact that matching is in P while Hamilton cycle is NP-complete, but I think the above reasoning shows how the geometric structure here really can add something beyond that complexity classification.


1
a very nice argument. This is exactly what I looked for! Indeed, extended LP formulations simulate Valiant's projections (at least monotone).
Stasys
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.