×
沃尔特·迪迪莫；悉达哈·古普塔；菲利普·金德曼；朱塞佩·利奥塔；亚历山大·沃尔夫；梅拉夫·泽哈维

正交压实的参数化方法。 （英语） Zbl 1529.68205号

Gąsieniec，Leszek（编辑），SOFSEM 2023：计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议，SOFSEM 2023，斯洛伐克斯莫科维奇，2023年1月15日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13878, 111-125 (2023).
摘要：正交图绘图用于UML图、VLSI布局、电缆平面图和地铁图等应用程序中。我们专注于绘制平面图，并假设给定一个正交表示它描述了所需的形状，但不是图形的精确坐标。我们的目标是计算网格上的正交图形，该网格在所有遵循给定正交表示的网格图形中具有最小面积。
这个问题被称为正交压缩（OC），即使对于循环的正交表示也被称为NP-hard[W.S.埃文斯等，计算。几何。100，文章ID 101820，39 p.（2022；Zbl 1530.68261号)]. 我们研究了OC在几个参数方面的复杂性。除其他外，我们还证明了OC对于这些参数中最自然的参数是固定参数可处理的，即猫咪角正交表示：正交表示中存在成对的kitty角使得OC问题变得困难。非正式地说，一对猫咪角是一张脸上相互指向的一对反射角。因此，kitty角的数量是指一些kitty角都涉及的角的数量。
关于整个系列，请参见[Zbl 1517.68014号].

MSC公司：

68兰特 计算机科学中的图论（包括图形绘制）
68年第27季度 参数化复杂性、可处理性和核化

关键词：

正交图形绘制；正交表示；压实；参数复杂性

引文：

Zbl 1530.68261号
PDF格式BibTeX公司 XML格式引用
\textit{W.Didimo}等人，Lect。注释计算。科学。13878，111-125（2023；Zbl 1529.68205）
全文： 内政部 arXiv公司

参考文献：

