×
德雷尼奥斯基（Dariusz Dereniowski）;安杰伊·林加斯;多罗塔·奥苏拉;米娅·佩尔松;Pawe伊连斯基

通过移动代理清除定向子图。用路径覆盖的变化。 （英语） 兹比尔1421.68116

J.计算。系统。科学。 102, 57-68 (2019).
摘要：我们研究了有向图中移动代理清除子图的几个问题。代理只能沿着有向图的有向游动移动，并且根据变量的不同，可以预先指定其初始位置。一般来说，对于有向图（D）和正整数（k）的顶点的给定子集（mathcal{S}），目标是确定是否存在子图（H=（mathcal{五} _小时，\mathcal{A} _小时)\)（D），从而（a）{V} _小时\)，（b）（H）是（D\）中的（k）有向游动的并集，（c）（H\）的基础图包括（D\中的（mathcal{S}\）的Steiner树。由于有向行走不一定是简单的有向路径，所以问题实际上是用路径覆盖。我们提供了关于多项式时间可处理性、硬度和问题参数化复杂性的几个结果。我们的主要固定参数算法是随机的。

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析
68瓦20 随机算法

关键词：

用路径覆盖;FPT算法;NP-hardness（NP-hardeness）;单项式的
PDF格式BibTeX公司 XML格式引用
\textit{D.Dereniowski}等人，《计算杂志》。系统。科学。102、57-68（2019年；Zbl 1421.68116）
全文： 内政部

参考文献：

