复杂性理论是理论计算机科学的分支，研究计算问题在资源约束下的内在难度，并将问题划分为P、NP、PSPACE等复杂性类。