×

关于有向边支配集的新结果。 (英语) Zbl 07834235号

摘要:我们研究了有向图上边支配集的一类推广,称为有向(p,q)-边支配集。在这个问题中,一条弧\(u,v)\)被认为支配着它自己,以及所有与\(v\)相距最多\(q\)的弧,或与\(u\)相距最多\(p\)的弧。首先,我们针对该问题的两个最重要的情况,即(0,1)-dEDS和(1,1)-dEDS(对应于线图上的支配集版本),以及多项式核,给出了显著改进的FPT算法。我们还将这些情况下最著名的近似值从对数改进为常数。此外,我们还证明了\(p,q)\)-dEDS是由\(p+q+\mathrm{tw}\)参数化的FPT,但\。然后,我们继续关注锦标赛问题的复杂性。在这里,我们对(p),(q)的每一个可能的固定值都提供了一个完整的分类,这表明该问题表现出令人惊讶的行为,包括在(mathrm{p})中的情况;在拟多项式时间内可解但在\(\mathrm{P}\)内不可解的情形;以及一个单一案例((p=q=1)),即NP-hard(在随机约简下),在标准假设下,无法在亚指数时间内求解。

MSC公司:

05C69号 具有特殊属性的顶点子集(支配集、独立集、团等)
05C20号 有向图(有向图),比赛
68兰特 计算机科学中的图论(包括图形绘制)
65年第68季度 算法和问题复杂性分析
05C85号 图形算法(图形理论方面)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] P.Alimonti和V.Kann。三次图的一些APX-完备性结果。理论计算机科学,237(1-2):123-1342000·Zbl 0939.68052号
[2] B.S.贝克。平面图上NP完全问题的近似算法。美国医学会杂志,41(1):153-1801994·Zbl 0807.68067号
[3] R.Belmonte、T.Hanaka、I.Katsikarelis、E.J.Kim和M.Lampis。有向边支配集的新结果。在2018年第43届计算机科学数学基础国际研讨会上,MFCS,第67:1-67:16页·Zbl 1512.68191号
[4] D.Binklee-Reible和H.Fernau。列举和衡量:改进参数预算管理。在IPEC中,《计算机科学讲义》第6478卷,第38-49页。施普林格,2010年·Zbl 1309.68235号
[5] A.Biswas、V.Jayapaul、V.Raman和S.R.Satti。在比赛中寻找国王。谨慎。申请。数学。,322:240-252, 2022. ·Zbl 1498.05111号
[6] H.L.Bodlaender、P.G.Drange、M.S.Dregi、F.V.Fomin、D.Lokshtanov和M.Pilipczuk。一种用于树宽度的O(c k n)5近似算法。SIAM计算机杂志,45(2):317-3782016·Zbl 1333.05282号
[7] R.Boliac、K.Cameron和V.V.Lozin。关于二部图的离解数和诱导匹配数的计算。Ars Combinatorica,72,2004年·Zbl 1075.05066号
[8] G.Borradaile和H.Le。树分解上r-控制问题的最优动态规划。在IPEC中,LIPIcs第63卷,第8:1-8:23页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik,2016年·Zbl 1398.68389号
[9] J.Cardinal、S.Langerman和E.Levy。稠密图中边控制集的改进近似界。理论计算机科学,410(8-10):949-9572009·Zbl 1165.68055号
[10] M.Chlebík和J.Chleby ková。边支配集问题的近似硬度。组合优化杂志,11(3):279-2902006·Zbl 1255.90121号
[11] M.Cygan、F.V.Fomin、L.Kowalik、D.Lokshtanov、D.Marx、M.Pilipczuk、M.Pilipczuk和S.Saurabh。参数化算法。斯普林格,2015年·Zbl 1334.90001号
[12] E.D.Demaine、F.V.Fomin、M.T.Hajiaghayi和D.M.Thilikos。平面图和地图图中(k,r)-中心的固定参数算法。ACM算法汇刊,1(1):33-472005·Zbl 1321.05256号
[13] I.迪努尔和D.斯特勒。平行重复的分析方法。STOC计算机理论研讨会编辑D.B.Shmoys,第624-633页。ACM,2014年·Zbl 1315.91001号
[14] R.G.Downey和M.R.Fellows。固定参数可处理性和完整性i:基本结果。SIAM计算机杂志,24(4):873-9211995a·Zbl 0830.68063号
[15] R.G.Downey和M.R.Fellows。参数化计算可行性。在可行数学II中,第219-244页,1995b·Zbl 0834.68046号
[16] D.Eisenstat、P.N.Klein和C.Mathieu。平面图中k中心的近似。2014年谨慎算法研讨会,第617-627页。暹罗,2014年·Zbl 1421.68215号
[17] M.R.Fellows、D.Hermelin、F.A.Rosamond和S.Vialette。关于多区间图问题的参数化复杂性。理论计算机科学,410(1):53-612009·Zbl 1161.68038号
[18] H.费尔瑙。边缘支配集:高效的基于枚举的精确算法。在参数化和精确计算中,第142-153页。施普林格-柏林-海德堡,2006年·Zbl 1154.68452号
[19] F.V.Fomin、S.Gaspers、S.Saurabh和A.A.Stepanov。关于分枝与树宽相结合的两种技术。《算法》,54(2):181-2072009·Zbl 1185.68475号
[20] T.Fujito和H.Nagamochi。最小权边支配集问题的2-近似算法。离散应用数学,118(3):199-2072002·Zbl 1016.68061号
[21] M.R.Garey和D.S.Johnson。计算机与不可纠正性:NP-完备性理论指南。W.H.Freeman and Co.,1979年·Zbl 0411.68039号
[22] T.哈格鲁普。边缘支配集的核:更简单或更小。《计算机科学数学基础》MFCS 2012,计算机科学讲义第7464卷,第491-502页。施普林格,2012年·Zbl 1365.68281号
[23] T.Hanaka、N.Nishimura和H.Ono。关于定向覆盖和控制问题。离散应用数学,259:76-992019·Zbl 1407.05194号
[24] F.Harary和R.Z.Norman。线有向图的一些性质。巴勒莫马特马蒂马蒂科(Rendiconti del Circolo Matematico di Palermo),9(2):161-1681960年·Zbl 0099.18205号
[25] J.D.Horton和K.Kilakos。最小边支配集。SIAM离散数学杂志,6(3):375-3871993年·Zbl 0782.05083号
[26] K.Iwaide和H.Nagamochi。参数化边控制集问题的一种改进算法。图形算法与应用杂志,20(1):23-582016·Zbl 1331.05171号
[27] I.Katsikarelis、M.Lampis和V.T.Paschos。(k,r)-中心的结构参数、紧界和近似。离散应用数学,264:90-1172019年。组合优化:在实践和理论之间·Zbl 1414.05102号
[28] T.Kloks。《树宽、计算和近似》,LNCS第842卷。斯普林格,1994年·Zbl 0825.68144号
[29] S.Kreutzer和S.Tazari。没有指向稠密的图类。2012年离散算法SODA研讨会,第1552-1562页,2012年。雷米·贝尔蒙特等人·Zbl 1423.68353号
[30] D.莫什科维茨。投影对策猜想和lnn-逼近集覆盖的NP硬度。《计算理论》,11:221-2352015·Zbl 1335.68097号
[31] Y.L.Orlovich、A.Dolgui、G.Finke、V.S.Gordon和F.Werner。图中离解集问题的复杂性。离散应用数学,159(13):1352-13662011·Zbl 1223.68058号
[32] R.Schmide和C.Viehmann。稠密图中的近似边控制集。理论计算机科学,414(1):92-992012·Zbl 1235.68079号
[33] V.V.瓦齐拉尼。近似算法。斯普林格,2001年。
[34] D.P.Williamson和D.B.Shmoys。近似算法的设计。剑桥大学出版社,2011年第1版·Zbl 1219.90004号
[35] 肖先生和寇先生。最大分离集和最小三路径顶点覆盖问题的精确算法。《理论计算机科学》,657:86-972017年·Zbl 1357.05146号
[36] M.Xiao和H.Nagamochi。一种精确的边缘控制集算法。理论计算机科学,560:207-2162014·兹比尔1304.05142
[37] M.Xiao、T.Kloks和S.Poon。边控制集问题的新参数化算法。理论计算机科学,511:147-1582013·Zbl 1407.68231号
[38] M.扬纳卡基斯。二部图上的节点删除问题。SIAM Journal Computing,10(2):310-3271981年·Zbl 0468.05044号
[39] M.Yannakakis和F.Gavril。图中的边支配集。SIAM应用数学杂志,38(3):364-3721980·Zbl 0455.05047号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。