Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Mengapa dugaan log-rank menggunakan peringkat di atas real?
Dalam kompleksitas komunikasi, dugaan log-rank menyatakan hal itu cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Di mana adalah kompleksitas komunikasi M ( x , y ) dan r k ( M ) adalah pangkat M (sebagai matriks) atas real.cc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Namun, bila Anda hanya menggunakan rank-metode untuk menurunkan terikat Anda dapat menggunakan r k …
1
Bukti dalam
Dalam sebuah pembicaraan oleh Razborov, sebuah pernyataan kecil yang aneh diposting. Jika FACTORING sulit, maka teorema kecil Fermat tidak dapat dibuktikan dalam .S12S21S_{2}^{1} Apa itu dan mengapa bukti saat ini tidak ada di ? S 1 2S12S21S_{2}^{1}S12S21S_{2}^{1}
1
Masalah alami dalam
Kelas kompleksitas didefinisikan sebagai berikut (dari Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Bahasa adalah dalam S P 2 jika ada predikat polinomial-waktu P sedemikian rupaL.L.LSP2S2PS_2^PPPP Jika , maka ada y sedemikian rupa sehingga untuk semua z , P ( x , y , z ) = 1x ∈ Lx∈L.x \in LyyyzzzP( x , y, …
1
Apakah pseudorandomness deterministik mungkin lebih kuat daripada keacakan secara paralel?
Biarkan kelas BPNC (kombinasi dan ) menjadi algoritma paralel kedalaman log dengan probabilitas kesalahan terbatas dan akses ke sumber acak (saya tidak yakin apakah ini memiliki nama yang berbeda). Tentukan kelas DBPNC dengan cara yang sama, kecuali bahwa semua proses memiliki akses acak ke aliran acak bit yang diperbaiki pada …
2
Tentang Inverse 3-SAT
Konteks : Kavvadias dan Sideri telah menunjukkan bahwa masalah Inverse 3-SAT adalah coNP Lengkap: Diberikan satu set model pada n variabel, apakah ada rumus 3-CNF sehingga ϕ adalah set model yang tepat? Formula kandidat langsung muncul yang merupakan gabungan dari semua 3-klausa yang dipenuhi oleh semua model dalam ϕ .ϕϕ\phinnnϕϕ\phiϕϕ\phi …
3
Apa simulasi BPP yang paling cepat diketahui menggunakan algoritma Las Vegas?
BPPBPP\mathsf{BPP} danZPPZPP\mathsf{ZPP} adalah dua kelas kompleksitas probabilistik dasar. BPPBPP\mathsf{BPP} adalah kelas bahasa yang diputuskan oleh algoritma Turing polinomial-waktu probabilistik di mana probabilitas algoritma mengembalikan jawaban yang salah dibatasi, yaitu probabilitas kesalahan paling banyak1313\frac{1}{3} (untuk instance YA dan TIDAK). Di sisi lain, ZPPZPP\mathsf{ZPP} algoritma dapat dilihat sebagai orang algoritma probabilistik yang …
1
Kesalahan satu sisi dalam sistem bukti probablistik
Dalam kebanyakan sistem bukti probabilistik (teorema PCP, misalnya), probabilitas kesalahan biasanya didefinisikan pada sisi false-positive, yaitu definisi tipikal dapat terlihat seperti: jika maka verifier selalu menerima, tetapi dalam kasus lain kemungkinan penolakan setidaknya 1/2.x ∈ Lx∈Lx \in L Apakah ada masalah dalam membiarkan kesalahan terjadi di sisi lain? Itu berarti …
1
Mengapa batas bawah untuk Sirkuit boolean tidak menyiratkan sirkuit aritmatika batas bawah
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 …
1
Penyeimbangan rumus Boolean di
Saya mencari referensi tentang kompleksitas masalah penyeimbangan rumus Boolean . Khususnya, Apakah diketahui bahwa rumus Boolean dapat diseimbangkan dalam ?AC0AC0\mathsf{AC^0} Apakah ada bukti sederhana keseimbangan Boolean yang menyeimbangkan berada di ?AC0AC0\mathsf{AC^0} Maksud "sederhana" yang saya maksud adalah bukti yang lebih sederhana daripada yang saya sebutkan di bawah ini, khususnya saya …
1
Apakah
Saya belum dapat menemukan sebuah pernyataan yang berkaitan dan N P R P dalam literatur; pointer akan dihargai.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Saya percaya mereka setara: : The N P Mesin menebak tali Merlin, dan R P oracle memverifikasi string sebagai Arthur akan.MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}NPNP\mathsf{NP}RPRP\mathsf{RP} : Merlin menebak perhitungan menerima dari N P mesin, …
4
Hasil Oracle pada P vs BPP
Biarkan menjadi masalah lengkap EXP. Kemudian, .P A = N P AAAAPA=NPAPA=NPAP^A = NP^A Mari ada beberapa oracle yang memperhitungkan rekening permintaan yang (TM di P) akan membuat, dan kita bisa mendapatkan .M P B ≠ N P BBBBMMMPB≠NPBPB≠NPBP^B \neq NP^B Pertanyaan: Apakah kami memiliki hasil oracle yang serupa untuk …
2
Memutuskan homomorfisme grafik
Deciding Graph Homomorphism secara umum NP-Complete. Apakah ada hasil yang mempelajari masalah ini ketika grafik yang mendasari memiliki struktur aljabar (seperti memutuskan homomorfisme dari grafik Cayley atau Cayley coset ke grafik lain dengan beberapa struktur tertentu juga)? Selain hasil kompleksitas saya juga tertarik pada teknik aljabar dan / atau spektral …
1
Cara seragam mengkuantifikasi "percabangan" dalam perhitungan nondeterministik, probabilistik, dan kuantum?
Perhitungan dari mesin Turing nondeterministic (NTM) dikenal sebagai pohon konfigurasi, yang berakar pada konfigurasi awal. Setiap transisi dalam program diwakili oleh tautan ayah-anak di pohon ini. Pohon serupa juga dapat dibangun untuk memvisualisasikan perhitungan mesin probabilistik dan kuantum juga. (Perhatikan bahwa lebih baik untuk beberapa tujuan untuk tidak melihat grafik …
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.