Pertanyaan yang diberi tag «circuit-complexity»

Kelas NCsayaNCsaya\textrm{NC}^i adalah fungsi kelas yang dapat dihitung oleh rangkaian keluarga dengan ukuran kipas masuk, nO ( 1 )nHAI(1)n^{O(1)} dan kedalaman O ( logsaya( n ) )HAI(catatansaya⁡(n))O(\log^i(n)) . The NCNC\textrm{NC} -hierarchy adalah gabungan dari kelas-kelas. Apakah ada studi varian ukuran linear dari hierarki ini? Itu adalah keluarga rangkaian fan-in terbatas, …

10 cc.complexity-theory  circuit-complexity 

Saya tertarik untuk menentukan kerumitan masalah keputusan berikut: Diberikan dua bilangan bulat dan (masing-masing dengan paling banyak m bit), putuskan apakah bit paling signifikan dari perkalian adalah 1 (di mana hasilnya dicetak dalam 2m bit dengan kemungkinan memimpin 0's)?l 2 l 1 ⋅ l 2l1l1l_1l2l2l_2l1⋅ l2l1⋅l2l_1 \cdot l_2 Beberapa latar …

10 cc.complexity-theory  circuit-complexity 

Biarkan menjadi kelas kompleksitas dan \ textrm {BP -} \ mathcal {C} menjadi mitra acak dari \ mathcal {C} didefinisikan sebagai \ textrm {BPP} sehubungan dengan \ textrm {P} . Lebih formal kami menyediakan banyak bit acak polinomi dan kami menerima input jika probabilitas untuk menerima lebih dari \ frac …

10 circuit-complexity  randomized-algorithms 

Pertimbangkan masalah berikut: Diberikan matriks kami ingin mengoptimalkan jumlah penambahan dalam algoritma multiplikasi untuk komputasi .v ↦ M vM.M.Mv ↦ Mvv↦M.vv \mapsto Mv Saya menemukan masalah ini menarik karena hubungannya dengan kompleksitas perkalian matriks (masalah ini adalah versi terbatas dari perkalian matriks). Apa yang tahu tentang masalah ini? Apakah ada …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Minimisasi Sirkuit adalah masalah untuk meminimalkan ukuran sirkuit yang diberikan. Apakah ada yang serupa untuk program umum? Khususnya pertanyaan saya adalah - Apakah ada algoritma untuk meminimalkan # instruksi untuk program yang diberikan. Saya tahu ini masalah yang tidak dapat diputuskan, tetapi saya tidak mencari solusi yang mengembalikan sesuatu yang …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

Pertimbangkan bahasa tidak kosong panjang string biner . Saya dapat menggambarkan dengan rangkaian Boolean dengan input dan satu output sedemikian rupa sehingga benar iff : ini sudah terkenal.n L C n C ( w ) w ∈ LL.LLnnnL.LLCCCnnnC( w )C(w)C(w)w ∈ Lw∈Lw \in L Namun, saya ingin mewakili dengan Boolean …

10 fl.formal-languages  circuit-complexity 

Pertanyaan berikut ini terkait dengan optimalitas dari Bellman-Ford - t terpendek algoritma pemrograman jalan dinamis (lihat posting ini untuk sambungan). Juga, jawaban positif akan menyiratkan bahwa ukuran minimal dari program percabangan monoton nondeterministik untuk masalah STCONN adalah Θ ( n 3 ) . ssstttΘ ( n3)Θ(n3)\Theta(n^3) Misalkan menjadi DAG (grafik …

10 graph-theory  circuit-complexity  lower-bounds 

Pertanyaan saya adalah mengapa batas bawah untuk kedalaman 3 sirkuit Boolean dengan gerbang "dan" dan "xor" untuk determinan tidak menyiratkan batas bawah yang sama untuk sirkuit aritmatika di atas ZZ\mathbb{Z} ? Apa yang salah dengan argumen berikut: Misalkan CCC menjadi rangkaian penentu penghitungan aritmatika maka dengan mengambil semua variabel mod …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Rumus CNF monoton dengan istilah m pada n variabel ( ) adalah rumus dari bentuk f ( x 1 , ... , x n ) = ⋀ C i , di mana setiap C i adalah ATAU dari beberapa bagian dari variabel x 1 , … , x n , …

10 cc.complexity-theory  circuit-complexity  formulas 

Latar Belakang Kompleksitas sirkuit didefinisikan sebagai himpunan rangkaian keluarga (yaitu rangkaian rangkaian, satu untuk setiap ukuran input) dengan kedalaman terikat dan ukuran polinomial yang dibangun menggunakan kipas-in tanpa batas AND, OR, dan NOT.AC0AC0AC^0 Fungsi paritas dengan input n- bit sama dengan XOR bit dalam input.⊕⊕\oplusnnn Salah satu lowerbound sirkuit pertama …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Misalkan saya memiliki sirkuit boolean yang menghitung beberapa fungsi f : { 0 , 1 } n → { 0 , 1 } . Asumsikan sirkuit terdiri dari AND, OR, dan NOT gerbang dengan fan-in dan fan-out paling banyak 2.CCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Pertanyaan saya adalah tentang fungsi bijective yang dapat dihitung secara efisien. Secara informal saya tertarik pada: Jika suatu bijection dihitung dalam waktu polinomial, dapatkah kita menghitungnya dengan jumlah polinomial gerbang bijective? Saya telah memeriksa daftar pertanyaan yang relevan dan tidak menemukan yang ini. Pengaturan tepat saya mungkin atau mungkin tidak …

10 circuit-complexity  permutations  reversible-computing 

Saya ingin tahu tentang cara di mana Anda telah melihat ketidakseragaman berguna dalam perhitungan. Salah satu caranya adalah keacakan, seperti dalam , dan yang lainnya adalah tabel pencarian yang digunakan untuk menunjukkan bahwa semua bahasa memiliki sirkuit yang tidak seragam.B PP⊆ P./ polyBPP⊆P/halHailyBPP \subseteq P/poly Secara khusus, saya tertarik pada …

9 circuit-complexity  advice-and-nonuniformity 

Apa metode pendekatan Razborov? Bisakah seseorang memberikan ikhtisar tingkat tinggi dan intuisi di baliknya?

9 cc.complexity-theory  circuit-complexity 

Biarkan menjadi kelas kompleksitas dan BP- C menjadi mitra acak dari didefinisikan dengan cara yang sama dengan didefinisikan sehubungan dengan . Lebih formal kami memberikan banyak bit acak polinomi dan kami menerima input jika probabilitas untuk menerima lebih dari .CC\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P}2323\frac{2}{3} Dalam posting sebelumnya , saya bertanya apakah diketahui apakah …

9 circuit-complexity  randomized-algorithms  derandomization