可达性属于 DynFO
计算机科学中的逻辑
2017-04-06 v3 计算复杂性
数据结构与算法
摘要
Patnaik 和 Immerman 引入了动态复杂度类 DynFO，该类包含可通过一阶动态程序在辅助关系的帮助下，在边插入和删除时维护的数据库查询（Patnaik and Immerman 1997）。本文证实了他们的猜想，即可达性查询属于 DynFO。作为一个副产品，表明具有小值的矩阵的秩可以在 DynFO(+,x) 中维护。进一步表明，图的最大匹配（的大小）可以在非均匀 DynFO（DynFO 的另一种扩展）中通过辅助关系的非均匀初始化来维护。
引用
@article{arxiv.1502.07467,
title = {Reachability is in DynFO},
author = {Samir Datta and Raghav Kulkarni and Anish Mukherjee and Thomas Schwentick and Thomas Zeume},
journal= {arXiv preprint arXiv:1502.07467},
year = {2017}
}