::与其他类别的关系.P的扩大集合是NP，此复杂度类别是一个可在多项式时间以非确定型图灵机决定答案的问题的集合。因此我们可知道P是NP的子集，且虽然未证明，但大部分专家相信P是NP的严格子集（即NP一定大于且包含P集合）。P也已知至少大于L一个可在对数量级的记忆体空间上决定的问题的类别。一个判定演算法使用了O(log "n")的空间就不可能使用超过2="n"的时间，因为这是所有可能组合方式的总数，因此L是P的子集合。另一个重要问题是：L是否相等于P？我们已知P=AL（问题可在对数记忆体上以另类图灵机（