Mari kita berasumsi bahwa . N P I adalah kelas masalah dalam N P yang tidak dalam P atau dalam N P -hard. Anda dapat menemukan daftar masalah yang diduga sebagai N P I di sini .
Teorema Ladner memberitahu kita bahwa jika maka ada hierarki tak terbatas dari masalah N P I , yaitu ada masalah N P I yang lebih sulit daripada masalah N P I lainnya.
Saya mencari kandidat dari masalah seperti itu, yaitu saya tertarik pada pasangan masalah
- , - A dan B yang diduga sebagai N P I , - A diketahui mereduksi menjadi B , - tetapi ada tidak ada pengurangan yang diketahui dari B ke A
.
Bahkan lebih baik jika ada argumen untuk mendukung ini, misalnya ada hasil yang tidak mengurangi menjadi A dengan asumsi beberapa dugaan dalam teori kompleksitas atau kriptografi.
Apakah ada contoh alami dari masalah seperti itu?
Contoh: masalah Grafik isomorfisma dan masalah Integer Faktorisasi yang menduga berada di dan ada argumen yang mendukung dugaan ini. Apakah ada masalah keputusan yang lebih sulit daripada keduanya tetapi tidak diketahui sebagai N P -hard?