Zählen Sie die Reduzierung von #SAT auf #HornSAT?

8

Ist es möglich, eine Reduzierung der Zählung von #SAT auf #HornSAT zu finden? Ich habe diese Frage hier nicht gefunden und habe mich daher entschlossen zu prüfen, ob jemand eine Antwort darauf hat. Lassen Sie mich erklären, was ich mit Reduktion zähle.

Angenommen, sind zwei Zählprobleme. Zum Beispiel fragt #SAT, wie viele erfüllbare Zuweisungen für eine bestimmte Instanz vorhanden sind ϕ , und f , g sind ähnliche Zählprobleme, wenn die Gesamtzahl der Zeugen ermittelt wird. Eine schwach sparsame Zählreduktion von f auf g besteht aus einem Paar von polynomialzeitberechnbaren Funktionen σ : { 0 , 1 } { 0 , 1 }f,g:{0,1}Nϕf,gfg und τ : { 0 , 1 } × NN, so dass f ( x ) = τ ( x , g ( σ ( x ) ) ) . In dem Fall, dass f ( x ) = g ( σ ( x ) ) ist , ist dies als stark sparsame Zählreduktion bekannt.σ:{0,1}{0,1}τ:{0,1}×NNf(x)=τ(x,g(σ(x)))f(x)=g(σ(x))

Ich kann sehen, dass wenn es eine solche Reduzierung der Zählung von #SAT auf #HornSAT gibt, dies eine schwach sparsame Reduzierung sein muss: Eine starke Reduzierung würde bedeuten, dass die Instanzen #SAT und #HornSAT zusammen keine oder eine Anzahl von Lösungen ungleich Null haben. und unter der Annahme, dass , ist dies unmöglich (als HornSAT P, während SAT N P -voll ist).PNPPNP

Meine Frage ist also: Gibt es eine schwach sparsame Zählreduktion von #SAT auf #HornSAT? Wenn ja, kann mir bitte jemand einen Hinweis geben?

David
quelle
2
"#HornSAT ist # P-vollständig" bedeutet, dass jedes # P- Problem durch eine zählende (schwach sparsame) Reduzierung auf #HornSAT reduziert werden kann.
Tsuyoshi Ito
1
Was bedeutet schwach gegen stark sparsam?
Huck Bennett
@ Huck Bennett ... Ich habe die mathematische Definition in der Frage erwähnt. Informell können wir sagen, dass eine starke Reduzierung bedeutet, dass beide Probleme die gleiche Anzahl von Lösungen haben. Schwache Reduktion bedeutet, dass die Anzahl der Lösungen der ursprünglichen Probleminstanz in Polynomzeit aus der Anzahl der Lösungen der reduzierten Probleminstanz ermittelt werden kann.
David
@TsuyoshiIto .. richtig, es bedeutet, dass es eine zählende (schwach sparsame) Reduzierung von #SAT auf #HornSAT geben muss. Ich möchte diese Reduzierung wissen. Ich habe keine direkte oder indirekte Reduzierung gefunden. Grundsätzlich weiß ich nicht, wie ich beweisen soll, dass #HornSAT # P-vollständig ist. Vielleicht bin ich nicht so gut in der Google-Suche. Irgendeine Referenz?
David

Antworten:

10

ϕψ

Radu Curticapean
quelle
1
Vielen Dank für den Hinweis. Es hilft mir wirklich sehr. :)
David