Batas bawah ukuran formula untuk fungsi AC0


25

Pertanyaan:

Berapa ukuran rumus batas bawah paling dikenal untuk fungsi eksplisit di AC 0 ? Apakah ada fungsi eksplisit dengan batas bawah ?Ω(n2)

Latar Belakang:

Seperti kebanyakan batas bawah, ukuran rumus batas bawah sulit didapat. Saya tertarik pada rumus ukuran batas bawah atas gerbang universal standar yang ditetapkan {DAN, ATAU, TIDAK}.

Ukuran rumus batas bawah yang paling dikenal untuk fungsi eksplisit di atas set gerbang ini adalah untuk fungsi yang didefinisikan oleh Andreev. Batas ini ditunjukkan oleh Håstad, meningkatkan batas bawah Andreev untuk . Batas bawah eksplisit lainnya adalah batas bawah Khrapchenko untuk fungsi paritas.Ω ( n 2.5 - o ( 1 ) ) Ω ( n 2 )Ω(n3o(1))Ω(n2.5o(1))Ω(n2)

Namun, kedua fungsi ini tidak ada dalam AC 0 . Saya bertanya-tanya apakah kita tahu fungsi eksplisit dalam AC 0 dengan batas bawah kuadratik (atau lebih baik). Batas terbaik yang saya ketahui adalah batas bawah untuk fungsi Perbedaan Elemen, seperti yang ditunjukkan oleh Nechiporuk. Perhatikan bahwa fungsi perbedaan elemen dalam AC 0 , jadi saya mencari batas bawah untuk fungsi AC 0 eksplisit yang lebih baik daripada , lebih disukai .Ω ( n 2 / log n ) Ω ( n 2 )Ω(n2/logn)Ω(n2/logn)Ω(n2)

Bacaan lebih lanjut:

Sumber yang bagus tentang topik ini adalah "Kompleksitas Fungsi Boolean: Kemajuan dan Batas" oleh Stasys Jukna. Draf buku tersedia secara gratis di situs webnya.


Bisakah alasan kurangnya lowlinound superlinear untuk fungsi menjadi semacam reducibilitas diri sendiri untuk fungsi ? yaitu jika kita memiliki lowerbound (di mana tidak bergantung pada kedalaman) maka kita mendapatkan lowerbound superpoly. A C 0 n 1 + ϵ ϵAC0AC0n1+ϵϵ
Kaveh

@ Kaveh: Saya tidak yakin saya mengerti. Kami sudah memiliki batas bawah untuk fungsi dalam (elemen pembeda). Ω(n2/logn)AC0
Robin Kothari

Maaf, ganti superlinear dengan super-kuadrat. Maksud saya sesuatu yang mirip dengan hasil Allender-Koucky untuk . Eksponen untuk mungkin lebih besar. Hasil seperti itu dapat menjelaskan mengapa sulit untuk menemukan untuk fungsi . TC0AC0AC0AC0
Kaveh

Tampaknya masalah apa pun yang lengkap untuk bawah pengurangan Turing sangat dapat direduksi sendiri, tetapi ini tampaknya tidak memberikan apa yang saya harapkan karena ukuran pengurangan-diri dapat secara polinomi besar. N C 0AC0NC0
Kaveh

Jawaban:


15

Pertanyaan yang bagus! Khrapchenko pasti tidak bisa memberikan kuadrat batas bawah untuk fungsi. Batas bawahnya sebenarnya setidaknya kuadrat sensitivitas rata-rata. Dan semua fungsi dalam A C 0 memiliki sensitivitas rata-rata poli-logaritmik. Subbotovskaya-Andreev ternyata bisa juga tidak memberikan fungsi seperti itu karena alasan yang mereka gunakan (hasil pembatasan acak dalam formula jauh lebih kecil) adalah persis alasan memaksa besar A C 0 ukuran sirkuit; Switching Lemma Hastad (saya tidak begitu yakin, hanya intuisi). Satu-satunya harapan adalah Nechiporuk. Tetapi argumennya tidak dapat memberikan lebih dari n 2 / log nAC0AC0AC0n2/logn, dengan alasan teori informasi. Jadi, mungkinkah segala sesuatu dalam memiliki formula ukuran kuadrat (atau bahkan lebih kecil)? Saya tidak percaya, tapi tidak bisa dengan cepat menemukan contoh tandingan. AC0

Sebenarnya, fenomena Allender-Koucky muncul juga dalam konteks lain - dalam kompleksitas grafik. Katakanlah bahwa rangkaian dari variabel merupakan sebuah bipartit n × n graf G pada simpul V = { 1 , ... , 2 n } jika untuk setiap masukan vektor a dengan tepat dua 1s adalah, katakanlah, posisi saya dan j ( i n , j > n ) sirkuit menerima sebuah simpul IFF i dan j2nn×nGV={1,,2n}aijinj>naijberdekatan di . Masalah: menunjukkan grafik eksplisit G yang membutuhkan setidaknya n ϵ gerbang diwakili oleh monoton Σ 3 -circuit. Sepertinya pertanyaan yang tidak bersalah (karena kebanyakan grafik membutuhkan sekitar n 1 / 2 gerbang. Tetapi setiap grafik tersebut akan memberi kita fungsi boolean dari 2 m = 2 log n variabel yang membutuhkan non-monoton sirkuit log mendalam ukuran superlinear (oleh hasil Dengan demikian, bahkan membuktikan n ϵ batas bawah untuk sirkuit kedalaman-3 mungkin menjadi tantangan. GGnϵ Σ3n1/22m=2lognnϵ


Selamat datang di cstheory. :) (btw, buku baru Anda terlihat cukup menarik, sayangnya saya bukan penutur asli bahasa Inggris jadi tidak bisa membantu dengan pembacaan bukti.)
Kaveh

Sebenarnya, setiap komentar / kritik pada konten / referensi dan sebagainya pada saat ini juga sangat penting. Versi saat ini ada di sini . Pengguna: teman Kata sandi: catchthecat
Stasys

Terima kasih :) Saya akan membaca bab terakhir tentang kompleksitas bukti proposisional.
Kaveh

