为了精确定义使用给定的时间和空间来解决问题意味着什么，使用了诸如确定性图灵机之类的计算模型。确定性图灵机M在输入x上所需的时间是机器在停止并输出答案之前进行的状态转换或步调的总数（“是”或“否”）。如果M在长度为n的每个输入上所需的时间最多为f（n），则称图灵机M在时间f（n）内运行。如果存在在时间f（n）运行的图灵机可以解决问题，则可以在时间f（n）解决决策问题A。由于复杂性理论对根据问题的难度进行分类感兴趣，因此人们可以根据一些标准定义问题集。例如，然后在确定性图灵机上的时间f（n）内可解决的问题集由DTIME（f（n））表示。
如何在时间x（f）中解决决策问题B？