sebagai oracle


12

Apakah NPNPcoNP=NPhold?

Jelas NPNPNP , tetapi bagi saya sepertinya NPcoNP adalah "deterministik" yang membuat saya percaya ini benar.

Apakah ada bukti sederhana (atau mungkin hanya berdasarkan definisi)?


6
Pertama, ya. Memang, sebuah oracle memenuhi N P A = N P jika dan hanya jika A N Pc o N P . Kelas ini disebut L o w ( N P ) atau kadang-kadang L 1 P : kompleksitaszoo.uwaterloo.ca/Complexity_Zoo:L#lkp . Kedua, saya kira sama sekali tidak jelas bahwa N P N PN P , meskipun ini adalah kepercayaan yang dipegang secara luas. Secara khusus, ini menyiratkan PANPA=NPANPcoNPLow(NP)L1PNPNPNPPNP dan tampaknya benar-benar lebih kuat, karena tidak ada implikasi relativizable sebaliknya.
Joshua Grochow

2
Juga, orang-orang yang percaya bahwa FAKTOR itu sulit dapat mengambil masalah dengan intuisi Anda bahwa NPcoNP adalah "deterministik".
Niel de Beaudrap

9
@ JoshuaGrochow: Saya pikir Anda harus menambahkan itu sebagai jawaban, dengan beberapa penjelasan tentang apa kelas-kelas dalam hirarki rendah itu; ini tentang jawaban yang sama baiknya dengan yang OP dapatkan.
Niel de Beaudrap

2
NPNPcoNPNP

4
@NieldeBeaudrap: Keragu-raguan saya untuk mempostingnya sebagai jawaban daripada komentar adalah bahwa, meskipun saya percaya maomao benar-benar mengajukan pertanyaan ini dengan sungguh-sungguh, itu bisa saja, dan telah di masa lalu, diberikan sebagai latihan pekerjaan rumah.
Joshua Grochow

Jawaban:


13

ANPA=NPANPcoNPLow(NP)L1P

P=NPcoNPAPNPA=NPANPANPcoNP

NPA=NPANPcoNP

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.