奇偶存在查询的动态复杂性
摘要：一阶更新规则可以在动态复杂性框架DynFO中轻松地维持节点为红色的数量的奇偶性。这种方法可以推广到在一阶逻辑中通过奇偶量词定义的其他查询吗？我们考虑查询，询问有多少个节点与红节点相连。尽管如此简单的查询具有奇偶性存在量词结构，但却是动态捕获一阶逻辑扩展的主要障碍。我们证明了这个查询不能通过无量词的一阶更新规则来维护，并且它的变体根据维护辅助关系的目标的元数构成了一个层次结构。为了通过完整的一阶更新规则来维护查询，我们证明了限制度数的变体是可行的。
作者：Nils Vortmeier, Thomas Zeume
论文ID：1910.06004
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22