第19章：复杂度作为推理的几何——为什么有些推理根本不能被加速

文档摘要

第19章：复杂度作为推理的几何——为什么有些推理根本不能被加速 P≠NP 不是关于机器速度的命题。它是关于问题内在结构的命题。第18章结尾留下了一个不舒服的观察：即使有了完整的因果图，在图上做推断——识别因果效应、计算可识别的表达式——在复杂情况下代价急剧上升。这不是算法写得不够好，而是问题本身就难。这个"本身就难"，需要一个精确的数学含义。在形式系统的语境里，"难"有一个量化的版本：从公理到定理需要多少步？第14章提到，验证一个证明是多项式时间可完成的，但发现一个证明没有通用的高效算法。这个不对称性，在计算理论里有一个正式的名字，叫做 P 和 NP 的分离——如果它成立的话。本章要做的事情，就是把这个"难"的直觉，变成一个精确的几何图景。 19.