马丁·格罗;马格达莱娜·格里伯 不相交循环问题的参数化逼近。 (英语) 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号]. 引用于10文件 MSC公司: 68周25 近似算法 05C38号 路径和循环 65年第68季度 算法和问题复杂性分析 关键词:近似算法;固定参数牵引性;参数化复杂性理论 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{M.Grüber},莱克特。注释计算。科学。459663-374(2007年;兹比尔1171.68869) 全文: 内政部