倒排索引遍历的P-完全性：论布尔查询DAG评估的复杂性

倒排索引遍历的P-完全性：论布尔查询DAG评估的复杂性
Apple Machine Learning Research Apple Machine Learning Research ·

本研究探讨了非单调推理中的复杂性，分析了知识库中变量数量对推断问题的影响。我们提供了$ ext{Σ}^P_2$-和NP-及coNP-完全片段的积极结果，并首次展示了超越穷举搜索的$ ext{Σ}^P_2$-完全问题示例，同时提供了下界。

A Fine-Grained Complexity Perspective on Propositional Abduction — Algorithms and Lower Bounds
BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 ·
👤 个人中心
在公众号发送验证码完成验证