[论文解读] Parameterized Low-distortion Embeddings - Graph metrics into lines and trees

Michael R. Fellows, Fedor V. Fomin+4 more|ArXiv.org|Apr 18, 2008

Advanced Graph Theory Research参考文献 15被引用 7

一句话总结

本文提出了将无权和加权图度量嵌入到线度量和树度量中且具有有界畸变的固定参数可追踪（FPT）算法。提出了一种新型基于类型的动态规划方法，应用于树结构，实现了以畸变d和树度Δ为参数的FPT时间复杂度，并证明了在加权实例中对边权W的指数依赖是不可避免的。

ABSTRACT

We revisit the issue of low-distortion embedding of metric spaces into the line, and more generally, into the shortest path metric of trees, from the parameterized complexity perspective.Let $M=M(G)$ be the shortest path metric of an edge weighted graph $G=(V,E)$ on $n$ vertices. We describe algorithms for the problem of finding a low distortion non-contracting embedding of $M$ into line and tree metrics. We give an $O(nd^4(2d+1)^{2d})$ time algorithm that for an unweighted graph metric $M$ and integer $d$ either constructs an embedding of $M$ into the line with distortion at most $d$, or concludes that no such embedding exists. We find the result surprising, because the considered problem bears a strong resemblance to the notoriously hard Bandwidth Minimization problem which does not admit any FPT algorithm unless an unlikely collapse of parameterized complexity classes occurs. We show that our algorithm can also be applied to construct small distortion embeddings of weighted graph metrics. The running time of our algorithm is $O(n(dW)^4(2d+1)^{2dW})$ where $W$ is the largest edge weight of the input graph. We also show that deciding whether a weighted graph metric $M(G)$ with maximum weight $W < |V(G)|$ can be embedded into the line with distortion at most $d$ is NP-Complete for every fixed rational $d \geq 2$. This rules out any possibility of an algorithm with running time $O((nW)^{h(d)})$ where $h$ is a function of $d$ alone. We generalize the result on embedding into the line by proving that for any tree $T$ with maximum degree $Δ$, embedding of $M$ into a shortest path metric of $T$ is FPT, parameterized by $(Δ,d)$.

研究动机与目标

• 解决将图度量嵌入至直线和树等简单度量空间中且畸变较低的算法挑战。
• 探讨尽管该问题与NP难的带宽最小化问题相似，但以畸变d为参数时，低畸变嵌入问题是否为固定参数可追踪（FPT）问题。
• 将FPT结果从无权图推广至加权图度量，分析最大边权W的影响。
• 将嵌入问题推广至最大度Δ有界的树型宿主，并建立以(d, Δ)为参数的FPT算法。
• 建立紧致的下界，证明在加权实例中对W的指数依赖是不可避免的。

提出的方法

• 引入'顶点类型'的概念，以抽象树结构中局部嵌入行为，实现动态规划中高效的状态传播。
• 将'可行u-状态'定义为带有[v, fu]-类型列表的部分嵌入，用于编码相对于邻居的距离与扩展行为。
• 利用类型列表之间的兼容性与一致性条件，确保树边上全局嵌入的一致性。
• 采用递归的树分解策略，其中每个节点的状态通过'连续'关系依赖于其子节点的状态。
• 在树结构上应用动态规划，状态转移由距离约束和类型变换规则控制。
• 将不同顶点类型的数量绑定至d和Δ的函数，确保在参数固定时状态空间保持有界。

实验结果

研究问题

• RQ1 能否以畸变d为参数，在FPT时间内解决无权图度量嵌入至直线的低畸变问题？
• RQ2 在加权图度量嵌入至直线时，对边权W的指数依赖是否不可避免？
• RQ3 能否将FPT算法扩展至以(d, Δ)为参数的有界度Δ树结构嵌入问题？
• RQ4 嵌入至无界度树或基于环的度量空间的参数化复杂度如何？
• RQ5 顶点类型与类型列表兼容性的结构如何实现树上高效动态规划？

主要发现

• 提出了一种O(nd⁴(2d + 1)²ᵈ)时间复杂度的算法，用于以畸变至多为d的方式将无权图度量嵌入至直线，显著优于先前的O(n⁴ᵈ⁺²·dᴼ⁽¹⁾)界。
• 对于加权图，该算法运行时间为O(n(dW)⁴(2d + 1)²ᵈʷ)，其中W为最大边权。
• 本文证明了当畸变d ≥ 2时，将加权图度量嵌入至直线是NP完全问题，从而排除了对任意函数h，以O((nW)ʰ⁽ᵈ⁾)时间复杂度运行的FPT算法的可能性。
• 开发出一种通用的FPT算法，用于将图度量嵌入至最大度Δ的树中，其时间复杂度为O(n²·|V(T)|·2ᴼ⁽⁽⁵ᵈ⁾Δᵈ⁺¹·ᵈ⁾)，以(d, Δ)为参数。
• 全局非压缩嵌入的可行性被简化为在整棵树上检查局部顶点类型与类型列表之间的一致性。
• 顶点类型的概念使得状态表示有界，从而使得尽管问题本身具有指数复杂度，但在树上进行动态规划成为可能。