×
察卡利迪斯、康斯坦蒂诺斯;Wild，塞巴斯蒂安;维克托·扎马拉耶夫

简洁置换图。 （英语） Zbl 1508.68082号

算法 85，编号2，509-543（2023）.
摘要：我们提出了置换图及其循环置换图超类的简洁数据结构，即使用最优空间到低阶项的数据结构。与圆图上的并发工作不同[H.阿坎等人，Theor。计算。科学。928, 151–166 (2022;兹比尔1509.68055)], 我们的数据结构还支持距离和最短路径查询，以及邻接和邻域查询，所有这些都在最佳时间内进行。我们特别提出了（圆形）置换图的第一个简洁的精确距离预言。第二种简洁的数据结构还支持独立于邻域大小的时间度查询，但在所有运行时间内都会消耗\（O（\log n/\log \log n）\）因子开销。此外，我们为这类二分置换图开发了一个简洁的数据结构。我们演示了如何在置换图上的几个问题的简洁表示上直接运行算法：集团,着色,独立集,哈密顿循环,所有对空最短路径和其他。最后，我们开始研究半分布式图形表示；在分布式（标记方案）和集中式（标准数据结构）之间平滑插值的概念。我们展示了如何通过仅存储额外全局信息的（O（n）位，绕过置换图距离标记方案的下限，将一些数据结构转换为半分布式表示。

引用于1文件

MSC公司：

68第05页 数据结构
05C85号 图形算法（图形理论方面）
68兰特 计算机科学中的图论（包括图形绘制）
68瓦05 非数值算法

关键词：

简洁的数据结构;距离神谕;置换图;二部置换图;循环置换图;图形压缩;图形编码

引文：

Zbl 1509.68055号
PDF格式BibTeX公司 XML格式引用
\textit{K.Tsakalidis}等人，Algorithmica 85，No.2，509--543（2023；Zbl 1508.68082）
全文： DOI程序 arXiv公司
OA许可证

参考文献：

