复杂度等级P通常被视为对允许有效算法的计算任务进行建模的数学抽象。该假设称为Cobham-Edmonds命题。另一方面，复杂度类别NP包含了许多人们希望有效解决的问题，但是对于这些问题却没有有效的算法，例如布尔可满足性问题，哈密顿路径问题和顶点覆盖问题。由于确定性图灵机是特殊的非确定性图灵机，因此很容易观察到P中的每个问题也是NP类的成员。
与P的复杂度类别相关联的假设是什么，它被视为具有有效算法功能的数学抽象？