空图

在图论中，空图可以代表无任何元素的图（如空集合）、阶数为0的图（如K₀）或虽有顶点但没有任何边的图（如无边图，英语：edgeless graph）。

性质

若空图包含了$n$个顶点，则其可以记为$N_{n}$。 空图的大小（即边的数量）恒为0， 然而空图的阶数（即顶点的数量）不一定为0。 阶数为零的空图又称为零阶图，阶数不为零的空图（即有顶点存在的图）又称为无边图。

零阶图

零阶图 (空图)
顶点	0
边	0
围长	$\infty$
自同构群	1
色数	0
色指数	0
属性	积性 对称 树宽值为-1

在图论中，零阶图（K₀）是一种没有任何顶点的图，因此其阶数为0，且不存在任何边。零阶图是阶数为零的正则图，然而其不存在顶点，因此也无法探讨其顶点的分支度，因此，部分研究不会将零阶图列如图的探讨范围中。零阶图是否有效取决于其上下文对这种图论结构的描述方式。就积极的一面而言，零阶图做为图论定义下遵守良序原则的定义，即有序对(V,E)在V和E皆为空的情形，可用于证明其作为数学归纳法的自然基本情况；类似地，在递归定义的资料结构中，零阶图可用于定义递归基本情况，例如在二元树的定义中，将空树缺失边的子树视为零阶图，这样就能确保这个二元树中每个节点都有2个子树。在消极的一面而言，若将零阶图视为正式的图会成为许多明确的图论属性公式的例外，导致许多图论公式需要针对零阶图定义例外情况。为了避免这种情况，一般图论的“任意图”术语，除非上下文有明确说明，否则应当不包含零阶图，即“任意图”应代表“至少存在一个顶点的图”。

无边图

在图论中，无边图（Edgeless graph）是指没有边的图。其可以有任意数量的顶点，然而每个顶点间皆无边来做相连。n个顶点的无边图称为n阶无边图，一般用记为${\overline {K}}_{n}$。在不允许零阶图（K₀）的上下文中，无边图有时被称为空图。

空地区图

在图论中，空地区图（null map）是指对应集合为空集的地区图，有时用于证明不存在其他同态图的方式。

参见

• 循环图
• 空多胞形
• 无边地区图