图 次幂是一个与图
具有相同顶点集的图,并且两个顶点之间存在边 当且仅当 它们之间存在长度至多为
的路径 (Skiena 1990, p. 229)。由于对于每个顶点
,如果
和
是图
中的边,则在顶点
和
之间存在长度为 2 的路径,因此图
的邻接矩阵的平方计算了这种路径的数量。类似地,图
的邻接矩阵的
次幂的第
个元素给出了顶点
和
之间长度为
的路径的数量。图的幂在 Wolfram 语言中实现为GraphPower[g, k].
图的 次幂然后被定义为邻接矩阵由邻接矩阵的前
次幂之和给出的图,
它计算了所有长度不超过 的路径 (Skiena 1990, p. 230)。
将任何图提升到其图直径的幂都会得到一个完全图。任何双连通图的平方都是哈密顿图 (Fleischner 1974, Skiena 1990, p. 231)。Mukhopadhyay (1967) 考虑了“平方根图”,其平方给出了给定的图 (Skiena 1990, p. 253)。