Diberikan masalah baru di yang kompleksitas sebenarnya ada di antara dan NP-complete, ada dua metode yang saya tahu yang mungkin digunakan untuk membuktikan bahwa menyelesaikan ini sulit:P
- Tunjukkan bahwa masalahnya adalah GI-complete (GI = Graph Isomorphism)
- Tunjukkan bahwa masalahnya ada di . Dengan hasil yang diketahui, hasil seperti itu menyiratkan bahwa jika masalahnya adalah NP-lengkap, maka PH runtuh ke tingkat kedua. Sebagai contoh, protokol terkenal untuk Graph Nonisomorphism melakukan hal ini.
Apakah ada metode lain (mungkin dengan "kekuatan keyakinan" yang berbeda) yang telah digunakan? Untuk jawaban apa pun, diperlukan contoh tempat penggunaannya: jelas ada banyak cara yang bisa dilakukan untuk menunjukkan ini, tetapi contoh membuat argumen lebih meyakinkan.
cc.complexity-theory
np-hardness
graph-isomorphism
np-intermediate
Suresh Venkat
sumber
sumber
Jawaban:
Menunjukkan bahwa masalah Anda ada dalam coAM (atau SZK) memang merupakan salah satu cara utama untuk mengemukakan bukti "kekerasan limbo." Tapi selain itu, ada beberapa yang lain:
Saya yakin ada orang lain yang saya lupa.
sumber
Contohnya adalah masalah mempartisi angka menjadi k-box (dari blog Fortnow & Gasarch, sumber asli: Doctor Ecco's Cyberpuzzles ):
sumber
Berikut adalah tiga tambahan pada daftar Scott:
sumber