Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Memverifikasi seluk-beluk bukti asli Karp bahwa SAT memiliki pengurangan waktu polinomial menjadi 3SAT
Singkatnya, pertanyaan saya adalah: apakah bukti asli Karp yang mengurangi SAT menjadi 3SAT tidak perlu diuraikan? Dengan rincian sebagai berikut. Dalam makalahnya pada 1972, Reducibilitas Diantara Masalah Combinatorial , Karp membuktikan bahwa SAT berkurang menjadi 3SAT dengan menyatakan: Ganti klausa , di mana adalah literal dan , dengan mana adalah …
1
Bisakah Keanggotaan Quarter-Subset ditentukan secara efisien?
Pertimbangkan masalah keputusan berikut. Biarkan dan biarkan (C_0 ^ n, C_1 ^ n, \ dots, C_ {q-1} ^ n) menjadi cocok enumerasi himpunan bagian dari \ {0,1, \ dots, n-1 \} yang memiliki paling banyak n / 4 elemen.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n){0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\}n/4n/4n/4 Input Keanggotaan Quarter-Subset : tupel bilangan bulat …
1
Algoritma BQP untuk dua masalah pembagian dua grafik dan implikasinya pada NP
Saya membaca koran Ahmed Younes, " Algoritma Waktu Polinomial Kuantum-Kesalahan Terbatasi untuk Dua Masalah Dua Grafik ", 2015. doi: 10.1007 / s11128-015-1069-y yang diterbitkan dalam jurnal Springer's Quantum Information Processing. Makalah ini tampaknya mengklaim bahwa ia menyediakan algoritma BQP untuk masalah NP-keras min-bisection dan max-bisection. Jika benar, ini harus menyiratkan …
1
Kompleksitas keliling: sirkuit monoton fungsi Mayoritas
Seperti yang ditunjukkan dalam makalah "Sirkuit Monoton untuk Fungsi Mayoritas", adalah mungkin untuk membangun sirkuit boolean monoton untuk fungsi mayoritas pada variabel n dengan ukuran O (n ^ 3) dan kedalaman 5,3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Pertanyaan saya adalah, apa kompleksitas waktu dari konstruksi seperti itu? (Yaitu, waktu …
2
Ketidakpastian dalam program GCT
Dalam https://en.wikipedia.org/wiki/Geometric_complexity_theory disebutkan bahwa ".. Ketan Mulmuley percaya bahwa program tersebut, jika layak, kemungkinan akan memakan waktu sekitar 100 tahun sebelum dapat menyelesaikan masalah P vs NP". Tampaknya mengindikasikan bahwa satu-satunya program yang saat ini dapat dijalankan dapat menghadapi kendala serius. Apa saja kendala di mana program bisa gagal?
1
Apakah ada lebih banyak masalah waktu polinomial dengan kompleksitas batas bawah?
Saya mencari lebih banyak masalah di dengan kompleksitas waktu klasik batas bawah. Beberapa orang mungkin bertanya-tanya bagaimana Anda dapat membuktikan batas bawah seperti itu. Lihat di bawah.PPP Batas Bawah Eksponensial: Klaim: Jika Anda memiliki masalah yaitu -complete di bawah pengurangan polinomial, maka ada konstanta sehingga tidak dapat dipecahkan dalam waktu. …
1
Sebuah pertanyaan tentang GCT
Dalam makalah 'Pada lenyapnya koefisien Kronecker' di sini di http://arxiv.org/pdf/1507.02955v1.pdf , ditunjukkan bahwa menentukan kepositifan koefisien kronecker pada umumnya sulit NP. Namun ada peringatan yang menyatakan bahwa hanya kepositifan 'koefisien Kronecker persegi panjang' diperlukan dalam GCT . Apa implikasi untuk GCT jika ini juga berubah menjadi NP sulit? Pertanyaan terkait …
1
Apa kelas reduksi terkecil di mana ada masalah
Adalah umum untuk mendefinisikan kelengkapan sehubungan dengan reduksi banyak-satu ruang log.PPP Saya mencari kelas kerumitan sedemikian rupa sehingga ada masalah - P lengkap dan banyak-satu pengurangan - C .C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Berapakah pengurangan kelas banyak-satu terkecil yang diketahui sehingga HornSAT selesai untuk P dalam pengurangan- C ?CCCPP\mathsf{P}CCC Pertanyaan awalnya diposting …
1
Teorema hierarki untuk NTIME berpotongan dengan coNTIME?
\newcommand{\cc}[1]{\mathsf{#1}} Apakah teorema di sepanjang baris berikut ini berlaku: Jika g(n)g(n)g(n) sedikit lebih besar dari f(n)f(n)f(n) , maka NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) ? Sangat mudah untuk menunjukkan bahwa NP∩coNP≠NEXP∩coNEXPNP∩coNP≠NEXP∩coNEXP\cc{NP} \cap \cc{coNP} \neq \cc{NEXP} \cap \cc{coNEXP} , setidaknya. Bukti: Asumsikan tidak. Kemudian NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,NEXP∩coNEXP⊆NP∩coNP⊆NP∪coNP⊆NEXP∩coNEXP,\cc{NEXP} \cap \cc{coNEXP} \subseteq \cc{NP} \cap …
1
Apakah mungkin bahwa model standar fisika dapat mengungguli komputer kuantum dalam arti apa pun?
Model Standar fisika (model matematika yang memprediksi bos Higg), sejauh yang saya mengerti, model alam semesta kita yang paling lengkap. Dengan kata lain, ini adalah deskripsi terbaik dari permainan matematika yang akan dimainkan untuk membuat prediksi tentang hasil percobaan yang dilakukan di Alam Semesta kita. Seperti yang saya pahami, fisika …
2
ETH: k-SAT vs SAT?
vv_v[v]={0,1,…,v−1}[v]={0,1,…,v−1}[v] = \{0,1,\dots,v-1\}kkkkkkkkkvv_vs ∞ = lim k → ∞ s ksk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}sk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}s_k = \inf_M\{\delta \mid \exists c\forall v\;( M\text{ decides } k\text{-SAT$_v$ in }2^{v\delta-c})\text{ time}) \}s∞=limk→∞sks∞=limk→∞sks_\infty = \lim_{k \to \infty} s_k. Agar ini masuk akal, kita harus berasumsi bahwa ada batasan …
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.