图的次幂

一个图的二次幂。

在数学的一个分支图论中，一个无向图的k次幂G^k指的是另一个有相同顶点集的图，但在G中所有距离小于k的顶点在该图中是相邻的。图的次幂常用数的次幂相关术语来表示：G²被称为G的平方，G³被称为立方，以此类推。

图的次幂应该与图本身的乘积区别开来，图的乘积（与次幂不同）通常比原图有更多的顶点。

属性

如果一个图的直径是d，那么它的d次幂就是完全图。如果一个图族具有有界的团宽，那么对于任意固定的d，它的d次幂也具有有界的团宽。

着色

图平方的着色可以用来为无线通信网络的参与者分配频率，使两个参与者互动时不受任何共同邻居的干扰，并可以在图绘制时找到角分辨率高的图。

最大度为Δ的平面图的k次幂其着色数和简并度均为$O({\mathrm{\Delta }}^{\lfloor k/2\rfloor })$，其中简并度表明颜色贪婪算法可利用这么多颜色给图着色。 考虑一个平面图平方的特例，Wegner在1977年推算出平面图平方的最大着色数为$\max (\mathrm{\Delta }+5,\frac{3\mathrm{\Delta }}{2}+1)$而目前更普遍的最大着色数为$\frac{5\mathrm{\Delta }}{3}+O(1)$。 更一般地说，对任何简并度为d和最大度为Δ的图，图平方的简并度为O(dΔ)，因此许多不是平面图的稀疏图其平方的着色数与Δ成比例。

尽管最大度为Δ的非平面图平方的着色数最坏情况是与Δ²成比例，对于高围长的图来说其往往更小，通常在这种情况下量级为O(Δ²/log Δ)。

确定为图平方着色需要的颜色数是NP困难，即使在平面图中也是如此。

哈密顿性

每个连通图的立方必然包含一个哈密顿循环。一个连通图的平方不一定满足哈密顿性，它是否满足哈密顿性是NP完备的。然而，根据弗莱施纳定理，2-顶点连通图的平方总是满足哈密顿性的。

计算复杂度

一个有n 个顶点和m条边的图的k次幂可以通过从每个顶点开始执行广度优先搜索来确定到所有其他顶点的距离，从而在时间O(mn)中计算出来。如果A是一个图的邻接矩阵，修改主对角线的非零元素，那么A^k的非零项给出了图的k次幂的邻接矩阵，由此可以在矩阵乘法时间的对数因子内构造出第k次幂的时间量。

树的k次幂可以在输入图的尺寸上用时间线性的方式识别。

给定一个图，判断它是否是另一个图的平方是NP完全的。此外，对于给定的数字k≥2，确定一个图是否是另一个图的k次幂，或是二分图的k次幂，是NP完全的。

导出子图

Template:Math 是一个超立方图的半二分结果。

二分图G的半二分是Template:Math 的子图，其为将Template:Mvar平分为两部分的一部分。平面图的半二分是地图图，超立方图的半二分是半立方图。

叶幂是由树的叶导出的树的次幂子图。Template:Mvar叶幂是指数为Template:Mvar的叶幂。