المجالات القريبة في علم الحاسوب النظري هي تحليل الخوارزميات ونظرية الحاسوبية. ولعل الاختلاف بين تحليل الخوارزميات ونظرية التعقيد الحسابية هو أن الأول يسأل عن خوارزمية معينة لحل مسألة بينما الاخر يسأل عن كل الخوارزميات التي يمكنها حل المسألة وبالتحديد فان الأخير يحاول تصنيف المسائل التي يمكن حلها أو عدم حلها بوضع كمية مُحددة من الموارد، اما وضع الحدود للموارد الموجودة هو ما يميز نظرية التعقيد الحسابي عن نظرية الحاسوبية أي أن نظرية الحاسوبية تسأل عن أية مسائل يمكن حلها (او عدم حلها) بواسطة خوارزمية.
ما هي العملية التي تطرح سؤالًا أكثر تحديدًا حول جميع الخوارزميات الممكنة التي لا يمكن استخدامها لحل نفس المشكلة؟