Sirkulasi batas bawah melewati set gerbang yang sewenang-wenang


40

Pada 1980-an, Razborov terkenal menunjukkan bahwa ada fungsi Boolean monoton eksplisit (seperti fungsi CLIQUE) yang membutuhkan banyak gerbang AND dan OR secara eksponensial untuk menghitung. Namun, basis {AND, OR} di atas domain Boolean {0,1} hanyalah salah satu contoh dari set gerbang menarik yang gagal menjadi universal. Ini mengarah ke pertanyaan saya:

Apakah ada set gerbang lain, yang sangat berbeda dari gerbang monoton, yang batas bawahnya diketahui secara eksponensial pada ukuran sirkuit (tanpa kedalaman atau batasan lain pada sirkuit)? Jika tidak, apakah ada rangkaian gerbang lain yang merupakan kandidat masuk akal untuk batas bawah seperti itu --- batas yang tidak perlu mengharuskan menerobos penghalang Bukti Alami, karena hasil sirkuit monoton-sirkuit Razborov tidak?

Jika set gerbang seperti itu ada, maka dipastikan akan lebih dari alfabet k-ary untuk k≥3. Alasannya adalah bahwa, lebih dari alfabet biner, the

(1) gerbang monoton ({AND, OR}),

(2) gerbang linier ({TIDAK, XOR}), dan

(3) gerbang universal ({DAN, ATAU, TIDAK})

pada dasarnya menguras kemungkinan yang menarik, sebagai berikut dari teorema klasifikasi Post. (Perhatikan bahwa saya berasumsi bahwa konstanta --- 0 dan 1 dalam kasus biner --- selalu tersedia secara gratis.) Dengan gerbang linear, setiap fungsi Boolean f: {0,1} n → {0,1} itu computable sama sekali dapat dihitung oleh sirkuit ukuran linier; dengan seperangkat universal, tentu saja kita menghadapi Bukti Alam dan hambatan menakutkan lainnya.

Di sisi lain, jika kita mempertimbangkan set gerbang lebih dari alfabet 3 atau 4 simbol (misalnya), maka serangkaian kemungkinan yang lebih luas terbuka --- dan setidaknya setahu saya, kemungkinan itu belum pernah sepenuhnya dipetakan. dari sudut pandang teori kompleksitas (perbaiki saya jika saya salah). Saya tahu bahwa set gerbang yang mungkin dipelajari secara luas dengan nama "klon" dalam aljabar universal; Saya berharap saya lebih fasih dengan literatur itu sehingga saya tahu bagaimana jika ada hasil dari area itu yang berarti kompleksitas sirkuit.

Dalam kasus apa pun, tampaknya tidak keluar dari pertanyaan bahwa ada rangkaian dramatis lain batas bawah yang matang untuk pembuktian, jika kita cukup memperluas kelas set gerbang melalui huruf hingga yang ingin kita pertimbangkan. Jika saya salah, tolong beri tahu saya alasannya!


3
f:{0,1}n{0,1}nΩ(n2log(n))

2
Hanya sebuah catatan: jika Anda mengganti gerbang boolean monoton dengan gerbang yang menghitung fungsi nyata yang tidak berkurang , Anda juga mendapatkan batas bawah eksponensial pada ukuran sirkuit. Ini dibuktikan oleh Pudlak: Batas bawah untuk resolusi dan memotong bukti pesawat dan perhitungan monoton , J. dari Symb. Logika 62 (3), 1997, hlm.981-998.
Iddo Tzameret

2
Grigory: Terima kasih; Saya berdebat apakah akan menyebutkan itu di OP! Anda benar bahwa kami tidak memiliki batas bawah superlinear eksplisit pada jumlah gerbang XOR yang diperlukan untuk menghitung fungsi linear f: {0,1} <sup> n </sup> & rarr; {0,1} < sup> n </sup>. Di sisi lain, tidak sulit untuk menghasilkan kandidat untuk transformasi linear yang <i> seharusnya </i> memerlukan & Omega; (n log n) Gerbang XOR (Transformasi Fourier, matriks "Sierpinski Gasket" ...) , dan Bram Cohen mengusulkan contoh fungsi yang membutuhkan & Omega (n <sup> 3/2 </sup>) gerbang XOR (saya tidak ingat tapi bisa bertanya kepadanya).
Scott Aaronson

