P=AL（问题可在对数记忆体上以另类图灵机（alternating Turing machine）解决的问题之集合），而P也已知不大于PSPACE（可在多项式空间判定的问题）。再一次，我们面对P是否等于PSPACE的未知问题。整理一下上述问题：EXPTIME指的是可在指数时间解答的问题类别。在上列的类别关系中，只有两个严格包含关系是确定的：在P问题中最困难的是P完备问题。另一个P的扩大集合是P/poly，或非统一多项式时间。若一个问题落于P\poly，则它可以在依据输入内容的长度下给予提示字串（