Pertanyaan yang diberi tag «circuit-complexity»

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

1
Apakah dengan fanout terikat lebih lemah dari ?
Dalam survei "Sirkuit Kuantum Kedalaman Kecil" oleh D. Bera, F. Green dan S. Homer (hlm. 36 dari ACM SIGACT News, Juni 2007, vol. 38, no. 2) , saya membaca kalimat berikut: Versi klasik (di mana gerbang dan memiliki fanout paling konstan) terbukti lebih lemah dari .Q A C0QAC0QAC^0ANDANDANDORORORAC0AC0AC^0 Referensi untuk …
2
Batas bawah untuk determinan dan permanen
Mengingat jurang baru-baru ini pada kedalaman-3 hasil (yang antara lain menghasilkan kedalaman-3 rangkaian aritmatika untuk penentu atas ), Saya memiliki pertanyaan-pertanyaan berikut: Grigoriev dan Karpinski membuktikan batas bawah untuk rangkaian aritmetika kedalaman-3 yang menghitung matriks atas matriks bidang terbatas (yang saya kira, juga berlaku untuk Permanen). Formula Ryser untuk menghitung …
2
Apakah penambahan dapat dilakukan dalam waktu kurang dari kedalaman 5?
Dengan menggunakan algoritma carry look ahead, kita dapat menghitung penambahan menggunakan kedalaman ukuran polinomial 5 (atau 4?) . Apakah mungkin mengurangi kedalaman? Bisakah kita menghitung penambahan dua bilangan biner menggunakan rangkaian keluarga ukuran polinomial dengan kedalaman kurang dari yang diperoleh dengan algoritma carry look forward?A C0AC0AC^0 Apakah ada lowerbin polinomial …
2
Sirkuit batas bawah dan kompleksitas kolmogorov
Pertimbangkan alasan berikut: Misalkan menunjukkan kompleksitas Kolmogorov dari string . Teorema ketidaklengkapan Chaitin mengatakan ituxK(x)K(x)K(x)xxx untuk konsisten dan cukup kuat resmi sistem , terdapat konstan (tergantung hanya pada sistem formal dan bahasanya) sehingga untuk setiap string , tidak dapat membuktikan bahwa .T x S K ( x ) ≥ TSSSTTTxxxSSSK( …
2
Apakah sirkuit AND & ATAU P-selesai?
Gerbang AND & OR adalah gerbang yang diberi dua input dan mengembalikan AND dan OR mereka. Apakah sirkuit dibuat hanya dari gerbang AND & OR, tanpa fanout, mampu melakukan perhitungan acak? Lebih tepatnya, apakah logspace komputasi waktu polinomial dapat direduksi menjadi sirkuit AND & OR? Motivasi saya untuk masalah ini …
1
Apakah
Apakah ada hipotesis kompleksitas / kripto yang masuk akal yang mengesampingkan kemungkinan bahwa sirkuit ukuran polinomial memiliki ukuran subeksponensial (yaitu dengan ϵ &lt; 1 ) sirkuit batas-kedalaman ( d = O ( 1 ) )?2O ( nϵ)2HAI(nϵ)2^{O(n^\epsilon)}ϵ &lt; 1ϵ&lt;1\epsilon<1d= O ( 1 )d=HAI(1)d = O(1) Kita tahu bahwa setiap fungsi …
6
Referensi tentang Batas Bawah Sirkuit
Pembukaan Sistem bukti interaktif dan protokol Arthur-Merlin diperkenalkan oleh Goldwasser, Micali dan Rackoff dan Babai pada tahun 1985. Pada awalnya, diperkirakan bahwa yang pertama lebih kuat dari yang terakhir, tetapi Goldwasser dan Sipser menunjukkan bahwa mereka memiliki kekuatan yang sama ( sehubungan dengan pengenalan bahasa). Oleh karena itu, dalam posting …
6
Apa cara terbaik untuk mendapatkan lemparan koin yang hampir adil dari koin bias yang identik?
(Von Neumann memberikan algoritma yang mensimulasikan koin yang adil diberikan akses ke koin bias identik. Algoritma ini berpotensi membutuhkan jumlah koin yang tak terbatas (meskipun dalam harapan, cukup banyak saja). Pertanyaan ini menyangkut kasus ketika jumlah lemparan koin yang diizinkan adalah dibatasi.) Misalkan kita memiliki koin identik dengan bias . …
2
Batas bawah untuk rumus kedalaman konstan?
Kita tahu banyak tentang batasan-batasan (kedalaman polinomial) sirkuit-konstan. Karena (kedalaman polinomial) rumus kedalaman konstan adalah model perhitungan yang bahkan lebih terbatas, semua masalah yang diketahui tidak ada dalam AC 0 juga tidak dapat dihitung dengan rumus kedalaman konstan. Namun, karena ini model yang lebih mudah, saya menduga ada lebih banyak …
2
Hubungan antara
Biarkan menjadi kelas dari semua bahasa reguler.REGREG\mathsf{REG} Diketahui dan \ mathsf {REG} \ tidak \ subset \ mathsf {AC} ^ 0 . Tetapi apakah ada karakterisasi untuk bahasa di \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap \mathsf{REG}
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.