令 为一个
-顶点简单图,考虑使用整数 1 到
的顶点标记
,使得每个顶点获得不同的标签,且
是顶点
的标签。如果对于
的所有邻居
都有
,则称顶点为一个标记图的峰值顶点,标记图的峰值集合是所有峰值顶点的集合,记为
(Bozeman et al. 2024)。
注意,图的不同标记可能具有不同的峰值集合。特别是,图 的峰值集合由所有可能的标记
的不同峰值集合给出。例如,对于上面示出的图,存在六个不同的峰值集合(其中一些由多个不同的标记共享),即
5
,
2, 5
,
3, 5
,
4, 5
,
2, 4, 5
, 和
3, 4, 5
。
对于连通图 ,图
具有大小为
的峰值集合当且仅当
具有相同大小的独立顶点集 (Bozeman et al. 2024)。
对于具有 个连通分量的非连通图
,图
的最小峰值集合的大小为
(Bozeman et al. 2024)。