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 :
بازگشت