Markov membuktikan bahwa setiap fungsi input dapat dihitung dengan hanya negations. Versi konstruktif yang efisien dijelaskan oleh Fisher. Lihat juga eksposisi hasil dari blog GLL .⌈ log ( n + 1 ) ⌉n⌈log(n+1)⌉
Lebih tepatnya:
Teorema: Misalkan f:{0,1}n→{0,1}m dihitung dengan sirkuit C dengan g gerbang, maka juga dihitung dengan sirkuit C∗ dengan 2g+O(n2log2n) gerbang dan ⌈log(n+1)⌉ negations.
Gagasan utamanya adalah menambahkan untuk setiap kawat w di C kawat parell w′ di C∗ yang selalu membawa pelengkap w . Kasus dasar adalah untuk kabel masukan: Fisher menjelaskan cara membangun sebuah sirkuit inversi I(x)=x¯¯¯ dengan O(n2log2n) gerbang dan hanya ⌈log(n+1)⌉ negasi rceil . Untuk gerbang AND dari sirkuit C , kita dapat menambah a=b∧c dengan a′=b′∨c′ , dan juga untuk gerbang OR. BUKAN gerbang di C tidak ada biaya, kami hanya menukar peran w dan w′hilir dari gerbang NOT. Dengan cara ini, seluruh rangkaian di samping subcircuit inverter adalah monoton.
AA Markov. Pada kompleksitas inversi dari suatu sistem fungsi. J. ACM , 5 (4): 331–334, 1958.
MJ Fischer. Kompleksitas jaringan terbatas-negasi - Survei singkat. Dalam
Automata Theory dan Formal Languages , 71–82, 1975
Cara menghitung inversi bit menggunakan n negasi2n−1 n
Biarkan bit diurutkan dalam urutan menurun, yaitu i < j menyiratkan x i ≥ x j . Ini dapat dicapai dengan jaringan sortir monoton seperti jaringan sortir Ajtai – Komlós-Szemerédi.x0,…,x2n−1 i<j xi≥xj
Kita mendefinisikan rangkaian inversi untuk bit I n ( → x ) secara induktif: Untuk kasus dasar kita memiliki n = 1 dan I 1 0 ( → x ) : = ¬ x 0 . Misalkan m = 2 n - 1 . Kami mengurangi I n (untuk 2 m + 1 ) bit menjadi satu I n - 1 gerbang (untuk m2n−1 In(x⃗ ) n=1 I10(x⃗ ):=¬x0 m=2n−1 In 2m+1 In−1 m bit) dan satu gerbang negasi menggunakan gerbang dan ∨ . Kami menggunakan negasi untuk menghitung ¬ x m . Untuk i < m let y i : = ( x i ∧ ¬ x m ) ∨ x m + i . Kami menggunakan I n - 1 untuk membalikkan → y . Sekarang kita dapat mendefinisikan I n sebagai berikut:∧ ∨ ¬xm i<m yi:=(xi∧¬xm)∨xm+i In−1 y⃗ In
Sangat mudah untuk memverifikasi ini membalik dengan mempertimbangkan nilai-nilai yang mungkin dari x n dan menggunakan fakta bahwa → x menurun.x⃗ xn x⃗
Dari Michael J. Fischer, Kompleksitas jaringan terbatas-negasi - survei singkat, 1975.
sumber