×
米丽亚姆·穆奇;伊格纳斯·拉特;彼得·斯顿普夫

通过模块分解的部分和同时传递方向。 （英语） Zbl 07826819号

算法 86，第4期，1263-1292（2024）.
摘要：几何图类的识别问题的一个自然推广是将子图的表示扩展为整个图的表示的问题。一个相关的问题是找到与输入图共享的子图重合的多个输入图的表示。一个常见的限制是向日葵案例，其中每对输入图的共享图是相同的。这些问题转化为可比性图的设置，其中表示对应于其边缘的传递方向。我们使用模块分解将定向扩展问题和向日葵定向问题的运行时间提高到线性时间。我们应用这些结果改进了部分表示问题的运行时间，以及置换图到线性时间的同时表示问题的sunflower情况。我们还给出了圆置换图上这些问题的第一个有效算法。

MSC公司：

68瓦xx 计算机科学中的算法
05Cxx号 图论

关键词：

表示扩展;同时表示;可比性图;置换图;圆形排列图;模块分解
PDF格式BibTeX公司 XML格式引用
\textit｛M.Münch｝等人，Algorithmica 86，编号4，1263-1292（2024；Zbl 07826819）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] 克利克，P。；Kratochvíl，J。；Otachi，Y。；Saitoh，T。；Vyskočil，T.，区间图的扩展部分表示，算法，78，3，945-9672017·Zbl 1371.05190号 ·doi:10.1007/s00453-016-0186-z
[2] 克利克，P。；Kratochvíl，J。；Otachi，Y。；I·拉特。；Saitoh，T。；索梅尔，M。；Vyskočil，T.，真区间图和单位区间图的扩张部分表示，算法，77，4，1071-1104，2017·兹比尔1360.05167 ·文件编号：10.1007/s00453-016-0133-z
[3] 克利克，P。；Kratochvíl，J。；Krawczyk，T。；Walczak，B。；爱泼斯坦，L。；Ferragina，P.，《扩展函数图和置换图的部分表示》，第20届欧洲算法年会（ESA’12）。计算机科学讲稿，671-6822012年，海德堡：斯普林格·Zbl 1365.05207号 ·doi:10.1007/978-3-642-33090-258
[4] 查普利克，S。；富勒克，R。；Klavík，P.，扩展圆图的部分表示，图论，91，4，365-3942019·Zbl 1417.05201号 ·doi:10.1002/jgt.22436
[5] 克利克，P。；克拉托奇维尔，J。；Otachi，Y。；Saitoh，T.，扩展弦图子类的部分表示，Theoret。计算。科学。，576, 85-101, 2015 ·Zbl 1311.05133号 ·doi:10.1016/j.tcs.2015年2月07日
[6] Krawczyk，T。；Walczak，B。；博德兰德，HL；Woeginger，GJ，扩展梯形图的部分表示，第43届计算机科学图论概念国际研讨会（WG’17），358-3712017，海德堡：斯普林格·Zbl 1483.05106号 ·doi:10.1007/978-3-319-68705-6_27
[7] Angelini，P。；巴蒂斯塔，GD；弗拉蒂，F。；杰利内克，V。；Kratochvíl，J。；帕特里格纳尼，M。；Rutter，I.，部分嵌入图的平面度测试，ACM Trans。算法，11，4，1-42，2015·Zbl 1398.68385号 ·doi:10.145/2629341
[8] 杰利内克，V。；Kratochvíl，J。；Rutter，I.，部分嵌入图平面性的Kuratowski型定理，计算。地理。，46, 4, 466-492, 2013 ·Zbl 1259.05044号 ·doi:10.1016/j.comgeo.2012.07.005
[9] 帕特里格纳尼（Patrignani，M.），《关于延伸部分直线图》，国际期刊Found。计算。科学。，17, 5, 1061-1070, 2006 ·Zbl 1100.68084号 ·doi:10.1142/S0129054106004261
[10] Eiben，E.，Ganian，R.，Hamm，T.，Klute，F.，Nöllenburg，M.：延伸局部1-平面图。收录：Czumaj，A.、Dawar，A.、Merelli，E.（编辑）第47届国际自动化、语言和编程学术讨论会（ICALP’20）会议记录。LIPIcs，第168卷，第1-19页。德国达格斯图尔Leibniz-Zentrum für Informatik Dagstuhl Schloss（2020年）。doi:10.4230/LIPIcs。ICALP.2020年43月
[11] 查普利克，S。；多尔贝克，P。；Kratochvíl，J。；蒙塔西耶，M。；斯塔乔·J。；Kratsch，D。；Todinca，I.，《平面图的接触表示：扩展部分表示很难》，第40届计算机科学图论概念国际研讨会（WG'14）。计算机科学课堂讲稿，139-1512014，海德堡：斯普林格·Zbl 1417.05133号 ·数字对象标识代码：10.1007/978-3-319-12340-0_12
[12] 查普利克，S。；Kindermann，P。；Klawitter，J。；I·拉特。；沃尔夫，A。；Calamoneri，T。；Coró，F.，用给定的接触方向扩展矩形对偶的部分表示，《第十二届国际算法与复杂性会议论文集》，（CIAC’21）计算机科学讲稿，340-3532021年，海德堡：斯普林格·Zbl 07667141号 ·doi:10.1007/978-3-030-75242-2_24
[13] Bläsius，T。；科波罗夫，SG；I·拉特。；Tamassia，R.，平面图的同时嵌入，图形绘制和可视化手册，349-3812013，博卡拉顿：CRC出版社，博卡拉顿
[14] 黄铜，P。；塞内克，E。；加利福尼亚州邓肯；Efrat，A。；Erten，C。；伊斯梅莱斯库，DP；科波罗夫，SG；卢比夫，A。；米切尔，JSB，关于同时平面图嵌入，计算。地理。，36, 2, 117-130, 2007 ·Zbl 1105.05015号 ·doi:10.1016/j.comgeo.2006.05.006
[15] Gassner，E。；Jünger，M。；Percan，M。；谢弗，M。；舒尔茨，M。；Fomin，FV，带固定边的同步图嵌入，第32届计算机科学图论概念国际研讨会（WG'06），325-3352006，海德堡：斯普林格·Zbl 1167.05311号 ·doi:10.1007/11917496_29
[16] Schaefer，M.：走向平面性理论：Hanani-Tutte和平面性变体。在：第20届国际制图研讨会（GD'12），第162-173页。施普林格，海德堡（2012）。doi:10.1007/978-3-642-36763-2_15·Zbl 1377.05044号
[17] Angelini，P。；Da Lozzo，G。；Neuwirth，D。；Pal，SP；Sadakane，K.，《关于某些（{cal{NP}}）完备SEFE问题》，第八届算法与计算国际研讨会（WALCOM'14）的进展。海德堡：施普林格，海德堡，计算机科学讲稿，200-212014·Zbl 1408.68106号 ·数字对象标识代码：10.1007/978-3-319-04657-0_20
[18] Estrella-Balderrama，A。；Gassner，E。；Jünger，M。；Percan，M。；谢弗，M。；舒尔茨，M。；洪，S。；西泽基，T。；Quan，W.，同步几何图形嵌入，第十五届图形绘制国际研讨会论文集（GD'07），280-2902008，海德堡：施普林格·Zbl 1137.68481号 ·doi:10.1007/978-3-540-77537-9_28
[19] 贾帕尼，韩国；Lubiw，A.，弦图、可比图和置换图的同时表示问题，J.图算法应用。，16, 2, 283-315, 2012 ·Zbl 1254.05125号 ·doi:10.7155/jgaa.00259
[20] 贾帕尼，韩国；卢比夫，A。；Cheong，O。；Chwa，K。；Park，K.，同步区间图，第21届国际算法与计算研讨会论文集（ISAAC’10），206-2172010，海德堡：斯普林格·Zbl 1311.05132号 ·数字对象标识代码：10.1007/978-3-642-17517-6_20
[21] 布莱修斯，T。；Rutter，I.，同时PQ排序及其在约束嵌入问题中的应用，ACM Trans。算法，12，2，1-46，2015·Zbl 1398.68387号 ·doi:10.1145/2738054
[22] Bok，J.，Jedličková，N.：关于区间图和圆弧图的同时表示问题的一个注记。计算研究库（2018）
[23] Rutter，I.，Strash，D.，Stumpf，P.，Vollmer，M.：真区间图和单位区间图的同时表示。摘自：Bender，M.A.，Svensson，O.，Herman，G.（eds.）第27届欧洲算法年会（ESA'19），第144卷，第80页。德国达格斯图尔Dagstuhl-Leibniz-Zentrum fuer Informatik宫（2019年）·Zbl 07525517号
[24] Golumbic，MC，算法图理论和完美图，2004年，伦敦：Elsevier，伦敦·Zbl 1050.05002号
[25] PC公司Gilmore；AJ霍夫曼，《可比图和区间图的特征》，加拿大。数学杂志。，16, 539-548, 1964 ·Zbl 0121.26003号 ·doi:10.4153/CJM-1964-055-5
[26] Gallai，T.，Transitiv orientierbare graphen，数学学报。阿卡德。科学。挂。，18, 1-2, 25-66, 1967 ·Zbl 0153.26002号 ·doi:10.1007/BF02020961
[27] RM麦康奈尔；斯宾拉德，JP，模块分解和传递定向，离散数学。，201, 1-3, 189-241, 1999 ·Zbl 0933.05146号 ·doi:10.1016/S0012-365X（98）00319-7
[28] Harel，D。；Tarjan，RE，查找最近共同祖先的快速算法，SIAM J.Compute。，13, 2, 338-355, 1984 ·Zbl 0535.68022号 ·数字对象标识代码：10.1137/0213024
[29] 科尔曼，TH；Leiserson，CE；铆钉，RL；Stein，C.，《算法导论》，2009年，剑桥：麻省理工学院出版社，剑桥·Zbl 1187.68679号
[30] HN加博；Tarjan，RE，不相交集合并特殊情况下的线性时间算法，J.Compute。系统。科学。，30, 2, 209-221, 1985 ·兹比尔0572.68058 ·doi:10.1016/0022-0000（85）90014-5
[31] Booth，K.S.：PQ树算法。加州大学伯克利分校博士论文（1975年）
[32] 堪萨斯州布斯；Lueker，GS，使用PQ树算法测试连续一的性质、区间图和图的平面性，J.Comput。系统。科学。，13, 3, 335-379, 1976 ·Zbl 0367.68034号 ·doi:10.1016/S0022-0000（76）80045-1
[33] 海普勒，B。；贾帕尼，韩国；Lubiw，A.，《当公共图为2-连通时测试同时平面性》，《图形算法应用》。，17, 3, 147-171, 2013 ·Zbl 1261.05015号 ·doi:10.7155/jgaa.00289
[34] Aspvall，B。；普拉斯，MF；Tarjan，RE，用于测试某些量化布尔公式真实性的线性时间算法，Inf.Process。莱特。，8, 3, 121-123, 1979 ·Zbl 0398.68042号 ·doi:10.1016/0020-0190（79）90002-4
[35] Montgolfier，F.d.：décomposition modulaire des graphes:théorie，extensions and algorithms（图形的合成模块：图形、扩展和算法）。蒙彼利埃第二大学博士论文（2003年）
[36] Rotem，D。；Urrutia，J.，圆形置换图，网络，12，4，429-4371982·Zbl 0508.05060号 ·doi:10.1002/net.3230120407
[37] Sritharan，R.，识别圆形置换图的线性时间算法，Netw。国际期刊，27,171-1741996·Zbl 0853.05073号 ·doi:10.1002/（SICI）1097-0037（199605）27:3<171:：AID-NET1>3.0.CO；2楼
[38] Opatrny，J.，总排序问题，SIAM J.计算。，8, 1, 111-114, 1979 ·Zbl 0395.68065号 ·数字对象标识代码：10.1137/0208008
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。