|
图上的不变量是在同构图上取相同值的函数。
4-不变量f是一个不变量，对于任何图G和由G中的边连接的任何顶点对A、B，
f（G）-f（r（G，A，B））=f（t（G，B），
哪里：
r（G，A，B）=r（G、B、A）是通过去除边（A、B）从G获得的图；
t（G，A，B）是通过修改顶点A的邻域从G得到的图H：N_H（A）是N_G（A）和N_G的对称差。（注意，t（G，A，B）和t（G、B，A）可能不同。）
具有n个顶点的图上的4变量形成一个向量空间，其维数由该序列给定。
类似的4-不变量可以定义在图上，每个顶点A都有来自集合{0,1}的标签l（A）（参见。A362740型).
| 