多項式時間決定論的検証器V（input、certificate）を修正したら、それに対応するNP問題は質問です。この入力に対して、（多項式サイズ）証明書はV（input、certificate）がTrueを返すようなものですか
関連するカウント問題（#Pクラス）は次のとおりです。V（input、certificate）がTrueを返すように証明書がいくつ存在するか。
#Pは「決定問題」のクラスではなく、問題を数えるクラスです。最も近い従来の「決定問題」クラスはPPであり、これには次の形式の問題があります。証明書の大部分はV（入力、証明書）がTrueを返す結果になりますか？
特定のNP完全問題+ベリファイアに関連するカウント問題の決定バージョンに興味があります。これは次のようになります。入力インスタンスと正の整数Kが与えられた場合：V（input、証明書）はTrueを返しますか？
この決定問題は、（バイナリ検索を介して）カウントバージョンと明らかに同等です。私が間違っていないのであれば、これらすべての「NP問題に関連するカウント問題の決定バージョン」のクラスは、PPとまったく同じくらい難しいです。
1）これらの「カウント決定」問題は、多数の証明書が手動でTrueまたはFalseと見なされ、少なくともK個のTrue証明書があるアドホックベリファイア定義を選択することにより、他の多数決問題としてリフレームできます。結果の問題で過半数がTrueの場合に限り、元の 削減のアイデアを説明する簡単な例のように、8つの証明書があり、少なくとも3つの真の証明書があるかどうかを知りたい場合は、11の可能な証明書を持つ別の検証者を提案できます。元の8つの証明書については、通常はチェックし、他の3つは入力を調べずにすぐにTrueを返します。11の大部分は6であるため、この新しいベリファイアは、元の証明書が少なくとも3つを受け入れる場合、正確に大部分の証明書を受け入れます。
したがって、これらの問題はすべてPPにあります。
元の大部分の問題を解決することは、単に解決されているので2）任意PP完全問題に対応する「カウント判定」バージョンは明らかに、PP-難しいだろう問題。したがって、そのような問題はPP完全です。
さて、ついに、私の質問を明確に述べることができます。これは、NP完全問題のMAX、MAJバリアントに示されているのと同じアイデアの「より洗練されたバージョン」です。
カウント問題（PPにある）の決定バージョンがPP完全ではないような、NP完全な問題はありますか？
たとえば、Subset-Sumの場合、私が関心を持っている関連する決定問題は次のようになります。ゼロ合計のK個の空でないサブセットはありますか？
Kは無料で、証明書の半分近くに限定されないため、他の回答の引数は適用されません。