跳到主要内容
研究论文

同时反馈顶点集:参数化透视图

出版:2018年9月17日 出版历史
  • 获取引文提醒
  • 摘要

    对于一个家庭F类关于图,一个图G公司,和一个正整数k个,的F类-天电子问题询问我们是否最多可以删除k个顶点来自G公司在中获取图形F类.F类-天电子推广了许多经典的图问题,如V埃特克斯C结束,F反馈V(V)埃特克斯S公司et(等)、和OC自行车T型横向的.对于整数α≥1n个-顶点(多)图G公司= (V(V), ⋃i=1α E类),其中的边集G公司被划分为α色类,称为α边色(多)图。自然延伸的F类-天删除边着色图的问题是S同时的 F类-天电子问题。在后一个问题中,我们得到了一个α-边着色图G公司目标是找到一组S公司最多为个k个每个图的顶点G公司S公司,其中G公司= (V(V),E类)且1≤≤α,单位为英寸F类在这项工作中,我们学习S同时的 F类-天电子对于F类成为森林之家。换句话说,我们关注S同时的F类反馈V(V)埃特克斯S公司et(等)(S感应电动机FVS)问题。算法上,我们表明,与经典对应项一样,S感应电动机FVS参数化方式k个是固定参数可处理的(FPT),并且对于任何固定常数α,都允许多项式核。特别地,我们给出了一个在2中运行的算法O(运行)(αk)n个O(运行)(1)时间和内核O(运行)k个3(α+1))顶点。我们算法的运行时间意味着S感应电动机即使当α∈o个(日志n个). 我们补充了这个积极的结果,表明如果我们允许α进入O(运行)(日志n个),其中n个是输入图中的顶点数,然后是S感应电动机FVS变为W[1]硬。特别是,当α大致等于c(c)日志n个,对于非零正常数c(c),问题变成W[1]-困难。我们的积极结果回答了Cai和Ye提出的一个悬而未决的问题(MFCS 2014)。

    工具书类

    [1]
    Vineet Bafna、Piotr Berman和Toshihiro Fujito。1999.无向反馈顶点集问题的2-近似算法。SIAM J.公司。数学。12, 3 (1999), 289--297.
    [2]
    乔根·邦·詹森和格雷戈里·古丁。边缘彩色多重图中的交替循环和路径:一项调查。离散。数学。165-166 (1997), 39--60.
    [3]
    蔡雷珍,叶俊杰,2014。边双色图的对偶连通性及其以外。第39届计算机科学数学基础国际研讨会论文集(MFCS’14)。141--152.
    [4]
    曹毅新和达尼尔·马克思。2015.区间删除是固定参数可处理的。ACM事务处理。阿尔戈。11, 3 (2015), 21:1--21:35.
    [5]
    陈建儿、费多尔·弗敏、杨柳、陆松建和Yngve Villanger。2008.反馈顶点集问题的改进算法。J.计算。系统。科学。74, 7 (2008), 1188--1198.
    [6]
    陈建儿、伊亚德·坎吉和葛霞。2010.改进了顶点覆盖的上限。西奥。计算。科学。411, 40-42 (2010), 3736--3756.
    [7]
    Marek Cygan、Fedor V.Fomin、Lukasz Kowalik、Daniel Lokshtanov、Dániel Marx、Marcin Pilipczuk、Michal Pilipczzuk和Saket Saurabh,2015年。参数化算法。斯普林格。
    [8]
    Marek Cygan、Jesper Nederlof、Marcin Pilipczuk、Michal Pilipczuk、Johan M.M.van Rooij和Jakub Onufry Wojtaszczyk。2011.在单指数时间内解决由树宽参数化的连接性问题。IEEE第52届计算机科学基础年会(FOCS’11)会议记录。150--159.
    [9]
    莱因哈德·迪斯特尔。2012.图论(第四版)。数学研究生教材,第173卷。斯普林格。
    [10]
    罗德·唐尼(Rod G.Downey)和迈克尔·费罗斯(Michael R.Fellows)。1997.参数化复杂性。斯普林格·弗拉格。
    [11]
    Fedor V.Fomin、Daniel Lokshtanov、Neeldhara Misra和Saket Saurabh,2012年。平面F删除:近似、核化和最优FPT算法。第53届IEEE计算机科学基础年会(FOCS’12)论文集。470--479.
    [12]
    M.R.Garey和David S.Johnson。1979年,《计算机与难处理性:NP完全性理论指南》。W.H.弗里曼。
    [13]
    马丁·格罗和达尼尔·马克思。2009年。关于树宽、荆棘大小和扩张。J.库姆。理论,Ser。B 99,1(2009),218--228。
    [14]
    Russell Impagliazzo和Ramamohan Paturi,2001年。关于k-SAT.J.Compute的复杂性。系统。科学。62, 2 (2001), 367--375.
    [15]
    罗素·英帕利亚佐(Russell Impagliazzo)、拉莫汉·帕图里(Ramamohan Paturi)和弗朗西斯·赞恩(Francis Zane)。2001.哪些问题具有强烈的指数复杂性?J.计算。系统。科学。63, 4 (2001), 512--530.
    [16]
    Mikio Kano和Xueliang Li.2008。边色图中的单色和异色子图——综述。图组合。24,4(2008),237--263。
    [17]
    金永中、亚历山大·兰格、克里斯托夫·保罗、费利克斯·雷德尔、彼得·罗斯马尼思、伊格纳西·绍和索姆纳特·辛达尔。2016.通过突出分解的线性核和单指数算法。ACM事务处理。阿尔戈。12, 2 (2016), 21:1--21:41.
    [18]
    托马斯·科齐马卡(Tomasz Kociumaka)和马金·皮利普祖克(Marcin Pilipczuk)。2014.更快的确定反馈顶点集。信息处理。莱特。114, 10 (2014), 556--560.
    [19]
    Stefan Kratsch和Magnus Wahlström。2012.代表集合和无关顶点:内核化的新工具。第53届IEEE计算机科学基础年会(FOCS’12)论文集。450--459.
    [20]
    丹尼尔·洛克斯塔诺夫。2008.无轮删除为W{2} -硬。第三届参数化和精确计算国际研讨会论文集(IWPEC’08)。诉讼程序。141--147.
    [21]
    Daniel Lokshtanov、N.S.Narayanaswamy、Venkatesh Raman、M.S.Ramanujan和Saket Saurabh,2014年。使用线性规划的更快的参数化算法。ACM事务处理。阿尔戈。11, 2 (2014), 15:1--15:31.
    [22]
    达尼尔·马克思。2010年。你能击败树宽吗?理论计算。6, 1 (2010), 85--112.
    [23]
    达尼尔·马克思。2010年。弦线删除是可处理的固定参数。《算法》57,4(2010),747--768。
    [24]
    达尼尔·马克思和伊尔迪科·施洛特。2012.通过删除顶点获得平面图。《算法》62,3-4(2012),807--822。
    [25]
    Pranabendu Misra、Venkatesh Raman、M.S.Ramanujan和Saket Saurabh,2012年。偶数循环横向的参数化算法。第38届计算机科学图论概念国际研讨会论文集(WG'12)。172--183.
    [26]
    布鲁斯·里德(Bruce A.Reed)、卡利·史密斯(Kaleigh Smith)和阿德里安·维塔(Adrian Vetta)。2004.求奇数循环横截。操作。Res.Lett公司。32, 4 (2004), 299--301.
    [27]
    圣多马塞。2010年A 4k个反馈顶点集的<sup>2</sup>核。ACM事务处理。阿尔戈。6, 2 (2010), 32:1--32:8.
    [28]
    V.G.振动。1964.关于-图表。磁盘室。Analiz第3期(1964年),25-30页。
    [29]
    肖明宇和长本浩。2015.无向反馈顶点集的改进精确算法。J.库姆。最佳方案。30, 2 (2015), 214--241.
    [30]
    叶俊杰.2015。关于寻找双反馈顶点集的注记。CoRR abs/1510.00773(2015)。http://arxiv.org/abs/1510.00773

    引用人

    查看全部

    建议

    评论

    信息和贡献者

    问询处

    发布于

    封面图像ACM计算理论汇刊
    ACM计算理论汇刊 第10卷第4期
    2018年12月
    121页
    国际标准编号:1942-3454
    EISSN公司:1942-3462
    DOI(操作界面):10.1145/3271481
    期刊目录
    如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

    出版商

    计算机协会

    美国纽约州纽约市

    出版历史

    出版:2018年9月17日
    认可的:2018年7月1日
    修订过的:2018年2月1日
    收到:2017年2月1日
    在TOCT中发布音量10,问题4

    权限

    请求对此文章的权限。

    检查更新

    作者标记

    1. 参数化复杂度
    2. 边着色图
    3. 反馈点集
    4. 内核

    限定符

    • 研究文章
    • 研究
    • 推荐

    贡献者

    其他指标

    文献计量学和引文

    文献计量学

    文章指标

    • 下载次数(过去12个月)11
    • 下载次数(最近6周)2

    其他指标

    引文

    引用人

    查看全部
    • (2024)类树结构删除的改进FPT算法算法学10.1007/s00453-023-01206-z86:5(1657-1699)在线发布日期:2024年1月27日
    • (2024)覆盖解决方案中的稀疏性拉丁文2024:理论信息学10.1007/978-3-031-55601-2_9(131-146)在线发布日期:2024年3月6日
    • (2021)同时反馈边集:一个参数化的观点算法学2007年10月10日/00453-020-00773-983:2(753-774)在线发布日期:2021年2月1日
    • (2020)独立反馈顶点集的改进FPT算法计算系统理论2007年10月7日/00224-020-09973-w64:8(1317-1330)在线发布日期:2020年4月25日
    • (2019)评估多层子图检测的计算复杂性网络科学2017年10月10日/nws.2019.137:2(215-241)在线发布日期:2019年8月5日

    视图选项

    获取访问权限

    登录选项

    完全访问权限

    查看选项

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用联机查看电子阅读器.

    电子阅读器

    媒体

    数字

    其他

    桌子

    分享

    分享

    共享此出版物链接

    在社交媒体上分享