在formula_2中删除了一条边得到的子图an edge-deleted subgraph of formula_2 对于图formula_2, 其edge-deck, 记作formula_12,是由formula_2的所有边子图的同构类所组成的多重集。formula_5中的每一个图被叫做一张 edge-card。
可识别的属性.在重构猜想中，一个图属性被称作可识别的如果它可以被图的deck确定。以下的这些属性是可识别的：
验证情况.重