A strong Mal'cev condition for locally finite varieties omitting the unary type

Algebra Universalis

Volumn 64, Issue 1, 2010, Pages 15-20

  Siggers, Mark H ^a  

^a Kyungpook National University   (South Korea)

Author keywords

Mal'cev condition; omitting Type 1; Taylor operation

Indexed keywords

EID: 78649987429     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00012-010-0082-3     Document Type: Article

References (15)

1. Barto L., Kozik M., Niven T.: The 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, 1782-1802 (2008/09).
2. Berman J., Idziak P., Marković P., McKenzie R., Valeriote M., Willard R.: Varieties with few subalgebras of powers. Trans. Amer. Math. Soc. 362, 1445-1473 (2010).
3. Bulatov A.: H-coloring dichotomy revisited. Theoret. Comput. Sci. 349, 31-39 (2005).
4. Bulatov, A., Jeavons, P.: Algebraic structures in combinatorial problems. Tech. Rep. MATH-AL-4-2001, Technische universitt Dresden, Dresden, Germany.
5. Bulatov A., Jeavons P., Krokhin A.: Classifying the complexity of constraints using finite algebras. SIAM J. Comput. 34, 720-742 (2005).
6. Feder T., Vardi M.: The computational structure of monotone monadic SNP and constraint satisfaction: a study through Datalog and group theory. SIAM J. Comput. 28, 57-104 (1999). doi: 10. 1137/S0097539794266766.
7. Hell P., Nešetřil J.: On the complexity of H-colouring. J. Combin. Theory B 48, 92-100 (1990).
8. Hobby, D., McKenzie, R.: The Structure of Finite Algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988).
9. Jeavons P. G.: On the algebraic structure of combinatorial problems. Theoret. Comput. Sci. 200, 185-204 (1998). doi: 10. 1016/S0304-3975(97)00230-2.
10. Larose B.: Taylor operations on finite reflexive structures. Int. J. Math. Comput. Sci. 1, 1-26 (2006).
11. Markovič, P.: Personal communication.
12. Maróti M., McKenzie R.: Existence theorems for weakly symmetric operations. Algebra Universalis 59, 463-489 (2008). doi: 10. 1007/s00012-008-2122-9.
13. McKenzie, R.: Personal communication.
14. Nešetřil J., Siggers M., Zadori L.: A combinatorial CSP dichotomy classification conjecture. European Journal of Combinatorics 31, 280-296 (2010).
15. Taylor W.: Varieties obeying homotopy laws. Canad. J. Math. 29, 498-527 (1977).