The square of a graph is defined as its second graph power.
The square of any biconnected graph is Hamiltonian (Fleischner 1974, Skiena 1990, p. 231). Mukhopadhyay (1967) has considered "square
root graphs," whose square gives a given graph (Skiena 1990, p. 253).