Characterizing and recognizing exact-distance squares of graphs
arXiv:2211.02699 · doi:10.1016/j.disc.2023.113493
Abstract
For a graph , its exact-distance square, , is the graph with vertex set and with an edge between vertices and if and only if and have distance (exactly) in . The graph is an exact-distance square root of . We give a characterization of graphs having an exact-distance square root, our characterization easily leading to a polynomial-time recognition algorithm. We show that it is NP-complete to recognize graphs with a bipartite exact-distance square root. These two results strongly contrast known results on (usual) graph squares. We then characterize graphs having a tree as an exact-distance square root, and from this obtain a polynomial-time recognition algorithm for these graphs. Finally, we show that, unlike for usual square roots, a graph might have (arbitrarily many) non-isomorphic exact-distance square roots which are trees.
15 pages, 6 figures. References added and small changes according to referees' comments