A discrete homotopy theory for binary reflexive structures

Advances in Mathematics

Volumn 189, Issue 2, 2004, Pages 268-300

  Larose, Benoit ^a,b   Tardif, Claude ^c  

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

^b Champlain Regional College   (Canada)

^c ROYAL MILITARY COLLEGE OF CANADA   (Canada)

Author keywords

Binary structures; Homotopy; Posets; Reflexive digraphs

Indexed keywords

EID: 8344223690     PISSN: 00018708     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.aim.2003.11.011     Document Type: Article

References (21)

1. Bulatov A.A. Malt'sev constraints are tractable, Research Report RR-02-05, Oxford University Computing Laboratory, April 2002, 36pp.
2. Bulatov A.A. Tractable constraint satisfaction problems on a 3-element set, Research Report RR-02-06, Oxford University Computing Laboratory, April 2002, 47pp.
3. Bulatov A.A. Krokhin A.A. Jeavons P. Constraint satisfaction problems and finite algebras, Automata, Languages and Programming (Geneva, 2000), Lecture Notes in Computer Science, Vol. 1853, Springer, Berlin, 2000, pp. 272-282.
4. 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
5. Goldmann M. Russell A. The complexity of solving equations over finite groups Inform. and Comput. 178 1 2002 253-262
6. 0 spaces Exposition. Math. 11 4 1993 331-341
7. 0 spaces Topol. Appl. 125 3 2002 533-542
8. Hobby D. McKenzie R. The structure of finite algebras Contemporary Mathematics Vol. 76 1988 American Mathematical Society Providence, RI
9. Larose B. Taylor operations on reflexive binary structures, in preparation.
10. Larose B. Zádori L. Finite posets and topological spaces in locally finite varieties, Algebra Universalis, 24 pp., to appear.
11. Larose B. Zádori L. The complexity of the extendibility problem for finite posets SIAM J. Discrete Math. 17 1 2003 114-121
12. McCord M.C. Singular homology groups and homotopy groups of finite topological spaces Duke Math. J. 33 1966 465-474
13. Moore C. Tesson P. Thérien D. Satisfiability of systems of equations over finite monoids, Mathematical Foundations of Computer Science, 2001 (Mariánské Lázne), Lecture Notes in Computer Science, Vol. 2136, Springer, Berlin, 2001, pp. 537-547.
14. Pöschel R. Kaluzhnin L.A. Funktionen und Relationenalgebren. Ein Kapitel der diskreten Matematik, Math. Monographien, B. 15, VEB Deutscher Verlag der Wissenschaften, Berlin, 1979
15. Pöschel R. Kaluzhnin L.A. Math. Reihe, B. 79, Birkhäuser Verlag, Basel-Stuttgart, 1979.
16. Quillen D. Homotopy properties of the poset of nontrivial p-subgroups of a group Adv. Math. 28 1978 101-128
17. Quillen D.G. Homotopical Algebra Lecture Notes in Mathematics Vol. 43 1967 Springer Berlin, New York
18. Spanier E. Algebraic Topology 1966 McGraw-Hill New York
19. Stong R.E. Finite topological spaces Trans. Amer. Math. Soc. 123 1966 325-340
20. Taylor W. Varieties obeying homotopy laws Canad. J. Math. 29 1977 498-527
21. Walker J.W. From graphs to ortholattices and equivariant maps J. Combin. Theory Ser. B 35 1975 171-192