https://zbmath.org/atom/cc/68W01 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.68006 2024-04-15T15:10:58.286558Z “蔡金一” https://zbmath.org/authors/？q=ai:cai.jin-易 “陈，西” https://zbmath.org/authors/？q=ai:chen.xi.1 Publisher的描述：复杂性理论旨在根据计算问题，特别是决策问题的固有复杂性来理解和分类计算问题。这本书使用新技术来扩展用于计数问题的理论。作者提出了P和NP领域中广义计数问题的二分法分类。证明了自旋系统的配分函数、图同态、约束满足问题和Holant问题的分类。这本书假设了计算复杂性理论的最少先验知识，根据需要开发了证明技术，并逐渐增加了理论的通用性和抽象性。本卷介绍了布尔域的理论，并包括全息算法的全面介绍，最终实现了对统计力学中精确可解模型中研究的计算问题的分类。