所有顶点匹配的最小生成树


9

我遇到了这个匹配问题,因此我无法写下多项式时间算法。

P,Q 是具有顶点集的完整加权图 PVQV分别在哪里 |PV|=|QV|=n。另外,让wPwQ 是边上的权重函数 PQ, 分别。

对于双射 f:PVQV 我们修改 Q 以以下方式:如果 f(p)=qf(p)=qwP(p,p)>wQ(q,q) 然后设置 wQ(q,q)=wP(p,p)。将此修改图表示为Qf 然后让 W(Qf) 是最小生成树的权重之和 Qf

问题:最小化W(Qf) 所有双射 f:PVQV

这个问题有多难?如果“很难”:近似算法呢?


我们是否可以假设P和Q中的权重分别满足三角形不等式?因为如果是这样,则分别在它们的每一个中找到一个MST,形成一次Euler导览以将其转换为近似的行销员路径,并选择一个与相应路径位置中的顶点匹配的匹配项,看起来它应该是问题的2近似值。
David Eppstein 2013年

@DavidEppstein:是的,权重满足三角形不等式。您的想法看起来很有趣,谢谢!
MB

Answers:


11

(摘自评论)这里有一个假设P和Q满足三角形不等式的常数因子近似值的想法。我以为它可以给出2的近似值,但是我现在可以证明的是4的近似值。

(1)在所述的问题中,边缘的重量 pq 在组合图中(对应之后 ppqq 确定)是 max{P(pq),Q(pq)}。相反,我们使用。这最多损失了两倍,但是使问题更易于描述:我们现在尝试在找到生成树,并在找到同构生成树,并且总权重最小。然后,通过这两个树之间的同构来给出和之间的对应关系。P(pq)+Q(pq)PQPQ

(2)在,找到一个最小的生成树,并使用路径加倍的Euler漫游技术找到一条最大权重为两倍的路径。在独立做同样的事情。结果是两个同构树(两个路径)分别是其图的MST权重的最多两倍,因此,最大同构生成树问题的解决方案成本最多是两倍,而原始问题的权重最多是四倍。 。PQ

(3)最初的问题是由汉密尔顿路径简化而成的NP-完全问题。令从希望测试哈密顿路径存在的图中定义。限定时是在边缘和时不是边缘。让被恰好从一个路径图同样的方式定义。当且仅当定义了的图具有哈密顿路径时,才有总成本的解决方案。可能也可以用来证明某个固定常数以下的不可近似性。PP(pq)=1pqP2pqQn1P


谢谢,这是一个很好的答案。(显然,在接下来的18小时内,我没有资格授予您赏金。)
MB

对 -路径TSP 使用逼近(尝试每个和)来获得两棵树(即路径)怎么样?arxiv.org/abs/1110.4604(1+5)/2stsp
Magnus Lie Hetland

再三考虑,这只会为您提供最佳路径的比率,当然不是MST。所以……没关系;)
Magnus Lie Hetland 2013年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.