[论文解读] Reachability and Distances under Multiple Changes

Samir Datta, Anish Mukherjee+2 more|arXiv (Cornell University)|Jan 1, 2018

Data Management and Algorithms参考文献 10被引用 3

一句话总结

该论文通过证明在使用一阶逻辑结合算术运算（+，×）或多数量词时，有向图中的可达性和距离可在多条边变更下被维护，从而扩展了动态描述复杂性理论。论文证明了当影响节点数为 O(log n / log log n) 时，可达性属于 DynFO(+, ×)；当影响节点数为 O(log^c n) 时，可达性属于带多数量词的 DynFO，其方法基于 Sherman-Morrison-Woodbury 恒等式进行矩阵求逆，并在 FO+Maj 中计算行列式。

ABSTRACT

Recently it was shown that the transitive closure of a directed graph can be updated using first-order formulas after insertions and deletions of single edges in the dynamic descriptive complexity framework by Dong, Su, and Topor, and Patnaik and Immerman. In other words, Reachability is in DynFO. In this article we extend the framework to changes of multiple edges at a time, and study the Reachability and Distance queries under these changes. We show that the former problem can be maintained in DynFO(+, x) under changes affecting O({log n}/{log log n}) nodes, for graphs with n nodes. If the update formulas may use a majority quantifier then both Reachability and Distance can be maintained under changes that affect O(log^c n) nodes, for fixed c in N. Some preliminary results towards showing that distances are in DynFO are discussed.

研究动机与目标

• 该论文旨在将动态描述复杂性框架扩展至处理多条边变更，超越以往仅限于单条元组更新的研究。
• 研究在多个节点或边被同时修改时，可达性和距离查询是否能够被高效维护。
• 目标包括刻画在影响节点数方面，这些查询在低复杂度逻辑类（如 DynFO(+, ×) 和带多数量词的 DynFO）中仍可维护的规模。
• 该工作试图弥合静态复杂性（例如，可达性属于 NL）与动态复杂性之间的差距，表明即使在非恒定规模的变更下，动态维护仍是可行的。
• 同时探索在 DynFO 中维护距离的可行性，这是动态复杂性领域的一个主要开放问题。

提出的方法

• 该方法使用形式幂级数和矩阵近似来表示邻接矩阵的逆，从而实现增量更新。
• 应用 Sherman-Morrison-Woodbury 恒等式在变更后更新矩阵逆，通过矩阵 U、B 和 V 将边更新分解为低秩扰动。
• 该方法在 Z[[x]]^n×n 中维护矩阵逆的 n-近似，截断于次数 n，以处理可达性的多项式编码。
• 对于小规模矩阵（大小为 O(log^c n)），通过统一的 TC0 实现行列式计算，其等价于 FO+Maj(+, ×)，从而支持使用多数量词。
• 对于更大规模的变更，该方法依赖于在统一 NC1 中计算行列式，从而在 DynNC1 中实现影响 O(2^√(log n / log*n)) 个节点的变更结果。
• 动态程序使用带算术和多数量词的一阶公式来更新辅助关系，确保在指定逻辑类中保持可维护性。

实验结果

研究问题

• RQ1 当影响节点数为 O(log n / log log n) 时，可达性是否可在 DynFO(+, ×) 中被维护？
• RQ2 当影响节点数为 O(log^c n) 时，可达性和距离是否可在带多数量词的 DynFO 中被维护，其中 c 为任意固定的自然数？
• RQ3 是否可以在 DynFO(+, ×) 中维护辅助数据，使得最短距离可通过 FO+Maj(+, ×) 查询提取？
• RQ4 在影响节点数方面，可达性和距离在哪些最大类别的变更下仍可在低复杂度动态逻辑类中被维护？
• RQ5 用于可达性的技术是否可扩展至在 DynFO 中维护距离，从而解决动态复杂性领域的一个主要开放问题？

主要发现

• 当影响节点数为 O(log n / log log n) 时，可达性可在 DynFO(+, ×) 中被维护，扩展了以往仅限于单条边更新的研究结果。
• 通过引入多数量词，对于任意固定的 c ∈ N，当影响节点数为 O(log^c n) 时，可达性和距离均可在 DynFO 中被维护。
• 对于大小为 k × k 且含多项式系数的矩阵，其行列式可在 FO+Maj(+, ×) 中计算，其中 k ∈ O(log^c n)，从而支持在该逻辑中使用 Sherman-Morrison-Woodbury 恒等式。
• 对于影响节点数为 O(2^√(log n / log*n)) 的变更，可达性和距离可在 DynNC1 中被维护，表明在更大规模变更下仍具可扩展性。
• 该论文提供了一个框架，可在 DynFO(+, ×) 中维护与距离相关的信息，且最短距离可通过 FO+Maj(+, ×) 查询提取，为证明距离属于 DynFO 提供了可行路径。
• 结果表明，低复杂度逻辑类中矩阵求逆与行列式计算的能力，使得在非恒定规模变更下对可达性和距离的动态维护成为可能。