The existence of problems within NP but outside both P and NP-complete, under that assumption, was established by NP-intermediate | Ladner's theorem.
The existence of problems within NP but outside both P and NP-complete, under this assumption, was Ladner's theorem | established by Ladner.
0.005 seconds.