4
PARITYを計算する回路の最小サイズはどれくらいですか？
入力変数からPARITYを計算するすべてのファンイン2 AND-OR-NOT回路のサイズは少なくとも3(n−1)3(n−1)3(n-1)あり、これは鋭いという古典的な結果です。（サイズをANDゲートとORゲートの数として定義します。）証明はゲート削除によるものであり、任意のファンインを許可すると失敗するようです。この場合、何が知られていますか？ 具体的には、より大きなファンインが役立つ場合、つまり未満の3(n−1)3(n−1)3(n-1)ゲートが必要な場合の例を知っていますか？ 10月18日更新。Marzioは、n=3n=3n=3場合、CNF形式のPARITYを使用すると555ゲートでも十分であることを示しました。これは、バインドの意味一般用N。もっと良くできますか？⌊52n⌋−2⌊52n⌋−2\lfloor \frac 52 n \rfloor-2nnn