Max-SNPハードはNPハードを意味しますか

クラスMax-SNP（厳密なNPの最適化バリアント）の定義を理解するのが難しいので、基本的な質問に従う必要があります。

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

$\newcommand{\maxsnp}{\mathsf{Max}\text{-}\mathsf{SNP}}$の定義$\maxsnp$私たちを定義する機能を提供します：

1. 変数のユニバーサル（$\forall$）および存在（$\exists$）数量詞
2. 関係に存在する量指定子

この定義により、$\mathsf{Max}$ - \ mathsf {SAT}を定義できます$\mathsf{SAT}$。

$$\exists x, \forall y \text{ such that } |\psi(y)| \leq |\psi(x)|$$ ここで| \ psi（x）| 割り当てxのもとで$|\psi(x)|$式$\psi$で満たされる節の数です。$x$

ことを考えると -ある -、我々はそれを見 -から暗示される。$\mathsf{Max}$$\mathsf{SAT}$$\mathsf{NP}$$\mathsf{Hard}$$\mathsf{NP}$$\mathsf{Hardness}$$\maxsnp$