Sipserテキストの回路サイズと式サイズの関係

Question

Sipser Text （3rd Edition）には、3-SATが保証されていますブール回路に基づいてNP-Completeです。証明の一部には、回路からブール式への減少が多項式時刻で行うことができるという備考を含みます。

最初の質問：多項式サイズの回路Cが存在する場合は、多項式サイズのFormulation $ \ varphi $ が存在します。 $ \ varphi $ が満足できる場合に限り、満足できない場合

2番目の質問：Cは、まだ多項式サイズであり、Cは多項式サイズであり、Cが tectionistic です。 EM>チューリングマシンM？これは、（MのタブローからCを構築することによって） $ \ mbox {$ \ \ \ \ \ \ \ \ \ \ \}の場合、これは短期間の定理の証明に記載されているようです。 $ t（n）\ geq n $と$ n \ in \ mathbb {n} $} $ 。

Answer 1

はい、それは正しいです。 tseitin transform を参照してください。 $ c $ がどのように構築されたかは関係ありません。