Document Open Access Logo

Maximum Bipartite vs. Triangle-Free Subgraph

Authors Tamio-Vesa Nakajima , Stanislav Živný

PDF

File

Thumbnail PDF
PDF
LIPIcs.ICALP.2025.121.pdf
  • Filesize: 0.92 MB
  • 16 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Theory of computation → Design and analysis of algorithms
  • Theory of computation → Problems, reductions and completeness
Keywords
  • approximation
  • promise constraint satisfaction
  • triangle-free subgraphs

Metrics

Abstract

Given a (multi)graph G which contains a bipartite subgraph with ρ edges, what is the largest triangle-free subgraph of G that can be found efficiently? We present an SDP-based algorithm that finds one with at least 0.8823 ρ edges, thus improving on the subgraph with 0.878 ρ edges obtained by the classic Max-Cut algorithm of Goemans and Williamson. On the other hand, by a reduction from Håstad’s 3-bit PCP we show that it is NP-hard to find a triangle-free subgraph with (25 / 26 + ε) ρ ≈ (0.961 + ε) ρ edges.
As an application, we classify the Maximum Promise Constraint Satisfaction Problem, denoted byMaxPCSP(G, H), for all bipartite G: Given an input (multi)graph X which admits a G-colouring satisfying ρ edges, find an H-colouring of X that satisfies ρ edges. This problem is solvable in polynomial time, apart from trivial cases, if H contains a triangle, and is NP-hard otherwise.

Cite As Get BibTex

Tamio-Vesa Nakajima and Stanislav Živný. Maximum Bipartite vs. Triangle-Free Subgraph. In 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 334, pp. 121:1-121:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.ICALP.2025.121

Author Details

Tamio-Vesa Nakajima
  • Department of Computer Science, University of Oxford, UK
Stanislav Živný
  • Department of Computer Science, University of Oxford, UK

Funding

  • Nakajima, Tamio-Vesa: UKRI EP/X024431/1, Clarendon Fund Scholarship.
  • Živný, Stanislav: UKRI EP/X024431/1.

Acknowledgements

We thank the anonymous reivewers for their feedback. We also thank Jakub Opršal, who asked us about the complexity of maximisation PCSPs for graphs beyond cliques.

