Status pada sirkuit batas bawah untuk sirkuit kedalaman yang dibatasi polylog


17

Kompleksitas rangkaian bounded depth adalah salah satu bidang penelitian utama dalam teori kompleksitas sirkuit. Topik ini memiliki asal dalam hasil seperti "fungsi paritas tidak dalam " dan "fungsi mod tidak dihitung oleh ", di mana adalah kelas bahasa yang dapat ditentukan oleh non-seragam, kedalaman konstan, ukuran polinomial, kipas-dalam tanpa batas AND, OR, NOT dan gerbang modulo , di mana . Namun, mendapatkan hasil batas bawah yang konkret pada sirkuit kedalaman polylogaritmik tampaknya tidak terjangkau dengan menggunakan metode klasik seperti membatasi input dan mendekati polinomial pada bidang terbatas.AC0pAC0[q]AC0[q]qgcd(p,q)=1

Saya tahu makalah STOC'96 yang mengarah pada teori kompleksitas geometris dan yang menunjukkan bahwa komputasi paralel yang efisien menggunakan operasi tanpa bit-wise tidak dapat menghitung masalah aliran biaya minimum.

Ini berarti bahwa dalam pengaturan terbatas tertentu, kami dapat membuktikan batas bawah untuk beberapa masalah P -complete.NCP

Pertama, apakah ada metode atau teknik lain yang mungkin merupakan pendekatan yang masuk akal untuk membuktikan sirkuit kedalaman polylogarithmic batas bawah?

Kedua, seberapa bermanfaatkah pernyataan berikut untuk komunitas teori?

Ukuran sirkuit NC menghitung fungsi Boolean f:{0,1}n{0,1} setidaknya l , di mana l adalah beberapa kuantitas matematika tergantung pada kekerasan dari fungsi target f . Nilai l dapat berupa, misalnya, jumlah kombinatorial seperti perbedaan, kuantitas aljabar linier seperti pangkat jenis matriks tertentu atas suatu bidang, atau jumlah yang sama sekali baru yang sebelumnya tidak pernah digunakan dalam teori kompleksitas.


6
Kata hati-hati adalah dalam urutan: bahkan kedalaman logaritmik jika jauh dari dipahami. Kami masih belum memiliki batas bawah super-linier (!) Untuk sirkuit NC ^ 1. Di sini, kekakuan matriks adalah "kuantitas kombinatorial" yang diinginkan, tetapi kami tidak memiliki batas bawah yang cukup kuat pada kuantitas ini. Yang lebih menyedihkan, tidak ada batas bawah super-linier yang diketahui untuk sirkuit NC ^ 1 menghitung transformasi linear f (x) = Kap di atas GF (2), bahkan jika hanya fanin-2 XOR yang diizinkan sebagai gerbang. (Hampir semua matriks A memerlukan sekitar n ^ 2 / \ log n gerbang, dalam kedalaman apa pun.)
Stasys

@Stasys, saya pikir komentar Anda bisa menjadi jawaban.
Kaveh

Jawaban:


16

Pada teknik-teknik untuk membuktikan batas bawah kedalaman poly-log, semua pendekatan saat ini bekerja di bawah pengaturan terbatas . Seperti, dalam pekerjaan yang mengarah ke GCT yang Anda sebutkan, batas bawah berlaku untuk model PRAM terbatas tanpa operasi bit.

Di bawah batasan lain, yang merupakan batasan monoton untuk fungsi monoton boolean, ada pendekatan Fourier-analitik (atau enumeratif-kombinatorial) untuk membuktikan batas bawah sirkuit monoton dalam kedalaman, dalam pekerjaan bersama saya dengan Aaron Potechin ( ECCC dan STOC ). Ini meningkatkan hasil sebelumnya oleh Ran Raz dan Pierre McKenzie, yang memperluas kerangka permainan komunikasi Mauricio Karchmer dan Avi Wigderson tentang kedalaman sirkuit.

