A polynomial-time algorithm for near-unanimity graphs

Journal of Algorithms

Volumn 55, Issue 2, 2005, Pages 177-191

  Larose, Benoit ^a   Loten, Cynthia ^b   Zádori, László ^c  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b SIMON FRASER UNIVERSITY   (Canada)

^c UNIVERSITY OF SZEGED   (Hungary)

Author keywords

Near unanimity operation; Polynomial time algorithm; Reflexive graph

Indexed keywords

ALGEBRA; GRAPH THEORY; POLYNOMIALS; SET THEORY;

HOMOMORPHISMS; NEAR-UNANIMITY OPERATIONS; POLYNOMIAL-TIME ALGORITHMS; REFLEXIVE GRAPHS;

ALGORITHMS;

EID: 14844362014     PISSN: 01966774     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jalgor.2004.04.011     Document Type: Article

References (30)

1. Baker K.A., Pixley A.F. Polynomial interpolation and the Chinese remainder theorem for algebraic systems. Math. Z. 143:(2):1975;165-174
2. Bandelt H.-J. Graphs with edge-preserving majority functions. Discrete Math. 103:(1):1992;1-5
3. Bandelt H.-J., Meletiou G.C. An algebraic setting for near-unanimity consensus. Order. 7:(2):1990;169-178
4. R. Brewster, T. Feder, P. Hell, J. Huang, G. MacGillivray, Near-unanimity functions and varieties of graphs, in preparation
5. Brightwell G.R., Winkler P. Gibbs measures and dismantlable graphs. J. Combin. Theory Ser. B. 78:(1):2000;141-166
6. V. Dalmau, A. Krokhin, B. Larose, First-order definable retraction problems for posets and reflexive graphs, 14 pages, LICS 2004, in press
7. V. Dalmau, A. Krokhin, B. Larose, Retractions onto series-parallel posets, 16 pages, submitted for publication, 2003
8. Davey B.A., Heindorf L., McKenzie R. Near unanimity: an obstacle to general duality theory. Algebra Universalis. 33:(3):1995;428-439
9. Dechter R. From local to global consistency. Artificial Intelligence. 55:1992;87-107
10. Feder T. Homomorphisms to oriented cycles and k -partite satisfiability. SIAM J. Discrete Math. 14:2001;471-480
11. T. Feder, P. Hell, personal communication
12. Feder T., Vardi M.Y. The computational structure of monotone monadic (SNP) and constraint satisfaction: a study through datalog and group theory. SIAM J. Comput. 28:1998;57-104
13. Hobby D., McKenzie R. The Structure of Finite Algebras. Contemp. Math. vol. 76:1988;American Mathematical Society, Providence, RI
14. Jeavons P.G., Cohen D.A., Cooper M. Constraints consistency and closure. Artificial Intelligence. 101:(1-2):1998;251-265
15. Jawhari E.M., Pouzet M., Misane D. Retracts: graphs and ordered sets from the metric point of view. Combinatorics and Ordered Sets (Arcata, CA, 1985). Contemp. Math. vol. 57:1986;175-226 Amer. Math. Soc., Providence, RI
16. Kaarli K., Pixley A.F. Polynomial Completeness in Algebraic Systems. 2001;Chapman & Hall/CRC, Boca Raton, FL
17. Kun G., Szabó Cs. Order varieties and monotone retractions of finite posets. Order. 18:2001;79-88
18. B. Larose, Taylor operations on finite reflexive structures, in preparation
19. B. Larose, C. Tardif, A discrete homotopy theory for binary reflexive structures, 27 pages, Adv. Math., in press
20. Larose B., Zádori L. Algebraic properties and dismantlability of finite posets. Discrete Math. 163:1997;89-99
21. B. Larose, L. Zádori, Finite posets and topological spaces in locally finite varieties, 17 pages, Algebra Universalis, in press
22. C. Loten, Retractions of chordal and related graphs, PhD Thesis, Simon Fraser University, 2003
23. M. Maróti, On the (un)decidability of a nu-term, preprint, 34 pages
24. McKenzie R.N., McNulty G.F., Taylor W.F. Algebras, Lattices and Varieties. 1987;Wadsworth and Brooks/Cole, Monterey, CA
25. Mitschke A. Near unanimity identities and congruence distributivity in equational classes. Algebra Universalis. 8:(1):1978;29-32
26. Nowakowski R., Rival I. The smallest graph variety containing all paths. Discrete Math. 43:1983;235-239
27. Pöschel R., Kaluznin L.A. Funtionen- und Relationenalgebren. 1979;VEB Deutscher Verlag der Wissenschaften, Berlin
28. Tardos G. A maximal clone of monotone operations which is not finitely generated. Order. 3:1986;211-218
29. Zádori L. Relational sets and categorical equivalence of algebras. Internat. J. Algebra Comput. 7:(5):1997;561-576
30. Zádori L. Monotone Jónsson operations and near unanimity functions. Algebra Universalis. 33:(2):1995;216-236