ormula_2, 其edge-deck, 记作formula_12,是由formula_2的所有边子图的同构类所组成的多重集。formula_5中的每一个图被叫做一张 edge-card。
可识别的属性.在重构猜想中，一个图属性被称作可识别的如果它可以被图的deck确定。以下的这些属性是可识别的：
验证情况.重构猜想和顶点重构猜想在图的阶数小于等于11的情况下均已被Brendan McKay验证。Béla Bollobás提出，在概率意