Itu ditunjukkan oleh Ladner bahwa jika P ≠ NP maka ada masalah dalam NP yang tidak dalam P atau NP-lengkap. Masalah seperti ini disebut masalah NP-intermediate. Masalah grafik isomorfisme, masalah logaritma diskrit dan masalah faktorisasi bilangan bulat adalah contoh dari masalah yang diyakini sebagai NP-intermediate. Mereka adalah beberapa dari sedikit masalah NP yang tidak diketahui berada dalam P atau NP-complete.
Siapa yang menunjukkan bahwa P = NP menyiratkan masalah yang tidak ada dalam P atau NP-lengkap?
Ladner
Ladner
Siapa PRI
yang PRR
menunjukkan VBT
bahwa CSN
P NNP
= PUN
NP NNP
menyiratkan VBT
masalah NNO
yang PRR
tidak NEG
ada VBI
dalam PPO
P NNO
atau CCN
NP NNP
- PUN
lengkap ADJ
? PUN