Sirkuit aritmatika dengan hanya satu ambang gerbang

Ketika dibatasi hingga - input, setiap -circuit menghitung beberapa fungsi . Untuk mendapatkan fungsi boolean , kita bisa menambahkan satu gerbang ambang batas fanin-1 sebagai gerbang keluaran. Pada input , ambang yang dihasilkan - sirkuit kemudian menghasilkan jika , dan menghasilkan jika ; ambang dapat berupa bilangan bulat positif, yang mungkin bergantung pada $0$ $1$ $\{+,\times\}$ $F(x_1,\ldots,x_n)$ $F:\{0,1\}^n\to \mathbb{N}$ $a\in\{0,1\}^n$ $\{+,\times\}$ $1$ $F(a)\geq t$ $0$ $F(a)\leq t-1$ $t=t_n$ $n$ tetapi tidak pada nilai input. Sirkuit yang dihasilkan menghitung beberapa fungsi boolean (monoton) . $F':\{0,1\}^n\to \{0,1\}$

Pertanyaan: Dapatkah threshold -circuits disimulasikan secara efisien oleh -circuits? $\{+,\times\}$ $\{\lor,\land\}$

Di bawah "efisien" yang saya maksudkan "dengan paling banyak peningkatan ukuran polinom." Jawabannya jelas "ya" untuk ambang : cukup ganti dengan , by , dan hapus gerbang ambang batas terakhir. Yaitu, -circuits sebenarnya adalah threshold- -circuits. Tetapi bagaimana dengan ambang batas yang lebih besar, katakanlah, ? $t=1$ $+$ $\lor$ $\times$ $\land$ $\{\lor,\land\}$ $1$ $\{+,\times\}$ $t=2$

Kita dapat mendefinisikan analog aritmatika dari sebagian besar kelas rangkaian boolean dengan hanya menggunakan alih-alih OR, alih-alih AND, dan alih alih . Sebagai contoh, sirkuit adalah -circuit dengan kedalaman konstan dengan gerbang fanin dan terikat , dan input dan . Agrawal, Allender dan Datta telah menunjukkan ambang itu = . (Ingatlah bahwa itu sendiri adalah tepat $\#C$ $C$ $+$ $\times$ $1-x_i$ $\bar{x}_i$ $\#AC^0$ $\{+,\times\}$ $+$ $\times$ $x_i$ $1-x_i$ $\#AC^0$ $TC^0$ $AC^0$ bagian dari ; ambil, katakanlah, fungsi Mayoritas.) Dengan kata lain, sirkuit ambang kedalaman konstan dapat secara efisien disimulasikan oleh sirkuit kedalaman konstan, hanya dengan gerbang ambang tunggal! Namun, perhatikan bahwa pertanyaan saya adalah tentang sirkuit monoton (tidak ada Minus " " sebagai gerbang, dan bahkan tidak ada sebagai input). Bisakah satu (terakhir) gerbang threshold menjadi sangat kuat juga? Saya tidak tahu hal-hal ini, jadi petunjuk terkait apapun dipersilakan. $TC^0$ $\{+,-,\times\}$ $-$ $1-x_i$

NB Masih ada hasil terkait lainnya yang menarik karena Arnold Rosenbloom: -circuits dengan hanya satu fungsi monoton karena gerbang keluaran dapat hitung setiap fungsi irisan dengan gerbang . Fungsi slice adalah fungsi boolean monoton yang, untuk beberapa tetap , menghasilkan (resp. ) pada semua input dengan lebih sedikit (resp., Lebih) daripada . Di sisi lain, penghitungan yang mudah menunjukkan bahwa sebagian besar fungsi slice memerlukan -lingkaran dengan ukuran eksponensial. Dengan demikian, satu gerbang output tambahan "tidak bersalah" dapat $\{+,\times\}$ $g:\mathbb{N}^2\to\{0,1\}$ $O(n)$ $k$ $0$ $1$ $k$ $\{\lor,\land,\neg\}$ buat sirkuit monoton mahakuasa! Pertanyaan saya menanyakan apakah ini juga bisa terjadi ketika adalah gerbang ambang batas fanin- . $g:\mathbb{N}\to\{0,1\}$ $1$

AKTUALISASI (ditambahkan 03.11.2014): Emil Jeřábek telah menunjukkan (melalui konstruksi yang sangat sederhana, lihat jawabannya di bawah) bahwa jawabannya adalah "ya" selama untuk konstanta . Jadi, pertanyaannya tetap terbuka hanya untuk ambang super polinomial (dalam ).

t \leq n^{c}

$t\leq n^c$

c

$c$

n

$n$

Biasanya, dalam aplikasi, hanya ambang besar yang berfungsi: kita biasanya memerlukan ambang bentuk untuk . Katakan, jika menghitung jumlah jalur - dalam grafik yang ditentukan oleh input - , maka untuk dengan , yang threshold- versi memecahkan adanya Hamiltonian - masalah jalan di -vertex grafik (lihat, misalnya di sini ). $2^{n^{\epsilon}}$ $\epsilon > 0$ $F:\{0,1\}^n\to \mathbb{N}$ $s$ $t$ $0$ $1$ $t=m^{m^2}$ $m\approx n^{1/3}$ $t$ $F$ $s$ $t$ $m$

(Ditambahkan 14.11.2014): Karena Emil menjawab sebagian besar pertanyaan saya, dan karena kasus ambang eksponensial tidak terlihat, saya sekarang menerima jawaban Emil (sangat bagus) ini.

circuit-complexity arithmetic-circuits cc-complexity-theory Stasys
sumber

Tunggu ... ukuran eksponensial? Saya pikir Anda dapat menerapkan fungsi slice dalam ukuran polinomial dengan gerbang boolean, itu hanya sebuah rumus (yang tidak dapat menggunakan kembali hasil antara lebih dari sekali) yang harus berukuran eksponensial.

Zsbán Ambrus

@ Zsbán Ambrus: Ada paling sirkuit ukuran , tapi setidaknya berbeda fungsi -slice sudah untuk ; a, b konstanta positif.

S^{a S}

$S^{aS}$

S

$S$

2^{2^{b n}}

$2^{2^{bn}}$

k

$k$

k = n / 2

$k=n/2$

Stasys

Ambang 2, dan lebih umum, ambang yang dibatasi oleh , dapat disimulasikan secara efisien dengan melakukan perhitungan dalam semiring .

2^{n^{c}}

$2^{n^c}$

({0, \dots, t}, min {x + y, t}, min {x y, t})

$(\{0,\dots,t\},\min\{x+y,t\},\min\{xy,t\})$

Emil Jeřábek mendukung Monica

Anda mendapatkan sirkuit secara langsung. Ganti setiap node dengan node , di mana menghitung predikat Boolean . (Anda tidak perlu karena menghitung konstanta , tetapi menyederhanakan ekspresi di bawah ini.) Dalam representasi ini, dan dapat disimulasikan oleh sirkuit ukuran : mis., jika , maka .

\land, \lor

$\land,\lor$

c

$c$

t + 1

$t+1$

c_{0}, \dots, c_{t}

$c_0,\dots,c_t$

c_{i}

$c_i$

c \geq i

$c\ge i$

c_{0}

$c_0$

1

$1$

+

$+$

\cdot

$\cdot$

{\land, \lor}

$\{\land,\lor\}$

O (t^{2})

$O(t^2)$

c = a + b

$c=a+b$

c_{i} = \underset{j + k \geq i}{⋁} (a_{j} \land b_{k})

$c_i=\bigvee_{j+k\ge i}(a_j\land b_k)$

Emil Jeřábek mendukung Monica

@Emil Jeřábek: Bagus sekali! Saya sekarang menambahkan komentar tentang ini. Sebenarnya, mungkin layak untuk menempatkan komentar ini sebagai jawaban: kasus ambang polinomial juga tidak segera jelas (setidaknya untuk saya).

Stasys

Jawabannya adalah "ya" jika . Secara umum, ambang -circuit dari ukuran dengan ambang dapat disimulasikan oleh -circuit dengan ukuran . $t=n^{O(1)}$ $\{+,\cdot\}$ $s$ $t$ $\{\lor,\land\}$ $O(t^2s)$

Pertama, amati bahwa cukup untuk mengevaluasi rangkaian di dengan penambahan dan perkalian terpotong: khususnya, jika , maka , dan juga juga, atau . $\{0,\dots,t\}$ $a,a'\ge t$ $a+b,a'+b\ge t$ $ab,a'b\ge t$ $ab=a'b(=0)$

Dengan pemikiran ini, kita dapat mensimulasikan rangkaian dengan rangkaian monoton Boolean dengan mengganti setiap simpul dengan simpul , di mana dimaksudkan untuk menghitung predikat . (Kita perlu hanya untuk kenyamanan notasi, itu menghitung fungsi konstan ) Jika adalah variabel input Boolean , kita mengambil , . Jika adalah gerbang tambahan, katakanlah , kami mengimplementasikannya melalui Gerbang multiplikasi ditangani dengan cara yang sama. $c$ $c_0,\dots,c_t$ $c_i$ $c\ge i$ $c_0$ $1$ $c$ $x$ $c_1=x$ $c_2=\dots=c_t=0$ $c$ $c=a+b$

c_{i} = \underset{\begin{matrix} j, k \leq t \\ j + k \geq i \end{matrix}}{⋁} (a_{j} \land b_{k}) .

$c_i=\bigvee_{\substack{j,k\le t\\j+k\ge i}}(a_j\land b_k).$

Ini membutuhkan gerbang per satu gerbang dari sirkuit asli. Sebagai optimasi kecil, kita dapat menguranginya menjadi dengan meletakkan sehingga setiap digunakan sebagai input dari hanya satu dari gerbang . $O(t^3)$ $O(t^2)$

\begin{aligned} c_{t} & = \underset{j + k \geq t}{⋁} (a_{j} \land b_{k}), \\ c_{i} & = c_{i + 1} \lor \underset{j + k = i}{⋁} (a_{j} \land b_{k}), i < t, \end{aligned}

$\begin{align*} c_t&=\bigvee_{j+k\ge t}(a_j\land b_k),\\ c_i&=c_{i+1}\lor\bigvee_{j+k=i}(a_j\land b_k),\qquad i<t, \end{align*}$

a_{j} \land b_{k}

$a_j\land b_k$

c_{i}

$c_i$

Emil Jeřábek mendukung Monica
sumber

Sirkuit aritmatika dengan hanya satu ambang gerbang

Jawaban: