图 的(顶点)的标记
,使用集合
中的正整数,被称为是
-可区分的,如果 图自同构
不保留所有的顶点标签。形式上,
是
-可区分的,如果对于每个非平凡的
,都存在
使得
,其中
是
的顶点集,
是
的 自同构群。图
的区分数
然后是最小的
,使得
有一个
-可区分的标记 (Albertson and Collins 1996)。
具有相同自同构群的不同图可能具有不同的区分数。
当且仅当
是 恒等图 时成立。图
及其 图补
具有相同的区分数。
具有 的图
的区分数
(Tymoczko 2005; 归功于 Albertson, Collins, 和 Kleitman)。
特殊情况总结在下表中。