Abstract
This paper studies k-claw-free graphs, exploring the connection between an extremal combinatorics question and the power of a convex program in approximating the maximum-weight independent set in this graph class. For the extremal question, we consider the notion, that we call conditional \(\chi \)-boundedness of a graph: Given a graph G that is assumed to contain an independent set of a certain (constant) size, we are interested in upper bounding the chromatic number in terms of the clique number of G. This question, besides being interesting on its own, has algorithmic implications (which have been relatively neglected in the literature) on the performance of SDP relaxations in estimating the value of maximum-weight independent set.
For \(k=3\), Chudnovsky and Seymour (JCTB 2010) prove that any 3-claw-free graph G with an independent set of size three must satisfy \(\chi (G) \le 2 \omega (G)\). Their result implies a factor 2-estimation algorithm for the maximum weight independent set via an SDP relaxation (providing the first non-trivial result for maximum-weight independent set in such graphs via a convex relaxation). An obvious open question is whether a similar conditional \(\chi \)-boundedness phenomenon holds for any k-claw-free graph. Our main result answers this question negatively. We further present some evidence that our construction could be useful in studying more broadly the power of convex relaxations in the context of approximating maximum weight independent set in k-claw free graphs. In particular, we prove a lower bound on families of convex programs that are stronger than known convex relaxations used algorithmically in this context.
This research was partially done during the trimester on Discrete Optimization at Hausdorff Research Institute for Mathematics (HIM) in Bonn, Germany. The research has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 759557) and from Academy of Finland (grant number 310415). Kamyar Khodamoradi was supported by Deutsche Forschungsgemeinschaft (project number 399223600).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Recall that the polytope is defined as \(\textsf{QSTAB}(G)= \{x \in [0,1]^{|V(G)|}: \sum _{i \in Q} x_i \le 1 (\forall \text {clique Q})\}\). Optimizing this itself is NP-hard, but we can optimize an SDP whose solution is feasible for QSTAB.
- 2.
The notation \(\widetilde{\varOmega }\) hides asymptotically smaller terms.
- 3.
A clique replacement operation on graph G replaces any vertex v with a clique \(K_v\) of arbitrary size and connects each vertex in a clique to every neighbor of v. It is easy to see that k-claw-free graphs are closed under clique replacement.
- 4.
The notations \(O_k, \varTheta _k, \varOmega _k\) hide multiplicative functions in k.
- 5.
In fact, the hardness even holds for a special case of the problem, namely the unweighted k-set packing problem.
- 6.
Consider the clique \(K_n\) on n vertices and LP assignment \(x_i=1/2\) for vertex \(i \in K_n\).
References
Austrin, P., Khot, S., Safra, M.: Inapproximability of vertex cover and independent set in bounded degree graphs. Theory Comput. 7(1), 27–43 (2011)
Bansal, N., Gupta, A., Guruganesh, G.: On the Lovász theta function for independent sets in sparse graphs. In: Proceedings of the Forty-Seventh Annual ACM Symposium on Theory of Computing, pp. 193–200 (2015)
Berman, P.: A d/2 approximation for maximum weight independent set in \(d\)-claw free graphs. In: SWAT 2000. LNCS, vol. 1851, pp. 214–219. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-44985-X_19
Bohman, T.: The triangle-free process. Adv. Math. 221(5), 1653–1677 (2009). https://doi.org/10.1016/j.aim.2009.02.018. https://www.sciencedirect.com/science/article/pii/S0001870809000620
Bohman, T., Keevash, P.: The early evolution of the h-free process. Invent. Math. 181(2), 291–336 (2010)
Chalermsook, P., Chuzhoy, J.: Maximum independent set of rectangles. In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 892–901. SIAM (2009)
Chalermsook, P., Gadekar, A., Khodamoradi, K., Spoerhase, J.: Independent set in \(k\)-claw-free graphs: conditional \(\chi \)-boundedness and the power of LP/SDP relaxations (2023)
Chalermsook, P., Vaz, D.: A note on fractional coloring and the integrality gap of LP for maximum weight independent set. Electron. Notes Discret. Math. 55, 113–116 (2016)
Chalermsook, P., Walczak, B.: Coloring and maximum weight independent set of rectangles. In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 860–868. SIAM (2021)
Chan, T.M., Har-Peled, S.: Approximation algorithms for maximum independent set of pseudo-disks. In: Proceedings of the Twenty-Fifth Annual Symposium on Computational Geometry, pp. 333–340 (2009)
Chan, Y.H., Lau, L.C.: On Linear and Semidefinite Programming Relaxations for Hypergraph Matching, pp. 1500–1511. https://doi.org/10.1137/1.9781611973075.122. https://epubs.siam.org/doi/abs/10.1137/1.9781611973075.122
Chandra, B., Halldórsson, M.M.: Greedy local improvement and weighted set packing approximation. J. Algorithms 39(2), 223–240 (2001)
Chudnovsky, M., Seymour, P.: Claw-free graphs VI. colouring. J. Comb. Theory Ser. B 100(6), 560–572 (2010). https://doi.org/10.1016/j.jctb.2010.04.005. https://www.sciencedirect.com/science/article/pii/S009589561000064X
Cygan, M.: Improved approximation for 3-dimensional matching via bounded pathwidth local search. In: 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, pp. 509–518. IEEE (2013)
Fleming, N., Kothari, P., Pitassi, T., et al.: Semialgebraic proofs and efficient algorithm design. Found. Trends® Theor. Comput. Sci. 14(1–2), 1–221 (2019)
Grötschel, M., Lovász, L., Schrijver, A.: Polynomial algorithms for perfect graphs. In: North-Holland Mathematics Studies, vol. 88, pp. 325–356. Elsevier (1984)
Hazan, E., Safra, S., Schwartz, O.: On the complexity of approximating k-set packing. Comput. Complex. 15(1), 20–39 (2006)
Hochbaum, D.S.: Efficient bounds for the stable set, vertex cover and set packing problems. Discret. Appl. Math. 6(3), 243–254 (1983)
Kim, J.H.: The Ramsey number \(R(3, t)\) has order of magnitude \(t^2/\log t\). Random Struct. Algorithms 7(3), 173–207 (1995)
Lasserre, J.B.: An explicit exact SDP relaxation for nonlinear 0-1 programs. In: Aardal, K., Gerards, B. (eds.) IPCO 2001. LNCS, vol. 2081, pp. 293–303. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45535-3_23
Lasserre, J.B.: Global optimization with polynomials and the problem of moments. SIAM J. Optim. 11(3), 796–817 (2001)
Laurent, M.: A comparison of the sherali-adams, lovász-schrijver, and lasserre relaxations for 0–1 programming. Math. Oper. Res. 28(3), 470–496 (2003)
Lewin-Eytan, L., Naor, J.S., Orda, A.: Routing and admission control in networks with advance reservations. In: Jansen, K., Leonardi, S., Vazirani, V. (eds.) APPROX 2002. LNCS, vol. 2462, pp. 215–228. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45753-4_19
Lovász, L.: A characterization of perfect graphs. J. Comb. Theory Ser. B 13(2), 95–98 (1972)
Neuwohner, M.: An improved approximation algorithm for the maximum weight independent set problem in d-claw free graphs. In: Bläser, M., Monmege, B. (eds.) 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021, Saarbrücken, Germany, 16–19 March 2021 (Virtual Conference). LIPIcs, vol. 187, pp. 53:1–53:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021). https://doi.org/10.4230/LIPIcs.STACS.2021.53
Parrilo, P.A.: Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. California Institute of Technology (2000)
Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Math. Program. 96, 293–320 (2003)
Rothvoß, T.: The Lasserre hierarchy in approximation algorithms. Lecture Notes for the MAPSP, pp. 1–25 (2013)
Scott, A., Seymour, P.: A survey of \(\chi \)-boundedness. J. Graph Theory 95(3), 473–504 (2020)
Sherali, H.D., Adams, W.P.: A hierarchy of relaxations between the continuous and convex hull representations for zero-one programming problems. SIAM J. Discret. Math. 3(3), 411–430 (1990)
Thiery, T., Ward, J.: An improved approximation for maximum weighted k-set packing. In: Bansal, N., Nagarajan, V. (eds.) Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, 22–25 January 2023, pp. 1138–1162. SIAM (2023). https://doi.org/10.1137/1.9781611977554.ch42
Yang, J.: On coloring claw-free graphs (2007). https://www.mathcs.bethel.edu/yang/papers/clawfree.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Chalermsook, P., Gadekar, A., Khodamoradi, K., Spoerhase, J. (2023). Independent Set in k-Claw-Free Graphs: Conditional \(\chi \)-Boundedness and the Power of LP/SDP Relaxations. In: Byrka, J., Wiese, A. (eds) Approximation and Online Algorithms . WAOA 2023. Lecture Notes in Computer Science, vol 14297. Springer, Cham. https://doi.org/10.1007/978-3-031-49815-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-031-49815-2_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-49814-5
Online ISBN: 978-3-031-49815-2
eBook Packages: Computer ScienceComputer Science (R0)