×

关于部分(k)树的iso-和其他形态的发现的复杂性。 (英语) Zbl 0764.68128号

摘要:决定输入图的(H\leq G\),其中(\leq)是否“同构于子图”、“同构于诱导子图”,“同构至细分”、“同构于收缩”或其组合的问题是NP完全的。我们讨论了当\(G)被限制为部分\(k)-树(换句话说:具有树宽\(leq k),可分解\(k \)-,具有维数\(leqk))时这些问题的复杂性。使用此限制,问题通常仍然是NP-完全的,但在(H)中施加的一些自然限制下,例如当(H)具有有界度时,存在多项式算法。我们还给出了限制于部分(k)树(输入为(n)部分)的(n)不相交连接路径问题的多项式时间算法。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
65年第68季度 算法和问题复杂性分析
05二氧化碳
05年10月 平面图;图论的几何和拓扑方面
05C70号 具有特殊属性的边子集(因子分解、匹配、分区、覆盖和打包等)
05C38号 路径和循环
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Arnborg,S。;科内尔·D·G。;Proskurowski,A.,在(k)树中寻找嵌入的复杂性,SIAM J.代数离散方法,8277-287(1987)·Zbl 0611.05022号
[2] Arnborg,S。;Proskurowski,A.,嵌入在(k)树中的图上NP-hard问题的线性时间算法,离散应用。数学。,1989年11月23日至24日·Zbl 0666.68067号
[3] Bodlaender,H.L.,图的多项式算法是部分树上的同构和色指数,(技术报告(1988),乌得勒支大学:乌得勒支特大学)·Zbl 0651.68079号
[4] Garey,M.R。;Johnson,D.S.,《计算机与难治性》(1979),弗里曼:加利福尼亚州旧金山弗里曼出版社·Zbl 0411.68039号
[5] 霍普克罗夫特,J.E。;Karp,R.E.,二部图最大匹配的一种(O(n^{52})算法,SIAM J.Compute。,2, 225-231 (1973) ·Zbl 0266.05114号
[6] Karp,M.,关于组合问题的复杂性,网络,5,45-68(1975)·Zbl 0324.05003号
[7] Luks,E.,有界价图的同构可以在多项式时间内进行测试,Proc。第21届IEEE交响乐。《计算机科学基础》,42-49(1980)·Zbl 0493.68064号
[8] 马图舍克,J。;Thomas,R.,《寻找图的树分解的算法》,J.Algorithms,12,1-22(1991)·Zbl 0712.68077号
[9] Robertson,北卡罗来纳州。;西摩,P.D.,《未成年人图形II》。树宽的算法方面,J.Algorithms,7309-322(1986)·Zbl 0611.05017号
[10] N.Robertson和P.D.Seymour,图未成年人XIII。不相交路径问题,手稿。;N.Robertson和P.D.Seymour,图未成年人XIII。不相交路径问题,手稿·Zbl 0823.05038号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。