Tazama kifungu hapa chini na kisha jibu swali baadaye kwa lugha ile ile kama kifungu: Kifungu: Ilionyeshwa na Ladner kwamba ikiwa P ≠ NP basi kuna shida katika NP ambazo haziko katika P wala NP-kamili. Matatizo kama haya huitwa NP-matatizo ya kati. Tatizo la isomorphism ya grafu, shida ya logarithm ya kutofautisha na shida ya hesabu ya hesabu ni mifano ya shida zinazoaminika kuwa NP-kati. Ni baadhi ya shida chache sana za NP ambazo hazijulikana kuwa katika P au kuwa NP-kamili. Swali: Maswali haya yanaitwa nini?
NP-kati matatizo