本书介绍计算复杂性理论的一个重要部分----判定权理论。全部内容围绕该理论中的一个重要且未解决的问题----Karp猜想。
全书分九讲。前四讲介绍判定权的一般理论及Karp猜想的提出背景。五至八讲介绍研究Karp猜想的方法及已存在的成果。*后一讲介绍随机判定树以及其中的Yar----Karp猜想。作者试图通过对这一具体问题的详尽剖析,向读者展示计算复杂性理论的思想方法和意义,并将读者引入研究的前沿。本书是为数学以及理论计算机科学专业的研究生和高年级的大学生所写的通俗读物,对从事这方面工作的教师与科技工作者也有参考价值。