[论文解读] The VPN Tree Routing Conjecture for Outerplanar Networks

Samuel Fiorini, Gianpaolo Oriolo+2 more|ArXiv.org|Nov 16, 2007

Complexity and Algorithms in Graphs参考文献 5被引用 4

一句话总结

本文通过引入广义路由技术与凸组合论证，证明了外平面网络中金字塔形路由猜想，确立了始终存在具有树状结构的最优路由。这表明虚拟专用网树形路由猜想在所有外平面网络中成立，解决了虚拟专用网设计中的一个关键开放问题。

ABSTRACT

The VPN Tree Routing Conjecture is a conjecture about the Virtual Private Network Design problem. It states that the symmetric version of the problem always has an optimum solution which has a tree-like structure. In recent work, Hurkens, Keijsper and Stougie (Proc. IPCO XI, 2005; SIAM J. Discrete Math., 2007) have shown that the conjecture holds when the network is a ring. A shorter proof of the VPN Conjecture for rings was found a few months ago by Grandoni, Kaibel, Oriolo and Skutella (to appear in Oper. Res. Lett., 2008). In their paper, Grandoni et al. introduce another conjecture, called the Pyramidal Routing Conjecture (or simply PR Conjecture), which implies the VPN Conjecture. Here we consider a strengthened version of the PR Conjecture. First we establish several general tools which can be applied in arbitrary networks. Then we use them to prove that outerplanar networks satisfy the PR Conjecture.

研究动机与目标

• 解决对称虚拟专用网设计（sVPND）问题在外部平面网络中是否存在最优树状结构解的开放问题。
• 证明外平面图的金字塔形路由（PR）猜想，该猜想蕴含虚拟专用网猜想。
• 通过新颖的路由与平滑技术，将PR猜想的适用范围扩展并推广至先前结果之外，特别是针对环形网络。
• 确立在外平面网络中，总存在一种最优路由，其路径结构形成一棵树，从而最小化容量成本。

提出的方法

• 引入广义化的金字塔形路由问题版本，允许顶点上存在整数需求，而不仅限于单位需求。
• 对n-函数（每条边的路径数量）应用平滑过程，将其简化为至多一个峰、一个谷和一个交叉点。
• 使用来自两种路由的y-向量的凸组合——每种路由分别省略不同的边——来支配原始路由的y-向量。
• 构建两种辅助路由：一种在部分终端上反转路径方向，另一种最小化梯形结构顶边的边使用量。
• 运用反射与仿射组合技术，证明原始y-向量被由两种构造路由的y-向量构成的凸组合所支配。
• 利用金字塔函数 p(x) = min{x, k−x} 的凹性，证明在所有边上y-向量的支配关系成立。

实验结果

研究问题

• RQ1 金字塔形路由猜想在外平面网络中是否成立？
• RQ2 外平面网络中任意路由的y-向量是否可被两个不同树状路由的y-向量的凸组合所支配？
• RQ3 在外平面网络中，是否总存在一种最优路由，其路径构成树形结构？
• RQ4 PR猜想能否扩展至具有整数顶点需求的网络，而不仅限于单位需求的终端集合？

主要发现

• 金字塔形路由猜想在外平面网络中成立，证明了始终存在具有树状路径结构的最优路由。
• 外平面网络中任意给定路由的y-向量，可被两个特定路由的y-向量的凸组合所支配，每个路由分别省略不同的边。
• 平滑过程将n-函数简化为至多一个峰、一个谷和一个交叉点，从而简化了路由结构的分析。
• 对于具有梯形结构的网络，该证明构造了两种路由，分别最小化边使用量与路径反转，确保原始y-向量被支配。
• 该结果意味着虚拟专用网树形路由猜想在外平面网络中成立，从而实现了对称虚拟专用网设计问题的多项式时间求解。
• 该证明技术扩展了先前关于环形网络的结果，并提供了一个适用于更广泛图类的一般性框架。