[论文解读] Color Fault-Tolerant Spanners

Asaf Petruschka, Shay Sapir+1 more|arXiv (Cornell University)|Nov 15, 2023

Complexity and Algorithms in Graphs被引用 1

一句话总结

本文提出了针对顶点和边着色图的彩色故障容错（CFT）聚束图，其中整个颜色类可能发生故障。针对 (2k−1)-聚束图，本文给出了最优大小界：顶点着色情况下为 O(f^{1−1/k}n^{1+1/k}) 条边，边着色情况下为 O(fn^{1+1/k})（紧致），混合着色情况下为 Θ(f^{2−1/k}n^{1+1/k}) —— 与单个故障情况下的已知界一致，但推广至颜色类故障。

ABSTRACT

We initiate the study of spanners in arbitrarily vertex- or edge-colored graphs (with no "legality" restrictions), that are resilient to failures of entire color classes. When a color fails, all vertices/edges of that color crash. An $f$-color fault-tolerant ($f$-CFT) $t$-spanner of an $n$-vertex colored graph $G$ is a subgraph $H$ that preserves distances up to factor $t$, even in the presence of at most $f$ color faults. This notion generalizes the well-studied $f$-vertex/edge fault-tolerant ($f$-V/EFT) spanners. The size of an $f$-V/EFT spanner crucially depends on the number $f$ of vertex/edge faults to be tolerated. In the colored variants, even a single color fault can correspond to an unbounded number of vertex/edge faults. The key conceptual contribution of this work is in showing that the size (number of edges) required by an $f$-CFT spanner is in fact comparable to its uncolored counterpart, with no dependency on the size of color classes. We provide optimal bounds on the size required by $f$-CFT spanners, revealing an interesting phenomenon: while (individual) edge faults are "easier" than vertex faults in terms of spanner size, edge-color faults are "harder" than vertex-color faults. Our upper bounds are based on a generalization of the blocking set technique of [Bodwin and Patel, PODC 2019] for analyzing the (exponential-time) greedy algorithm for FT spanners. We complement them by providing efficient constructions of CFT spanners with similar size guarantees, based on the algorithm of [Dinitz and Robelle, PODC 2020].

研究动机与目标

• 形式化并研究在任意着色图中整个颜色类可能失效的故障容错聚束图。
• 建立在顶点、边和混合着色设置下对 f 个颜色故障具有容错能力的 (2k−1)-聚束图的紧致大小界。
• 开发高效多项式时间的 CFT 聚束图构造方法，其大小接近最优贪心算法的界。
• 证明尽管在无色情况下边故障更易处理，但彩色故障可能比单个顶点故障代价更高。

提出的方法

• 将 Bodwin 和 Patel（PODC 2019）提出的阻断集技术推广至分析一种用于 CFT 聚束图的修改贪心算法。
• 引入一个子程序，通过检查当前聚束图 H 中是否存在 f+1 条 u–v 路径，且这些路径在颜色上互不相交，来判断边是否可被替换。
• 采用 p-随机阻断子图分析，其中概率 p 被修改为 1/(8kf)，以适应更大的责备集合 ˜Fe。
• 改编 Dinitz 和 Robelle（PODC 2020）的算法，实现高效 CFT 聚束图构造，且大小接近最优。
• 通过按边权非减序处理边的方式处理加权图，确保路径权值界不变。

实验结果

研究问题

• RQ1 在顶点着色图中，对 f 个颜色故障具有容错能力的 (2k−1)-聚束图的最小大小是多少？
• RQ2 边着色图中 f-CFT 聚束图的大小与无色情况下的 f-边故障容错情形相比如何？
• RQ3 能否设计出高效多项式时间算法，构造出大小接近最优贪心算法的 CFT 聚束图？
• RQ4 为何边着色故障容错比顶点着色故障容错代价更高，尽管在无色情况下边故障更易处理？

主要发现

• 顶点着色图中 f-CFT (2k−1)-聚束图的大小为 O(f^{1−1/k}n^{1+1/k})，与 f-顶点故障容错聚束图的紧致界一致。
• 对于边着色图，O(fn^{1+1/k}) 条边既充分也必要，从而得到紧致的 Ω(fn^{1+1/k}) 下界。
• 在混合顶点与边着色模型中，大小为 Θ(f^{2−1/k}n^{1+1/k})，表明其对 f 的依赖程度高于仅顶点着色的情形。
• 本文证明边着色故障比顶点着色故障代价更高，这与无色情形下通常的边与顶点故障成本关系相反。
• 通过使用 Dinitz-Robelle 算法的修改版本，实现了大小接近最优的 CFT 聚束图的高效构造。
• 分析可扩展至加权图，通过按边权非减序处理边，保持路径权值界不变。