首页> 外文会议>Annual ACM symposium on Theory of computing;ACM symposium on Theory of computing >Approximation algorithm for k-node connected subgraphs via critical graphs
【24h】

Approximation algorithm for k-node connected subgraphs via critical graphs

机译:通过临界图的k节点连通子图的逼近算法

获取原文

摘要

We present two new approximation algorithms for the problem of finding a k-node connected spanning subgraph (directed or undirected) of minimum cost. The best known approximation guarantees for this problem were O(min (k,n/√n-k)) for both directed and undirected graphs, and O(ln k) for undirected graphs with n ≥ 6k2, where n is the number of nodes in the input graph. Our first algorithm has approximation ratio O(k/n-kln 2 k, which is O(ln2 k) except for very large values of k, namely, k=n-o(n). This algorithm is based on a new result on l-connected p-critical graphs, which is of independent interest in the context of graph theory. Our second algorithm uses the primal-dual method and has approximation ratio O(√n ln k) for all values of n,k. Combining these two gives an algorithm with approximation ratio O(ln k • min (√k, k/n-k ln k)), which asymptotically improves the best known approximation guarantee for directed graphs for all values of n,k, and for undirected graphs for kn⁄6. Moreover, this is the first algorithm that has an approximation guarantee better than Θ(k) for all values of n,k. Our approximation ratio also provides an upper bound on the integrality gap of the standard LP-relaxation to the problem.As a byproduct, we also get the following result which is of independent interest. To get a faster implementation of our algorithms, we consider the problem of adding a minimum-cost edge set to increase the outconnectivity of a directed graph by Δ a graph is said to be l-outconnected from its node r if it contains l internally disjoint paths from r to any other node. The best known time complexity for the later problem is O(m3). For the particular case of Δ=1, we give a primal-dual algorithm with running time O(m2).
机译:对于找到最小成本的 k 节点连接的跨子图(有向或无向)问题,我们提出了两种新的近似算法。这个问题最著名的近似保证是 O (min( k n /√ n - k ))表示有向图和无向图, O (ln k )表示 n ≥6 < I> k 2 ,其中 n 是输入图中的节点数。我们的第一个算法具有 O k / n - k ln 2 k ,它是 O (ln 2 k ),除了非常大的 k ,即 k = n - o n )。该算法基于新的结果在 l -连通的 p -临界图上,这在图论的背景下具有独立的意义,我们的第二种算法使用原始对偶方法,并且逼近率 O (√ n ln k )的所有 n,k 值,将这两个值结合起来可得到一种具有近似比率的算法 O (ln k •min(√ k k / n -< I> k ln k )),它渐近地改善了有向图对于所有 n,k 值和无向图的有向图的最著名逼近保证。 k >√ n ⁄6。此外,这是第一个算法,对于所有的值,其逼近保证均优于Θ( k n,k 。我们的近似比als o为标准LP松弛的完整性缺口提供了一个上限。作为副产品,我们还得到以下具有独立利益的结果。为了更快地实现我们的算法,我们考虑添加最小成本边集以将有向图的连接度增加Δ的问题,该图被称为从其节点的 l 向外连接 r (如果它包含从 r 到任何其他节点的内部不相交的路径)。对于后一个问题,最著名的时间复杂度是 O m 3 )。对于Δ= 1的特殊情况,我们给出了运行时间 O m 2 )的原始对偶算法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号