eted subgraph）是在formula_2中删除了一个顶点得到的子图. 根据定义, 它是图 formula_2的导出子图。对于图formula_2, 其deck, 记作formula_5,是由formula_2的所有顶点子图的同构类所组成的多重集。formula_5中的每一个图被叫做一张 card。两个拥有相同deck的图被称作彼此hypomorphic。在给了以上的定义后，重构猜想可以表述为：Harary 提出了一个更强的假设:给定图formula_1, 其 边子图（英文：edg