أشهر معضلة غير محلولة في علوم الحاسوب.
تسأل: هل كل مشكلة يمكن التحقق من حلها بسرعة (NP)، يمكن أيضاً إيجاد حلها بسرعة (P)؟