CD(4) has bounded width

Algebra Universalis

Volumn 60, Issue 3, 2009, Pages 293-307

  Carvalho, Catarina ^a   Dalmau, VÍctor ^b   Marković, Petar ^c   Maróti, Miklós ^d  

^a UNIVERSITY OF LISBON   (Portugal)

^b UNIVERSITAT POMPEU FABRA   (Spain)

^c UNIVERSITY OF NOVI SAD   (Serbia)

^d UNIVERSITY OF SZEGED   (Hungary)

Author keywords

Bounded width; Congruence distribu tivity; Constraint satisfaction problem

Indexed keywords

EID: 63349109026     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00012-009-2113-5     Document Type: Article

References (21)

1. L. Barto, M. Kozik and T. Niven, CSP dichotomy holds for digraphs with no sources and no sinks (a positive answer to the conjecture of Bang-Jensen and Hell), SIAM J. Comput. 38 (2009), no. 5, 1782–1802.
2. J. Berman, P. Idziak, P. Marković, R. McKenzie, M. Valeriote and R. Willard, Varieties with few subalgebras of powers, to appear in Trans. Amer. Math. Soc.
3. A. Bulatov, A graph of a relational structure and constraint satisfaction problems, Proceedings of the 19th IEEE Annual Symposium on Logic in Computer Science (LICS’04), Turku, Finland, 2004.
4. A. Bulatov, Combinatorial problems raised from 2-semilattices, Journal of Algebra 298 (2006), no. 2, 321–339.
5. A. Bulatov, P. Jeavons and A. Krokhin, Classifying the complexity of constraints using finite algebras, SIAM J. Comput. 34 (2005), no. 3, 720–742 (electronic).
6. A. Bulatov, A. Krokhin and B. Larose, Dualities for constraint satisfaction problems, in: Complexity of Constraints, Nadia Creignou Phokion G. Kolaitis, and Heribert Vollmer (Eds.) LNCS 5250, Springer-Verlag, Berlin, 2008, pp. 93–124.
7. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics 78, Springer, New York, 1981. http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra.pdf
8. V. Dalmau, Generalized majority-minority operations are tractable, Log. Methods Comput. Sci. 2 (2006), no. 4, 4:1, 14 pp.
9. V. Dalmau and J. Pearson, Closure functions and width 1 problems, CP’99: Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming, 1999, pp. 159–173.
10. T. Feder and M. Y. Vardi, The computational structure of monotone monadic SNP and constraint satisfaction: a study through Datalog and group theory, SIAM J. Comput. 28 (1999), no. 1, 57–104 (electronic).
11. D. Hobby and R. McKenzie, The Structure of Finite Algebras, Contemporary Mathematics Series 76, American Mathematical Society, Providence, RI, 1991.
12. P. Idziak, P. Marković, R. McKenzie, M. Valeriote and R. Willard, Tractability and learnability arising from algebras with few subpowers, in: Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), July 10-14, Wroclaw, Poland, pp. 213–222.
13. P. Jeavons, D. Cohen and M. Gyssens, Closure properties of constraints, J. ACM. 44 (1997), no. 4, 527–548.
14. B. Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121.
15. E. Kiss and M. Valeriote, On tractability and congruence distributivity, Log. Methods Comput. Sci. 3 (2007), 2:6, 20 pp. (electronic).
16. P. G. Kolaitis and M. Y. Vardi, A game-theoretic approach to constraint satisfaction, AAAI-2000/IAAI-2000 Proceedings (Austin, TX), MIT Press, Cambridge, MA, 2000, pp. 175-181.
17. A. Krokhin, A. Bulatov and P. Jeavons, The complexity of constraint satisfaction: an algebraic approach, Notes taken by Alexander Semigrodskikh, Structural Theory of Automata, Semigroups, and Universal Algebra, NATO Sci. Ser. II Math. Phys. Chem. 207, Springer, Dordrecht, 2005, pp. 181-213.
18. B. Larose and P. Tesson, Universal algebra and hardness results for constraint satisfaction problems, to appear in Theoret. Comput. Sci. (Special issue for selected papers from ICALP 2007).
19. B. Larose and L. Zadori, Bounded width problems and algebras, Algebra Universalis 56 (2007), no. 3-4, 439-466.
20. M. Maroti and R. McKenzie, Existence theorems for weakly symmetric operations, Algebra Universalis 59 (2008), no. 3, 463-489.
21. R. McKenzie, G. McNulty and W. Taylor, Algebras, Lattices, Varieties. Vol. I, The Wadsworth & Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1987.