SATの証明は一次減量を通じNP完了です

So I have been reading this: https://people.cs.umass.edu/~immerman/book/ch7.pdf

私は、SATが一次削減によってNPに対して完全であると言う定理7.16の証明を理解していない。私の主な問題は、ブール式$
gamma( mathcal {A})$の構築の詳細がわかりません。

$ mathcal {A} $から$ gamma( mathcal {A})$ a $ t + 1
$の1次問合せへのマッピングはなぜですか?

私は、一次還元の構築が詳細には説明されておらず、一次還元がどのように構築されるかについて誰かが詳しく説明できるか疑問に思う。

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

返信を残す

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