Pertanyaan yang diberi tag «complexity-classes»

Kelas kompleksitas komputasi dan hubungannya

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 …

3
Apa konsekuensi dari PH = PSPACE?
Sebuah pertanyaan baru-baru ini (lihat Konsekuensi dari NP = PSPACE ) meminta "jahat" konsekuensi dari NP=PSPACENP=PSPACENP=PSPACE . Jawaban daftar beberapa konsekuensi keruntuhan, termasuk NP=coNPNP=coNPNP=coNP dan lain-lain, memberikan banyak alasan untuk percaya NP≠PSPACENP≠PSPACENP\neq PSPACE . Apa yang akan menjadi konsekuensi dari kehancuran yang agak kurang dramatis ?PH=PSPACEPH=PSPACEPH=PSPACE

3
Bisakah batas bahasa sulit menjadi mudah?
Apakah semua berikut ini dapat bertahan secara bersamaan? LsLsL_s terkandung dalam untuk semua bilangan bulat positif . sLs+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s adalah bahasa dari semua kata hingga lebih dari .{0,1}{0,1}\{0,1\} Ada beberapa kelas kompleksitas CCC dan gagasan yang tepat pengurangan untuk CCC sehingga untuk setiap sss , LsLsL_s sulit …

1
Apakah ada versi berkelanjutan dari teorema pengulangan paralel
Raz Paralel pretition teorema adalah hasil yang penting dalam PCP, inapproximation, dll Teorema ini fomalized sebagai berikut. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS×TS×T\mathcal{S}\times\mathcal{T}V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t)) And nnn-fold game Gn=(Sn,Tn,An,Bn,πn,Vn)Gn=(Sn,Tn,An,Bn,πn,Vn)G^n=(\mathcal{S}^n,\mathcal{T}^n,\mathcal{A}^n,\mathcal{B}^n,\pi^n, V^n). The theorem says if v(G)≤1−ϵ,v(G)≤1−ϵ,v(G)\leq 1-\epsilon, then v(Gn)≤(1−ϵc)Ω(nlogmax{|A|,|B|})v(Gn)≤(1−ϵc)Ω(nlog⁡max{|A|,|B|})v(G^n)\leq (1-\epsilon^c)^{\Omega(\frac{n}{\log\max\{|A|,|B|\}})}. My quesion is what happen if the sets are infinite, in a continuous space. Say if S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} …



1
Mengapa kedua definisi PPAD ini setara?
Kelas kompleksitas PPAD biasanya didefinisikan dengan menyatakan bahwa End-Of-The-Line adalah PPAD-complete. End-Of-The-Line adalah masalah pencarian. Input terdiri dari grafik terarah di mana setiap node memiliki derajat dan derajat paling banyak 1. Grafik diberikan oleh fungsi komputasi waktu polinomial yang mengembalikan pendahulu dan penerus x . Selain itu, seseorang diberi simpul …

3
Gim pada beberapa grafik
Pertimbangkan permainan berikut pada grafik tertimbang GGG diarahkan dengan chip di beberapa node. Semua node GGG ditandai dengan A atau B. Ada dua pemain, Alice dan Bob. Tujuan dari Alice (Bob) adalah untuk menggeser chip ke node yang ditandai oleh A (B). Awalnya Alice dan Bob memiliki mAmSEBUAHm_A dan mBmBm_B …

1
Kompleksitas pengujian jika dua set titik
Bayangkan kita memiliki dua set ukuran mmm dari titik X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Apa kerumitan (waktu) pengujian jika perbedaannya hanya berdasarkan rotasi? : ada matriks rotasi OOT=OTO=IOOT=OTO=IOO^T=O^TO=I sedemikian rupa sehingga X=OYX=OYX=OY ? Ada masalah yang mewakili nilai-nilai nyata di sini - untuk kesederhanaan anggap bahwa ada (pendek) rumus aljabar untuk setiap …

1
Hierarki Waktu di DSPACE (O (s (n)))
Teorema hierarki waktu menyatakan bahwa mesin turing dapat memecahkan lebih banyak masalah jika mereka memiliki (cukup) lebih banyak waktu. Apakah itu tahan jika ruang terbatas asimptotik? Bagaimana DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) terkait dengan DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) jika fgfg\frac{f}{g} tumbuh cukup cepat? Saya terutama tertarik pada kasus yang s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = …


1
Kelas besar yang berisi LOGSPACE yang inklusi ketatnya tidak diketahui
Halaman wikipedia di PSPACE menyebutkan bahwa inklusi tidak dikenal ketat (sayangnya tanpa referensi).NL⊂PHNL⊂PHNL\subset PH T1: Bagaimana dengan dan - apakah ini dikenal ketat?L ⊂ P # PL⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} T2: Jika tidak, adakah kelas yang mapan yang berisi dan yang tidak diketahui jika inklusi ketat?P # P L ⊂ CCCCP#PP#PP^{\#P}L⊂CL⊂CL\subset …

1
Apakah
Bisakah kita membuktikan bahwa untuk setiap bahasa yang bukan N P -hard (ini mengasumsikan P ≠ N P ), P L ≠ P SAT ? Bergantian, dapatkah ini dibuktikan dengan asumsi yang masuk akal?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

1
Apakah teorema Kannan menyiratkan bahwa NEXPTIME ^ NP ⊄ P / poly?
Saya sedang membaca kertas Buhrman dan Homer "Sirkuit Superpolynomial, Oracle Hampir Jarang dan Hirarki Eksponensial" . Di bagian bawah halaman 2 mereka berkomentar bahwa hasil Kannan menyiratkan bahwa NEXPTsayaM.ENPNEXPTIMENPNEXPTIME^{NP} tidak memiliki sirkuit ukuran polinomial. Saya tahu bahwa dalam hierarki waktu eksponensial, NEXPTsayaM.ENPNEXPTIMENPNEXPTIME^{NP} hanya Σ2EXPΣ2EXP\Sigma_2EXP , dan saya juga tahu bahwa …

1
sebagai oracle
Apakah NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}hold? Jelas NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , tetapi bagi saya sepertinya NP∩coNPNP∩coNP\mathsf{NP\cap coNP} adalah "deterministik" yang membuat saya percaya ini benar. Apakah ada bukti sederhana (atau mungkin hanya berdasarkan definisi)?

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.