问题的类别。一个判定演算法使用了O(log "n")的空间就不可能使用超过2="n"的时间，因为这是所有可能组合方式的总数，因此L是P的子集合。另一个重要问题是：L是否相等于P？我们已知P=AL（问题可在对数记忆体上以另类图灵机（alternating Turing machine）解决的问题之集合），而P也已知不大于PSPACE（可在多项式空间判定的问题）。再一次，我们面对P是否等于PSPACE的未知问题。整理一下上述问题：EXPTIME指的是可在指数时间解答的问题类别。在上列的类别关系中，只有两个严