图论中,空图可以代表无任何元素的图(如空集合)[1]、阶数为0的图(如K0)或虽有顶点但没有任何边的图(如无边图,英语:edgeless graph)。

性质

若空图包含了个顶点,则其可以记为[2]:329 空图的大小(即边的数量)恒为0,[3]:45 然而空图的阶数(即顶点的数量)不一定为0。[3]:44 阶数为零的空图又称为零阶图[4],阶数不为零的空图(即有顶点存在的图)又称为无边图。[5]

零阶图

Quick Facts 零阶图 (空图), 顶点 ...
零阶图 (空图)
顶点0
0
围长
自同构群1
色数0
色指数0
属性积性英语Integral graph
对称英语Symmetric graph
树宽值英语Treewidth为-1
Close

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

无边图

在图论中,无边图(Edgeless graph)是指没有边的图。其可以有任意数量的顶点,然而每个顶点间皆无边来做相连。n个顶点的无边图称为n阶无边图,一般用记为。在不允许零阶图(K0)的上下文中,无边图有时被称为空图。[8][6]

空地区图

在图论中,空地区图(null map)是指对应集合为空集的地区图[9],有时用于证明不存在其他同态图的方式[10]

参见

参考文献

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.