空图
在图论中，空图可以代表无任何元素的图（如空集合）[1]、阶数为0的图（如K0）或虽有顶点但没有任何边的图（如无边图，英语：edgeless graph）。
性质
若空图包含了 个顶点，则其可以记为 。[2]:329 空图的大小（即边的数量）恒为0，[3]:45 然而空图的阶数（即顶点的数量）不一定为0。[3]:44 阶数为零的空图又称为零阶图[4]，阶数不为零的空图（即有顶点存在的图）又称为无边图。[5]
零阶图
| 零阶图 (空图) | |
|---|---|
| 顶点 | 0 |
| 边 | 0 |
| 围长 | |
| 自同构群 | 1 |
| 色数 | 0 |
| 色指数 | 0 |
| 属性 | 积性 对称 树宽值为-1 |
在图论中，零阶图（K0）是一种没有任何顶点的图，因此其阶数为0，且不存在任何边。零阶图是阶数为零的正则图，然而其不存在顶点，因此也无法探讨其顶点的分支度，因此，部分研究不会将零阶图列如图的探讨范围中[6]。零阶图是否有效取决于其上下文对这种图论结构的描述方式。就积极的一面而言，零阶图做为图论定义下遵守良序原则的定义，即有序对(V,E)在V和E皆为空的情形，可用于证明其作为数学归纳法的自然基本情况；类似地，在递归定义的数据结构中，零阶图可用于定义递归基本情况，例如在二叉树的定义中，将空树缺失边的子树视为零阶图，这样就能确保这个二叉树中每个节点都有2个子树[7]。在消极的一面而言，若将零阶图视为正式的图会成为许多明确的图论属性公式的例外，导致许多图论公式需要针对零阶图定义例外情况[6]。为了避免这种情况，一般图论的“任意图”术语，除非上下文有明确说明，否则应当不包含零阶图，即“任意图”应代表“至少存在一个顶点的图”。[8][6]
无边图
在图论中，无边图（Edgeless graph）是指没有边的图。其可以有任意数量的顶点，然而每个顶点间皆无边来做相连。n个顶点的无边图称为n阶无边图，一般用记为 。在不允许零阶图（K0）的上下文中，无边图有时被称为空图。[8][6]
空地区图
参见
参考文献
- ^ Harary, Frank and Read, Ronald C. Is the null-graph a pointless concept?. Graphs and combinatorics (Springer). 1974: 37–44.
- ^ Eric Delhez, Algèbre, Tome 2, notes de cours, édition 2012-2013.
- ^ 3.0 3.1 Didier Müller, Introduction à la théorie des graphes （页面存档备份，存于互联网档案馆）, Cahier n° 6, Commission Romande de Mathématiques, 2012.
- ^ Annatala Wolf. Trees and XML. Ohio State University. [2021-08-11]. （原始内容存档于2021-08-11）.
- ^ Weisstein, Eric W. (编). Edgeless Graph. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.
- ^ 6.0 6.1 6.2 6.3 Weisstein, Eric W. (编). Null Graph. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.
- ^ Abstract Data Types (PDF). National Chung Hsing University. [2021-08-11]. （原始内容存档 (PDF)于2021-08-11）.
- ^ 8.0 8.1 Weisstein, Eric W. (编). Empty Graph. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. （英语）.
- ^ Handbook of Mathematics for CS. University of Dublin. 2005.
- ^ Cadavid, Paula and Rodino Montoya, Mary Luz and Rodriguez, Pablo M. The connection between evolution algebras, random walks and graphs. Journal of Algebra and Its Applications (World Scientific). 2020, 19 (02).