判定单调sirup的有界性
摘要：单调单规则数据逻辑程序（sirups）的有界性（又称FO-可重写性）的决定是2Exp-hard，这与自1988年以来已知的上界相匹配，并最终解决了一个长时间存在的开放问题。我们得到这个结果是为了尝试对单调“析取sirups”进行分类-布尔合取查询q通过由一个“析取规则”T(x) v F(x) <- A(x)调解的一元和二元谓词。根据其评估的数据复杂性。除了确定决定带有有向无环图形状q的析取sirups的FO-可重写性也是2Exp-hard之外，我们在获取带有二叉树形状q的析取sirups的完整的FO / L-hardness二分法方面取得了实质性进展。
作者：Stanislav Kikot, Agi Kurucz, Vladimir Podolskii, Michael Zakharyaschev
论文ID：2108.00433
分类：Computational Complexity
分类简称：cs.CC
提交时间：2021-08-03