<s>[INST]Ladner'ın iddiasını karşılayan bir sorunun adı nedir?[/INST]Ladner tarafından P ≠ NP olması durumunda NP'de ne P ne de NP tamamlanmayan sorunlar olduğu gösterilmiştir. Bu tür sorunlara NP-ara sorunlar 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>