Covergence and divergence of the iterated biclique graph
A biclique of a graph G is a maximal induced complete bipartite subgraph of G. The biclique graph of G, denoted by KB(G), is the intersection graph of the bicliques of G. We say that a graph G diverges (or converges or is periodic) under an operator F whenever limk→∞ |V (F k (G))| = ∞ (limk→∞ F k (G...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2013 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/15646 |
| Acceso en línea: | http://hdl.handle.net/11336/15646 |
| Access Level: | acceso abierto |
| Palabra clave: | Bicliques Biclique Graphs Clique Graphs Divergent Graphs Iterated Graph Operators Graph Dynamics https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1 |
| Sumario: | A biclique of a graph G is a maximal induced complete bipartite subgraph of G. The biclique graph of G, denoted by KB(G), is the intersection graph of the bicliques of G. We say that a graph G diverges (or converges or is periodic) under an operator F whenever limk→∞ |V (F k (G))| = ∞ (limk→∞ F k (G) = F m(G) for some m, or F k (G) = F k+s(G) for some k and s ≥ 2, respectively). Given a graph G, the iterated biclique graph of G, denoted by KBk (G), is the graph obtained by applying the biclique operator k successive times to G. In this article, we study the iterated biclique graph of G. In particular, we classify the different behaviors of KBk (G) when the number of iterations k grows to infinity. That is, we prove that a graph either diverges or converges under the biclique operator. We give a forbidden structure characterization of convergent graphs, which yield a polynomial time algorithm to decide if a given graph diverges or converges. This is in sharp contrast with the situsation for the better known clique operator, where it is not even known if the corresponding problem is decidable. |
|---|