Abstract
We characterize lattices obtained from another lattice by a doubling of a convex set. This gives rise to a characterization of the class CN of lattices obtained by doublings of connected and convex sets when starting from a two-element lattice, and from this characterization result we derive an efficient recognition algorithm. This algorithm can be directly applied to the recognition of lattices in the subclasses of CN defined by giving some additionnal constraints on the convex sets used in the doublings.
Similar content being viewed by others
References
Aigner, M. (1979) Combinatorial Theory, Springer, Berlin.
Barbut, M. and Monjardet, B. (1970) Ordre et classification, Algèbre et Combinatoire, Hachette, Paris.
Bertet, K. (1998) Sur quelques aspects structurels et algorithmiques des treillis, Thèse de Doctorat, Université Paris 7, Paris.
Birkhoff, G. (1967) Lattice Theory, 3rd edn, Amer. Math. Soc., Providence.
Blair, C. (1984) Every finite distributive lattice is a set of stable matchings, J. Combin. Theory (A) 37, 353–356.
Caspard, N. (1998) Etude structurelle et algorithmique de classes de treillis obtenus par duplications, Thèse de Doctorat, Université Paris 1, Paris.
Day, A. (1970) A simple solution of the word problem for lattices, Canad. Math. Bull. 13, 253–254.
Day, A. (1977) Splitting lattices generate all lattices, Algebra Universalis 7, 163–170.
Day, A. (1979) Distributive lattices with finite projective covers, Pacific J. Math. 81, 45–59.
Day, A. (1979) Characterizations of finite lattices that are bounded-homomorphic images or sublattices of free lattices, Canad. J. Math. 31, 69–78.
Day, A., Nation, J. B. and Tschanz, S. (1989) Doubling convex sets in lattices and a generalized semidistributivity condition, Order 6, 175–180.
Day, A. (1992) Doubling constructions in lattice theory, Canad. J. Math. 44, 252–269.
Day, A. (1994) Congruence normality: The characterization of the doubling class of convex sets, Algebra Universalis 31, 397–406.
Freese, R., Jezek, J. and Nation, J. B. (1991) Free Lattices, Math. Surveys Monogr. 42, Amer. Math. Soc., Providence.
Freese, R. and Nation, J. B. (1985) Covers in free lattices, Trans. Amer. Math. Soc. 228, 1–42.
Geyer, W. (1993) Generalizing semidistributivity, Order 10, 77–92.
Geyer, W. (1994) The generalized doubling construction and formal concept analysis, Algebra Universalis 32, 341–367.
Grätzer, G. (1978) General Lattice Theory, Birkhäuser, Stuttgart.
Habib, M. and Nourine, L. (1993) A linear time algorithm to recognize distributive lattices, Rapport de recherche no93-013, L.I.R.M.M., CNRS-Université Montpellier II.
Habib, M. and Nourine, L. (1996) Tree structure for distributive lattices and its applications, Theoret. Comput. Sci. A, 391-405.
Wille, R. (1983) Subdirect decomposition of concept lattices, Algebra Universalis 17, 275–287.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bertet, K., Caspard, N. Doubling Convex Sets in Lattices: Characterizations and Recognition Algorithms. Order 19, 181–207 (2002). https://doi.org/10.1023/A:1016524118566
Issue Date:
DOI: https://doi.org/10.1023/A:1016524118566