×

最小切割对于边权重树是NP完成的。 (英语) Zbl 0657.68034号

设G是(最终边加权)无向图(G=(V,E)),L是G的线性布局,即V的顶点沿水平线的排列。L和G的(加权)剖切宽度,用cw(G,L)表示,是在连续顶点之间绘制的任何垂直线的对边上连接顶点的最大边数(权重总和)。G的(加权)剖切宽度用cw(G)表示,是所有(加权)cw(G,L)的最小值,L是G的线性布局。
这一问题的调查是出于电路设计问题,在电路设计中,人们希望尽量减少连接不同电路板或门的电线所需的通道数量。加权版本可以更接近地模拟实际电路设计问题。据了解M.扬纳卡基斯[J.Assoc.Comput.Mach.32,950-988(1985;Zbl 0633.68063号)]最小割在树上的时间O(n log n)中是可解的。
本文表明:
1) 最小割问题是NP-完全的,即使限制在最大顶点度为3且
2) 加权最小割问题是NP-完全的,即使仅限于具有多项式大小权重的树。
还证明了最大顶点度为3的平面图的“搜索数”是NP完全的,它解决了由N.Megiddo、S.L.Hakimi、M.R.Garey、D.S.JohnsonC.H.帕帕迪米特里奥[同上,35、18-44(1988年;Zbl 0637.68081号)].
此外,还证明了最大度为3的平面图的顶点分离、逐次黑/白鹅卵石需求和拓扑带宽的NP-完全性。
审核人:A.布兰德斯特

理学硕士:

65年第68季度 算法和问题复杂性分析
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Baker,B.,平面图上NP-完全问题的近似算法,Proc。年第24届IEEE交响乐。计算机科学基础,265-273(1983),图森
[2] Chung,F.R.K.,关于树的割宽和拓扑带宽,SIAM J.代数离散方法,6268(1985)·Zbl 0565.05019号
[3] 钟,M.-J。;马克登,F。;I.H.苏德堡。;Turner,J.,度受限树上最小割线性排列问题的多项式算法,SIAM J.Compute。,14, 1, 158-177 (1985) ·Zbl 0603.68068号
[4] 库克,S.A。;Sethi,R.,确定性多项式时间可识别语言的存储要求,J.Compute。系统科学。,25-37 (1976) ·Zbl 0337.68031号
[5] J.A.Ellis、I.H.Sudborough和J.S.Turner,图分离和搜索编号,in:程序。1983年Allerton通信、控制和计算大会SIAM J.计算。; J.A.Ellis、I.H.Sudborough和J.S.Turner,图分离和搜索编号,in:程序。1983年Allerton通信、控制和计算大会SIAM J.计算。·Zbl 0942.68641号
[6] Garey,M.R。;Johnson,D.S.,《计算机与难处理性:NP-完备性理论指南》(1979),弗里曼:弗里曼旧金山,加利福尼亚州·Zbl 0411.68039号
[7] Garey,M.R。;格雷厄姆·R·L。;约翰逊,D.S。;Knuth,D.E.,带宽最小化的复杂性结果,SIAM J.应用数学。,34, 477-495 (1978) ·Zbl 0385.05048号
[8] 吉尔伯特,J.R。;Lengauer,T。;Tarjan,R.E.,卵石问题在多项式空间中是完全的,SIAM J.Compute。,9, 3, 513-524 (1980) ·Zbl 0456.68045号
[9] 霍普克罗夫特,J.E。;保罗·W。;Valiant,L.,《论时间与空间》,J.ACM,24,332-337(1977)·兹比尔0358.68082
[10] Kirousis,M。;Papadimitriou,C.H.,《搜索与鹅卵石》,理论。计算。科学。,47, 2, 205-218 (1986) ·Zbl 0616.68064号
[11] Klawe,M.,《金字塔上黑白鹅卵石的紧密结合》,J.ACM,32,1,218-228(1985)·兹比尔0632.68042
[12] S.LaPaugh,再污染无助于搜索图表,美国临床医学杂志; S.LaPaugh,再污染无助于搜索图表,美国临床医学杂志·Zbl 0768.68048号
[13] Lengauer,T.,《黑白卵石与图形分离》,《信息学报》,第16期,第465-475页(1981年)·Zbl 0454.68027号
[14] 利普顿,R.J。;Tarjan,R.E.,平面图的分隔定理,SIAM J.Appl。数学。,36, 2, 177-189 (1979) ·Zbl 0432.05022号
[15] Meyer auf der Heide,F.,图上卵石游戏的两种变体的比较,理论。计算。科学。,13, 315-322 (1981) ·Zbl 0454.05031号
[16] 马克登,F。;Sudborough,I.H.,《最小化线性布局中的宽度》,(第十届ICALP.第十届CIALP,计算机科学讲稿,154(1983),施普林格:施普林格柏林),478-490,(巴塞罗那)·Zbl 0514.94025号
[17] 马克登,F。;Papadimitriou,C.H。;Sudborough,I.H.,拓扑带宽,SIAM J.代数离散方法,6,3,418-444(1985)·Zbl 0573.05052号
[18] 梅吉多,N。;Hakimi,S.L。;Garey,M.R。;约翰逊,D.S。;Papadimitriou,C.H.,搜索图形的复杂性,Proc。IEEE计算机科学基础交响乐团。,376-385(1981),纳什维尔
[19] Z.Miller,最大顶点度为三的树的拓扑带宽的线性时间算法,SIAM J.计算机; Z.Miller,最大顶点度为三的树的拓扑带宽的线性时间算法,SIAM J.计算机
[20] Parsons,T.D.,《图中的追求扩张》(Alavi,Y.;Dick,D.R.,《图的理论与应用》(1976),Springer:Springer Berlin),426-441·Zbl 0379.05026号
[21] Parsons,T.D.,连通图的搜索数,(Proc.9th Southeastern Conf.on Combinatics,graph Theory,and Computing(1978),《实用数学:实用数学温尼伯》,加拿大),549-554·Zbl 0418.05022号
[22] 罗森博格,A。;Sudborough,I.H.,《带宽和卵石》,计算机,31115-139(1983)·Zbl 0509.90100号
[23] Sethi,R.,完全寄存器分配问题,SIAM J.Comput。,4, 226-248 (1975) ·Zbl 0327.68042号
[24] Wilber,R.,《白色鹅卵石的帮助》,Proc。年第17届ACM交响乐团。《计算理论》,103-112(1985),普罗维登斯
[25] Yannakakis,M.,树木最小切割线性排列的多项式算法,J.ACM,32,4,950-988(1985)·Zbl 0633.68063号
[26] Monien,B.,毛长为3的毛毛虫的带宽最小化问题是NP完全的,SIAM J.代数离散方法,7055-512(1986)·Zbl 0624.68059号
[27] Papadimitriou,Ch.H.,带宽最小化问题的NP-完备性,计算,16,263-270(1976)·Zbl 0321.65019号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。