Bahkan untuk ukuran alfabet 3 kisi klon tidak terhitung, dan berisi setiap kisi terbatas sebagai subkisi. Jadi ada banyak basis operasi yang sangat menarik untuk dipertimbangkan. Saya tidak mengetahui adanya pekerjaan menggunakan klon non-Boolean untuk batas sirkuit yang lebih rendah, tetapi ini tampaknya layak diselidiki secara lebih mendalam.
András Salamon

3
Scott, apakah Anda tahu analog yang sesuai untuk kelas AC ^ 0 di atas aphabet yang lebih besar? Izinkan saya juga berkomentar bahwa orang dapat mempertimbangkan gagasan monotonisitas untuk huruf yang lebih besar (Elchanan Mossel dan saya menulis tentang batasan yang tajam untuk front.math.ucdavis.edu/1011.3566 ) jadi mungkin teorema Rasborov meluas untuk ciruit monoton pada alfabet yang lebih besar untuk gagasan tertentu tentang monotonisitas.
Gil Kalai

Jawaban:


25

(Dipindahkan dari komentar seperti yang disarankan Suresh. Perhatikan beberapa kesalahan dalam komentar yang diperbaiki di sini.)

Terima kasih kepada Scott untuk pertanyaan yang bagus.

Scott tampaknya menyarankan bahwa alasan kesulitan batas bawah mungkin bahasa operasi terbatas dalam kasus Boolean. Argumen penghitungan Shannon yang menunjukkan sebagian besar sirkuit harus besar bergantung pada kesenjangan antara daya ekspresif yang dapat dihitung dan banyak sirkuit. Kesenjangan ini tampaknya hilang ketika alfabet memiliki setidaknya 3 simbol.

Untuk ukuran alfabet 2 (kasing Boolean), kisi-kisi klon terhitung tak terbatas, dan disebut kisi-kisi Post .

Gambar kisi pos dari Wikipedia

Kisi Post juga menjelaskan mengapa hanya ada beberapa basis operasi yang menarik untuk kasus Boolean.

Untuk ukuran alfabet 3 atau lebih besar kisi klon tidak terhitung. Lebih jauh, kisi tidak memenuhi identitas kisi nontrivial, jadi sepertinya tidak mungkin untuk memberikan deskripsi lengkap tentang kisi. Untuk ukuran alfabet 4 atau lebih besar, kisi-kisi klon sebenarnya berisi setiap kisi hingga sebagai subkisi. Jadi ada banyak kemungkinan dasar operasi yang menarik untuk dipertimbangkan ketika alfabet memiliki 3 atau lebih simbol.

  • Bulatov, Andrei A., Kondisi dipenuhi oleh kisi-kisi klon , Aljabar Universalis 46 237–241, 2001. doi: 10.1007 / PL00000340

Scott bertanya lebih lanjut: apakah kisi klon tetap tidak dapat dihitung jika kita asumsikan konstanta tersedia secara gratis?

Jawabannya adalah ya, lihat misalnya

  • Gradimir Vojvodić, Jovanka Pantović, dan Ratko Tošić, Jumlah klon yang mengandung fungsi unary , NSJOM 27 83-87 , 1997. ( PDF )
  • J. Pantović, R. Tošić, dan G. Vojvodić, Kardinalitas aljabar lengkap fungsional pada set elemen tiga , Aljabar Universalis 38 136-140, 1997. doi: 10.1007 / s000120050042

meskipun ternyata ini diterbitkan sebelumnya:

  • Ostongoston, I., Demetrovics, J., dan Hannák, L. Pada jumlah klon yang mengandung semua konstanta , Coll. Matematika Soc. János Bolyai 43 21–25, 1983.

Pernyataan spesifik yang bagus berasal dari:

  • A. Bulatov, A. Krokhin, K. Safin, dan E. Sukhanov, Tentang struktur kisi-kisi klon , Dalam: "Aljabar Umum dan Matematika Diskrit", editor: K. Denecke dan O. Lueders, 27–34. Heldermann Verlag, Berlin, 1995. ( PS )

k3Lk20

Untuk menyelesaikannya, saya tidak mengetahui adanya pekerjaan menggunakan klon non-Boolean untuk batas bawah sirkuit. Ini sepertinya layak diselidiki secara lebih mendalam. Mengingat relatif sedikit yang diketahui tentang kisi klon, mungkin ada basis operasi yang menarik yang menunggu untuk ditemukan.

