لقد بيَّن لاندر انه في حال انه 





P


≠


NP




{\displaystyle {\mbox{P}}\neq {\mbox{NP}}}

 حينها يوجد مسائل التي لا تتبع P ولا تتبع NP كاملة , للان لم يبرهن أحد على وجود مثل هذه المسائل ولكن هنالك حدسيات عن بعض المسائل التي محتمل جدا ان تكون كذلك منها : تحليل لعوامل , تطابق المخططات (graph isomorphism) , ...
ما هو مثال لمشكلة أخرى تتميز بحالات كبيرة يتم حلها بشكل روتيني بواسطة معالجات SAT باستخدام خوارزميات فعالة؟
مسائل التي لا تتبع P ولا تتبع NP كاملة , للان لم يبرهن أحد على وجود مثل هذه المسائل ولكن هنالك حدسيات عن بعض المسائل التي محتمل جدا ان تكون كذلك منها : تحليل لعوامل , تطابق المخططات