Apakah mungkin untuk menggunakan pembatasan acak untuk mendapatkan batas bawah untuk

Ada beberapa terkenal hasil ukuran sirkuit yang lebih rendah-bound berdasarkan pembatasan acak dan Switching Lemma . $\mathsf{AC^0}$

Bisakah kita mengembangkan hasil Lema Switching untuk membuktikan ukuran yang lebih rendah terikat untuk sirkuit (mirip dengan bukti yang lebih rendah-bound untuk )? $\mathsf{TC^0}$ $\mathsf{AC^0}$

Atau apakah ada kendala yang melekat untuk menggunakan pendekatan ini untuk membuktikan rendah-batas? $\mathsf{TC^0}$

Do hasil penghalang seperti Natural Bukti mengatakan apa-apa tentang menggunakan Switching Lema seperti teknik untuk membuktikan rendah-batas? $\mathsf{TC^0}$

cc.complexity-theory circuit-complexity lower-bounds boolean-functions Jeigh
sumber

Apakah Anda terbiasa dengan bukti pengalihan lemma untuk

A C^{0}

$\mathsf{AC^0}$

Kaveh

Saya membaca bab sirkuit batas bawah dari buku teks Arora. Pertama, mentransformasikan setiap cirtuit kedalaman konstan ke sirkuit tanpa gerbang TIDAK dengan lapisan AND-OR yang saling terhubung, dan kedua menggunakan sakelar Switching Lemma dua lapisan ini, akhirnya kita mendapatkan sirkuit atas dan level kedua adalah gerbang AND (atau OR) yang sama dengan demikian kita dapat menghilangkan cicuit dari satu lapisan, mereduksi kedalaman rangkaian.

Jeigh

Namun, tidak sederhana dari case boolean untuk mengamati output dari sebuah gate ketika kita memperbaiki beberapa nilai input (dalam case boolean kita memperbaiki tentang input root n persegi). DAN gerbang dan OR gerbang adalah versi ekstrim dari ambang pintu dan jauh lebih mudah untuk mengamati pengaruh pembatasan.

Jeigh

Gagasan di balik teknik pembatasan acak adalah bahwa

dipukul oleh pembatasan acak menjadi lebih sederhana (pada kenyataannya konstan) dengan probabilitas tidak nol sambil menjaga cukup variabel bebas. Tidak seperti gerbang

dan

, satu

A C^{0}

$\mathsf{AC^0}$

\land

$\land$

\lor

$\lor$

gerbang terkena pembatasan acak akan masih menghitung sebuah

\mod p

$\mod p$

gerbang pada input ukuran yang lebih kecil dan tidak akan menjadi lebih sederhana.

\mod p

$\mod p$

Kaveh

Perhatikan juga bahwa pembatasan acak dan Lemma Switching adalah salah satu contoh utama Bukti Alami. Bagaimanapun, semoga ahli kompleksitas sirkuit akan memposting jawaban yang lebih komprehensif. ps: Saya mengambil kebebasan untuk menulis ulang pertanyaan, merasa bebas untuk memutar kembali jika Anda tidak menyukai suntingan saya.

Kaveh

Apakah mungkin untuk menggunakan pembatasan acak untuk mendapatkan batas bawah untuk

Jawaban: