×
丹尼尔·宾克利·雷布尔;亨宁费尔瑙

列举和衡量：改进参数预算管理。 （英语） Zbl 1309.68235号

Raman，Venkatesh（编辑）等人，《参数化和精确计算》。2010年12月13日至15日在印度钦奈举行的2010年IPEC第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-17492-6/pbk）。计算机科学课堂讲稿6478，38-49（2010）。
摘要：度量与征服（M&C）是分析计算难题精确算法的突出技术。它试图在算法分析中平衡较差和较好的情况。
有几个障碍阻碍了该技术在参数化算法中的应用，使其很少应用于该领域。然而，这些困难在某些情况下是可以解决的。我们将用与顶点覆盖有关的两个问题来举例说明这一点，即连通顶点覆盖和边控制集。对于这两个问题，已经发布了几个参数化算法，所有这些算法都基于首先枚举最小顶点覆盖，然后生成所请求问题的解决方案的思想。在这种情况下使用M&C将改进迄今为止公布的运行时间，提供一些统一的观点。与前面建议的一些算法相比，我们将使用多项式空间。
关于整个系列，请参见[Zbl 1202.68012号].

引用于16文件

理学硕士：

68瓦40 算法分析
PDF格式BibTeX公司 XML格式引用
\textit{D.Binkle-Raible}和\textit{H.Fernau}，莱克特。注释计算。科学。6478，38-49（2010；Zbl 1309.68235）
全文： 内政部

参考文献：

[1] Chen，J.，Kanj，I.A.，Xia，G.：标记搜索树和摊销分析：改进了NP-hard问题的上限。Algorithmica算法43，245–273（2005）·Zbl 1086.68099号 ·doi:10.1007/s00453-004-1145-7
[2] Daligault，J.，Gutin，G.，Kim，E.J.，Yeo，A.：有向k叶问题的FPT算法和内核。J.计算。系统。科学。 76, 144–152 (2010) ·Zbl 1184.05120号 ·doi:10.1016/j.jcss.2009.06.005
[3] Dom，M.，Lokshtanov，D.，Saurabh，S.：通过颜色和ID的不可压缩性。收录于：ICALP 2009，第一部分，LNCS，第5555卷，第378-389页。斯普林格，海德堡（2009）·兹比尔1248.68243
[4] Fernau，H.：边支配集：基于枚举的高效精确算法。In:Bodlaender，H.L.，Langston，M.A.（编辑）IWPEC 2006。LNCS，第4169卷，第142-153页。斯普林格，海德堡（2006）·Zbl 1154.68452号 ·doi:10.1007/11847250_13
[5] Fernau，H.，Gaspers，S.，Raible，D.：最大内部生成树的精确和参数化算法。收录：Paul，C.，Habib，M.（编辑）《计算机科学中的图论概念》。LNCS，第5911卷，第100-111页。斯普林格，海德堡（2010）·Zbl 1273.68167号 ·doi:10.1007/978-3642-11409-09
[6] Fernau，H.，Manlove，D.F.：具有聚类特性的顶点和边覆盖：复杂性和算法。J.阀瓣。藻类。 7, 149–167 (2009) ·Zbl 1187.68342号 ·doi:10.1016/j.jda.2008.09.007
[7] Fernau，H.，Raible，D.：立方图超类上最大非循环子图的精确算法。收录：Nakano，S.-i.，Rahman，M.S.（编辑）WALCOM 2008。LNCS，第4921卷，第144-156页。斯普林格，海德堡（2008）·Zbl 1132.05326号 ·doi:10.1007/978-3-540-77891-2_14
[8] Fomin，F.V.、Gaspers，S.、Saurabh，S.和Stepanov，A.A.：关于结合分枝和树宽的两种技术。《算法》54，181–207（2009）·Zbl 1185.68475号 ·doi:10.1007/s00453-007-9133-3
[9] Fomin，F.V.，Grandoni，F.，Kratsch，D.：精确算法分析的度量与征服方法。J.ACM 56（5）（2009年）·Zbl 1325.68311号 ·doi:10.1145/1552285.1552286
[10] Fujito，T.，Doi，T.：一种用于连接顶点覆盖和树覆盖的2近似NC算法。通知。流程信函。 90, 59–63 (2004) ·Zbl 1178.68377号 ·doi:10.1016/j.ipl.2004.01.11
[11] Guo，J.，Niedermeier，R.，Wernicke，S.：顶点覆盖变量的参数化复杂性。理论计算。系统。 41, 501–520 (2007) ·兹比尔1147.68607 ·doi:10.1007/s00224-007-1309-3
[12] Kneis，J.，Langer，A.，Rossmanith，P.：一种新的算法，用于查找具有多个叶子的树。收录人：Hong，S.-H.，Nagamochi，H.，Fukunaga，T.（编辑）ISAAC 2008。LNCS，第5369卷，第270-281页。斯普林格，海德堡（2008）·Zbl 1183.05082号 ·doi:10.1007/978-3-540-92182-0_26
[13] Mölle，D.，Richter，S.，Rossmanith，P.：枚举和扩展：连通顶点覆盖和树覆盖的改进算法。理论计算。系统。 43, 234–253 (2008) ·Zbl 1148.68041号 ·doi:10.1007/s00224-007-9089-3
[14] Nederlof，J.：使用Möbius反演的快速多项式空间算法：改进Steiner树和相关问题。收录于：ICALP 2009，第一部分，LNCS，第5555卷，第713-725页。斯普林格，海德堡（2009）·Zbl 1248.68258号
[15] Prieto，E.：FPT算法设计中的系统内核化。澳大利亚纽卡斯尔大学博士论文（2005年）
[16] Raible，D.，Fernau，H.：k-叶生成树的摊销搜索树分析。收件人：SOFSEM。LNCS，第5901卷，第672-684页。斯普林格，海德堡（2010）·Zbl 1274.68675号
[17] Raman，V.，Saurabh，S.，Sikdar，S.：改进的精确指数算法用于顶点二分和其他问题。摘自：Coppo，M.，Lodi，E.，Pinna，G.M.（编辑）ICTCS 2005。LNCS，第3701卷，第375-389页。斯普林格，海德堡（2005）·Zbl 1171.68646号 ·doi:10.1007/11560586_30
[18] van Rooij，J.M.M.，Bodlaender，H.L.：通过测量和征服设计，一种更快的控制集精确算法。位于：STACS，德国莱布尼兹·泽恩特鲁姆-达格斯图尔宫（Schloss Dagstuhl–Leibniz-Zentrum für Informatik）。LIPIcs，第1卷，第657-668页（2008年）·Zbl 1259.68097号
[19] van Rooij，J.M.M.，Bodlaender，H.L.：边缘控制的精确算法。收录：Grohe，M.，Niedermeier，R.（编辑）IWPEC 2008。LNCS，第5018卷，第214-225页。斯普林格，海德堡（2008）·Zbl 1142.68601号 ·数字对象标识代码：10.1007/978-3-540-79723-4_20
[20] Yannakakis，M.，Gavril，F.：图中的边支配集。SIAM J.应用。数学。 38, 364–372 (1980) ·Zbl 0455.05047号 ·数字对象标识代码：10.1137/0138030
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。