References

  1. Per Austrin, Amey Bhangale, and Aditya Potukuchi. Improved inapproximability of rainbow coloring. In Proc. 31st Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'20), pages 1479-1495, 2020. URL: https://doi.org/10.1137/1.9781611975994.90.
  2. Per Austrin, Venkatesan Guruswami, and Johan Håstad. (2+ε)-Sat is NP-hard. SIAM J. Comput., 46(5):1554-1573, 2017. URL: https://doi.org/10.1137/15M1006507.
  3. Libor Barto, Jakub Bulín, Andrei A. Krokhin, and Jakub Opršal. Algebraic approach to promise constraint satisfaction. J. ACM, 68(4):28:1-28:66, 2021. URL: https://doi.org/10.1145/3457606.
  4. Libor Barto, Silvia Butti, Alexandr Kazda, Caterina Viola, and Stanislav Živný. Algebraic approach to approximation. In 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'24), pages 10:1-10:14. ACM, 2024. URL: https://doi.org/10.1145/3661814.3662076.
  5. Mihir Bellare, Oded Goldreich, and Madhu Sudan. Free Bits, PCPs, and Nonapproximability - Towards Tight Results. SIAM J. Comput., 27(3):804-915, 1998. URL: https://doi.org/10.1137/S0097539796302531.
  6. Amey Bhangale and Subhash Khot. Optimal Inapproximability of Satisfiable k-LIN over Non-Abelian Groups. In Proc. 53rd Annual ACM Symposium on Theory of Computing (STOC'21), pages 1615-1628. ACM, 2021. URL: https://doi.org/10.1145/3406325.3451003.
  7. Amey Bhangale, Subhash Khot, and Dor Minzer. On Approximability of Satisfiable k-CSPs: I. In Proc. 54th Annual ACM Symposium on Theory of Computing (STOC'22), pages 976-988. ACM, 2022. URL: https://doi.org/10.1145/3519935.3520028.
  8. Amey Bhangale, Subhash Khot, and Dor Minzer. On Approximability of Satisfiable k-CSPs: II. In Proc. 55th Annual ACM Symposium on Theory of Computing (STOC'23), pages 632-642. ACM, 2023. URL: https://doi.org/10.1145/3564246.3585120.
  9. Amey Bhangale, Subhash Khot, and Dor Minzer. On Approximability of Satisfiable k-CSPs: III. In Proc. 55th Annual ACM Symposium on Theory of Computing (STOC'23), pages 643-655. ACM, 2023. URL: https://doi.org/10.1145/3564246.3585121.
  10. Amey Bhangale, Subhash Khot, and Dor Minzer. On Approximability of Satisfiable k-CSPs: IV. In Proc. 56th Annual ACM Symposium on Theory of Computing (STOC'24), pages 1423-1434. ACM, 2024. URL: https://doi.org/10.1145/3618260.3649610.
  11. Ankur Bhargava and S. Rao Kosaraju. Derandomization of dimensionality reduction and SDP based algorithms. In Proc. 8th International Workshop on Algorithms and Data Structures (WADS'05), pages 396-408. Springer Berlin Heidelberg, 2005. URL: https://doi.org/10.1007/11534273_35.
  12. Joshua Brakensiek and Venkatesan Guruswami. Promise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean Dichotomy. SIAM J. Comput., 50(6):1663-1700, 2021. URL: https://doi.org/10.1137/19M128212X.
  13. Joshua Brakensiek, Venkatesan Guruswami, and Sai Sandeep. SDPs and Robust Satisfiability of Promise CSP. In Proc. Annual 55th ACM Symposium on Theory of Computing (STOC'23), pages 609-622. ACM, 2023. URL: https://doi.org/10.1145/3564246.3585180.
  14. Andrei A. Bulatov. A dichotomy theorem for nonuniform CSPs. In Proc. 58th Annual IEEE Symposium on Foundations of Computer Science (FOCS'17), pages 319-330, USA, 2017. IEEE. URL: https://doi.org/10.1109/FOCS.2017.37.
  15. Irit Dinur, Oded Regev, and Clifford Smyth. The hardness of 3-uniform hypergraph coloring. Comb., 25(5):519-535, September 2005. URL: https://doi.org/10.1007/s00493-005-0032-4.
  16. Euclid. The Thirteen Books of Euclid’s Elements. Cambridge University Press, Cambridge, second edition, 1926. Trans. Sir Thomas Little Heath. Google Scholar
  17. Alan M. Frieze and Mark Jerrum. Improved Approximation Algorithms for MAX k-CUT and MAX BISECTION. Algorithmica, 18(1):67-81, 1997. URL: https://doi.org/10.1007/BF02523688.
  18. M. R. Garey and D. S. Johnson. The complexity of near-optimal graph coloring. J. ACM, 23(1):43-49, 1976. URL: https://doi.org/10.1145/321921.321926.
  19. Michel X. Goemans and David P. Williamson. Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. ACM, 42(6):1115-1145, 1995. URL: https://doi.org/10.1145/227683.227684.
  20. Johan Håstad. Some optimal inapproximability results. J. ACM, 48(4):798-859, July 2001. URL: https://doi.org/10.1145/502090.502098.
  21. Pavol Hell and Jaroslav Nešetřil. On the Complexity of H-coloring. J. Comb. Theory, Ser. B, 48(1):92-110, 1990. URL: https://doi.org/10.1016/0095-8956(90)90132-J.
  22. Richard M. Karp. Reducibility among combinatorial problems. In Complexity of Computer Computations: Proceedings of a symposium on the Complexity of Computer Computations, pages 85-103. Springer US, 1972. URL: https://doi.org/10.1007/978-1-4684-2001-2_9.
  23. Subhash Khot. On the power of unique 2-prover 1-round games. In Proc. 34th Annual ACM Symposium on Theory of Computing (STOC'02), pages 767-775. ACM, 2002. URL: https://doi.org/10.1145/509907.510017.
  24. Subhash Khot, Guy Kindler, Elchanan Mossel, and Ryan O'Donnell. Optimal Inapproximability Results for MAX-CUT and Other 2-Variable CSPs? SIAM J. Comput., 37(1):319-357, 2007. URL: https://doi.org/10.1137/S0097539705447372.
  25. Sanjeev Mahajan and H. Ramesh. Derandomizing approximation algorithms based on semidefinite programming. SIAM J. Comput., 28(5):1641-1663, 1999. URL: https://doi.org/10.1137/S0097539796309326.
  26. Elchanan Mossel, Ryan O'Donnell, and Krzysztof Oleszkiewicz. Noise stability of functions with low influences: invariance and optimality. Ann. of Math. (2), 171(1):295-341, 2010. URL: https://doi.org/10.4007/annals.2010.171.295.
  27. Tamio-Vesa Nakajima and Stanislav Živný. Maximum bipartite vs. triangle-free subgraph, 2024. Technical Report. URL: https://arxiv.org/abs/2406.20069.
  28. Christos H. Papadimitriou and Mihalis Yannakakis. Optimization, approximation, and complexity classes. J. Comput. Syst. Sci., 43(3):425-440, 1991. URL: https://doi.org/10.1016/0022-0000(91)90023-X.
  29. Prasad Raghavendra. Optimal algorithms and inapproximability results for every CSP? In Proc. 40th Annual ACM Symposium on Theory of Computing (STOC'08), pages 245-254, 2008. URL: https://doi.org/10.1145/1374376.1374414.
  30. Prasad Raghavendra and David Steurer. How to round any CSP. In Proc. 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS'09), pages 586-594. IEEE Computer Society, 2009. URL: https://doi.org/10.1109/FOCS.2009.74.
  31. Johan Thapper and Stanislav Živný. The Complexity of Finite-Valued CSPs. J. ACM, 63(4):37:1-37:33, 2016. URL: https://doi.org/10.1145/2974019.
  32. Luca Trevisan, Gregory B. Sorkin, Madhu Sudan, and David P. Williamson. Gadgets, approximation, and linear programming. SIAM J. Comput., 29(6):2074-2097, 2000. URL: https://doi.org/10.1137/S0097539797328847.
  33. Mihalis Yannakakis. Edge-deletion problems. SIAM J. Computing, 10(2):297-309, 1981. URL: https://doi.org/10.1137/0210021.
  34. Dmitriy Zhuk. A proof of the CSP dichotomy conjecture. J. ACM, 67(5):30:1-30:78, 2020. URL: https://doi.org/10.1145/3402029.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact