CD(4) has bounded width

• Autores: Catarina C. Carvalho, Víctor Dalmau Lloret , Petar Markovic, Miklós Maróti
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 60, Nº. 3, 2009, págs. 293-307
• Idioma: inglés
• DOI: 10.1007/s00012-009-2113-5
• Texto completo no disponible (Saber más ...)
• Resumen

  • We prove that the constraint languages invariant under a short sequence of Jónsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they have bounded width. This improves a previous result by Kiss and Valeriote and presents some evidence that the Larose�Zádori conjecture holds in the congruence-distributive case.