Abstract
Given k collections of 2SAT clauses on the same set of variables V, can we find one assignment that satisfies a large fraction of clauses from each collection? We consider such simultaneous constraint satisfaction problems, and design the first nontrivial approximation algorithms in this context.
Our main result is that for every CSP \({\mathcal {F}}\), for , there is a polynomial time constant factor Pareto approximation algorithm for k simultaneous Max-\({\mathcal {F}}\)-CSP instances. Our methods are quite general, and we also use them to give an improved approximation factor for simultaneous Max-w-SAT (for ). In contrast, for \(k = \omega (\log n)\), no nonzero approximation factor for k simultaneous Max-\({\mathcal {F}}\)-CSP instances can be achieved in polynomial time (assuming the Exponential Time Hypothesis).
These problems are a natural meeting point for the theory of constraint satisfaction problems and multiobjective optimization. We also suggest a number of interesting directions for future research.
Amey Bhangale—Research supported in part by NSF grant CCF-1253886.
Swastik Kopparty—Research supported in part by a Sloan Fellowship and NSF grant CCF-1253886.
Sushant Sachdeva—Research supported by the NSF grants CCF-0832797, CCF-1117309, and Daniel Spielman’s & Sanjeev Arora’s Simons Investigator Grants. Part of this work was done when this author was at the Simons Institute for the Theory of Computing, UC Berkeley, and at the Department of Computer Science, Princeton University.
The rights of this work are transferred to the extent transferable according to title 17 §105 U.S.C.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alon, N., Gutin, G., Kim, E.J., Szeider, S., Yeo, A.: Solving MAX- r-SAT above a tight lower bound. Algorithmica 61(3), 638–655 (2011)
Angel, E., Bampis, E., Gourvs, L.: Approximation algorithms for the bi-criteria weighted MAX-CUT problem. Discrete Applied Mathematics 154(12), 1685–1692 (2006)
Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and the hardness of approximation problems. J. ACM 45(3), 501–555 (1998)
Arora, S., Safra, S.: Probabilistic checking of proofs: A new characterization of NP. J. ACM 45(1), 70–122 (1998)
Barak, B., Raghavendra, P., Steurer, D.: Rounding semidefinite programming hierarchies via global correlation. In: FOCS, pp. 472–481 (2011)
Bhangale, A., Kopparty, S., Sachdeva, S.: Simultaneous approximation of constraint satisfaction problems. CoRR abs/1407.7759 (2014). http://arxiv.org/abs/1407.7759
Bollobás, B., Scott, A.D.: Judicious partitions of bounded-degree graphs. Journal of Graph Theory 46(2), 131–143 (2004)
Chan, S.O.: Approximation resistance from pairwise independent subgroups. In: STOC 2013, pp. 447–456. ACM (2013)
Charikar, M., Makarychev, K., Makarychev, Y.: Note on MAX-2SAT. Electronic Colloquium on Computational Complexity (ECCC) 13(064) (2006)
Diakonikolas, I.: Approximation of Multiobjective Optimization Problems. Ph.D. thesis, Columbia University (2011)
Dinur, I., Regev, O., Smyth, C.D.: The hardness of 3 - uniform hypergraph coloring. In: FOCS 2002, p. 33. IEEE Computer Society, Washington (2002)
Ehrgott, M., Gandibleux, X.: A survey and annotated bibliography of multiobjective combinatorial optimization. OR-Spektrum 22(4), 425–460 (2000)
Glaßer, C., Reitwießner, C., Witek, M.: Applications of discrepancy theory in multiobjective approximation. In: FSTTCS 2011, pp. 55–65 (2011)
Goemans, M.X., Williamson, D.P.: A new \(\frac{3}{4}\)-approximation algorithm for MAX SAT. In: IPCO, pp. 313–321 (1993)
Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. ACM 42(6), 1115–1145 (1995)
Guruswami, V., Sinop, A.K.: Lasserre hierarchy, higher eigenvalues, and approximation schemes for graph partitioning and quadratic integer programming with psd objectives. In: FOCS, pp. 482–491 (2011)
Håstad, J.: Some optimal inapproximability results. J. ACM 48(4), 798–859 (2001)
Impagliazzo, R., Paturi, R.: On the complexity of k-SAT. Journal of Computer and System Sciences 62(2), 367–375 (2001)
Impagliazzo, R., Paturi, R., Zane, F.: Which problems have strongly exponential complexity? J. Comput. Syst. Sci. 63(4), 512–530 (2001)
Khanna, S., Sudan, M., Trevisan, L., Williamson, D.P.: The approximability of constraint satisfaction problems. SIAM J. Comput. 30(6), 1863–1920 (2001)
Khot, S.: On the power of unique 2-prover 1-round games, pp. 767–775 (2002)
Kühn, D., Osthus, D.: Maximizing several cuts simultaneously. Comb. Probab. Comput. 16(2), 277–283 (2007)
Mahajan, M., Raman, V.: Parameterizing above guaranteed values: Maxsat and maxcut. J. Algorithms 31(2), 335–354 (1999)
Mahajan, M., Raman, V., Sikdar, S.: Parameterizing above or below guaranteed values. J. Comput. Syst. Sci. 75(2), 137–153 (2009)
Makarychev, Konstantin, Makarychev, Yury: Approximation algorithm for non-boolean MAX k-CSP. In: Gupta, Anupam, Jansen, Klaus, Rolim, José, Servedio, Rocco (eds.) APPROX 2012 and RANDOM 2012. LNCS, vol. 7408, pp. 254–265. Springer, Heidelberg (2012)
Marx, D.: Slides: CSPs and fixed-parameter tractability (2013). http://www.cs.bme.hu/ dmarx/papers/marx-bergen-2013-csp.pdf
Papadimitriou, C.H., Yannakakis, M.: On the approximability of trade-offs and optimal access of web sources. In: Proceedings, 41st Annual Symposium on Foundations of Computer Science, 2000, pp. 86–92 (2000)
Patel, V.: Cutting two graphs simultaneously. J. Graph Theory 57(1), 19–32 (2008)
Raghavendra, P.: Optimal algorithms and inapproximability results for every CSP? In: STOC 2008, pp. 245–254. ACM, New York (2008)
Raghavendra, P., Steurer, D.: How to round any CSP. In: In Proc. 50th IEEE Symp. on Foundations of Comp. Sci. (2009)
Raghavendra, P., Tan, N.: Approximating csps with global cardinality constraints using sdp hierarchies. In: SODA, pp. 373–387 (2012)
Rautenbach, D., Szigeti, Z.: Simultaneous large cuts. Forschungsinstitut für Diskrete Mathematik, Rheinische Friedrich-Wilhelms-Universität (2004)
Schaefer, T.J.: The complexity of satisfiability problems. In: STOC 1978, pp. 216–226. ACM, New York (1978)
Trevisan, L.: Parallel approximation algorithms by positive linear programming. Algorithmica 21(1), 72–88 (1998)
Yannakakis, M.: On the approximation of maximum satisfiability. In: SODA 1992, pp. 1–9 (1992)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bhangale, A., Kopparty, S., Sachdeva, S. (2015). Simultaneous Approximation of Constraint Satisfaction Problems. In: Halldórsson, M., Iwama, K., Kobayashi, N., Speckmann, B. (eds) Automata, Languages, and Programming. ICALP 2015. Lecture Notes in Computer Science(), vol 9134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47672-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-662-47672-7_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47671-0
Online ISBN: 978-3-662-47672-7
eBook Packages: Computer ScienceComputer Science (R0)