Jalur penelitian lain untuk memperluas permainan Karchmer-Wigderson diusulkan sebagai game komunikasi yang dirujuk oleh Scott Aaronson dan Avi Wigderson, yang perpanjangannya ke protokol yang saling bersaing disarankan sebagai pendekatan untuk memisahkan NC dari P oleh Gillat Kol dan Ran Raz ( ECCC dan ITCS ).

Selain mempelajari pembatasan sintaksis monotonisitas, ada pendekatan untuk mempelajari pembatasan semantik terkait dengan permainan kerikil (disebut program percabangan hemat) oleh Stephen Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, dan Rahul Santhanam. Ada batas bawah yang kuat di bawah batasan hemat oleh Dustin Wehr, cocok dengan batas atas yang paling dikenal untuk masalah P-complete. Hasil ini menyangkut kompleksitas ruang deterministik, yang menurunkan batas waktu paralel atau kedalaman rangkaian dengan hasil simulasi yang diketahui (misalnya sejak ).AlternatingTime[t]DeterministicSpace[t]

Tentang pertanyaan yang berkaitan dengan ukuran dan kedalaman rangkaian, pendekatan berikut mungkin terkait. Richard Lipton dan Ryan Williams menunjukkan bahwa, mengingat batas bawah yang cukup kuat pada kedalaman (yaitu ), ukuran batas bawah yang lemah (yaitu n 1 + Ω ( 1 ) ) dapat memisahkan NC dari P. Hasil ini mengikuti dari argumen trade-off ukuran-mendalam berdasarkan simulasi penghormatan blok. Sebuah awal hasil pada perdagangan kedalaman untuk ukuran adalah karena Allender dan Koucký berdasarkan pada gagasan diri reducibility, tetapi belajar kelas kompleksitas yang lebih kecil seperti NC 1 dan NL.n1O(1)n1+Ω(1)1

Perhatikan bahwa di antara pendekatan yang disebutkan di atas, beberapa dari mereka mempertimbangkan ukuran dan kedalaman sirkuit, sementara pendekatan lain hanya mempertimbangkan kedalaman sirkuit. Secara khusus, pendekatan semi-algebro-geometri Mulmuley , pendekatan protokol bersaing-prover dipelajari oleh Kol-Raz , dan pendekatan trade-off ukuran-kedalaman Allender – Koucký dan Lipton-Williams semuanya menyangkut ukuran dan kedalaman sirkuit. Hasil dalam Chan-Potechin , Raz-McKenzie , Cook-McKenzie-Wehr-Braverman-Santhanam , dan Wehr memberikan batas kedalaman sirkuit lebih rendah di bawah pengaturan terbatas terlepas dari ukuran. Juga, permainan komunikasi yang dirujuk dariAaronson – Wigderson hanya menyangkut kedalaman sirkuit.

Masih konsisten dengan pengetahuan kami bahwa beberapa masalah P-complete tidak dapat dihitung oleh sirkuit dengan kedalaman kecil (yaitu ), terlepas dari ukurannya. Jika ukuran tidak penting untuk sirkuit dengan kedalaman kecil (dari fan-in yang dibatasi), maka mungkin masuk akal untuk lebih fokus pada kedalaman sirkuit, daripada fokus pada ukuran sirkuit dengan kedalaman kecil.logO(1)n


Terima kasih! Sejauh yang Anda tahu, pernyataan yang ada di Q2 tidak ditemukan oleh semua orang, bukan? Artinya, tidak seperti metode kompleksitas rendah batas komunikasi, kita tidak punya kuantitas matematika memberikan batas bawah dari sirkuit NC?
shen

@shen, saya menambahkan dua paragraf lagi di akhir. Semoga bermanfaat.
siuman

2
Gagasan bahwa batas bawah ukuran lemah dapat diperkuat, digunakan dalam kertas Lipton-Williams, sebenarnya karena Allender dan Koucký ( eccc.hpi-web.de/report/2008/038 ).
Emil Jeřábek mendukung Monica

