Pertanyaan yang diberi tag «circuit-complexity»

Kompleksitas sirkuit adalah studi tentang rangkaian yang dibatasi sumber daya dan fungsi yang dihitung oleh sirkuit tersebut.

1
Teorema Adleman atas semir tak terbatas?
Adleman telah menunjukkan pada tahun 1978 bahwa : jika fungsi boolean dari variabel dapat dihitung dengan rangkaian boolean probabilistik ukuran , maka dapat juga dihitung dengan deterministik sirkuit boolean polinomial ukuran dalam dan ; sebenarnya, dari ukuran . B P P ⊆ P / p o l yBPP⊆P/halHaily\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnM.M.MfffM.M.MnnnO ( …
2
Runtuh dengan asumsi bahwa
Diketahui bahwa jika NP⊆P/PolyNP⊆P/PolyNP\subseteq P/Poly maka hierarki polinomial runtuh menjadi dan .ΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Apa keruntuhan terkuat yang diketahui terjadi jika ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly
2
Apa definisi yang setara dari mP / poli dalam hal mesin Turing?
P / poly adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean ukuran polinomial. Alternatifnya dapat didefinisikan sebagai mesin Turing polinomial-waktu yang menerima string saran yang ukuran polinomial dalam n dan yang hanya didasarkan pada ukuran n. mP / poli adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit …
1
Evaluasi sirkuit
Apakah diketahui jika masalah evaluasi rangkaian ada di ? Bagaimana dengan (uniform )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Kita tahu bahwa sirkuit dengan kedalaman dapat dievaluasi dengan sirkuit dengan kedalaman mana adalah konstanta universal. Ini berarti sirkuit kedalaman dapat dievaluasi dengan sirkuit kedalaman . Namun tidak mengandung fungsi yang akhirnya mendominasi semua fungsi di .kkkk+ck+ck+ccccklgn+o(lgn)klg⁡n+o(lg⁡n)k\lg …
2
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 .AC0AC0\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 A C 0 )?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Atau apakah ada kendala yang melekat untuk menggunakan …
1
Karakterisasi Kompleksitas Sirkuit untuk DLogTime dan NLogTime
DLogTimeDLogTime\mathsf{DLogTime} danNLogTimeNLogTime\mathsf{NLogTime} adalah dua dari kelas kompleksitas terkecil yang kita miliki. (Perhatikan bahwa logaritma waktu hirarkiLHLH\mathsf{LH} adalah sama denganAC0AC0\mathsf{AC}^0 dan ini adalah dua tingkat pertama dariLHLH\mathsf{LH} ). Setelah membaca ini pertanyaan , saya menjadi tertarik untuk melihat apakah pemisahan antara dua kelas ini dikenal, dan sebenarnya itu adalah mudah untuk …
2
Apakah SAT bahasa bebas konteks?
Saya sedang mempertimbangkan bahasa dari semua formula logika proposisional yang memuaskan, SAT (untuk memastikan bahwa ini memiliki alfabet terbatas, kami akan menyandikan huruf proposisional dengan cara yang sesuai [edit: balasan menunjukkan bahwa jawaban untuk pertanyaan mungkin tidak kuat di bawah beragam pengkodean, jadi seseorang harus lebih spesifik - lihat kesimpulan …
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.