最大无H集的计算


11

在图中,独立集是不包含边作为诱导子图的顶点子集。在图中找到最大的独立集的问题是一个基本的算法问题,在这个问题上很难解决。让我们考虑一个更一般的问题,即在图中找到最大的无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

Answers:


10

HHHH

[1] John M. Lewis,Mihalis Yannakakis:遗传属性的节点删除问题是NP完全。J.计算机 Syst。科学 20(2):219-230(1980)


发现!感谢您的参考!也许这种方法也可以(已经?)应用于分区问题?
RJK 2010年

1
我不遵循这里的理由。只要H至少有两个顶点,即使H没有边,问题也是NP困难的。
安德拉斯·萨拉蒙(AndrásSalamon)2010年

HH

该答案(修订版2)涉及查找不包含H作为子图的最大诱导子图的问题。Lewis和Yannakakis的结果适用于寻找不包含H的最大诱导子图作为诱导子图的问题,但是该性质不平凡的H条件不同。
伊藤刚(Tsuyoshi Ito)2010年

HH
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.