Advertisement

Effectiveness of Structural Restrictions for Hybrid CSPs

  • Vladimir Kolmogorov
  • Michal Rolínek
  • Rustem TakhanovEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9472)

Abstract

Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be equivalently stated as computing a homomorphism \({\mathbf {R}\rightarrow \varvec{\Gamma }}\) between two relational structures, e.g. between two directed graphs. Analyzing its complexity has been a prominent research direction, especially for the fixed template CSPs where the right side \(\varvec{\Gamma }\) is fixed and the left side \(\mathbf {R}\) is unconstrained.

Far fewer results are known for the hybrid setting that restricts both sides simultaneously. It assumes that \(\mathbf {R}\) belongs to a certain class of relational structures (called a structural restriction in this paper). We study which structural restrictions are effective, i.e. there exists a fixed template \(\varvec{\Gamma }\) (from a certain class of languages) for which the problem is tractable when \(\mathbf {R}\) is restricted, and NP-hard otherwise. We provide a characterization for structural restrictions that are closed under inverse homomorphisms. The criterion is based on the chromatic number of a relational structure defined in this paper; it generalizes the standard chromatic number of a graph.

As our main tool, we use the algebraic machinery developed for fixed template CSPs. To apply it to our case, we introduce a new construction called a “lifted language”. We also give a characterization for structural restrictions corresponding to minor-closed families of graphs, extend results to certain Valued CSPs (namely conservative valued languages), and state implications for (valued) CSPs with ordered variables and for the maximum weight independent set problem on some restricted families of graphs.

Keywords

Valued Constraint Satisfaction Problems (VCSP) Minor-closed Family Inverse Homomorphism Prominent Research Directions Fundamental Algorithmic Problems 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Notes

Acknowledgements

We thank Andrei Krokhin for helpful comments on the manuscript. This work was supported by the European Research Council under the European Unions Seventh Framework Programme (FP7/2007–2013)/ERC grant agreement no 616160.

References

  1. 1.
    Appel, K., Haken, W.: Every planar map is four colorable. Part i: discharging. Illinois J. Math. 21(3), 429–490 (1977)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Barto, L., Kozik. M.: New conditions for Taylor varieties and CSP. In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11–14 July 2010, Edinburgh, UK, pp. 100–109 (2010)Google Scholar
  3. 3.
    Barto, L., Kozik, M., Niven, T.: The CSP dichotomy holds for digraphs with no sources and no sinks (a positive answer to a conjecture of Bang-Jensen and Hell). SIAM J. Comput. 38(5), 1782–1802 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Bulatov, A.: A dichotomy theorem for constraint satisfaction problems on a 3-element set. J. ACM 53(1), 66–120 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Bulatov, A.: Complexity of conservative constraint satisfaction problems. ACM Trans. Comput. Logic, 12(4) (2011). Article 24Google Scholar
  6. 6.
    Bulatov, A., Krokhin, A., Jeavons, A.: Classifying the complexity of constraints using finite algebras. SIAM J. Comput. 34(3), 720–742 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Bulín, J., Delić, D., Jackson, M., Niven, T.: On the reduction of the CSP dichotomy conjecture to digraphs. In: Schulte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 184–199. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  8. 8.
    Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC 1971, pp. 151–158. ACM, New York (1971)Google Scholar
  9. 9.
    Cooper, M.C., Živný, S.: Hybrid tractability of valued constraint problems. Artif. Intell. 175(9–10), 1555–1569 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Feder, T., Vardi, M.Y.: The computational structure of monotone monadic SNP and constraint satisfaction: a study through datalog and group theory. SIAM J. Comput. 28(1), 57–104 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Geiger, D.: Closed systems of functions and predicates. Pacific J. Math. 27(1), 95–100 (1968)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Grohe, M.: The complexity of homomorphism and constraint satisfaction problems seen from the other side. J. ACM 54(1), 1:1–1:24 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Grötschel, M., Lovász, L., Schrijver, A.: Geometric Algorithms and Combinatorial Optimization. Springer-Verlag, New York (1988)CrossRefzbMATHGoogle Scholar
  14. 14.
    Hell, P., Nešetřil, J.: On the complexity of h-coloring. J. Comb. Theory, Series B 48(1), 92–110 (1990)CrossRefzbMATHGoogle Scholar
  15. 15.
    Jeavons, P., Krokhin, A., Živný, S.: The complexity of valued constraint satisfaction. Bull. EATCS 113, 21–55 (2014)Google Scholar
  16. 16.
    Jeavons, P.: On the algebraic structure of combinatorial problems. Theor. Comput. Sci. 200(1–2), 185–204 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Jégou, P.: Decomposition of domains based on the micro-structure of finite constraint-satisfaction problems. In: AAAI, pp. 731–736 (1993)Google Scholar
  18. 18.
    Kolmogorov, V., Rolínek, M., Takhanov, R.: Effectiveness of structural restrictions for hybrid CSPs (2015). arXiv1504.07067
  19. 19.
    Kuznetsov, A.V.: Algebra of logic and their generalizations. In: Mathematics in USSR for 40 years, vol. 1, pp. 105–115. Fizmatgiz Moscow (1959)Google Scholar
  20. 20.
    Maróti, M., McKenzie, R.: Existence theorems for weakly symmetric operations. Algebra Universalis 59(3–4), 463–489 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Nešetřil, J., Ossona de Mendez, P.: Colorings and homomorphisms of minor closed classes. In: Aronov, B., Basu, S., Pach, J., Sharir, M. (eds.) Discrete and Computational Geometry. Algorithms and Combinatorics, vol. 25, pp. 651–664. Springer, Heidelberg (2003) CrossRefGoogle Scholar
  22. 22.
    Post, E.L.: On The Two-Valued Iterative Systems of Mathematical Logic. Princeton University Press, Princeton (1941)Google Scholar
  23. 23.
    Schaefer, T.J.: The complexity of satisfiability problems. In: Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC), pp. 216–226 (1978)Google Scholar
  24. 24.
    Siggers, M.H.: A strong Mal’cev condition for locally finite varieties omitting the unary type. Algebra Universalis 64(1–2), 15–20 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Swarts, J.: The complexity of digraph homomorphisms: Local tournaments, injective homomorphisms and polymorphisms. Ph. D. thesis, University of Victoria, Canada (2008)Google Scholar
  26. 26.
    Takhanov, R.S.: A dichotomy theorem for the general minimum cost homomorphism problem. In: Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS), pp. 657–668 (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Vladimir Kolmogorov
    • 1
  • Michal Rolínek
    • 1
  • Rustem Takhanov
    • 2
    Email author
  1. 1.IST AustriaKlosterneuburgAustria
  2. 2.Nazarbayev UniversityAstanaKazakhstan

Personalised recommendations