[1] MJ Bannister；卡贝洛，S。；Eppstein，D.，1-平面的参数化复杂性，J.图形算法应用。，22, 1, 23-49 (2018) ·Zbl 1377.05118号 ·doi:10.7155/jgaa.00457
[2] MJ Bannister；Eppstein，D.，有界树宽图的1页和2页绘图的交叉最小化，J.图算法应用。，22, 4, 577-606 (2018) ·Zbl 1403.05102号 ·doi:10.7155/jgaa.00479
[3] MJ Bannister；艾普斯坦，D。；Simons，JA，正交压缩的不近似性，J.图形算法应用。，16, 3, 651-673 (2012) ·Zbl 1254.05121号 ·doi:10.7155/jgaa.00263
[4] MJ Bannister；艾普斯坦，D。；西蒙斯，JA；Wismath，S。；Wolff，A.，几乎所有树交叉最小化的固定参数可处理性，图表绘制，340-351（2013），查姆：施普林格，查姆·Zbl 1406.68061号 ·文件编号：10.1007/978-3-319-03841-4_30
[5] Bentley，J.L.，Ottmann，T.：报告和计算几何交点的算法。IEEE传输。计算。28（9），643-647（1979）中所述。doi:10.1109/TC.1979.1675432·Zbl 0414.68074号
[6] Bertolazzi，P。；Di Battista，G。；利奥塔，G。；Mannino，C.，三连通有向图的向上绘制，算法，12，6，476-497（1994）·Zbl 1211.68477号 ·doi:10.1007/BF01188716
[7] Bhore，S。；加尼安，R。；Montecchiani，F。；Nöllenburg，M.，书籍嵌入问题的参数化算法，J.Graph algorithms Appl。，24, 4, 603-620 (2020) ·Zbl 1451.05222号 ·doi:10.7155/jgaa.00526
[8] Bhore，S。；加尼安，R。；Montecchiani，F。；Nöllenburg，M.，队列布局的参数化算法，图形绘制和网络可视化，40-54（2020），Cham:Springer，Cham·Zbl 07436606号 ·doi:10.1007/978-3-030-68766-3-4
[9] Biedl，T.，《外平面图、系列平行图和其他平面图的小绘图》，《离散计算》。地理。，45, 1, 141-160 (2010) ·Zbl 1251.05111号 ·doi:10.1007/s00454-010-9310-z
[10] Binucci，C.，Da Lozzo，G.，Di Giacomo，E.，Didimo，W.，Mchedlidze，T.，Patrignani，M.：向上嵌入st-图。摘自：计算几何研讨会（SoCG），LIPIcs第129卷，第1-22页。Dagstuhl-Leibniz-Zentrum für Informatik宫，2019年。doi:10.4230/LIPIcs。SoCG.2019.13标准·Zbl 1512.68194号
[11] 布里奇曼，SS；Di Battista，G。；Didimo，W。；利奥塔，G。；R.塔马西亚。；Vismara，L.，正交表示的转弯规则性和最佳面积图，计算。地理。，16, 1, 53-93 (2000) ·兹比尔0958.68528 ·doi:10.1016/S0925-7721（99）00054-1
[12] Chaplick，S.，Di Giacomo，E.，Frati，F.，Ganian，R.，Raftopoulou，C.N.，Simonov，K.：向上平面的参数化算法。arXiv（2022）。doi:10.48550/arXiv.2203.05364·Zbl 07727760号
[13] Chaplick，S.，Fleszar，K.，Lipp，F.，Ravsky，A.，Verbitsky，O.，Wolff，A.：在几条线和几个平面上绘制图形。J.计算。几何。11(1), 433-475 (2020). doi:10.20382/jocg.v11i1a17·Zbl 1457.68208号
[14] Cygan，M.等人：参数化算法。查姆施普林格（2015）。doi:10.1007/978-3-319-21275-3·Zbl 1334.90001号
[15] Da Lozzo，G.，Eppstein，D.，Goodrich，M.T.，Gupta，S.：嵌入式平面簇平面的次指数时间和FPT算法。收录于：计算机科学中图形理论概念国际研讨会（WG），LNCS第11159卷，第111-124页。斯普林格（2018）。doi:10.1007/978-3-030-00256-5_10·Zbl 1517.68287号
[16] Di Battista，G.，Eades，P.，Tamassia，R.，Tollis，I.G.：图形绘制：图形可视化算法。普伦蒂斯·霍尔（1999）·Zbl 1057.68653号
[17] Di Battista，G。；Tamassia，R.，无圈有向图平面表示的算法，Theor。计算。科学。，61, 175-198 (1988) ·Zbl 0678.68059号 ·doi:10.1016/0304-3975（88）90123-5
[18] Di Giacomo，E。；利奥塔，G。；Montecchiani，F.，有界树宽图的正交平面性检验，J.计算。系统。科学。，125, 129-148 (2022) ·Zbl 07466701号 ·doi:10.1016/j.jcss.2021.11.004
[19] Didimo，W.、Gupta，S.、Kindermann，P.、Liotta，G.、Wolff，A.、Zehavi，M.：正交压实的参数化方法。arXiv（2022）。doi:10.48550/arXiv.2210.05019
[20] Downey，R.G.，Fellows，M.R.：参数化复杂性基础，TCS第4卷。Springer（2013）.doi:10.1007/978-1-4471-5559-1·Zbl 1358.68006号
[21] Dujmović，V.，et al.：关于分层图绘制的参数化复杂性。算法52（2），267-292（2008）。doi:10.1007/s00453-007-9151-1·兹比尔1170.68028
[22] Dujmović，V。；Fernau，H。；Kaufmann，M.，《重新审视单侧交叉最小化的固定参数算法》，《离散算法》，6，2，313-323（2008）·Zbl 1155.68054号 ·doi:10.1016/j.jda.2006.12.008
[23] 埃文斯，WS；Fleszar，K。；Kindermann，P。；Saeedi，N。；申，C-S；Wolff，A.，给定角度序列的最小直线多边形，计算。地理。，100, 101820, 1-39 (2022) ·Zbl 1530.68261号 ·doi:10.1016/j.comgeo.2021.101820
[24] Fomin，F.V.，Lokshtanov，D.，Saurabh，S.，Zehavi，M.：核化：参数化预处理理论。剑桥大学出版社（2019）·Zbl 1426.68003号
[25] 加尼安，R。；Montecchiani，F。；Nöllenburg，M。；Zehavi，M.，《图形绘制中的参数化复杂性》（Dagstuhl Seminar 21293），Dagstuhel Rep.，11，6，82-123（2021）·doi:10.4230/DagRep.11.6.82
[26] Gupta，S.、Sa'ar，G.、Zehavi，M.：网格识别：经典和参数化计算透视图。摘自：国际算法与计算研讨会（ISAAC），LIPIcs第212卷，第1-15页。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）（2021年）。doi:10.4230/LIPIcs。ISAAC2021.37标准·Zbl 07695009号
[27] 考夫曼，M。；Wagner，D.，《绘图》（2001），海德堡：斯普林格出版社·Zbl 0977.68644号 ·doi:10.1007/3-540-44969-8
[28] Kobayashi，Y.，Ohtsuka，H.，Tamaki，H.：一种改进的单页交叉最小化固定参数算法。参见：Lokshtanov，D.，Nishimura，N.（eds.）第12届参数化和精确计算国际研讨会（IPEC），LIPIcs第89卷，第1-12页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（2018年）。doi:10.4230/LIPIcs。IPEC 2017年25月·Zbl 1443.68135号
[29] Liotta，G.，Rutter，I.，Tappini，A.：具有限制循环序的图平面性的参数化复杂性。在：计算机科学图论概念国际研讨会（WG），LNCS第13453卷，第383-397页。施普林格（2022）。doi:10.1007/978-3-031-15914-5_28·Zbl 07682424号
[30] Da Lozzo，G。；艾普斯坦，D。；古德里奇，MT；Gupta，S.，具有有界对偶切割宽度的嵌入聚类图的C-平面性检验，算法，83，8，2471-2502（2021）·Zbl 1515.68235号 ·doi:10.1007/s00453-021-00839-2
[31] Patrignani，M.，关于正交压缩的复杂性，计算。地理。，19, 1, 47-67 (2001) ·Zbl 0990.68169号 ·doi:10.1016/S0925-7721（01）00010-4
[32] C.A.皮科弗：《数学书》。斯特林（2009）
[33] Shamos，M.I.，Hoey，D.：几何相交问题。在：第17届计算机科学基础年度研讨会（FOCS），第208-215页（1976年）。doi:10.1109/SFCS.1976.16
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。