[1] Acan，H.、Chakraborty，S.、Jo，S.和Nakashima，K.、Sadakane，K.和Satti，S.R.：圆上相交图族的简洁导航预言。arXiv:2010.04333（2020）·Zbl 1509.68055号
[2] Acan，H。；Chakraborty，S。；乔·S。；Nakashima，K。；Sadakane，K。；Satti，SR，圆上交集图族的简洁导航预言，Theor。计算。科学。(2022) ·兹比尔1509.68055 ·doi:10.1016/j.tcs.2022.06.022
[3] Acan，H。；Chakraborty，S。；乔，S。；Rao Satti，S.，区间图族的简洁编码，算法（2020）·兹比尔1512.68061 ·doi:10.1007/s00453-020-00710-w
[4] 巴扎罗，F。；Gavoille，C.，可比性图的局部和紧凑数据结构，Discret。数学。，309, 11, 3465-3484 (2009) ·Zbl 1221.05105号 ·doi:10.1016/j.disc.2007.12.091
[5] Bose，P.，He，M.，Maheshwari，A.，Morin，P.：在网格上精简正交范围搜索结构，并应用于文本索引。摘自：算法和数据结构研讨会（WADS），第98-109页。施普林格，柏林，海德堡（2009）doi:10.1007/978-3-642-03367-4_9·Zbl 1253.68103号
[6] Chao，HS；Hsu，法国；Lee，RCT，求置换图上最小基数支配集的优化算法，Discret。申请。数学。，102, 3, 159-173 (2000) ·Zbl 1052.90095号 ·doi:10.1016/s0166-218x（98）00145-0
[7] Clark，D.R.：紧凑型PAT树。博士论文（1996）
[8] CJ Colbourn，《关于置换图同构性的测试》，《网络》，11，1，13-21（1981）·Zbl 0459.68031号 ·doi:10.1002/net.3230110103
[9] 克雷斯佩尔，C。；Paul，C.，置换图识别和模块分解的全动态算法，算法，58，2，405-432（2010）·Zbl 1205.68258号 ·doi:10.1007/s00453-008-9273-0
[10] 达沃迪，P。；Raman，R。；Satti，SR，关于二叉树的简洁表示，数学。计算。科学。，11, 2, 177-189 (2017) ·Zbl 1369.68169号 ·doi:10.1007/s11786-017-0294-4
[11] 德根，JS；Steiner，G.，可比较图中哈密顿循环的多项式算法，SIAM J.Comput。，23, 3, 520-552 (1994) ·Zbl 0811.05043号 ·doi:10.1137/s0097539791200375
[12] Dodis，Y.，Pétrašcu，M.，Thorup，M.：在不损失空间的情况下改变基础。在：第四十二届美国计算机学会计算理论研讨会论文集，第593-602页（2010）·Zbl 1293.68118号
[13] Dushnik，B。；米勒，EW，部分序集，美国数学杂志。，63, 3, 600-610 (1941) ·Zbl 0025.31002号 ·doi:10.2307/2371374
[14] 费舍尔，J。；Heun，V.，静态数组上距离最小查询的空间效率预处理方案，SIAM J.Compute。，40, 2, 465-492 (2011) ·Zbl 1222.05024号 ·doi:10.1137/090779759
[15] Gabow，H.N.、Bentley，J.L.、Tarjan，R.E.：几何问题的缩放和相关技术。摘自：计算理论研讨会（STOC）。ACM出版社（1984）doi:10.1145/800057.808675
[16] 加沃耶，C。；Paul，C.，区间图和相关图族的最佳距离标记，SIAM J.Discret。数学。，22, 3, 1239-1258 (2008) ·Zbl 1197.05097号 ·数字对象标识代码：10.1137/050635006
[17] Gog，S.，Beller，T.，Moffat，A.，Petri，M.：从理论到实践：使用简洁的数据结构即插即用。摘自：实验算法国际研讨会（SEA），第326-337页。doi:10.1007/978-3-319-07959-2-28（2014）
[18] Gustedt，J.，Morvan，M.，Viennot，L.：置换图的紧凑数据结构和并行算法。摘自：《计算机科学中的图论概念》，第372-380页。施普林格-柏林，海德堡。doi:10.1007/3-540-60618-1_89（1995）
[19] He，M.，Munro，J.I.，Nekrich，Y.，Wild，S.，Wu，K.：简洁树中的宽度第一秩/选择和区间图的距离神谕。arXiv:2005.07644（2020）
[20] Jacobson，G.：节省空间的静态树和图。摘自：计算机科学基础研讨会（FOCS），第549-554页（1989年）
[21] Knuth，DE，《计算机编程的艺术：搜索和排序》（1998），纽约：Addison Wesley，纽约·Zbl 0895.65001号
[22] RM麦康奈尔；斯宾拉德，JP，模块分解和传递方向，离散。数学。，201, 1-3, 189-241 (1999) ·Zbl 0933.05146号 ·doi:10.1016/s012-365x（98）00319-7
[23] Möhring，R.H.：可比图和区间图的算法方面。参见：图表和顺序，第41-101页。荷兰施普林格。doi:10.1007/978-94-009-5315-4_2（1985）·兹伯利0569.05046
[24] 蒙达尔，S。；M.帕尔。；Pal，TK，解决置换图上所有对最短路径问题的最佳算法，J.Math。模型。阿尔戈。，2, 1, 57-65 (2003) ·Zbl 1056.68169号 ·doi:10.1023/A:1023695531209
[25] Munro，J.I.，Wu，K.：弦图的简洁数据结构。摘自：第29届国际算法与计算研讨会，2018年12月16日至19日，台湾宜兰胶西，第67:1-67:12页。doi:10.4230/LIPIcs。ISAAC2018.67（2018）·Zbl 1533.68047号
[26] Munro，J.I.，Wu，K.：弦图的简洁数据结构。摘自：第29届国际算法与计算研讨会（ISAAC 2018）。Dagstuhl-Leibniz-Zentrum fuer Informatik学校（2018年）·Zbl 1533.68047号
[27] Navarro，G.，《紧凑数据结构——实用方法》（2016），剑桥：剑桥大学出版社，剑桥·doi:10.1017/CBO9781316588284
[28] 佩特拉什·cu，M.：Succinctor。摘自：计算机科学基础研讨会（FOCS）。电气与电子工程师协会。doi:10.1109/focs.2008.83（2008）
[29] 普努利，A。；Lempel，A。；偶数，S.，图的传递方向和置换图的识别，Can。数学杂志。，23, 1, 160-175 (1971) ·Zbl 0204.24604号 ·doi:10.4153/cjm-1971-016-5
[30] Raman，R。；拉曼，V。；Rao Satti，S.，《简明可索引字典及其在编码k元树、前缀和多集方面的应用》，ACM Trans。算法，3，4，43（2007）·Zbl 1446.68046号 ·数字对象标识代码：10.1145/1290672.1290680
[31] Rotem，D。；Urrutia，J.，圆形置换图，网络，12，4，429-437（1982）·Zbl 0508.05060号 ·doi:10.1002/net.3230120407
[32] Saitoh，T。；Otachi，Y。；Yamanaka，K。；Uehara，R.，二部置换图的随机生成和枚举，J.离散算法，10，84-97（2012）·Zbl 1241.05050号 ·doi:10.1016/j.jda.2011年11月1日
[33] Sauermann，L.，关于代数定义图类的速度，高等数学。，380 (2021) ·兹比尔1458.05228 ·doi:10.1016/j.aim.2021.107593
[34] 塞奇威克，R。；Wayne，K.，《算法》（2011），纽约：Addison-Wesley，纽约
[35] 斯宾拉德，J。；布兰德施泰特，A。；Stewart，L.，二部置换图，离散。申请。数学。，18, 3, 279-292 (1987) ·Zbl 0628.05055号 ·doi:10.1016/S0166-218X（87）80003-3
[36] Sritharan，R.，识别圆形置换图的线性时间算法，网络，27，3，171-174（1996）·Zbl 0853.05073号 ·doi:10.1002/（sici）1097-0037（199605）27:3<171:：aid-net1>3.0.co；第2页
[37] Tsakalidis，K.，Wild，S.，Zamaraev，V.：简洁置换图。arXiv:2010.04108（2020）
[38] Vuillemin，J.，《统一数据结构》，Commun。美国医学会，23，4，229-239（1980）·Zbl 0434.68047号 ·数字对象标识代码：10.1145/358841.358852
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。