×

关于识别Stick、BipHook和最大点容限图的复杂性。 (英语) Zbl 1522.68422号

小结:棒状图定义如下。设(A)(分别为(B))是平面上的一组垂直(分别为水平)线段,使得(A)中线段的底端点和(B)中线段左端点位于坡度为(-1)的同一地线上。由\(A\)和\(B\)定义的必为二部的Stick图是\(A \)中的线段与\(B \)中线段的交集图。
我们通过证明识别棒状图是NP完全的来回答一个公开的问题。这个结果使我们能够轻松地解决另外两个公开的问题,即BipHook图和最大点容忍图的识别。我们证明这两个问题都是NP-完全问题。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
05C62型 图形表示(几何和交点表示等)
2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿迪卡里,拉南多;Bose,考斯塔夫;穆克吉,萨特维克;Roy,Bodhayan,区间图最大割的复杂性,(第37届计算几何国际研讨会论文集(2021)),7:1-7:11
[2] 阿隆库马尔·巴鲁阿;Baruah,Niky,《交通控制问题中的交叉口图》,国际数学杂志。计算。申请。研究,3,01,265-270(2013)
[3] Kellogg S.展位。;Lueker,George S.,使用PQ树算法测试连续一的性质、区间图和图的平面性,J.Comput。系统。科学。,13, 3, 335-379 (1976) ·Zbl 0367.68034号
[4] 安德烈亚斯·布兰德斯塔特;Le,Van Bang;Spinrad,Jeremy P.,《图形类:调查》(1999),SIAM·Zbl 0919.05001号
[5] 吉恩·卡迪纳尔;斯特凡·费尔斯纳(Stefan Felsner);米尔佐·蒂尔曼;凯西·汤普金斯;Vogtenhuber,Birgit,光线和接地线段的交集图,《图形算法应用》。,22, 2, 273-295 (2018) ·Zbl 1394.05080号
[6] 丹尼尔·卡坦扎罗(Daniele Catanzaro);史蒂文·查普利克(Steven Chaplick);斯特凡·费尔斯纳(Stefan Felsner);比亚尼五世·哈尔德森。;Halldórsson,Magnús M。;托马斯·希克森;Stacho,Juraj,Max点容忍图,离散应用。数学。,216, 84-97 (2017) ·Zbl 1350.05118号
[7] 史蒂文·查普利克(Steven Chaplick);斯特凡·费尔斯纳(Stefan Felsner);乌多·霍夫曼;Wiechart,Veit,网格交集图和序维,order,35,2,363-391(2018)·Zbl 1404.05178号
[8] 史蒂文·查普利克(Steven Chaplick);菲利普·金德曼;安德烈·洛夫勒;Florian Thiele;亚历山大·沃尔夫(Alexander Wolff);亚历山大·扎夫特(Alexander Zaft);Johannes Zink,《识别有长度约束和无长度约束的棒状图》,J.Graph Algorithms Appl。,24, 4, 657-681 (2020) ·Zbl 1451.05223号
[9] 费利斯·德·卢卡;侯赛因,伊克巴尔马里兰州;斯蒂芬·科博罗夫;安娜·卢比夫(Anna Lubiw);Mondal,Debajyoti,识别和绘制棒状图,Theor。计算。科学。,796, 22-33 (2019) ·兹比尔1435.68230
[10] 迈克尔·R·加里。;戴维·约翰逊(David S.Johnson),《计算机与难处理性:NP-完全性理论指南》(1979),W.H.Freeman·Zbl 0411.68039号
[11] Gavril,Fanica,树中子树的交集图正是弦图,J.Comb。理论,Ser。B、 16、1、47-56(1974)·Zbl 0266.05101号
[12] 比亚尼五世·哈尔德森。;德里克·阿奎尔(Derek Aguiar);Ryan Tarpine;Istrail,Sorin,《克拉克阶段性样本大小问题:gwas中的长期阶段化和杂合性丢失》,J.Compute。生物学,18,3,323-333(2011)
[13] 哈特曼,伊里斯·本·阿罗约;伊兰·纽曼;Ziv,Ran,网格交集图,离散数学。,87, 1, 41-52 (1991) ·兹比尔0739.05081
[14] Hixon,Thomas,Hook graphs and more:对几何图论的一些贡献(2013),柏林理工大学,硕士论文
[15] Kratochvíl,Jan,一个特殊的平面可满足性问题及其NP-完全离散应用的结果。数学。,52, 3, 233-252 (1994) ·Zbl 0810.68083号
[16] Kratochvíl,Jan;Matoušek,Jiří,段的交集图,J.Comb。理论,Ser。B、 62、2、289-315(1994)·Zbl 0808.68075号
[17] 特里·A·麦基。;麦克莫里斯,弗雷德·R。,《交集图论专题》,《离散数学与应用专著》(1999年),工业与应用数学学会·Zbl 0945.05003号
[18] Donald J.Rose。;Tarjan,R.Endre;Lueker,George S.,图上顶点消除的算法方面,SIAM J.Compute。,5, 2, 266-283 (1976) ·Zbl 0353.65019号
[19] Rusu,Irena,A-Stick图中的强制对,离散数学。,345,9,第112962条第(2022)页·Zbl 1491.05159号
[20] Schaefer,Marcus,一些几何和拓扑问题的复杂性,(第17届图形绘制国际研讨会论文集(2009)),334-344·Zbl 1284.68305号
[21] Schaefer,Thomas J.,可满足性问题的复杂性,(第十届ACM计算理论研讨会论文集(1978)),216-226·Zbl 1282.68143号
[22] Shrestha,Anish Man Singh;高冈,朝日;Tayu,Satoshi;上野,水池,关于纳米PLA设计的两个问题,IEICE Trans。信息系统。,94, 1, 35-41 (2011)
[23] Man Singh Shrestha,阿尼什;Tayu,Satoshi;上野,水池,关于正交射线图,离散应用。数学。,158, 15, 1650-1659 (2010) ·Zbl 1222.05219号
[24] Sinden,Frank W.,薄膜RC电路拓扑,贝尔系统。《技术期刊》,45,9,1639-1662(1966)·兹比尔0144.45601
[25] Thraves-Caro,Christopher;Soto,Mauricio,p-box:一种新的图形模型,离散数学。西奥。计算。科学。,17 (2015) ·兹比尔1311.05135
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。