充足感はどれくらい難しいですか?

(多項式の多くの節の)一般的な充足可能性はNP困難であることはよく知られており、実際にSATのインスタンスを決定するアルゴリズムは$
n $変数にほぼ$ 2 ^ n $時間かかると推測される。

問題の約束の変種であるGAP-SATの硬さについて何かが分かっているのだろうかと思っていました。ここでは、そのようなブール式$
phi $のそれぞれが

$ { phi} | {x: phi(x)= 1 } | leq a } $$ そして $$ Pi_
{yes} = { phi:| {x: phi(x)= 1 } | geq b } $$

for different $0 leq a = f(n) < b = g(n) leq 2^n$ fixed
functions of $n$. Any references would be appreciated, thanks!

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です