给定一个 无向图,度序列是其 图的顶点 的 顶点度数 (化合价)的单调非增序列。给定阶数的图的度序列数量与 图划分 密切相关。由于每条边连接两个顶点,因此被计算两次,所以图的度序列的元素之和始终为偶数(Skiena 1990,第 157 页)。
图 中的最小顶点度表示为 ,最大顶点度表示为 (Skiena 1990, p. 157)。度序列仅包含单个整数的多个副本的图称为正则图。可以使用 Wolfram 语言 构建与给定度序列 对应的图,使用RandomGraph[DegreeGraphDistribution[d]]。
拓扑结构不同的图可能具有相同的度序列。此外,两个不同的凸多面体甚至可以具有相同的骨架度序列,例如 三角锥 和 三侧锥十二面体 约翰逊多面体,它们都具有 8 个面,9 个顶点,15 条边,以及度序列 (3, 3, 3, 3, 3, 3, 4, 4, 4)。
具有唯一度序列的图可以称为单图或“唯一图”(Tyshkevich 2000,Barrus等人 2023)。
对于 , 2, ... 个节点的图,不同的度序列的数量由 1, 2, 4, 11, 31, 102, 342, 1213, 4361, ... 给出 (OEIS A004251),而具有 个图的顶点的非同构简单无向图的总数为 1, 2, 4, 11, 34, 156, 1044, ... (OEIS A000088)。因此,度序列数量少于非同构图数量的第一个阶数为 。对于上面说明的图,度序列在下表中给出。
1 | |
2 | , |
3 | , , , |
4 | , , , , |
, , , , | |
, , |
阶数为 的度序列的元素可能总和为 0, 2, 4, 6, ..., 。
如果存在一些与度序列对应的 -连通图,则度序列被称为 -连通的。例如,虽然度序列 是 1-连通但不是 2-连通的, 是 2-连通的。