倒排索引遍历的 P-完全性：布尔查询 DAG 的复杂度评估
The P-Completeness of Inverted Index Traversal: On the Complexity of Evaluating Boolean Query DAGs
AI 导读现代 AI 智能体依赖搜索基础设施执行神经符号推理，常编译为深层嵌套的非单调布尔查询。标准倒排索引查询评估策略面临严重理论限制：有状态迭代器模型（Document-at-a-Time）受 NC^1 公式评估结构约束，展开重汇聚逻辑时最坏情况查询复杂度呈 O(2^|Q|) 指数级爆炸。
来源：Apple Machine Learning Research · machinelearning.apple.com