Pertanyaan yang diberi tag «oracle-machines»

Salah satu motivasi yang mungkin untuk mempelajari kelas kompleksitas komputasi adalah untuk memahami kekuatan berbagai jenis sumber daya komputasi (keacakan, non-determinisme, efek kuantum, dll.). Jika kita melihatnya dari perspektif ini, maka sepertinya kita dapat memperoleh satu aksioma yang masuk akal untuk setiap upaya mengkarakterisasi perhitungan mana yang layak dalam beberapa …

21 complexity-theory  oracle-machines 

Saya tahu ini konyol, tetapi saya berhasil membingungkan diri saya sendiri dan saya butuh bantuan untuk menyelesaikannya Misalkan , maka jelas untuk setiap oracle A kita memiliki P A = N P A yang bertentangan dengan fakta bahwa ada beberapa oracle A yang P A ≠ N P A , …

11 complexity-theory  p-vs-np  oracle-machines 

Saya mengerti bahwa sebagian besar masalah sepele jika tersedia oracle yang berhenti (atau, saya pikir setara, hiper-komputasi). Namun, menerapkan argumen yang menunjukkan Masalah Henti tidak mungkin untuk mesin Turing juga menunjukkan bahwa tidak mungkin bagi oracle Turing + untuk memutuskan Masalah Henti untuk oracle Turing +. Apakah ada contoh aktual, …

11 computability  undecidability  halting-problem  oracle-machines 

Bagaimana kami dapat memastikan bahwa kami terus membuat pernyataan yang kuat dan valid tentang kelas kompleksitas ketika menggunakan Mesin Turing oracle? Menurut pemahaman saya (berdasarkan definisi yang diberikan dalam buku teks pengantar tentang subjek) mesin oruring Turing dapat menentukan status keanggotaan string sehubungan dengan bahasa oracle dalam satu langkah perhitungan. …

9 complexity-theory  oracle-machines