<s>[INST]P = NP'nin P veya NP-tamamında mevcut olmayan sorunları ima ettiğini kim gösterdi?[/INST]Ladner ile P ≠ NP olması durumunda NP’de P veya NP’de olmayan problemlerin olduğu gösterilmiştir. Bu tür problemlere NP-ara problemler denir. Grafik izomorfizmi problemi, ayrık logaritma problemi ve tamsayılı faktoring problemi, NP-ara olduğuna inanılan problemlerin örnekleridir. Bunlar, P'de olduğu veya NP-eksiksiz olduğu bilinen çok az NP probleminden bazılarıdır.</s>