2
Terima kasih banyak atas jawabannya! Jika Anda memikirkan fungsi dalam yang Anda duga membutuhkan rumus berukuran Ω ( n 2 ) , saya akan tertarik untuk mengetahuinya. AC0Ω(n2)
Robin Kothari

12

Terima kasih, Kaveh, karena ingin melihat bab tentang kompleksitas bukti!

Mengenai pertanyaan Robin, pertama bahwa catatan mengandung fungsi yang membutuhkan rumus (dan bahkan sirkuit) ukuran n k untuk setiap konstanta k . Ini mengikuti, katakanlah, dari fakta sederhana bahwa A C 0 berisi semua DNF dengan monomial yang terus-menerus panjang. Dengan demikian, A C 0 berisi setidaknya exp ( n k ) fungsi yang berbeda, untuk setiap k . Di sisi lain, kita memiliki paling banyak tentang fungsi exp ( t log n ) yang dihitung dengan rumus ukuran tAC0 nkkAC0AC0exp(nk)kexp(tlogn)t.

Aku segera membahas masalah mendapatkan eksplisit batas bawah dari atau lebih besar dengan Igor Sergeev (dari universitas Moskow). Satu kemungkinan bisa menggunakan metode Andreev, tetapi diterapkan pada beberapa fungsi lain yang lebih mudah dihitung daripada Parity. Yaitu, pertimbangkan fungsi n variabel dari bentuk F ( X ) = f ( g ( X 1 ) , , g ( X b ) ) di mana b = log n dan g adalah fungsi dalam An2nF(X)=f(g(X1),,g(Xb))b=logng darivariabel n / b ; f adalah beberapa fungsi paling kompleks darivariabel b (hanya keberadaan f sudah cukup). Kita hanya perlu bahwa fungsi g tidak dapat "dibunuh" dalam pengertian berikut: jika kita memperbaiki semua kecualivariabel k dalam X , maka harus dimungkinkan untuk memperbaiki semua kecuali satu variabel tersisa dari g sehingga diperoleh subfungsi dari g adalah variabel tunggal. Kemudian menerapkan argumen Andreev dan menggunakan hasil Hastad yang menyusut konstan setidaknya 2 (tidak hanya 3 / 2AC0n/bfbfgkXgg23/2seperti yang ditunjukkan sebelumnya oleh Sybbotovskaya), batas bawah yang dihasilkan untuk adalah sekitar n 3 / k 2 . Tentu saja, kita tahu bahwa setiap fungsi di A C 0 dapat dibunuh dengan memperbaiki semua tapi n 1 / d variabel, untuk beberapa konstan d 2 . Tetapi untuk mendapatkan n 2 batas bawah itu akan cukup untuk menemukan fungsi eksplisit di A C 0 yang tidak dapat dibunuh dengan memperbaiki semua tapi, katakanlah, n 1 / 2F(X)n3/k2AC0 n1/dd2n2AC0n1/2variabel. Seseorang harus mencari fungsi semacam itu secara mendalam lebih besar dari dua.

Sebenarnya, untuk fungsi seperti di atas, seseorang dapat memperoleh batas bawah tentang n 2 / log n melalui argumen serakah yang sederhana, tanpa Nechiporuk, tanpa Subbotovskaya, dan tanpa batasan acak! Untuk ini, itu hanya cukup bahwa "fungsi dalam" g (Y) adalah non-sepele (tergantung pada semua variabel n / b ). Selain itu, terikat berlaku untuk setiap dasar gerbang fanin konstan, bukan hanya untuk formula De Morgan.F(X)n2/lognn/b

Bukti: Mengingat rumus untuk dengan s daun, pilih di setiap blok X i variabel yang muncul terkecil jumlah kali sebagai daun. Kemudian atur semua variabel yang tersisa ke konstanta yang sesuai sehingga setiap g ( X i ) berubah menjadi variabel atau negasinya. Rumus yang diperoleh kemudian akan setidaknya n / b kali lebih kecil dari rumus aslinya. Jadi, s setidaknya n / b = n / log nF(X)sXig(Xi)n/bsn/b=n/lognkali ukuran rumus dari f , yaitu, s n 2 - o ( 1 ) . QED2b/logb=n/loglognfsn2o(1)

Untuk mendapatkan atau lebih, kita harus memasukkan efek menyusut Subbotovskaya-Hastad di bawah pembatasan acak. Calon yang mungkin adalah beberapa versi fungsi Sipser yang digunakan oleh Hastad untuk menunjukkan bahwa sirkuit kedalaman ( d + 1 ) lebih kuat daripada sirkuit dengan kedalaman d .n2(d+1)d

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.