2016-09-21 3 views

答えて

2

ブール回路は任意の非周期グラフに基づいていますが、論理式はツリーとして記述できます。したがって、ブール回路はサブ回路を一度評価し、その結果を複数の場所で使用することができますが、明らかに同じサブツリーのコピーが表示される単一の数式としてこれを書き出そうとすると複数の場所では、指数関数的にツリーのサイズを爆破することができます。

あなたは、私はちょうど追加する必要がhttps://en.wikipedia.org/wiki/Tseytin_transformation

+0

を使用して変数の数を増やすのコストで、このブローアップを回避することができます:単一式しか組み合わせ論理回路を意味していますが、回路の表現を得た場合は除外することはできません任意の複雑さおよび挙動を有する順序論理回路(メモリまたはループを有する)である。 – Spektre

関連する問題