尼斯拉夫·乌拉姆共同提出。
正式陈述.给定图 formula_1, 其 顶点子图（英文：vertex-deleted subgraph）是在formula_2中删除了一个顶点得到的子图. 根据定义, 它是图 formula_2的导出子图。对于图formula_2, 其deck, 记作formula_5,是由formula_2的所有顶点子图的同构类所组成的多重集。formula_5中的每一个图被叫做一张 card。两个拥有相同deck的图被称作彼此hypomorphic。在给了