'Diberikan a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , apakah ada x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' adalah NPNP\mathsf{NP} -complete. Kelas kompleksitas mana yang 'Diberikan , adakah x , y ∈ N , a x 2 + b y 2 = c ' milik?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb...
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...
Kertas Lauri Hella dan José María Turull-Torres, Komputasi kueri dengan logika tingkat tinggi , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 mengusulkan logika VO, variabel-order logic. Ini memungkinkan kuantifikasi atas pesanan atas variabel. VO cukup kuat dan dapat mengungkapkan...
Pertanyaan berikut ini menggunakan ide-ide dari kriptografi yang diterapkan pada teori kompleksitas. Yang mengatakan, itu adalah pertanyaan-kompleksitas teori murni, dan tidak ada pengetahuan kripto apa pun yang diperlukan untuk menjawabnya. Saya sengaja menulis pertanyaan ini dengan sangat...
Oleh http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Jika adalah bahasa PSPACE-lengkap, P A = N P A .AAAPA=NPAPA=NPAP^{A}=NP^{A} Jika adalah oracle waktu polinomial deterministik, P B ≠ N P B (dengan asumsi P ≠ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP adalah kelas masalah...
Hasil Baker-Gill-Solovay menunjukkan bahwa pertanyaan P = NP tidak relativize, dalam arti bahwa tidak ada bukti relativizing (tidak sensitif terhadap keberadaan oracle) yang mungkin dapat menyelesaikan pertanyaan P = NP. Pertanyaan saya adalah: Apakah ada hasil yang serupa untuk pertanyaan,...
Saat bekerja pada proyek yang agak tidak terkait untuk Suresh I baru-baru ini menemukan beberapa pekerjaan yang dilakukan oleh Page dan Opper tentang sistem yang dapat dikomposisikan oleh Pengguna dan sebagian dari pekerjaan mereka secara singkat membahas masalah yang tidak dapat diverifikasi dalam...
Saya baca di SP Yordania, D. Gosset, "PJ Cinta masalah -Lengkap untuk Hamiltonians stoquastic dan matriks MarkovQ MSEBUAHQMAQMA " bahwa tidak mungkin bahwa .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Saya terkejut dengan pernyataan ini. Jadi apa hubungan yang tepat antara dan A M ?Q MSEBUAHQMAQMAA...
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...
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...
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...
Kita tahu bahwa jika maka seluruh PH akan runtuh. Bagaimana jika hierarki polinomial runtuh sebagian? (Atau bagaimana memahami bahwa PH dapat runtuh di atas titik tertentu dan tidak di bawah?)P=NPP=NPP=NP Dengan kata yang lebih singkat, apa yang akan menjadi konsekuensi dari dan ?P ≠ N...
secara luas dikira salah.RP=NPRP=NPRP = NP Tetapi bayangkan sejenak bahwa itu benar. Dalam kasus seperti itu, seberapa besar kemungkinan ?P=NPP=NPP = NP Dengan kata lain: di dunia di mana , apa yang mungkin masih dilihat sebagai penghalang bagi kita untuk percaya P = N P ?RP=NPRP=NPRP =...
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...
TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Entri Kebun Binatang untuk TC0TC0\mathsf{TC^0} hanya menyebutkan pemisahan antara kedalaman 2 dan 3. Juga adakah referensi standar untuk fakta bahwa AC0dACd0\mathsf{AC^0_d} hierarki tidak...
Berapakah lebar pohon minimum dari suatu sirkuit di atas {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} untuk menghitung MAJ? Di sini MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} menghasilkan 1 jika setidaknya setengah dari inputnya adalah 111 . Saya hanya peduli tentang ukuran sirkuit...
Saya memiliki bagian dari upaya pembuktian⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Upaya pembuktian terdiri dari pengurangan Karp dari⊕P⊕P\oplus \mathbf{P} masalah lengkap⊕⊕\oplus 3-REGULER VERTEX COVER ke SAT. Diberikan grafik kubik GGG , reduksi menghasilkan rumus CNF FFF memiliki...
Saya tidak ingat pernah melihat pemisahan kelas yang tidak didasarkan pada hasil diagonalisasi dan relatisasi. Diagonisasi masih dapat digunakan untuk memisahkan kelas yang diketahui yang tersisa, karena argumen non-relativiasi mungkin masih digunakan dalam kesimpulan diagonalisasi, atau dalam...
Bagaimana seseorang melihat suatu masalah dan alasan bahwa itu kemungkinan NP-Intermediate dibandingkan dengan NP-Complete? Seringkali cukup sederhana untuk melihat suatu masalah dan mengatakan apakah itu mungkin NP-Complete atau tidak, tetapi bagi saya tampaknya lebih sulit untuk mengatakan apakah...
Saya kira itu akan disebut # P-Space tetapi saya hanya menemukan satu artikel yang samar-samar menyebutkannya. Bagaimana dengan versi penghitungan masalah EXP-TIME-Complete, NEXP-Complete serta EXP-SPACE-Complete? Apakah ada karya sebelumnya yang dapat dikutip sehubungan dengan ini atau jenis...