Ein Polynom ist eine monotone Projektion eines Polynoms wenn = poly , und es gibt eine Zuordnung 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 .
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 : [
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 |
Aber warten: Es ist bekannt , dass CLIQUE monotone Schaltungen der Größe erfordert (erster bewiesen durch Alon und Boppana Razborov Methode verwendet wird ).
So waren HAM eine monotone Projektion von PER, hätten wir auch für PRO untere Grenze.
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 ). 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.