-1
私が考えているように、回路と数式(式)は同じブール値の2つの異なる表現でなければならず、big-Oはちょうどnでなければなりません。しかし、誰かが1対1で対応していないと言ったのはなぜですか?ブール回路をブール式に変換するための基本的なアルゴリズムとは何ですか?複雑さは何ですか?
私が考えているように、回路と数式(式)は同じブール値の2つの異なる表現でなければならず、big-Oはちょうどnでなければなりません。しかし、誰かが1対1で対応していないと言ったのはなぜですか?ブール回路をブール式に変換するための基本的なアルゴリズムとは何ですか?複雑さは何ですか?
ブール回路は任意の非周期グラフに基づいていますが、論理式はツリーとして記述できます。したがって、ブール回路はサブ回路を一度評価し、その結果を複数の場所で使用することができますが、明らかに同じサブツリーのコピーが表示される単一の数式としてこれを書き出そうとすると複数の場所では、指数関数的にツリーのサイズを爆破することができます。
あなたは、私はちょうど追加する必要がhttps://en.wikipedia.org/wiki/Tseytin_transformation
を使用して変数の数を増やすのコストで、このブローアップを回避することができます:単一式しか組み合わせ論理回路を意味していますが、回路の表現を得た場合は除外することはできません任意の複雑さおよび挙動を有する順序論理回路(メモリまたはループを有する)である。 – Spektre