×

图中最小连通顶点覆盖的枚举和最大数目。 (英语) Zbl 1373.05008号

摘要:连通顶点覆盖是计算机科学的经典问题之一,在M.R.Garey先生D.S.约翰逊[计算机与难处理性:NP-完备性理论指南。旧金山:W.H.Freeman and Company(1979;Zbl 0411.68039号)]. 尽管对寻找最小尺寸或重量的连通顶点覆盖的优化和决策变量进行了深入研究,但令人惊讶的是,对于图的最小连通顶点覆盖数的枚举或最大数目却没有研究。本文证明了图的最小连通顶点覆盖的个数最多为\(1.8668^n),并且这些集合可以在时间\(O(1.8668 ^n)\)内枚举。对于最多为5的弦图,我们能够给出一个更好的上界,对于弦图和距离再生图,我们可以给出最小连通顶点覆盖的最大数目的紧界。

MSC公司:

2015年1月5日 精确枚举问题,生成函数
05C70号 具有特殊属性的边子集(因子分解、匹配、分区、覆盖和打包等)
05C40号 连接性
65年第68季度 算法和问题复杂性分析

关键词:

弦图;距离遗传图
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bandelt,H。;Mulder,H.M.,《距离-遗传图》,J.Combin。B、 41,2182-208(1986)·Zbl 0605.05024号
[2] M.Basavaraju,P.Heggenes,P.van’t Hof,R.Saei,Y.Villanger,无三角图中的最大诱导匹配,收录于:《计算机科学中的图论概念——第40届国际研讨会》,工作组2014年,2014年,第93-104页。;M.Basavaraju,P.Heggenes,P.van’t Hof,R.Saei,Y.Villanger,无三角图中的最大诱导匹配,收录于:《计算机科学中的图论概念——第40届国际研讨会》,工作组2014年,2014年,第93-104页·Zbl 1417.05159号
[3] 布兰德施泰特,A。;Le,V.B。;Spinrad,J.P.,《图形类:一项调查》,(SIAM离散数学与应用专著(1999),工业与应用数学学会(SIAM):工业和应用数学学会,宾夕法尼亚州费城)·Zbl 0919.05001号
[4] Byskov,J.M.,枚举最大独立集及其在图着色中的应用,Oper。Res.Lett.公司。,32, 6, 547-556 (2004) ·Zbl 1052.05055号
[5] 库图里尔,J。;Heggenes,P。;van’t Hof,P。;Kratsch,D.,图类中的最小支配集:组合边界和枚举,定理。计算。科学。,487, 82-94 (2013) ·Zbl 1283.05200号
[6] J.Couturier,P.Heggenes,P.van’t Hof,Y.Villanger,弦图和齿图中最小反馈顶点集的最大数目,收录于:计算与组合学-第18届国际年会,COCOON 2012年,2012年,第133-144页。;J.Couturier,P.Heggenes,P.van’t Hof,Y.Villanger,弦图和齿图中最小反馈顶点集的最大数目,收录于:计算与组合学-第18届国际年会,COCOON 2012年,2012年,第133-144页·Zbl 1365.05133号
[7] Cygan,M.,确定性参数化连通顶点覆盖,(SWAT 2012。SWAT 2012,《计算机科学讲义》,第7357卷(2012),施普林格出版社,95-106·Zbl 1357.05143号
[8] D'Atri,A。;Moscarini,M.,距离遗传图,steiner树和连通支配,SIAM J.Compute。,17, 3, 521-538 (1988) ·Zbl 0647.05048号
[9] 埃斯科菲尔,B。;Gourvès,L。;Monnot,J.,图和超图中连通顶点覆盖问题的复杂性和近似结果,J.离散算法,8,1,36-49(2010)·Zbl 1214.05162号
[10] Fomin,F.V。;Gaspers,S.公司。;Pyatkin,A.V。;Razgon,I.,关于最小反馈顶点集问题:精确算法和枚举算法,Algorithmica,52,2293-307(2008)·Zbl 1170.68029号
[11] F.V.Fomin,F.Grandoni,A.V.Pyatkin,A.A.Stepanov,通过测量和征服的组合边界:最小支配集和应用,ACM Trans。算法5(1)。;F.V.Fomin,F.Grandoni,A.V.Pyatkin,A.A.Stepanov,通过测量和征服的组合边界:最小支配集和应用,ACM Trans。算法5(1)·Zbl 1175.05100号
[12] Fomin,F.V。;赫格内斯,P。;Kratsch,D.,图同态的精确算法,Theoret。计算。科学。,41, 2, 381-393 (2007) ·Zbl 1119.68133号
[13] Fomin,F.V。;Heggenes,P。;Kratsch,D。;帕帕佐普洛斯,C。;Villanger,Y.,枚举最小子集反馈顶点集,算法,69,1,216-231(2014)·Zbl 1303.05189号
[14] Fomin,F.V。;Kratsch,D.,精确指数算法,(理论计算机科学文本。理论计算机科学,EATCS系列文本(2010),施普林格:施普林格-海德堡)·Zbl 1370.68002号
[15] F.V.Fomin,Y.Villanger,通过最小三角法寻找诱导子图,载于:第27届计算机科学理论方面国际研讨会,STACS 2010年,2010年,第383-394页。;F.V.Fomin,Y.Villanger,通过最小三角剖分寻找诱导子图,载于:第27届计算机科学理论方面国际研讨会,STACS 2010年,2010年,第383-394页·Zbl 1230.68108号
[16] Garey,M.R。;Johnson,D.S.,《计算机与难处理性:NP-完全性理论指南》(1979),纽约W.H.Freeman&Co·Zbl 0411.68039号
[17] Gaspers,S.公司。;Mnich,M.,《竞赛中的反馈顶点集》,《图论》,第72、1、72-89页(2013年)·Zbl 1259.05070号
[18] Golovach,P.A。;Heggenes,P。;Kratsch,D.,图中最小连通顶点覆盖的枚举和最大数,(组合算法第26届国际研讨会,IWOCA 2015,意大利维罗纳,2015年10月5-7日,修订论文集。组合算法第二十六届国际研讨会·Zbl 1476.68208号
[19] Golovach,P.A。;Heggenes,P。;Kratsch,D。;Saei,R.,弦图中的子集反馈顶点集,J.离散算法,26,7-15(2014)·Zbl 1298.05302号
[20] Golumbic,M.C.,算法图论和完美图,(《离散数学年鉴》,第57卷(2004年),阿姆斯特丹爱思唯尔科学有限公司)·Zbl 1050.05002号
[21] Hujtera,M。;Tuza,Z.,无三角图中最大独立集的个数,SIAM J.离散数学。,6, 2, 284-288 (1993) ·Zbl 0779.05025号
[22] 约翰逊,D.S。;Papadimitriou,C.H。;Yannakakis,M.,关于生成所有最大独立集,Inform。过程。莱特。,27, 3, 119-123 (1988) ·兹伯利0654.68086
[23] Lawler,E.,关于色数问题复杂性的注释,Inform。过程。莱特。,5, 3, 66-67 (1976) ·Zbl 0336.68021号
[24] 米勒,R.E。;Muller,D.,《最大一致子集问题》(IBM研究代表RC-240(1960),J.T.Watson研究中心,约克镇高地:J.T Watson研发中心,约克镇高地,美国纽约)
[25] Moon,J.W。;Moser,L.,《论图形中的派系》,以色列数学杂志。,3, 23-28 (1965) ·Zbl 0144.23205号
[26] Pelsmajer,M.J。;托卡齐,J。;West,D.B.,强弦图和弦二部图的新证明(2004)
[27] 筑山,S。;Ide,M。;Ariyoshi,H。;白川方明,I.,生成所有最大独立集的新算法,SIAM J.Compute。,6, 3, 505-517 (1977) ·Zbl 0364.05027号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。