[论文解读] The Minimum Shared Edges Problem on Planar Graphs

Till Fluschnik, Manuel Sorge|arXiv (Cornell University)|Feb 3, 2016

Advanced Graph Theory Research参考文献 3被引用 3

一句话总结

本文证明了在平面图上，最小共享边问题即使限制在最大度数为四的图上也是 NP-难的。作者通过从顶点覆盖问题进行归约，采用基于网格的构造方法，并引入特殊构件（束、羽毛、彩虹）来模拟顶点和边的选择，证明共享边约束与归约中的顶点覆盖解精确对应。

ABSTRACT

We study the Minimum Shared Edges problem introduced by Omran et al. [Journal of Combinatorial Optimization, 2015] on planar graphs: Planar MSE asks, given a planar graph G = (V,E), two distinct vertices s,t in V , and two integers p, k, whether there are p s-t paths in G that share at most k edges, where an edges is called shared if it appears in at least two of the p s-t paths. We show that Planar MSE is NP-hard by reduction from Vertex Cover. We make use of a grid-like structure, where the alignment (horizontal/vertical) of the edges in the grid correspond to selection and validation gadgets respectively.

研究动机与目标

• 确定平面图上最小共享边问题的计算复杂性。
• 确定该问题在图具有平面性与有界度数约束时是否仍为 NP-难。
• 研究该问题在以共享边数量为参数时的参数复杂性。
• 将该难解性结果扩展至有界出度与入度的有向平面图。

提出的方法

• 构建一个平面网格图，其中行代表顶点覆盖实例中的顶点，列代表边。
• 使用 $(m^3, M, k'+1)$-羽毛和 $(1,M,k'+1)$-羽毛来编码顶点和边选择的约束。
• 用有向构件组件替代垂直连接，以在有向设定下模拟无向边。
• 应用边细分和二叉树替换，将顶点度数降低至最多四，同时保持平面性与解的等价性。
• 使用彩虹构件替换束结构，并调整共享边预算，以在结构修改后维持等价性。
• 将除垂直连接外的所有边定向，并将每个无向垂直连接替换为有向构件，确保每个构件至少有 $k'+1$ 个共享弧。

实验结果

研究问题

• RQ1 最小共享边问题在平面图上是否为 NP-难？
• RQ2 当图的最大度数为四时，该问题的 NP-难性是否仍然成立？
• RQ3 该归约能否适配至有向平面图，且出度与入度有界？
• RQ4 当以共享边数量为参数时，该问题是否为固定参数可追踪？
• RQ5 该难解性结果是否可推广至最大度数为三的平面图？

主要发现

• 即使限制在最大度数为四的图上，平面图上的最小共享边问题仍是 NP-难的。
• 从顶点覆盖问题的归约使用了类似网格的结构，并通过特殊构件模拟顶点和边的选择。
• 所构造实例中每个 $s$-$t$ 路径均对应原实例中的有效顶点覆盖，反之亦然。
• 共享边预算 $k'$ 设为 $k imes (m^3 + m + 1)$，确保仅当解对应有效顶点覆盖时才能达到所需的共享边数量。
• 整个构造过程始终保持平面性，包括度数降低与有向化处理。
• 通过有向构件替换，该问题在最大出度与入度均为三的有向平面图上仍为 NP-难。