Skip to main content

A Peep through the Looking Glass: Articulation Points in Lattices

  • Conference paper
Formal Concept Analysis (ICFCA 2012)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7278))

Included in the following conference series:

Abstract

We define as an ’articulation point’ in a lattice an element which is comparable to all the other elements, but is not extremum.

We investigate a property which holds for both the lattice of a binary relation and for the lattice of the complement relation (which we call the mirror relation): one has an articulation point if and only if the other has one also.

We give efficient algorithms to generate all the articulation points. We discuss artificially creating such an articulation point by adding or removing crosses of the relation, and also creating a chain lattice.

We establish the strong relationships with bipartite and co-bipartite graphs; in particular, we derive efficient algorithms to compute a minimal triangulation and a maximal sub-triangulation of a co-bipartite graph, as well as to find the clique minimal separators and the corresponding decomposition.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Yevtushenko, S.A.: System of data analysis ”Concept Explorer”. In: Proc. 7th Nat. Conf. on Artif. Intell. KII 2000, Ru., pp.127–134 (2000) (in Russian), http://conexp.sourceforge.net/download.html , release 1.3. © Yevtushenko, S.A., et al. (2000-2006)

  2. Berry, A., Heggernes, P., Villanger, Y.: A vertex incremental approach for maintaining chordality. Discrete Mathematics 306, 318–336 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  3. Berry, A., Pogorelcnik, R., Simonet, G.: An introduction to clique minimal separator decomposition. Algorithms 3(2), 197–215 (2010)

    Article  MathSciNet  Google Scholar 

  4. Berry, A., Sigayret, A.: Representing a concept lattice by a graph. Discrete Applied Mathematics 144(1-2), 27–42 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  5. Berry, A., Bordat, J.-P., Heggernes, P., Simonet, G., Villanger, Y.: A wide-range algorithm for minimal triangulation from an arbitrary ordering. Journal of Algorithms 58(1), 33–66 (2006)

    Article  MathSciNet  Google Scholar 

  6. Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society (1967)

    Google Scholar 

  7. Bordat, J.-P.: Calcul pratique du treillis de Galois d’une correspondance. Mathématiques, Informatique et Sciences Humaines 96, 31–47 (1986)

    MathSciNet  MATH  Google Scholar 

  8. Brandstädt, A., Hammer, P.L., Le, V.B., Lozin, V.V.: Bisplit graphs. Discrete Mathematics 299(1-3), 11–32 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  9. Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph Classes: A Survey. SIAM Monographs on Discrete Math. Appl., Philadelphia, Vol. 3, (1999)

    Google Scholar 

  10. Carroll, L.: Through the Looking-Glass, and What Alice Found There (1871)

    Google Scholar 

  11. Caspard, N., Leclerc, B., Monjardet, B.: Ensembles ordonnés finis: concepts, résultats et usages. Mathémathiques et Applications 60 (2007)

    Google Scholar 

  12. Ganter, B., Wille, R.: Formal Concept Analysis. Springer (1999)

    Google Scholar 

  13. Fouquet, J.-L., Giakoumakis, V., Vanherpe, J.-M.: Linear Time Recognition and Optimizations for Weak-Bisplit Graphs, Bi-Cographs and Bipartite P6-Free Graphs. International Journal of Foundations of Computer Science 14(1), 107–136 (2003)

    Article  MathSciNet  Google Scholar 

  14. Fouquet, J.-L., Giakoumakis, V., Vanherpe, J.-M.: Bipartite Graphs Totally Decomposable by Canonical Decomposition. International Journal of Foundations of Computer Science 10(4), 513–534 (1999)

    Article  MathSciNet  Google Scholar 

  15. Heggernes, P., Kratsch, D.: Linear-time certifying recognition algorithms and forbidden induced subgraphs. Nordic Journal of Computing 14, 87–108 (2007)

    MathSciNet  MATH  Google Scholar 

  16. Meister, D.: Recognition and computation of minimal triangulations for AT-free claw-free and co-comparability graphs. Discr. Appl. Math. 146(3), 193–218 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  17. Parra, A., Scheffler, P.: How to Use the Minimal Separators of a Graph for Its Chordal Triangulation. In: Fülöp, Z. (ed.) ICALP 1995. LNCS, vol. 944, pp. 123–134. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  18. Spinrad, J.P.: Efficient Graph Representations. American Mathematical Society (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Berry, A., Sigayret, A. (2012). A Peep through the Looking Glass: Articulation Points in Lattices. In: Domenach, F., Ignatov, D.I., Poelmans, J. (eds) Formal Concept Analysis. ICFCA 2012. Lecture Notes in Computer Science(), vol 7278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29892-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29892-9_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29891-2

  • Online ISBN: 978-3-642-29892-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics