×
朱塞佩·利奥塔;伊格纳斯·拉特;亚历山德拉·塔皮尼

具有限制循环序的图平面性的参数化复杂性。 （英语） Zbl 07677370号

J.计算。系统。科学。 135, 125-144 (2023).
摘要：我们研究了一个双连通图（G=（V，E））是否是平面图的复杂度，其约束条件是边的某些循环次序是允许的，而另一些循环次序是禁止的。通过将（G）的每个顶点与FPQ树的一组（D（v）关联来描述允许的循环次序。让tw型为\（G\）的树宽，设\（D_{max}\）为每个顶点的最大FPQ树数。我们证明了当参数化为\（tw+D{max}\）时问题是FPT，当参数化成\（D{max{\）时是paraNP-hard，当参数化成tw型我们还考虑了簇图的NodeTrix平面表示，其中簇是邻接矩阵，簇间边是不相交的简单曲线。我们证明，如果该图是双连通的，那么当用簇的大小加上簇折叠为单个顶点得到的图的树宽作为参数时，具有固定边的NodeTrix平面是FPT。

MSC公司：

68倍 计算机科学

关键词：

图形算法;固定参数牵引性;平面度测试;嵌入约束;节点坐标轴平面度

软件：

弦链接;节点Trix
PDF格式BibTeX公司 XML格式引用
\textit{G.Liotta}等人，《计算杂志》。系统。科学。135125-144（2023年；Zbl 07677370）
全文： 内政部

参考文献：

[1] 利奥塔，G。；鲁特，I。；Tappini，A.，具有限制循环次序的图形平面性的参数化复杂性，（计算机科学中图形理论概念国际研讨会论文集，WG（2022）），383-397·Zbl 07682424号
[2] Di Battista，G。；利奥塔，G。；Vargiu，F.，《螺旋和最优正交图》，SIAM J.Compute。，27, 6, 1764-1811 (1998) ·Zbl 0910.05061号
[3] Didimo，W。；利奥塔，G。；Ortali，G。；Patrignani，M.，线性时间下平面3图的最优正交绘制，（ACM-SIAM离散算法研讨会论文集（2020），SODA），806-825·Zbl 07304072号
[4] Didimo，W。；利奥塔，G。；Patrignani，M.，《HV-planarity:算法和复杂性》，J.Compute。系统。科学。，99, 72-90 (2019) ·Zbl 1409.68211号
[5] 加格，A。；Tamassia，R.，《关于向上和直线平面度测试的计算复杂性》，SIAM J.Compute。，31, 2, 601-625 (2001) ·Zbl 0996.68130号
[6] 哈桑，M.M。；Rahman，M.S.，平面图的无端正交图和无端正交凸图（扩展摘要），（国际计算与组合学会议论文集（2019），COCOON），254-265·兹伯利07172844
[7] 比努奇，C。；Di Giacomo，E。；利奥塔，G。；Tappini，A.，最小曲线复杂度的准向上平面图（图形绘制和网络可视化国际研讨会论文集，GD（2021）），195-209·Zbl 07551743号
[8] Didimo，W。；佐丹奴，F。；Liotta，G.，向上螺旋度和向上平面度测试，SIAM J.离散数学。，23, 4, 1842-1899 (2009) ·Zbl 1207.05039号
[9] 加格，A。；Tamassia，R.，向上平面度测试，命令，12，2，109-133（1995）·兹比尔083668081
[10] 布莱修斯，T。；芬克，S.D。；Rutter，I.，《同步平面度与约束平面度问题的应用》，（欧洲算法年度研讨会论文集，ESA（虚拟会议）（2021）），19:1-19:14·Zbl 07740874号
[11] Bläsius，T。；Rutter，I.，关于聚类平面性作为组合嵌入问题的新观点，Theor。计算。科学。，609, 306-315 (2016) ·Zbl 1331.68242号
[12] 科尔特斯，P.F。；Di Battista，G.，《簇状平面度》（ACM计算几何研讨会论文集，SOCG（2005）），32-34
[13] 冯（Q.Feng）。；科恩，R.F。；Eades，P.，聚类图的平面性，（欧洲算法年度研讨会论文集-ESA（1995）），213-226·Zbl 1512.68214号
[14] 西泽基，T。；Rahman，M.S.，平面图绘制，计算机系列讲座笔记，第12卷（2004年），《世界科学》·Zbl 1070.68124号
[15] Patrignani，M.，平面度测试和嵌入（图形绘制和可视化手册（2013）），1-42
[16] 利奥塔，G。；I·拉特。；Tappini，A.，同步FPQ排序和混合平面度测试，Theor。计算。科学。，874, 59-79 (2021) ·Zbl 1504.68177号
[17] 利奥塔，G。；鲁特，I。；Tappini，A.，同步FPQ排序和混合平面度测试，（信息学理论和实践当前趋势国际会议论文集（2020），SOFSEM），617-626·Zbl 1440.68191号
[18] 布斯，K.S。；Lueker，G.S.，《使用PQ树算法测试连续一个属性、区间图和图的平面性》，J.Compute。系统。科学。，13, 3, 335-379 (1976) ·Zbl 0367.68034号
[19] Gutwenger，C。；Klein，K。；Mutzel，P.，平面度测试和嵌入约束的最佳边插入，J.图形算法应用。，12, 1, 73-95 (2008) ·Zbl 1161.68670号
[20] Di Battista，G。；伊德斯，P。；塔玛西亚，R。；Tollis，I.G.，图表绘制（1999），普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔上鞍河·Zbl 1057.68653号
[21] Di Battista，G。；Tamassia，R.，在线平面度测试，SIAM J.Compute。，25, 5, 956-997 (1996) ·Zbl 0858.68063号
[22] 多恩，F。；Penninkx，E。；Bodlaender，H.L。；Fomin，F.V.，平面图上的高效精确算法：利用球割分解，算法，58，3，790-810（2010）·Zbl 1200.05223号
[23] 顾奇。；Tamaki，H.，平面图在O（n^3）时间内的最优分支分解，ACM Trans。算法，4，3，30:1-30:13（2008）·Zbl 1445.68165号
[24] 西摩，P.D。；Thomas，R.，《呼叫路由和捕鼠器》，Combinatorica，14，2，217-241（1994）·Zbl 0799.05057号
[25] N.亨利。；Fekete，J。；McGuffin，M.J.，《NodeTrix:社交网络的混合可视化》，IEEE Trans。视觉。计算。图表。，13, 6, 1302-1309 (2007)
[26] Citevis，可视化infovis会议论文中的引用
[27] Da Lozzo，G。；迪巴蒂斯塔，G。；弗拉蒂，F。；Patrignani，M.，《计算聚集图的节点矩阵表示》，J.图算法应用。，22, 2, 139-176 (2018) ·Zbl 1377.05123号
[28] Di Giacomo，E。；利奥塔，G。；帕特里格纳尼，M。；I·拉特。；Tappini，A.，小簇NodeTrix平面度测试，Algorithmica，81，9，3464-3493（2019）·Zbl 1429.68187号
[29] Di Giacomo，E。；利奥塔，G。；帕特里尼亚尼，M。；Tappini，A.，使用小集群进行NodeTrix平面度测试，（Frati，F.；Ma，K.，国际制图和网络可视化研讨会论文集，GD。国际制图和网络可视化研讨会论文集，GD，LNCS，第10692卷（2018）），479-491·Zbl 1429.68188号
[30] Bhore，S。；加尼安，R。；Montecchiani，F。；Nöllenburg，M.，书籍嵌入问题的参数化算法，J.Graph algorithms Appl。，24, 4, 603-620 (2020) ·Zbl 1451.05222号
[31] 查普利克，S。；Di Giacomo，E。；弗拉蒂，F。；加尼安，R。；Raptopoulou，C.N。；Simonov，K.，向上平面的参数化算法，（ACM计算几何研讨会论文集，SOCG（2022）），26:1-26:16
[32] Di Giacomo，E。；利奥塔，G。；Montecchiani，F.，有界树宽图的正交平面性检验，J.计算。系统。科学。，125, 129-148 (2022) ·Zbl 07466701号
[33] 杜杰莫维奇，V。；研究员，M.R。；Hallett，M.T。；Kitching，M。；利奥塔，G。；麦卡汀，C。；北西村。；Ragde，P。；F.A.罗萨蒙德。；苏德曼，M。；怀特赛德斯，S。；Wood，D.R.，《两层平面化的固定参数方法》，《算法》，45，2，159-182（2006）·Zbl 1095.68081号
[34] 杜杰莫维奇，V。；研究员，M.R。；Kitching，M。；利奥塔，G。；McCartin，C。；Nishimura，北。；拉格德，P。；F.A.罗萨蒙德。；怀特赛德斯，S。；Wood，D.R.，关于分层图绘制的参数化复杂性，Algorithmica，52，2，267-292（2008）·Zbl 1170.68028号
[35] 赫莱宁（Hlinen），P。；Sankaran，A.，顶点覆盖参数化的精确交叉数，（图形绘制和网络可视化国际研讨会论文集，GD（2019）），307-319·Zbl 07266125号
[36] Bläsius，T。；Rutter，I.，同时PQ排序及其在约束嵌入问题中的应用，ACM Trans。算法，12,216:1-16:46（2016）·Zbl 1398.68387号
[37] Arumugam，S。；Brandstädt，A。；西泽基，T。；Thurasiraman，K.，《图论、组合优化和算法手册》（2016），查普曼和霍尔/CRC·Zbl 1334.68001号
[38] Holyer，I.，《边缘着色的NP完备性》，SIAM J.Compute。，10, 4, 718-720 (1981) ·Zbl 0473.68034号
[39] Cygan，M。；Fomin，F.V。；科瓦利克，L。；Lokshtanov，D。；马克思，D。；Pilipczuk，M。；Pilipczuk，M。；Saurabh，S.，参数化算法（2015），Springer·Zbl 1334.90001号
[40] 研究员，M.R。；Fomin，F.V。；Lokshtanov，D。；F.A.罗萨蒙德。；Saurabh，S。；Szeider，S。；Thomassen，C.，关于树宽参数化的一些丰富多彩问题的复杂性，Inf.Compute。，209, 2, 143-153 (2011) ·兹比尔1223.05070
[41] Robertson，北卡罗来纳州。；西摩，P.D.，《未成年人图形》。X.树木分解障碍，J.Comb。理论，Ser。B、 52、2、153-190（1991）·Zbl 0764.05069号
[42] 巴塔格尔，V。；Brandenburg，F。；Didimo，W。；利奥塔，G。；帕拉迪诺，P。；Patrignani，M.，使用（X，Y）聚类和混合可视化对大型图进行可视化分析，IEEE Trans。视觉。计算。图表。，17, 11, 1587-1598 (2011)
[43] Angelini，P。；Da Lozzo，G。；Di Battista，G。；弗拉蒂，F。；帕特里格纳尼，M。；Rutter，I.，图的交链表示，J.图算法应用。，21, 4, 731-755 (2017) ·Zbl 1371.05187号
[44] Angelini，P。；伊德斯，P。；洪，S。；Klein，K。；科博罗夫，S.G。；利奥塔，G。；纳瓦拉，A。；Tappini，A.，《用路径替换团的图形平面性》，《算法》，13，8，194（2020）
[45] Angelini，P。；伊德斯，P。；洪，S。；Klein，K。；Kobourov，S.G。；利奥塔，G。；纳瓦拉，A。；Tappini，A.，《将团转化为路径以实现平面性》，（图形绘制和网络可视化国际研讨会论文集，GD（2018）），67-74·Zbl 1519.68174号
[46] Angori，L.公司。；迪迪莫，W。；Montecchiani，F。；帕柳卡，D。；Tappini，A.，《使用ChordLink的混合图形可视化：算法、实验和应用》，IEEE Trans。视觉。计算。图表。，28, 2, 1288-1300 (2022)
[47] Angori，L。；Didimo，W。；Montecchiani，F。；帕柳卡，D。；Tappini，A.，ChordLink:一种新的混合可视化模型，（国际研讨会图形绘制和网络可视化论文集，GD（2019）），276-290·Zbl 07266123号
[48] Di Giacomo，E。；Lenhart，W.J。；利奥塔，G。；伦道夫，T.W。；Tappini，A.，（k，p）-平面性：混合平面性的松弛，Theor。计算。科学。，896, 19-30 (2021) ·Zbl 1514.68211号
[49] Di Giacomo，E。；Lenhart，W.J。；利奥塔，G。；伦道夫，T.W。；Tappini，A.，（k，p）-平面性：混合平面性的松弛，（国际算法与计算会议论文集，WALCOM（2019）），148-159·Zbl 1514.68210号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。