rmula_1的结构可以由线图formula_3的结构中唯一地恢复出来。
其它性质.任何的线图都是无爪的，亦即不包含formula_9作为导出子图。因此，任意含有偶数个顶点的连通线图都存在完美匹配。线图formula_3的邻接矩阵formula_46的全部特征值都不小于-2。这是因为formula_47，其中formula_48是原图formula_1的关联矩阵（incidence matrix）。又由于矩阵formula_50是半正定的，所以formula_51的任何特征值f