Pertanyaan yang diberi tag «oracles»

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 keputusan analog untuk # P dan P ⊆ P P ⊆ P S …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Saya ingin tahu apakah ada dunia yang direlatifikasi di mana . Saya juga tertarik untuk mengetahui apakah ada dunia yang direlatifikasi di mana .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}

11 cc.complexity-theory  oracles  relativization 

Dalam sebuah makalah tentang merelatifkan perhitungan logspace, Ladner dan Lynch membangun sebuah oracle relatif terhadap yang . Ada beberapa contoh yang lebih patologis dalam hal ini dalam literatur. Saya telah membaca beberapa makalah tentang kelas ruang kecil yang direlatifikasi, dan salah satu alat utama di bidang ini adalah mekanisme akses …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Pertanyaan ini mungkin memiliki jawaban yang jelas ... tetapi inilah pertanyaannya. Secara intuitif, ini adalah pernyataan masuk akal berikut - "mesin dengan subrutin A yang pada gilirannya memiliki subrutin B sama dengan mesin dengan subrutin A yang memiliki akses ke subrutin B". Untuk mendefinisikan masalah ini secara formal, saya akan …

11 complexity-classes  oracles 

Teori tipe konstruktif dengan interpretasi dasarnya di bawah korespondensi curry howard hanya terdiri dari total, fungsi yang dapat dihitung. Dalam literatur, beberapa telah dikatakan menggunakan "teori tipe komputasi" untuk mewakili non-terminasi dalam program fungsional, namun dalam makalah yang saya temui, ini tampaknya tidak menjadi motivasi utama untuk teori (Misalnya Benton …

10 lo.logic  type-theory  oracles  halting-problem 

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, …

10 cc.complexity-theory  oracles 

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 …

10 cc.complexity-theory  oracles  relativization 

Generator kebal didefinisikan sebagai berikut: Biarkan menjadi hubungan NP, dan menjadi mesin yang menerima . Secara tidak resmi, sebuah program adalah generator yang kebal jika, pada input , ia menghasilkan pasangan instance-saksi , dengan , menurut distribusi di mana setiap musuh waktu-polinomial yang diberikan gagal menemukan saksi bahwa , dengan …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

Sebagian besar literatur tampaknya berkaitan dengan mesin dengan nubuat tunggal untuk masalah tertentu, namun tampaknya ada beberapa makalah yang menganggap mesin dengan banyak nubuat. Apakah ada makalah atau tesis yang bagus yang memberikan gambaran umum tentang apa yang diketahui tentang mesin seperti itu? Secara khusus saya tertarik pada P dengan …

10 oracles  turing-machines 

Latar Belakang Kita tahu bahwa .P# P⊆ P.SPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Selain itu, kami tahu dari teorema Toda bahwa .PH⊆ P.# PPH⊆P#PPH \subseteq P^{\#P} Untuk latar belakang lebih lanjut tentang , lihat di sini: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pertanyaan Apakah ada oracle sehingga ?( P # P ) A ≠ P S P …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

Menurut BGS teorema [1], ada oracle sehingga .SEBUAHSEBUAHAPSEBUAH≠ NPSEBUAHPSEBUAH≠NPSEBUAHP^A\neq NP^A Jika operasi relativiasi adalah fungsi yang terdefinisi dengan baik, orang akan berharap bahwa dari seseorang akan dapat menyimpulkan bahwa , misalnya akan mengikuti dari BGS. Namun, masih terbuka.B ↦ BSEBUAHB↦BSEBUAHB\mapsto B^ABSEBUAH≠ CSEBUAHBSEBUAH≠CSEBUAHB^A\neq C^AB ≠ CB≠CB\neq CP≠ NPP≠NPP\neq NPP≠ NPP≠NPP\neq NP …

8 cc.complexity-theory  oracles  relativization