如果一个图作为给定图的子图出现,则该图为禁止子图,这意味着该图不属于某些图的族。例如,二分图是不包含奇数圈作为子图的图。
更一般地,可能存在一系列(极小)子图,它们的出现表征给定图是否具有某些性质。例如,顶点数为 9 个或更少的图是单位距离图,当且仅当它不包含一组 74 个极小图中的一个作为子图。下表总结了一些具有禁止子图阻碍的图族。
如果一个图作为给定图的子图出现,则该图为禁止子图,这意味着该图不属于某些图的族。例如,二分图是不包含奇数圈作为子图的图。
更一般地,可能存在一系列(极小)子图,它们的出现表征给定图是否具有某些性质。例如,顶点数为 9 个或更少的图是单位距离图,当且仅当它不包含一组 74 个极小图中的一个作为子图。下表总结了一些具有禁止子图阻碍的图族。
Eric W. Weisstein. "禁止子图。" 来自 网络资源. https://mathworld.net.cn/ForbiddenSubgraph.html