×

有向非循环图中多截的固定参数可处理性。 (英语) 兹比尔1326.05053

摘要:给定一个图\(G\)、一组终端对\(\mathcal{T}=\{(s_i,T_i)\;|\;1\leqi\leqr\}\)和一个整数\(p\),多截问题询问是否可以找到一个割集最多由分隔所有终端对的(p)个非终端顶点组成,即,在删除割集后,对于每个(1)个\(leq i \ leq r \),\(ti \)无法从\(si \)到达。无向图中多截的固定参数可处理性,仅由割集的大小参数化,最近被证明为D.马克思I.拉兹贡[SIAM J.Compute.43,No.2,355–388(2014;Zbl 1304.68078号)]并且,独立地,通过N.布斯克等【摘自:第43届ACM计算理论年会论文集,STOC’11。2011年6月6日至8日,美国加利福尼亚州圣何塞。纽约州纽约市:计算机协会(ACM)。459–468 (2011;兹比尔1288.05264)]在作为一个长期未决问题抵制攻击之后。
本文证明了当由割集的大小和终端对的数目参数化时,多割在有向非循环图上是固定参数可处理的。我们补充了这一结果,表明仅通过割集的大小进行参数化是不合理的,因为这个问题的版本仍然是(W[1])-难的。

MSC公司:

05C20号 有向图(有向图),比赛
05C85号 图形算法(图形理论方面)
65年第68季度 算法和问题复杂性分析
68周05 非数值算法
PDF格式BibTeX公司 XML格式引用