Bilu-Linial Stability, Certified Algorithms and the Independent Set Problem

被引:2
|
作者
Angelidakis, Haris [1 ]
Awasthi, Pranjal [2 ]
Blum, Avrim [3 ]
Chatziafratis, Vaggos [4 ]
Dan, Chen [5 ]
机构
[1] Swiss Fed Inst Technol, Zurich, Switzerland
[2] Rutgers State Univ, New Brunswick, NJ USA
[3] Toyota Technol Inst Chicago, Chicago, IL USA
[4] Stanford Univ, Stanford, CA 94305 USA
[5] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA
基金
美国国家科学基金会;
关键词
Bilu-Linial stability; perturbation resilience; beyond worst-case analysis; Independent Set; Vertex Cover; Multiway Cut; APPROXIMATION ALGORITHMS; VERTEX COVER; GRAPHS; CLIQUE; NUMBER; NP;
D O I
10.4230/LIPIcs.ESA.2019.7
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study the classic Maximum Independent Set problem under the notion of stability introduced by Bilu and Linial (2010): a weighted instance of Independent Set is gamma-stable if it has a unique optimal solution that remains the unique optimal solution under multiplicative perturbations of the weights by a factor of at most gamma >= 1. The goal then is to efficiently recover this "pronounced" optimal solution exactly. In this work, we solve stable instances of Independent Set on several classes of graphs: we improve upon previous results by solving (O) over tilde(Delta/root log Delta)-stable instances on graphs of maximum degree Delta, (k - 1)-stable instances on k-colorable graphs and (1 + epsilon)-stable instances on planar graphs (for any fixed epsilon > 0), using both combinatorial techniques as well as LPs and the Sherali-Adams hierarchy. For general graphs, we present a strong lower bound showing that there are no efficient algorithms for O(n(1/2-epsilon))-stable instances of Independent Set, assuming the planted clique conjecture. To complement our negative result, we give an algorithm for (epsilon n)-stable instances, for any fixed epsilon > 0. As a by-product of our techniques, we give algorithms as well as lower bounds for stable instances of Node Multiway Cut (a generalization of Edge Multiway Cut), by exploiting its connections to Vertex Cover. Furthermore, we prove a general structural result showing that the integrality gap of convex relaxations of several maximization problems reduces dramatically on stable instances. Moreover, we initiate the study of certified algorithms for Independent Set. The notion of a gamma-certified algorithm was introduced very recently by Makarychev and Makarychev (2018) and it is a class of gamma-approximation algorithms that satisfy one crucial property: the solution returned is optimal for a perturbation of the original instance, where perturbations are again multiplicative up to a factor of gamma >= 1 (hence, such algorithms not only solve gamma-stable instances optimally, but also have guarantees even on unstable instances). Here, we obtain gamma-certified algorithms for Independent Set on graphs of maximum degree Delta, and (1 + epsilon)-certified algorithms on planar graphs. Finally, we analyze the algorithm of Berman and Furer (1994) and prove that it is a Delta+1/3 + epsilon -certified algorithm for Independent Set on graphs of maximum degree Delta where all weights are equal to 1.
引用
收藏
页数:16
相关论文
共 50 条
  • [31] Fast Algorithms for MIN INDEPENDENT DOMINATING SET
    Bourgeois, Nicolas
    Escoffier, Bruno
    Paschos, Vangelis Th
    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, PROCEEDINGS, 2010, 6058 : 247 - +
  • [32] Iterative quantum algorithms for maximum independent set
    Brady, Lucas T.
    Hadfield, Stuart
    Physical Review A, 2024, 110 (05)
  • [33] Fast algorithms for MIN INDEPENDENT DOMINATING SET
    Bourgeois, N.
    Della Croce, F.
    Escoffier, B.
    Paschos, V. Th.
    DISCRETE APPLIED MATHEMATICS, 2013, 161 (4-5) : 558 - 572
  • [34] ON THE COMPLEXITY OF APPROXIMATING THE INDEPENDENT SET PROBLEM
    BERMAN, P
    SCHNITGER, G
    INFORMATION AND COMPUTATION, 1992, 96 (01) : 77 - 94
  • [35] Independent dominating set problem revisited
    Liu, Ching-Hao
    Poon, Sheung-Hung
    Lin, Jin-Yong
    THEORETICAL COMPUTER SCIENCE, 2015, 562 : 1 - 22
  • [36] Expanding operators for the independent set problem
    Malyshev D.S.
    Journal of Applied and Industrial Mathematics, 2013, 7 (03) : 412 - 419
  • [37] Optimized crossover for the independent set problem
    Aggarwal, CC
    Orlin, JB
    Tai, RP
    OPERATIONS RESEARCH, 1997, 45 (02) : 226 - 234
  • [38] On generalizations of the shadow independent set problem
    Porschen, Stefan
    DISCRETE MATHEMATICS, 2007, 307 (11-12) : 1473 - 1485
  • [39] On the independent set problem in random graphs
    Song, Yinglei
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2015, 92 (11) : 2233 - 2242
  • [40] ON THE COMPLEXITY OF APPROXIMATING THE INDEPENDENT SET PROBLEM
    BERMAN, P
    SCHNITGER, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 : 256 - 268