Pertanyaan yang diberi tag «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 

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 konstruksi mesin Turing yang didiagonalisasi. Berikut beberapa pertanyaan terkait: Apakah ada bukti pemisahan …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

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 

Saya telah memikirkan pertanyaan berikut pada berbagai waktu sejak saya melihat pertanyaan tentang Kriptografi ini . Pertanyaan Biarkan menjadi hubungan TFNP . Dapatkah oracle acak membantu P / poli untuk memecahkan R dengan probabilitas yang tidak dapat diabaikan? Lebih formal, RRRRRR \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Apakah untuk semua P / …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles 

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 

Saya tertarik pada bagaimana seseorang membuktikan bahwa kalimat itu relativis. Tentu saja, membuktikan bahwa sebuah kalimat tidak terelatifkan adalah sederhana, seperti yang terlihat dalam hasil Baker-Gill-Solovay; tetapi bagaimana seseorang membuktikan bahwa suatu kalimat memang relatif, yaitu, bahwa itu benar relatif terhadap oracle mana pun? Adakah teknik yang diketahui untuk mencapai …

8 cc.complexity-theory  reference-request  relativization 

Pertimbangkan bahasa . Tentukan (urutan bit tak terbatas) dengan rumus rekursifs ( L ) ∈ { 0 , 1 } ωL.LLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χL.( S ( L )&lt; n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Saya menggunakan indeks …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization