Kita tahu bahwa P = NP menyiratkan NP = coNP. Apakah implikasi sebaliknya berlaku? Apakah NP sama dengan BNP menyiratkan bahwa P sama dengan NP? Jika tidak, mengapa tidak?
Saya mencari di Google tetapi tidak menemukan jawabannya.
Kita tahu bahwa P = NP menyiratkan NP = coNP. Apakah implikasi sebaliknya berlaku? Apakah NP sama dengan BNP menyiratkan bahwa P sama dengan NP? Jika tidak, mengapa tidak?
Saya mencari di Google tetapi tidak menemukan jawabannya.
Jawaban:
Kasus yang memungkinkan adalah mungkin. Alasan mengapa menyiratkan adalah bahwa ditutup di bawah komplemen, dan jadi jika , harus ditutup di bawah komplemen juga.
Kelas yang ditutup dengan komplemen tidak selalu menyiratkan apa pun tentang mitra deterministiknya. Sebagai contoh, kita tahu bahwa ditutup di bawah komplemen, tetapi tidak tahu apakah .