Category
Level
P vs NP asks whether every problem whose solutions can be verified quickly can also be solved quickly.