[1] Abdi，A。；费尔德曼，A.E。；Guenin，B。；Könemann，J。；Sanitá，L.，Lehman定理和定向Steiner树问题，SIAM J.离散数学。，30, 1, 141-153 (2016) ·Zbl 1336.90107号
[2] 北卡罗来纳州比伦文克尔。；贝雷塔，S。；博尼佐尼，P。；Dondi，R。；Pirola，Y.，《有向非循环图中的覆盖对》，计算。J.，58，7，1673-1686（2015）
[4] Björklund，A。；Husfeldt，T。；Taslaman，N.，通过指定元素的最短周期，（第二十三届ACM-SIAM离散算法年度研讨会（SODA 2012）（2012）），1747-1753·Zbl 1418.68161号
[5] Björklund，A。；Kaski，P。；Kowalik，L.，约束多线性检测和广义图模体，算法，74，2，947-967（2016）·Zbl 1336.68115号
[6] Borowiecki，P。；Dereniowski，D。；Pralat，P.，《刷牙附加清洁限制》，Theor。计算。科学。，557, 76-86 (2014) ·Zbl 1339.05252号
[7] 布莱恩特，D。；Francetic，N。；Gordinowicz，P。；派克，D.A。；Pralat，P.，无容量限制的刷牙，离散应用。数学。，170, 33-45 (2014) ·Zbl 1288.05265号
[8] Charikar先生。；Chekuri，C。；Cheung，T.-Y。；戴，Z。；Goel，A。；Guha，S。；Li，M.，有向Steiner问题的近似算法，J.算法，33，1，73-91（1999）·Zbl 0937.68155号
[10] 费尔德曼，A.E。；Marx，D.，固定参数定向Steiner网络问题的复杂性，（第43届国际自动化、语言和编程学术讨论会（ICALP 2016）（2016）），27:1-27:14·Zbl 1388.68228号
[11] Fomin，F.V。；Lokshtanov博士。；拉曼，V。；Saurabh，S。；Rao，B.V.R.，《寻找和计算子图的更快算法》，J.Compute。系统。科学。，78, 3, 698-706 (2012) ·Zbl 1246.05149号
[12] 弗里格斯塔德，Z。；Könemann，J。；Kun-Ko，Y。；A.路易斯。；沙德拉文，M。；Tulsiani，M.，线性规划层次结构足以满足有向Steiner树，（第17届整数规划和组合优化国际会议（IPCO 2014）（2014）），285-296·Zbl 1418.90223号
[13] Gabow，H.N。；马赫什瓦里，S.N。；Osterweil，L.J.，《关于程序测试路径生成中的两个问题》，IEEE Trans。柔和。工程师，2，3，227-231（1976）
[14] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP-完全性理论指南》（1979），W.H.Freeman&Co.：W.H.Freeman&Co.纽约，纽约，美国·Zbl 0411.68039号
[15] Gaspers，S.公司。；梅辛格，M.-E。；Nowakowski，R.J。；Pralat，P.，用刷子平行清洁网络，离散应用。数学。，158, 5, 467-478 (2010) ·Zbl 1185.90024号
[16] 琼斯，M。；Lokshtanov博士。；拉马努扬，M.S。；Saurabh，S。；《Thise，O.，稀疏图上有向Steiner树的参数化复杂度》，（第21届欧洲算法研讨会（ESA 2013）（2013）），671-682·Zbl 1371.68114号
[17] 科尔曼，P。；Pangrác，O.，《关于避免禁用对的路径的复杂性》，《离散应用程序》。数学。，157, 13, 2871-2876 (2009) ·Zbl 1209.05245号
[18] Koutis，I.，路径和布局问题的快速代数算法，（第35届国际自动机、语言和编程学术讨论会（ICALP 2008）（2008）），575-586·Zbl 1153.68562号
[19] 库蒂斯，I。；Williams，R.，参数化问题的群代数的极限和应用，ACM Trans。算法，12，3，31（2016）·Zbl 1445.68343号
[20] Kováĉ，J.，《路径避免禁用对问题的复杂性》，《离散应用》。数学。，161, 10-11, 1506-1512 (2013) ·Zbl 1287.05071号
[21] Laekhanukit，B.，通过树嵌入逼近有向Steiner问题，（第43届国际自动化、语言和编程学术讨论会（ICALP 2016）（2016）），74:1-74:13·Zbl 1388.68235号
[22] 列夫科普洛斯，C。；Lingas，A。；尼尔森，B.J。；Żyliáski，P.，《通过少数代理清除连接》（第七届国际算法趣味会议（Fun 2014）（2014）），289-300
[23] 梅辛格，M.-E。；Nowakowski，R.J。；Pralat，P.，用刷子清洁网络，Theor。计算。科学。，399, 3, 191-205 (2008) ·Zbl 1187.68185号
[24] 梅辛格，M.-E。；Nowakowski，R.J。；Pralat，P.，《用扫帚清洁》，Graphs Comb。，27, 2, 251-267 (2011) ·兹比尔1235.05094
[25] 南卡罗来纳州Ntafos。；Gonzalez，T.，《关于路径覆盖问题的计算复杂性》，J.Compute。系统。科学。，29, 2, 225-242 (1984) ·Zbl 0547.68044号
[26] 南卡罗来纳州Ntafos。；Hakimi，S.L.，有向图中的路径覆盖问题及其在程序测试中的应用，IEEE Trans。柔和。工程师，5，5，520-529（1979）·Zbl 0412.68052号
[27] 南卡罗来纳州Ntafos。；Hakimi，S.L.，关于结构化有向图和程序测试，IEEE Trans。计算。，C-30，1，67-77（1981）·Zbl 0454.68005号
[28] Otter，R.，《树的数量》，《数学年鉴》。第二序列。，49, 3, 583-599 (1948) ·Zbl 0032.12601号
[29] Thouse，Ondrej，《关于多根定向Steiner树》，（第42届计算机科学图论概念国际研讨会（WG 2016）（2016）），257-268·Zbl 1417.05089号
[30] Watel博士。；Weisser，医学硕士。；本茨，C。；Barth，D.，带分支约束的定向Steiner树，（第20届国际计算与组合学会议（COCOON 2014）（2014）），263-275·Zbl 1423.68359号
[31] Watel，D。；Weisser，医学硕士。；本茨，C。；Barth，D.，用扩散成本指导Steiner树，J.Comb。最佳。，32, 4, 1089-1106 (2016) ·Zbl 1356.90152号
[32] Williams，R.，《在（O^\ast（2^k））时间内求长度\（k\）的路径》，Inf.Process。莱特。，109, 6, 315-318 (2009) ·Zbl 1191.68857号
[33] M.Zientara，《个人沟通》，2016年。；M.Zientara，《个人沟通》，2016年。
[34] 佐辛，L。；Khuller，S.，关于定向Steiner树，（第十三届ACM-SIAM离散算法年会（SODA 2002）（2002）），59-63·Zbl 1093.68629号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。