Lebih banyak hubungan antara teori kloning dan ilmu komputer mungkin juga akan sangat menarik bagi matematikawan yang bekerja dalam aljabar universal. Contoh sebelumnya dari jenis interaksi ini muncul ketika Peter Jeavons menunjukkan bahwa aljabar dapat dikaitkan dengan bahasa kendala, dengan cara yang memungkinkan hasil penelusuran diterjemahkan ke dalam properti aljabar. Andrei Bulatov menggunakan ini untuk membuktikan dikotomi untuk CSP dengan ukuran domain 3. Sebaliknya, ada kebangkitan minat dalam teori congruence jinak sebagai hasil dari aplikasi ilmu komputer. Saya ingin tahu apa yang akan terjadi setelah hubungan antara teori kloning dan kompleksitas sirkuit non-Boolean.


Terima kasih banyak, András! Saya akan memeriksa kertas oleh Ágoston et al. ketika saya mendapat kesempatan. Sementara itu, saya membaca daftar klon precomplete maksimal pada set 3-elemen dari Pantović et al. makalah yang Anda tautkan, dan saya tidak berpikir salah satu dari mereka adalah kandidat untuk batas bawah sirkuit "baru". (Untuk beberapa dari mereka, batas bawah eksponensial mengikuti segera dari batas bawah monoton Razborov; untuk yang lain, kita akan membutuhkan batas bawah untuk rangkaian umum atau untuk sirkuit linier.) masih tampak layak untuk dilihat.
Scott Aaronson

15

Ini dipindahkan dari komentar, seperti yang disarankan Suresh.

f:0,1n0,1nΩ(n2log(n))

n2log(n)cc

Ω(nlogn)Ω(n3/2)

Sunting 2. Hambatan utama adalah bahwa kita tidak memiliki metode untuk membuktikan batas bawah non-linier bahkan untuk gerbang linier, sejauh yang saya tahu (untuk batas bawah linier seseorang dapat menggunakan eliminasi gerbang, yang sangat mungkin untuk memberikan batas-linear). Meskipun sepertinya beberapa metode dari aljabar linier benar-benar harus membantu. Jadi datang dengan kandidat itu bagus, tetapi beberapa metode baru tetap diperlukan.


11
  1. {0,1}aZ3n={0,1,2}nmin(x,y)xymod2f(a)=0a02asetidaknya adalah angka . Dia menunjukkan bahwa setiap sirkuit (lebih dari MIN / XOR) yang membutuhkan sekitar gerbang untuk menghitung . Tapi itu tadi! Saya tidak mengetahui adanya hasil lebih lanjut dalam bantuan yang sama (pergi ke domain yang lebih besar, tetapi masih terbatas) kecuali, tentu saja, hal-hal dari rangkaian aritmatika. Tetapi hanya untuk sirkuit - untuk program percabangan pergi ke domain yang lebih besar membuat tugas batas bawah agak lebih mudah. 12n/nf

  2. Di sirkuit dengan gerbang XOR. Di sini bahkan kasus kedalaman terbuka lebar. Batas bawah tertinggi untuk transformasi linear eksplisit over memiliki bentuk . Untuk membuktikan batas seperti untuk konstanta , bahkan di kedalaman dan bahkan jika hanya gerbang XOR diizinkan, adalah sebuah tantangan.2y=AxGF(2)nlog3/2nn1+cc>02


2
Dear Stasys, bolehkah saya menyarankan Anda mendaftarkan akun Anda? Ini akan memungkinkan Anda untuk menggunakan akun pengguna yang sama untuk mengirim jawaban dan mengeditnya nanti di antara hal-hal lain. (Beri tahu saya jika Anda memutuskan untuk mendaftar dan saya akan menggabungkan akun Anda sebelumnya sehingga Anda juga dapat mengedit posting Anda sebelumnya.)
Kaveh

1
Terima kasih, Kaveh, saya mendaftar sekarang. Saran Scott (masuk ke domain yang lebih besar) mungkin juga menarik dari sudut pandang "pragmatis". Katakanlah, berapakah jumlah terkecil gerbang max / plus dalam sebuah sirkuit untuk masalah Subset-Sum dengan kapasitas ransel knapsack ? Untuk mensimulasikan algoritma pemrograman dinamis standar itu sudah cukup untuk tambahan memungkinkan kabel membuat tes untuk bilangan bulat di domain kita. Algoritma ini juga memberikan batas atas pada jumlah gerbang. Masalah: buktikan bahwa gerbang diperlukan. Ini berarti bahwa DP tidak dapat melakukan yang lebih baik untuk Knapsack. Kxi=aanKΩ(nK)
Stasys
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.