@ EmilJeřábek Terima kasih! Saya menambahkan kertas itu. Semoga jawabannya terlihat lebih baik sekarang.
siuman

14

Mengikuti saran Kaveh, saya menempatkan komentar saya sebagai jawaban (diperluas).

Mengenai Q1 , kata hati-hati adalah dalam urutan: bahkan kedalaman logaritmik jika jauh dari dipahami, tidak berbicara tentang poli-logaritma. Jadi, di dunia non-monoton, masalah sebenarnya jauh lebih tidak ambisius:

Beating Log-depth Problem: Buktikan batas bawah super-linear (!) Untuk sirkuit NC1

Masalahnya tetap terbuka (untuk saat ini lebih dari 30 tahun) bahkan untuk linear -circuits. Ini adalah sirkuit fanin- 2 atas dasar { , 1 } , dan mereka menghitung transformasi linear f ( x ) = A x lebih dari G F ( 2 ) . Penghitungan mudah menunjukkan bahwa hampir semua matriks A membutuhkan gerbang Ω ( n 2 / log n ) , dalam kedalaman apa pun. NC12{,1}f(x)=AxGF(2)AΩ(n2/logn)

Mengenai Q2 : Ya, kami memiliki beberapa langkah aljabar / kombinatorik, batas bawah yang akan mengalahkan sirkuit log-depth. Sayangnya, sejauh ini, kami tidak dapat membuktikan batas yang cukup besar pada langkah-langkah ini. Katakanlah, linear -circuits, seperti mengukur adalah kekakuan R A ( r ) dari matriks A . Ini adalah jumlah entri A terkecil yang perlu diubah untuk mengurangi peringkat menjadi r . Mudah untuk menunjukkan bahwa R A ( r ) ( n -NC1 RA(r)AAr berlaku untuk setiap boolean n × n matriks A , dan Valiant (1977) telah menunjukkan bahwa ikatan ini ketat untuk hampir semua matriks. Untuk mengalahkan sirkuit log-depth, cukup untuk memperlihatkan urutanmatriksboolean n × n A sedemikian rupa sehinggaRA(r)(nr)2n×nAn×nA

untuk konstanta ϵ , δ > 0 . RA(ϵn)n1+δϵ,δ>0

Yang terbaik yang kita ketahui sejauh ini adalah matriks dengan R A ( r ) ( n 2 / r ) log ( n / r ) . Untuk Sylvester matriks (yaitu inner matriks produk), yang batas bawah dari Ω ( n 2 / r ) adalah mudah untuk menunjukkan . ARA(r)(n2/r)log(n/r)Ω(n2/r)

Kami memiliki langkah-langkah kombinatorial untuk umum (non-linear) -circuits, serta Untuk bipartit n × n graph G , biarkan t ( G ) menjadi nomor terkecil t sehingga G dapat ditulis sebagai persimpangan t bipartit grafik, masing-masing menjadi sebuah serikat paling t grafik bipartit lengkap. Untuk mengalahkan sirkuit log-depth umum, itu akan cukup untuk menemukan urutan grafikNC1n×nGt(G)tGtt

untuk konstanta ϵ > 0t(Gn)nϵϵ>0

(lihat, misalnya di sini tentang bagaimana hal ini terjadi). Sekali lagi, hampir semua grafik memiliki . Namun, yang terbaik tetap batas bawah t ( G ) log 3 n untuk matriks Sylvester, karena Lokam . t(G)n1/2t(G)log3n

Akhirnya, izinkan saya menyebutkan bahwa kita bahkan memiliki ukuran kombinatorial "sederhana" (kuantitas) yang lebih rendah (linier) yang terikat di bawahnya yang akan menghasilkan bahkan batas bawah eksponensial (!) Untuk sirkuit non-monoton. Untuk bipartit graph G , biarkan c ( G ) menjadi jumlah terkecil fanin- 2 union ( ) dan persimpangan ( ) operasi diperlukan untuk menghasilkan G ketika mulai dari bintang; sebuah bintang adalah himpunan sisi-sisi yang menghubungkan satu simpul dengan semua simpul di sisi lainnya. Hampir semua grafik memiliki c ( G ) = Ω ( n 2n×nGc(G)2G . Di sisi lain, batas bawahc(G)=Ω(n2/logn)

untuk konstanta ϵ > 0c(Gn)(4+ϵ)nϵ>0

akan berarti batas bawah di non-monoton kompleksitas rangkaian dari fungsi boolean eksplisit f G dari N variabel. Jika G adalah n × m grafik dengan m = o ( n ) , maka bahkan batas bawah c ( G n ) ( 2 + ϵ ) n sudah cukup (lagi, lihat, misalnya di sini tentang bagaimana hal ini terjadi). Batas bawah c ( GΩ(2N/2)fGNGn×mm=o(n)c(Gn)(2+ϵ)n dapat ditampilkan untuk grafik yang relatif sederhana. Masalahnya, bagaimanapun, adalah melakukan ini dengan " - ϵ " diganti dengan " + ϵ ". Tindakan yang lebih kombinatorial menurunkan-bounding kompleksitas sirkuit (termasuk A C C -circuits) dapat ditemukan dalam buku. c(G)(2ϵ)nϵ+ϵACC

PS Jadi, apakah kita dengan faktor konstan dari menunjukkan P N P ? Tentu saja tidak. Saya menyebutkan ukuran terakhir ini c ( G ) hanya untuk menunjukkan bahwa seseorang harus memperlakukan "amplifikasi" (atau "pembesaran") dari batas bawah dengan porsi skeptisisme yang sehat: meskipun batas-batas yang kita butuhkan terlihat "polos", jauh lebih kecil ( linear) daripada hampir semua grafik membutuhkan (kuadratik), kesulitan yang melekat untuk membuktikan batas bawah (lemah) mungkin bahkan lebih besar. Tentu saja, setelah menemukan ukuran kombinatorial, kita dapat mengatakan sesuatu tentang sifat fungsi apa yang membuat mereka sulit dikomputasi. Ini mungkin berguna untuk membuktikan tidak langsung2+ϵPNPc(G)batas bawah: beberapa kelas kompleksitas berisi fungsi yang membutuhkan sirkuit atau rumus besar. Tetapi tujuan utamanya adalah menghasilkan fungsi keras eksplisit , yang definisinya tidak memiliki "bau algoritmik", tidak memiliki aspek kompleksitas tersembunyi.


2
Saya menemukan ini sangat menarik: 1. superlinear lebih rendah terikat untuk fungsi linear lebih tampaknya pertanyaan lebih rendah-bound sangat konkret. 2. batas bawah pada konsep matematika yang tidak berhubungan langsung dengan perhitungan berhubungan dengan rangkaian batas bawah. GF(2)
Kaveh

kekakuan matriks adalah konsep yang tampaknya menyatukan namun strukturnya tampaknya sangat kontras dengan hampir semua batas bawah yang dinyatakan sebagai , sedangkan itu dalam hal bukannya Ω ( f ( n , r ) ) (atau katakan Ω ( f ( Ω(f(n))Ω(f(n,r))mananadalah ukuran input karena untuk matriks kuadrat). Adakah yang melihat cara lain untuk mengekspresikan kekakuan matriks misalnya dalam halΩ(f(n))? Ω(f(n,r))nΩ(f(n))
vzn

@vzn: terkuat batas bawah pada independen atau r adalah 0 , karena R A ( n ) = 0 . Saya khawatir, Anda salah menafsirkan apa arti kekakuan sebenarnya. RSEBUAH(r) r0RSEBUAH(n)=0
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.