倒排索引遍历的P完全性：布尔查询DAG评估的复杂性
The P-Completeness of Inverted Index Traversal: On the Complexity of Evaluating Boolean Query DAGs
摘要
现代AI智能体依赖搜索基础设施执行神经符号推理工作流，其编译为对文本字段的深层嵌套、非单调布尔查询。标准评估策略在倒排索引上受理论限制：有状态迭代器模型（逐文档处理）受限于NC^1公式评估，展开重汇聚逻辑时查询复杂度最坏达O(2^|Q|)指数膨胀；递归物化模型则通过物化中间结果规避该问题。
现代AI智能体日益依赖搜索基础设施来执行复杂的神经符号推理工作流。这些工作流通常编译为对文本字段进行深层嵌套、非单调的布尔查询。然而，标准查询评估策略在处理这些结构时，在倒排索引上面临严重的理论限制。有状态迭代器模型（逐文档处理）在结构上受限于NC^1公式评估，在展开重汇聚逻辑时，查询复杂度最坏情况下会出现O(2^|Q|)的指数级膨胀。相反，递归物化模型……
译自 Apple · ML Research · 录于 二〇二六年八月二十日