Enumeration aspects of maximal cliques and bicliques Original Research Article

We present a general framework to study enumeration algorithms for maximal cliques and maximal bicliques of a graph. Given a graph image, we introduce the notion of the transition graph image whose vertices are maximal cliques of image and arcs are transitions between cliques. We show that image is a strongly connected graph and characterize a rooted cover tree of image which appears implicitly in [D.S. Johnson, M. Yannakakis, C.H. Papadimitriou, On generating all maximal independent sets, Information Processing Letters 27 (1988) 119–123; S. Tsukiyama, M. Ide, M. Aiyoshi, I. Shirawaka, A new algorithm for generating all the independent sets, SIAM Journal on Computing 6 (1977) 505–517]. When image is a bipartite graph, we show that the Galois lattice of image is a partial graph of image and we deduce that algorithms based on the Galois lattice are a particular search of image. Moreover, we show that algorithms in [G. Alexe, S. Alexe, Y. Crama, S. Foldes, P.L. Hammer, B. Simeone, Consensus algorithms for the generation of all maximal bicliques, Discrete Applied Mathematics 145 (1) (2004) 11–21; L. Nourine, O. Raynaud, A fast algorithm for building lattices, Information Processing Letters 71 (1999) 199–204] generate maximal bicliques of a bipartite graph in image per maximal biclique, where image is the number of vertices in image. Finally, we show that under some specific numbering, the transition graph image has a hamiltonian path for chordal and comparability graphs.