È stato dimostrato da Ladner che se P? NP allora ci sono problemi in NP che non sono nè in P nè NP-completo. Tali problemi sono chiamati problemi NP-intermediati. Il problema dell' isomorfismo grafico, il problema del logaritmo discreto e il problema della fattorizzazione dell' intero grafico sono esempi di problemi che si ritiene siano NP-intermediati. Si tratta di alcuni dei pochissimi problemi NP di cui non si sa che sono in P o che sono incompleti.
Chi ha dimostrato che P= NP implica problemi non presenti in P o NP-completi?
Ladner Ladner Ladner