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 jika P = NQ maka ada masalah di NQ yang bukan P atau NQ-lengkap?
Ladner
Ladner
Siapa PRI
yang PRR
menunjukkan VBT
bahwa CSN
jika CSN
P NNO
= PUN
NQ NNP
maka CSN
ada VBI
masalah NNO
di PPO
NQ NNP
yang PRR
bukan NEG
P NNO
atau CCN
NQ NNP
- PUN
lengkap ADJ
? PUN