[论文解读] Dynamic Complexity Meets Parameterised Algorithms

Jonas Schmidt, Thomas Schwentick+3 more|arXiv (Cornell University)|Oct 14, 2019

Computability, Logic, AI Algorithms参考文献 24被引用 1

一句话总结

本文通过在 DynFO 中引入参数化空间（辅助结构）或时间（公式迭代）的方式，提出了参数化动态复杂度类——para-S-DynFO、para-T-DynFO 和 para-ST-DynFO。研究表明，核化、染色法和动态规划等技术可有效应用于动态环境，证明了 p-Knapsack 和 p-VertexCover 可在 para-S-DynFO 中维护，而迭代压缩则实现了在边变更下对顶点覆盖的高效更新。

ABSTRACT

Dynamic Complexity studies the maintainability of queries with logical formulas in a setting where the underlying structure or database changes over time. Most often, these formulas are from first-order logic, giving rise to the dynamic complexity class DynFO. This paper investigates extensions of DynFO in the spirit of parameterised algorithms. In this setting structures come with a parameter $k$ and the extensions allow additional "space" of size $f(k)$ (in the form of an additional structure of this size) or additional time $f(k)$ (in the form of iterations of formulas) or both. The resulting classes are compared with their non-dynamic counterparts and other classes. The main part of the paper explores the applicability of methods for parameterised algorithms to this setting through case studies for various well-known parameterised problems.

研究动机与目标

• 为了形式化一个整合参数化算法技术的动态复杂度框架，将经典 DynFO 扩展至参数化资源。
• 为了研究核心参数化算法方法（如核化、染色法和迭代压缩）如何适应输入变化的动态环境。
• 为了刻画 para-S-DynFO 和 para-T-DynFO 等新类在表达能力上与非动态及经典复杂度类的关系。
• 为了评估在使用参数化资源的前提下，维护基础参数化问题（如 p-VertexCover、p-Knapsack）解的可行性。

提出的方法

• 通过引入大小为 f(k) 的辅助结构来扩展 DynFO，以建模参数化空间（para-S-DynFO），并通过允许 f(k) 次一阶公式的迭代来建模参数化时间（para-T-DynFO）。
• 利用逻辑公式的迭代来模拟有界深度的计算，将电路类（如 para-AC0）转化为逻辑动态类（para-T-FO）。
• 利用辅助结构来编码仅依赖于参数 k 的辅助数据（如染色族、核集），从而实现高效的动态维护。
• 通过将核化和染色法等静态参数化算法技术的逻辑编码进带有辅助结构或迭代的动态程序中，将其应用于动态环境。
• 通过关系编码多维表（如 knapsack 的 A(i,j,b)）来实现动态规划，从而在更新下维持结果。
• 通过维护候选解并利用染色法探索现有解的子集，将迭代压缩适应于动态环境。

实验结果

研究问题

• RQ1 标准的参数化算法技术（如核化和染色法）能否有效迁移到具有参数化资源的动态复杂度中？
• RQ2 para-S-DynFO 和 para-T-DynFO 与 DynFO 及非动态参数化类相比，在表达能力上如何？
• RQ3 在 para-S-DynFO 中，能否有效利用超多项式参数值的动态规划来维护解？
• RQ4 迭代压缩能否被适配到动态环境中，以在增量变化下维护最优解？
• RQ5 para-ST-DynFO 是否严格比 para-S-DynFO 或 para-T-DynFO 更具表达能力？

主要发现

• 通过使用维护三维最大利润表的动态程序（以四元关系编码），p-Knapsack 可在 para-S-DynFO 中维护，且适用于物品利润、权重或边界值的任意变更。
• p-VertexCover 可通过基于迭代压缩的动态程序在 para-S-FO 中维护，该程序利用通用染色族作为辅助结构，以探索现有覆盖的子集。
• 核化与染色法技术可有效迁移到动态环境，从而在参数化空间约束下实现解的高效维护。
• 基于搜索树的方法在参数化时间模型（para-T-DynFO）中表现良好，但在参数化空间模型中效果较差，因需显式使用辅助结构。
• 具有超多项式参数值的动态规划更适合 para-S-DynFO，因其可通过辅助关系编码大型表格。
• p-VertexCover 的压缩方法原则上可迁移到 para-T-DynFO，但因需额外的算法层，对大规模最小顶点覆盖而言变得不切实际。