Bedeutet Max-SNP hart NP-hart?

7

Ich habe Schwierigkeiten, die Definition der Klasse Max-SNP (Optimierungsvariante des strengen NP ) zu verstehen , daher muss ich folgende grundlegende Frage stellen:

If a problem is known to be Max-SNP hard, does this imply NP-hardness of the problem?
Matte
quelle

Antworten:

7

Die Definition von gibt uns die Möglichkeit zu definieren:M.einx- -S.N.P.

  1. Universelle ( ) und existentielle ( \ existierende ) Quantifizierer über Variablen
  2. Existenzielle Quantifizierer über Beziehungen

Mit dieser Definition können wir M.einx - S.EINT. :

x,y so dass |ψ(y)||ψ(x)|
wo |ψ(x)|ist die Anzahl der Klauseln, die in der Formel ψ unter Zuweisung x erfüllt sind x.

Da - ist - , sehen wir , dass - wird angedeutet , von .M.einxS.EINT.N.P.H.einrdN.P.H.einrdnessM.einx- -S.N.P.

Nicholas Mancuso
quelle