算法 (using the definition based on log-space reductions) 将会推导出L = P(另一个虽没有证明，但是一般认为是否的假说)。
P-完全问题.最基本的P-完全问题是：给定一个图灵机，此机器的输入，以及一个数字"T" (以一进位表示)，这个给定的图灵机是否会在 "T" 步骤之内结束运算？？这个问题是P-完全证明如下：首先，这个问题包含于P之内，因为我们可以让图灵机实际模拟跑完前面"T"个步骤来得到结论。这只会耗费多项式的时间。