何塞·路易斯·巴尔查;约塞普·迪亚斯;约阿金·加巴罗 结构复杂性二。 （英语） Zbl 0746.68032号 EATCS理论计算机科学专著. 22. 柏林等：Springer-Verlag。九、 第283页（1990年）。 第二卷介绍了几种并行计算模型和相应的复杂性类，然后讨论了并行计算论文。第3章考虑了交替图灵机（一种特殊的并行模型）。第4章介绍了均匀电路复杂性及其与迄今为止所研究模型的关系，并讨论了NC类。从第六章开始，本书讨论了结构复杂性理论中的几个典型问题，如Berman-Hartmanis同构猜想和稀疏集；第6章讨论了双社区和复杂性核心。第7章介绍了预言和相对化结果（例如，相对化分离和（P）和（NP）的强分离）。第8章介绍了正相对化，即符合绝对情况的预言结果。在第9章中，低层次和高层次（作为（NP）-完备性概念的推广）被认为在分类（NP。使用（资源受限的）Kolmogorov复杂性（第10章），可以更好地理解并以更一般性的方式呈现先前的许多结果（例如关于稀疏集的结果）。在第11章中，考虑了概率复杂性类和交互式证明系统（可用于表征图同构问题）。附录给出了Immerman/Szelepcsényi计数技术的证明，该技术用于补充非确定性稀疏类。审核人：U.Schöning（乌尔姆） 引用于2评论引用于89文件 理学硕士： 2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等） 2005年第68季度 计算模型（图灵机等）（MSC2010） 2002年8月 与计算机科学有关的研究展览会（专著、调查文章） 65年第68季度 算法和问题复杂性分析 68问题30 算法信息理论（Kolmogorov复杂性等） 2015年3月1日 计算复杂性（包括隐式计算复杂性） 关键词：计算模型;复杂性类;结构复杂性 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Balcázar}等人，结构复杂性II。柏林等：Springer-Verlag（1990；Zbl 0746.68032）