Sebuah pertanyaan baru - baru ini oleh Huck Bennett yang menanyakan apakah kelas PH terkandung dalam kelas PP, menerima jawaban yang agak kontradiktif (sepertinya benar). Di satu sisi, beberapa hasil oracle diberikan sebaliknya, dan di sisi lain Scott menyarankan bahwa jawabannya kemungkinan...
Dalam banyak domain, ada teknik kanonik yang harus dikuasai semua orang di bidang ini. Misalnya, untuk pengurangan logspace, "trik bit" untuk komposisi yang terdiri dari tidak membangun output penuh dari fungsi yang dikomposisikan, tetapi selalu meminta untuk menghitung ulang hasil untuk setiap bit...
Apakah ada contoh mainan yang memberikan wawasan 'esensial' untuk memahami tiga hambatan yang diketahui untuk masalah - relativization, bukti alami dan algebrization?P=NPP=NPP =
Saya sedang membaca makalah Andrej Bauer Langkah Pertama dalam Teori Komputasi Sintetis . Dalam kesimpulan dia mencatat itu Aksiomasiisasi kami memiliki batas: tidak dapat membuktikan hasil apa pun dalam teori komputabilitas yang gagal dikaitkan dengan perhitungan oracle. Ini karena teori dapat...
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...
IP = PSPACE terdaftar sebagai contoh kanonik dari hasil non-relativizing, dan bukti untuk ini adalah bahwa ada oracle sedemikian sehingga , sementara {\ sf CoNp} ^ O \ subseteq {\ sf PSPACE} ^ O untuk semua nubuat O .OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf
Latar Belakang Hal ini diketahui bahwa ada sebuah ramalan AAA seperti itu, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Bahkan diketahui bahwa pemisahan relatif terhadap oracle acak. Secara informal, seseorang mungkin menafsirkan ini berarti bahwa ada banyak nubuat yang PSPACEPSPACEPSPACE dan...
Apa saja contoh pasangan kompleksitas kelas dan sedemikian rupa sehinggaAAABBB kita tidak tahu apakah , danA=BA=BA=B kita tidak tahu relativiasi kontradiktif juga (yaitu, kita tidak tahu orakel dan Q sehingga A P = B P dan A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Untuk...
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...
Ini adalah tindak lanjut dari pertanyaan ini , dan terkait dengan pertanyaan Siwa Kinali ini. Tampaknya bukti dalam makalah ini ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) menggunakan teorema hierarki. Saya ingin tahu apakah buktinya adalah teorema diagonalisasi " murni ",...
Lance Fortnow baru-baru ini mengklaim bahwa membuktikan L! = NP harus lebih mudah daripada membuktikan P! = NP : Pisahkan NP dari ruang Logaritmik. Saya memberikan empat pendekatan dalam survei pra-blog 2001 tentang diagonalisasi (Bagian 3) meskipun tidak ada yang berhasil. Seharusnya lebih...
Seperti yang saya pahami, bukti bahwa P = NP atau P ≠ NP harus tidak dapat direlatifikasi (seperti dalam teori rekursi). Namun, pada dasarnya semua bukti tampaknya relativizable. Apa contoh yang baik dari bukti yang tidak dapat direlatifikasi, dari jenis yang perlu P = NP / P ≠ NP bukti, yang...
Mungkinkah untuk menunjukkan bahwa suatu hukuman harus secara formal independen berdasarkan fakta bahwa hukuman itu tidak relativizing? Dengan kata lain, apakah ada contoh kalimat dalam teori komputabilitas / kompleksitas di mana ia dapat ditunjukkan baik a) bahwa semua bukti yang menyelesaikan...
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...
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...
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
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...
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...
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
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...