Finding cut-vertices in the square roots of a graph

Guillaume Ducoffe (1)

1 ICI - National Institute for Research and Development in Informatics [Bucharest]

The square of a given graph $H = (V, E)$ is obtained from $H$ by adding an edge between every two vertices at distance two in $H$. Given a graph class ${\cal H}$, the ${\cal H}$-Square Root problem asks for the recognition of the squares of graphs in ${\cal H}$. In this paper, we answer positively to an open question of [Golovach et al., IWOCA'16] by showing that the squares of cactus-block graphs can be recognized in polynomial time. Our proof is based on new relationships between the decomposition of a graph by cut-vertices and the decomposition of its square by clique cutsets. More precisely, we prove that the closed neighbourhoods of cut-vertices in $H$ induce maximal subgraphs of $G = H^2$ with no clique-cutset. Furthermore, based on this relationship, we can compute from a given graph $G$ the block-cut tree of a desired square root (if any). Although the latter tree is not uniquely defined, we show surprisingly that it can only differ marginally between two different roots. Our approach not only gives the first polynomial-time algorithm for the ${\cal H}$-Square Root problem for several graph classes ${\cal H}$, but it also provides a unifying framework for the recognition of the squares of trees, block graphs and cactus graphs-among others.

Mots clés: Square root of a graph; Clique-separator decomposition; Cut-vertices; Cactus-block graphs; Cycle-power graphs

Domaines: Complexité [cs.CC]; Algorithme et structure de données [cs.DS]; Mathématique discrète [cs.DM]

Guillaume Ducoffe. Finding cut-vertices in the square roots of a graph. Discrete Applied Mathematics, 2019, 257, pp.158-174. ⟨hal-01948839⟩