在图中,独立集是不包含边作为诱导子图的顶点子集。在图中找到最大的独立集的问题是一个基本的算法问题,在这个问题上很难解决。让我们考虑一个更一般的问题,即在图中找到最大的无H集(的大小),其中无H意味着它不会诱导包含固定图H副本的子图作为诱导子图。
对于固定图H,给定输入图G,确定G中最大的无H集的大小是否难于NP?
有没有一种明智的方法来构造图H(或H的类)的“表”,以便用上述问题的正确“是”或“否”的答案来填写条目?(让我们假设“ no” = P,甚至假设“ no”条目都意味着存在一个用于生成最大无H集的多时算法。)
否则,是否有非平凡的H类答案为是?...不?
我在四处搜寻,研究了两个关于广义/无H色数的问题- 在这里和这里 -当我想到独立数H无类似物的(表面上更简单)“对偶”问题可能也是开放的。我知道有关随机图相关问题的经典论文,请参见。例如Erdos,Suen和Winkler(1995)或Bollobas和Thomason(2000),它们的研究仍很活跃。因此,也许已经有一些工作我还没有看到,但仍未解决这个更基本的问题,并且没有进行粗略的Internet搜索(因此没有参考请求标记)。
3
如果k和H都是固定的,则可以枚举大小为k的所有顶点子集,并检查它们是否包含H作为诱导子图。这将是多项式时间算法。
—
罗宾·科塔里
很抱歉,编辑:删除k的所有实例!
—
RJK'9