首页> 外文会议>International workshop on graph-theoretic concepts in computer science >Parameterized Algorithms for Max Colorable Induced Subgraph Problem on Perfect Graphs
【24h】

Parameterized Algorithms for Max Colorable Induced Subgraph Problem on Perfect Graphs

机译:完全图上最大可着色子图问题的参数化算法。

获取原文

摘要

We address the parameterized complexity of Max Colorable Induced Subgraph on perfect graphs. The problem asks for a maximum sized q-colorable induced subgraph of an input graph G. Yannakakis and Gavril [IPL 1987] showed that this problem is NP-complete even on split graphs if q is part of input, but gave a nO(q) algorithm on chordal graphs. We first observe that the problem is W-hard parameterized by q, even on split graphs. However, when parameterized by ℓ, the number of vertices in the solution, we give two fixed-parameter tractable algorithms. 1. The first algorithm runs in time 5.44~ℓ(n + #α(G))~(O(1)) where #α(G) is the number of maximal independent sets of the input graph. 2. The second algorithm runs in time q~(ℓ+o(ℓ))n~(O(1))T_α where T_α is the time required to find a maximum independent set in any induced subgraph of G. The first algorithm is efficient when the input graph contains only polynomially many maximal independent sets; for example split graphs and co-chordal graphs. The running time of the second algorithm is FPT in ℓ alone (whenever T_α is a polynomial in n), since q ≤ ℓ for all non-trivial situations. Finally, we show that (under standard complexity-theoretic assumptions) the problem does not admit a polynomial kernel on split and perfect graphs in the following sense: (a) On split graphs, we do not expect a polynomial kernel if q is a part of the input. (b) On perfect graphs, we do not expect a polynomial kernel even for fixed values of q ≥ 2.
机译:我们在理想图上处理“最大可着色诱导子图”的参数化复杂度。该问题要求输入图G的最大尺寸的q色可诱导子图。Yannakakis和Gavril [IPL 1987]表明,即使q是输入的一部分,即使在拆分图中,该问题也是NP完全的,但给出nO(q )在弦图上的算法。我们首先观察到,即使在分裂图中,问题也是由q赋予W-hard参数的。但是,当用ℓ(解中的顶点数)进行参数化时,我们给出了两种固定参数可处理的算法。 1.第一种算法在时间5.44〜ℓ(n +#α(G))〜(O(1))上运行,其中#α(G)是输入图的最大独立集的数量。 2.第二种算法在时间q〜(ℓ+ o(ℓ))n〜(O(1))T_α中运行,其中T_α是在G的任何诱导子图中找到最大独立集所需的时间。当输入图仅包含多项式的最大独立集时有效;例如分割图和协同弦图。第二种算法的运行时间仅在ℓ中是FPT(无论T_α是n中的多项式),因为在所有非平凡情况下q≤ℓ。最后,我们证明(在标准复杂度-理论假设下)该问题在以下意义上不允许分裂和完美图上存在多项式核:(a)在分裂图上,如果q是一部分,我们不期望多项式核输入的(b)在理想图上,即使对于q≥2的固定值,我们也不会期望多项式核。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号