Title of article
Reflexive digraphs with near unanimity polymorphisms
Author/Authors
Marَti، نويسنده , , M. and Zلdori، نويسنده , , L.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2012
Pages
13
From page
2316
To page
2328
Abstract
In this paper, we prove that if a finite reflexive digraph admits Gumm operations, then it also admits a near unanimity operation. This is a generalization of similar results obtained earlier for posets and symmetric reflexive digraphs by the second author and his collaborators. In the special case of reflexive digraphs, our new result confirms a conjecture of Valeriote that states that any finite relational structure of finite signature that admits Gumm operations also admits an edge operation. We also prove that every finite reflexive digraph that admits a near unanimity operation admits totally symmetric idempotent operations of all arities. Finally, the aforementioned results yield a polynomial-time algorithm to decide whether a finite reflexive digraph admits a near unanimity operation.
Keywords
2)-consistency checking algorithm , Reflexive digraphs , Jَnsson , Gumm and totally symmetric idempotent polymorphisms , Constraint satisfaction , (1 , Near unanimity
Journal title
Discrete Mathematics
Serial Year
2012
Journal title
Discrete Mathematics
Record number
1600029
Link To Document