杂度理论内，结构复杂度理论（)或者简单的结构复杂度（)是专门研究复杂度类本身，而非单一问题的可计算性或演算法的学问。这理论牵涉到研究各种复杂度类的内部结构以及不同复杂度类之间的关系。这理论的出现，是在解决这类问题中第一个，也仍是最重要的一个问题：P/NP问题时，不断失败的一个结果。许多这方面的研究都基于 P != NP这个假设，以及一个更深远的推测：多项式时间谱系内的复杂度类个数是无限的。这个领域的一些主要研究方向有：