×

不相交循环问题的参数化逼近。 (英语) Zbl 1171.68869号

Arge,Lars(编辑)等人,《自动化,语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会,ICALP 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73419-2/pbk)。计算机科学课堂讲稿4596,363-374(2007)。
摘要:我们给出了有向顶点不相交圈问题的fpt近似算法。给定一个具有(n)个顶点和一个正整数(k)的有向图,如果图(G)有一个至少有(k)个不相交圈的族(否则可能仍然会产生一个解,或者只报告失败),则该算法将构造一个至少包含(G)个不交圈的族。这里,\(\rho\)是一个可计算的函数,因此\(k/\rho(k)\)是非递减且无界的。我们算法的运行时间是多项式。
有向顶点不相交环问题对于参数化复杂度类W[1]来说是困难的,就我们所知,我们的算法是自然W[1]-硬问题的第一个fpt近似算法。
关于整个系列,请参见[Zbl 1119.68002号].

MSC公司:

68周25 近似算法
05C38号 路径和循环
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部