Pertanyaan yang diberi tag «oracles»

Pertanyaan mengenai mesin oracle dalam teori kompleksitas komputasi. Oracles dapat berfungsi sebagai indikator bahwa pemisahan antara kelas kompleksitas berada di luar ruang lingkup teknik pembuktian tertentu.

1
Apakah ada teknik non-relativizing kanonik?
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 output, yang memungkinkan untuk menjaga batasan logspace. …
3
TM dan oracle yang dibatasi ruang
Secara umum, query-tape untuk oracle diperhitungkan dalam kompleksitas ruang TM. Namun, tampaknya masuk akal untuk memungkinkan rekaman-saja oracle-tape (seperti yang digunakan dalam pengurangan ruang-L). Apakah konstruksi seperti itu bermanfaat? Apakah itu menghasilkan hasil yang sangat tidak masuk akal?
5
P dengan oracle faktorisasi bilangan bulat
Saya baru saja membaca pertanyaan " Apakah faktorisasi bilangan bulat merupakan masalah NP-complete? " ... jadi saya memutuskan untuk menghabiskan sebagian dari reputasi saya :-) mengajukan pertanyaan lain memiliki :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Jika adalah oracle yang memecahkan faktorisasi bilangan bulat, apa kekuatan ? P …
1
Apa oracle kompleksitas minimum yang memisahkan PSPACE dari hierarki polinomial?
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 PHPHPH terpisah. Pertanyaan Bagaimana rumit adalah firman ini yang memisahkan PSPACEPSPACEPSPACE dari …
3
Teori kompleksitas ketika oracle merupakan bagian dari input
Cara paling umum di mana nubuat muncul dalam teori kompleksitas adalah sebagai berikut: Sebuah nubuat tetap tersedia untuk, katakanlah, mesin Turing dengan sumber daya terbatas tertentu, dan seseorang mempelajari bagaimana oracle meningkatkan daya komputasi mesin. Namun, ada cara lain di mana nubuat kadang-kadang terjadi: sebagai bagian dari input . Sebagai …
2
Simulator yang Melelahkan dari Protokol Pengetahuan Nol dalam Model Oracle Acak
Dalam makalah berjudul "On Deniability dalam Common Reference String dan Random Oracle Model," tulis Rafael Pass: Kami mencatat bahwa ketika membuktikan keamanan sesuai dengan definisi nol-pengetahuan standar dalam model RO [Random Oracle], simulator memiliki dua keunggulan dibandingkan simulator model biasa, yaitu, Simulator dapat melihat nilai-nilai apa yang diminta pihak oracle. …
1
Mengompresi informasi tentang masalah penghentian untuk mesin Turing oracle
Masalah penghentian diketahui tidak dapat diperhitungkan. Namun, dimungkinkan untuk secara "kompres" informasi secara eksponensial tentang masalah penghentian, sehingga pengompresannya dapat dihitung. Lebih tepatnya, adalah mungkin untuk menghitung dari deskripsi mesin Turing dan saran bit menyatakan jawaban atas masalah penghentian untuk semua dari mesin Turing, dengan asumsi bahwa status saran dapat …
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.