P is not NP
Redirect to:
P versus NP problem