在01-标记图中，每个顶点v都有一个来自集合{0,1}的标签l（v）。n个顶点上的01-标记图与n+1个顶点上有根的未标记图一一对应（参见。A000666号)。
不变量是在同构的01-标记图上取相同值的函数。4-不变量f是一个不变量，对于任何01-标记图G以及G中边连接的任何顶点对A、B，
f（G）-f（r（G，A，B））=f（t（G，B），
哪里：
r（G，A，B）是当边（A，B）在G中存在或缺失时，通过移除或添加边（A，B）从G获得的图；
t（G，A，B）是通过修改顶点A的邻域从G得到的图H：N_H（A）是N_G（A）和N_G的对称差；如果l（B）=1，那么也可以通过移除边缘（A，B）并反转H中的标签l（A）。
n个顶点上01-标记图的4个不变量构成一个向量空间，其维数由这个序列给出。
| 