归约是计算理论中唯一真正"可传递"的知识

在计算理论中，大部分知识是问题特定的（你需要为每个新问题独立分析）。但归约是少有的"通用传递工具"——一旦你证明了 A ≤ B，关于 B 的所有已知信息自动适用于 A。这种"通过映射复用知识"的思想远超计算理论本身，是所有"元分析"的逻辑基础。