Approximating CSPs with Outliers

Authors Suprovat Ghoshal, Anand Louis



PDF
Thumbnail PDF

File

LIPIcs.APPROX-RANDOM.2022.43.pdf
  • Filesize: 0.72 MB
  • 16 pages

Document Identifiers

Author Details

Suprovat Ghoshal
  • University of Michgan, Ann Arbor, MI, USA
Anand Louis
  • Indian Institute of Science, Bangalore, India

Acknowledgements

The authors thank the anonymous reviewers for their helpful suggestions and comments.

Cite AsGet BibTex

Suprovat Ghoshal and Anand Louis. Approximating CSPs with Outliers. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 245, pp. 43:1-43:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2022.43

Abstract

Constraint satisfaction problems (CSPs) are ubiquitous in theoretical computer science. We study the problem of Strong-CSP s, i.e. instances where a large induced sub-instance has a satisfying assignment. More formally, given a CSP instance 𝒢(V, E, [k], {Π_{ij}}_{(i,j) ∈ E}) consisting of a set of vertices V, a set of edges E, alphabet [k], a constraint Π_{ij} ⊂ [k] × [k] for each (i,j) ∈ E, the goal of this problem is to compute the largest subset S ⊆ V such that the instance induced on S has an assignment that satisfies all the constraints. In this paper, we study approximation algorithms for UniqueGames and related problems under the Strong-CSP framework when the underlying constraint graph satisfies mild expansion properties. In particular, we show that given a StrongUniqueGames instance whose optimal solution S^* is supported on a regular low threshold rank graph, there exists an algorithm that runs in time exponential in the threshold rank, and recovers a large satisfiable sub-instance whose size is independent on the label set size and maximum degree of the graph. Our algorithm combines the techniques of Barak-Raghavendra-Steurer (FOCS'11), Guruswami-Sinop (FOCS'11) with several new ideas and runs in time exponential in the threshold rank of the optimal set. A key component of our algorithm is a new threshold rank based spectral decomposition, which is used to compute a "large" induced subgraph of "small" threshold rank; our techniques build on the work of Oveis Gharan and Rezaei (SODA'17), and could be of independent interest.

Subject Classification

ACM Subject Classification
  • Theory of computation → Approximation algorithms analysis
Keywords
  • Constraint Satisfaction Problems
  • Strong Unique Games
  • Threshold Rank

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Amit Agarwal, Moses Charikar, Konstantin Makarychev, and Yury Makarychev. O(sqrt(log n)) approximation algorithms for min uncut, min 2cnf deletion, and directed cut problems. In Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pages 573-581, 2005. Google Scholar
  2. Vedat Levi Alev and Lap Chi Lau. Approximating unique games using low diameter graph decomposition. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 2017. Google Scholar
  3. Sanjeev Arora, Boaz Barak, and David Steurer. Subexponential algorithms for unique games and related problems. Journal of the ACM (JACM), 62(5):1-25, 2015. Google Scholar
  4. Sanjeev Arora and Rong Ge. New tools for graph coloring. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, pages 1-12. Springer, 2011. Google Scholar
  5. Sanjeev Arora, Subhash A Khot, Alexandra Kolla, David Steurer, Madhur Tulsiani, and Nisheeth K Vishnoi. Unique games on expanding constraint graphs are easy. In Proceedings of the fortieth annual ACM symposium on Theory of computing, pages 21-28, 2008. Google Scholar
  6. Mitali Bafna, Boaz Barak, Pravesh K Kothari, Tselil Schramm, and David Steurer. Playing unique games on certified small-set expanders. In Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, pages 1629-1642, 2021. Google Scholar
  7. Nikhil Bansal and Subhash Khot. Optimal long code test with one free bit. In 2009 50th Annual IEEE Symposium on Foundations of Computer Science, pages 453-462. IEEE, 2009. Google Scholar
  8. Boaz Barak, Prasad Raghavendra, and David Steurer. Rounding semidefinite programming hierarchies via global correlation. In 2011 ieee 52nd annual symposium on foundations of computer science, pages 472-481. IEEE, 2011. Google Scholar
  9. Mohammad Bavarian, Thomas Vidick, and Henry Yuen. Parallel repetition via fortification: Analytic view and the quantum case. In Christos H. Papadimitriou, editor, 8th Innovations in Theoretical Computer Science Conference, ITCS 2017, January 9-11, 2017, Berkeley, CA, USA, volume 67 of LIPIcs, pages 22:1-22:33, 2017. Google Scholar
  10. Nader H Bshouty and Lynn Burroughs. Massaging a linear programming solution to give a 2-approximation for a generalization of the vertex cover problem. In Annual Symposium on Theoretical Aspects of Computer Science, pages 298-308. Springer, 1998. Google Scholar
  11. Moses Charikar, Konstantin Makarychev, and Yury Makarychev. Near-optimal algorithms for unique games. In Proceedings of the thirty-eighth annual ACM symposium on Theory of computing, pages 205-214. ACM, 2006. Google Scholar
  12. Eden Chlamtac, Konstantin Makarychev, and Yury Makarychev. How to play unique games using embeddings. In 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06), pages 687-696. IEEE, 2006. Google Scholar
  13. Uriel Feige, MohammadTaghi Hajiaghayi, and James R Lee. Improved approximation algorithms for minimum weight vertex separators. SIAM Journal on Computing, 38(2):629-657, 2008. Google Scholar
  14. Jean Fonlupt, Ali Ridha Mahjoub, and JP Uhry. Compositions in the bipartite subgraph polytope. Discrete mathematics, 105(1-3):73-91, 1992. Google Scholar
  15. Shayan Oveis Gharan and Alireza Rezaei. Approximation algorithms for finding maximum induced expanders. In Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1158-1169. SIAM, 2017. Google Scholar
  16. Shayan Oveis Gharan and Luca Trevisan. A new regularity lemma and faster approximation algorithms for low threshold rank graphs. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings, volume 8096 of Lecture Notes in Computer Science, pages 303-316. Springer, 2013. Google Scholar
  17. Shayan Oveis Gharan and Luca Trevisan. Partitioning into expanders. In Chandra Chekuri, editor, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, Oregon, USA, January 5-7, 2014, pages 1256-1266. SIAM, 2014. Google Scholar
  18. Suprovat Ghoshal and Anand Louis. Approximation algorithms and hardness for strong unique games. In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 414-433. SIAM, 2021. Google Scholar
  19. Suprovat Ghoshal and Anand Louis. Approximating csps with outliers. CoRR, abs/2205.11328, 2022. URL: https://doi.org/10.48550/arXiv.2205.11328.
  20. Michel X. Goemans and David P. Williamson. .879-approximation algorithms for MAX CUT and MAX 2sat. In Frank Thomson Leighton and Michael T. Goodrich, editors, Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing, 23-25 May 1994, Montréal, Québec, Canada, pages 422-431. ACM, 1994. URL: https://doi.org/10.1145/195058.195216.
  21. Venkatesan Guruswami and Ali Kemal Sinop. Lasserre hierarchy, higher eigenvalues, and approximation schemes for graph partitioning and quadratic integer programming with PSD objectives. In Rafail Ostrovsky, editor, IEEE 52nd Annual Symposium on Foundations of Computer Science, FOCS 2011, Palm Springs, CA, USA, October 22-25, 2011, pages 482-491. IEEE Computer Society, 2011. Google Scholar
  22. Venkatesan Guruswami and Ali Kemal Sinop. Approximating non-uniform sparsest cut via generalized spectra. In Sanjeev Khanna, editor, Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013, New Orleans, Louisiana, USA, January 6-8, 2013, pages 295-305. SIAM, 2013. Google Scholar
  23. Johan Håstad. Some optimal inapproximability results. Journal of the ACM (JACM), 48(4):798-859, 2001. Google Scholar
  24. Alexandra Kolla. Spectral algorithms for unique games. In Proceedings of the 25th Annual IEEE Conference on Computational Complexity, CCC 2010, Cambridge, Massachusetts, USA, June 9-12, 2010, pages 122-130. IEEE Computer Society, 2010. Google Scholar
  25. James R Lee, Shayan Oveis Gharan, and Luca Trevisan. Multiway spectral partitioning and higher-order cheeger inequalities. Journal of the ACM (JACM), 61(6):1-30, 2014. Google Scholar
  26. Daniel Lokshtanov, Dániel Marx, and Saket Saurabh. Known algorithms on graphs of bounded treewidth are probably optimal. In Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, pages 777-789. SIAM, 2011. Google Scholar
  27. Anand Louis and Yury Makarychev. Approximation algorithms for hypergraph small-set expansion and small-set vertex expansion. Theory of Computing, 12(1):1-25, 2016. Google Scholar
  28. Anand Louis, Prasad Raghavendra, Prasad Tetali, and Santosh Vempala. Many sparse cuts via higher eigenvalues. In Proceedings of the forty-fourth annual ACM symposium on Theory of computing, pages 1131-1140, 2012. Google Scholar
  29. Anand Louis, Prasad Raghavendra, and Santosh Vempala. The complexity of approximating vertex expansion. In 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, pages 360-369. IEEE, 2013. Google Scholar
  30. Anand Louis and Rakesh Venkat. Semi-random Graphs with Planted Sparse Vertex Cuts: Algorithms for Exact and Approximate Recovery. In Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, and Donald Sannella, editors, 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), volume 107 of Leibniz International Proceedings in Informatics (LIPIcs), pages 101:1-101:15, Dagstuhl, Germany, 2018. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. Google Scholar
  31. Anand Louis and Rakesh Venkat. Planted Models for k-Way Edge and Vertex Expansion. In Arkadev Chattopadhyay and Paul Gastin, editors, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), volume 150 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1-23:15, Dagstuhl, Germany, 2019. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. Google Scholar
  32. Dana Moshkovitz. Parallel repetition from fortification. In 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, Philadelphia, PA, USA, October 18-21, 2014, pages 414-423. IEEE Computer Society, 2014. Google Scholar
  33. Dana Moshkovitz. Strong parallel repetition for unique games on small set expanders. arXiv preprint arXiv:2103.08743, 2021. Google Scholar
  34. Guy Moshkovitz and Asaf Shapira. Decomposing a graph into expanding subgraphs. Random Structures & Algorithms, 52(1):158-178, 2018. Google Scholar
  35. Prasad Raghavendra. Optimal algorithms and inapproximability results for every CSP? In STOC, pages 245-254, 2008. URL: https://doi.org/10.1145/1374376.1374414.
  36. Prasad Raghavendra and David Steurer. How to round any CSP. In 50th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2009, October 25-27, 2009, Atlanta, Georgia, USA, pages 586-594, 2009. URL: https://doi.org/10.1109/FOCS.2009.74.
  37. Prasad Raghavendra and David Steurer. Graph expansion and the unique games conjecture. In Proceedings of the forty-second ACM symposium on Theory of computing, pages 755-764. ACM, 2010. Google Scholar
  38. Luca Trevisan. Approximation algorithms for unique games. In 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings, pages 197-205. IEEE Computer Society, 2005. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail