×

有向非循环图中的奇数多路切割。 (英语) Zbl 1443.68123号

摘要:我们研究了奇数多路节点(边)切割问题,其中输入是一个具有指定终端节点集合的图,目标是找到要删除的非终端节点(边缘)的最小子集,以便终端节点之间没有奇数长度的路径。D.洛克斯塔诺夫M.S.Ramanujan先生【Lect.Notes Compute.Sci.7391,750–761(2012;Zbl 1272.68146号)]结果表明,当用无向图中解的大小参数化时,奇数多路节点割和奇数多路边割都是固定参数可处理的(FPT)。在这项工作中,我们重点研究了有向无环图(DAG),并设计了一个固定参数算法。我们的主要贡献是扩展了阴影消除框架,以解决DAG中的奇偶问题。我们用紧逼近性和DAG中两个终端的多面体结果来补充我们的FPT结果。此外,我们还证明了无向图中奇数多向边割的不可接近性结果,即使是两个端点。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
68年第27季度 参数化复杂性、可处理性和核化
68周25 近似算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] H.Angelidakis、Y.Makarychev和P.Manurangsi,《多路切割Călinescu-Karloff-Rabani松弛的改进完整性缺口》,《第19届整数规划与组合优化国际会议(IPCO 2017)论文集》,加拿大安大略省滑铁卢,《计算讲义》。科学。10328,施普林格,查姆,2017年,第39-50页·Zbl 1418.90267号
[2] K.Bringmann、D.Hermelin、M.Mnich和E.J.van Leeuwen,Steiner multicut的参数化复杂性二分法,J.Compute。系统科学。,82(2016),第1020-1043页·Zbl 1342.68155号
[3] R.Chitnis、M.Cygan、M.Hajiaghayi和D.Marx,定向子集反馈顶点集是固定参数可处理的,ACM Trans。算法,11(2015),28·兹比尔1398.68222
[4] R.Chitnis、M.Hajiaghayi和D.Marx,由割集大小参数化的定向多向切割的固定参数可处理性,SIAM J.Compute。,42(2013),第1674-1696页·Zbl 1312.68097号
[5] M.Chudnovsky、J.Geelen、B.Gerards、L.Goddyn、M.Lohman和P.Seymour,《群标记图中的非零(A)路径打包》,《组合数学》,26(2006),第521-532页·邮编1127.05050
[6] M.Cygan,F.V.Fomin,Ł。Kowalik、D.Lokshtanov、D.Marx、M.Pilipczuk、M.Pilipczuk和S.Saurabh,参数化算法,Springer,Cham,2015年·兹比尔1334.90001
[7] E.Dahlhaus、D.S.Johnson、C.H.Papadimitriou、P.D.Seymour和M.Yannakakis,多端切割的复杂性,SIAM J.Compute。,23(1994年),第864-894页·Zbl 0809.68075号
[8] J.Edmonds,《最大匹配与顶点为(0,1)的多面体》,J.Res.Nat.Bur。标准章节。B、 69(1965),第125-130页·Zbl 0141.21802号
[9] J.埃德蒙兹,小径,树木和花卉,加拿大。数学杂志。,17(1965年),第449-467页·兹宝l 0132.20903
[10] M.Etscheid和M.Mnich,《寻找大切割的线性核和线性时间算法》,《算法》,80(2018),第2574-2615页·兹比尔1396.68056
[11] M.Groítschel、L.Lovaísz和A.Schrijver,《几何算法和组合优化》,第二版,算法和组合2,柏林斯普林格出版社,1993年·兹比尔0837.005001
[12] S.Ibrahimpur和C.Swamy,打包和覆盖奇数(u,v)-迹的Min-max定理,《第19届整数规划和组合优化国际会议论文集》(IPCO 2017),加拿大安大略省滑铁卢,计算讲义。科学。10328,施普林格,查姆,2017年,第279-291页·Zbl 1418.90231号
[13] Y.Iwata、K.Oka和Y.Yoshida,《通过网络流的线性时间FPT算法》,载于《第二十五届ACM-SIAM离散算法研讨会论文集》(SODA 2014),SIAM,费城,2014年,第1749-1761页·Zbl 1423.68572号
[14] B.M.P.Jansen、M.Pilipczuk和E.J.van Leeuwen,平面图中奇数圈横向和顶点多路切割的确定多项式核,第36届计算机科学理论方面国际研讨会论文集(STACS 2019),LIPIcs。莱布尼茨国际程序。通知。126,达格斯图尔宫。莱布尼茨曾特。通知。,沃登,2019年,第39页·Zbl 07559148号
[15] N.Kakimura和K.-I.Kawarabayashi,奇偶约束子集反馈集问题的固定参数可处理性,Theoret。计算。科学。,576(2015),第61-76页·Zbl 1312.68104号
[16] S.Khot和O.Regev,顶点覆盖可能很难近似到(2-\epsilon),J.Compute。系统科学。,74(2008),第335-349页·Zbl 1133.68061号
[17] S.Kolay、D.Lokshtanov、F.Panolan和S.Saurabh,仙人掌快速但奇怪的生长,《算法》,79(2017),第271-290页·Zbl 1372.68136号
[18] S.Kratsch和M.Wahlstro­M,通过拟阵进行压缩:奇数循环横截的随机多项式核,ACM-Trans。算法,10(2014),20·兹比尔1398.68250
[19] A.S.LaPaugh和C.H.Papadimitriou,图和有向图的平均路径问题,《网络》,14(1984),第507-513页·Zbl 0552.68059号
[20] D.Lokshtanov、P.Misra、M.S.Ramanujan和S.Saurabh,《命中选定(奇数)循环》,SIAM J.离散数学。,31(2017),第1581-1615页·Zbl 1368.05147号
[21] D.Lokshtanov、N.S.Narayanaswamy、V.Raman、M.S.Ramanujan和S.Saurabh,使用线性规划的更快参数化算法,ACM Trans。算法,11(2014),15·Zbl 1398.68254号
[22] D.Lokshtanov和M.S.Ramanujan,具有奇偶约束的多路切割的参数化可处理性,在自动机、语言和编程:第一部分(ICALP 2012),计算讲义。科学。7391,施普林格,海德堡,2012年,第750-761页·兹比尔1272.68146
[23] D.Lokshtanov、M.S.Ramanujan、S.Saurab和M.Zehavi,有向奇数循环横向的参数化复杂性和近似性,《第三十一届ACM-SIAM离散算法年会论文集》(SODA 2020),SIAM,费城,2020年,第2181-2200页·Zbl 07304158号
[24] D.Lokshtanov、M.S.Ramanujan和S.Saurabh,《当递归优于迭代时:具有较少错误顶点的无环线性时间算法》,载于《第二十届ACM-SIAM离散算法研讨会论文集》(SODA 2018),SIAM,费城,2018年,第1916-1933页·Zbl 1403.68170号
[25] R.Manokaran、J.Naor、P.Raghavendra和R.Schwartz,《多向切割、(0)延伸和度量标记的SDP缺口和UGC硬度[扩展摘要]》,载于《第四十届ACM计算理论研讨会论文集》(STOC 2008),ACM,纽约,2008年,第11-20页·Zbl 1231.68140号
[26] D.马克思,参数化图形分离问题,理论。计算。科学。,351(2006),第394-406页·Zbl 1086.68104号
[27] D.Marx、B.O'Sullivan和I.Razgon,通过树宽缩减在线性时间中寻找小分离器,ACM Trans。算法,9(2013),30·Zbl 1301.05337号
[28] D.Marx和I.Razgon,由割集大小参数化的多割的固定参数可处理性,SIAM J.Compute。,43(2014),第355-388页·Zbl 1304.68078号
[29] M.S.Ramanujan和S.Saurabh,《通过偏对称多截的线性时间参数化算法》,载于第二十五届ACM-SIAM离散算法年会论文集(SODA 2014),SIAM,费城,2014年,第1739-1748页·Zbl 1422.68138号
[30] S.Ramanujan,参数化图形分离问题:新技术和算法,博士论文,数学科学研究所,钦奈,2013年。
[31] B.Reed、K.Smith和A.Vetta,《寻找奇数循环横截面》,Oper。Res.Lett.公司。,32(2004年),第299-301页·兹比尔1052.05061
[32] A.Schrijver,《组合优化:多面体与效率》,卷A:路径、流、匹配、算法组合。24,Springer-Verlag,柏林,2003年·Zbl 1041.90001号
[33] A.Schrijver和P.D.Seymour,打包奇数路径,J.Combin。B、 62(1994),第280-288页·Zbl 0810.05055号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。