的研究，对近似算法的不可近似性（hardness of approximation）的研究，以及交互式证明系统理论和零知识证明（Zero-knowledge proof）等。特别的复杂性理论对近代密码学的影响非常显着，而最近，复杂性理论的研究者又进入了博弈论领域，并创立了“算法博弈论”（algorithmic game theory）这一分支。
基本概念和工具.
计算模型与计算资源.计算复杂性理论的研究对象是算法在执行时所需的计算资源，而为了讨论这一点，我们必