×

有序树的超连续表示及其应用。 (英语) Zbl 1242.68083号

摘要:有序树有两种众所周知的简洁表示法:BP(平衡括号[J.I.蒙罗V.拉曼,SIAM J.计算。31(2001),第3期,762–776(2002;Zbl 1017.68037号)])和DFUDS(深度优先一元度序列[D.伯努瓦等人,Algorithmica 43,No.4,275–292(2005;Zbl 1086.68034号)]). 这两种树的节点树的大小都是(2n+o(n)位,这与信息理论下限渐近匹配。重要的是,当使用BP或DFUDS时,树上的许多基本操作可以在单词RAM上的固定时间内完成,例如查找父项、第一个子项、下一个兄弟项、子项的数量等。
尽管存储有序树的BP或DFUDS表示所需的空间与下限匹配,但当我们考虑某些特殊类树(例如每个内部节点正好有两个子节点的树)的编码时,这并不是最佳的。本文引入了一种新的树的条件熵,称为树度熵,并给出了一种具有匹配大小的简洁树表示。我们称这种表示为超简洁的数据结构。我们展示了如何修改DFUDS表示以获得“压缩的DFUDS”,因此,每个内部节点正好有两个子节点的树可以用\(n+o(n)\)位表示。我们还描述了压缩DFUDS表示在超简洁压缩后缀树和标记树中的应用。

MSC公司:

68第05页 数据结构
05二氧化碳
68页30 编码和信息理论(压缩、压缩、通信模型、编码方案等)(计算机科学方面)

软件:

爱国主义
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Benoit,D。;Demaine,E.D。;蒙罗,J.I。;Raman,R。;拉曼,V。;Rao,S.S.,《代表高等树木》,《算法》,43,4,275-292(2005)·Zbl 1086.68034号
[2] Chiang,Y.-T。;林,C.-C。;吕海一,有序生成树及其应用,SIAM J.Compute。,34, 4, 924-945 (2005) ·Zbl 1069.05054号
[3] Farzan,A。;Munro,J.I.,《树简洁表示的统一方法》(Proc.SWAT.Proc.SWAT,《计算科学讲义》,第5124卷(2008)),173-184·兹比尔1155.68373
[4] Farzan,A。;Raman,R。;Rao,S.S.,树的通用简洁表示法?,(《ICALP.Proc.ICALP,计算机科学讲义》,第5555卷(2009年)),第451-462页·Zbl 1248.68168号
[5] 费拉吉纳,P。;Luccio,F。;Manzini,G。;Muthkrishnan,S.,压缩和索引标记树及其应用,美国计算机学会,57,1,4(2009),1-4:33·Zbl 1326.68132号
[6] 费拉吉纳,P。;Manzini,G.,压缩文本索引,J.ACM,52,4,552-581(2005)·Zbl 1323.68261号
[7] 费拉吉纳,P。;文丘里尼,R.,实现熵界的字符串的简单存储方案,理论。计算。科学。,372, 1, 115-121 (2007) ·Zbl 1110.68029号
[8] 齿轮,R.F。;拉赫曼,N。;Raman,R。;Raman,V.,平衡圆括号的简单优化表示法,Theoret。计算。科学。,368231-246(2006年12月)·Zbl 1103.68040号
[9] 齿轮,R.F。;Raman,R。;Raman,V.,带水平因子查询的简洁序数树,ACM Trans。算法,2510-534(2006年10月)·Zbl 1321.68223号
[10] R.Grossi,A.Gupta,J.S.Vitter,高阶熵压缩文本索引,收录于:Proc。ACM-SIAM SODA,2003年,第841-850页。;R.Grossi,A.Gupta,J.S.Vitter,高阶熵压缩文本索引,收录于:Proc。ACM-SIAM SODA,2003年,第841-850页·Zbl 1092.68584号
[11] 格罗西,R。;Vitter,J.S.,《压缩后缀数组和后缀树及其在文本索引和字符串匹配中的应用》,SIAM J.Compute。,35, 2, 378-407 (2005) ·Zbl 1092.68115号
[12] Gusfield,D.,《字符串、树和序列的算法》(1997),剑桥大学出版社·Zbl 0934.68103号
[13] 尊敬的W.K。;Sadakane,K。;Sung,W.K.,可搜索部分和的简洁数据结构,(ISAAC的Proc·Zbl 1205.68129号
[14] G.Jacobson,空间效率静态树和图,收录于:Proc。IEEE FOCS,1989年,第549-554页。;G.Jacobson,空间效率静态树和图,收录于:Proc。IEEE FOCS,1989年,第549-554页。
[15] J.Jansson,K.Sadakane,W.-K.Sung,有序树的超连续表示,收录于:Proc。ACM-SIAM SODA,2007年,第575-584页。;J.Jansson,K.Sadakane,W.-K.Sung,有序树的超连续表示,收录于:Proc。ACM-SIAM SODA,2007年,第575-584页·Zbl 1302.68100号
[16] Lu,H.-I.(卢氏,H.-I.)。;Yeh,C.-C.,平衡括号反删,ACM Trans。阿尔戈。(TALG),4,3(2008),第28条·Zbl 1445.68072号
[17] McCreight,E.M.,《空间经济后缀树构造算法》,J.ACM,23,12,262-272(1976)·兹伯利0329.68042
[18] Morrison,D.R.,Patricia-检索字母数字编码信息的实用算法,J.ACM,15,4,514-534(1968)
[19] Munro,J.I.,Tables,(《第16届软件技术和计算机科学基础会议论文集》,《第16次软件技术和计算科学基础会议文献集》,FSTTCS’96。第16届软件技术和计算机科学基础会议论文集。第16届软件技术与计算机科学基础会议论文集,FSTTCS’96,计算机课堂讲稿。科学。,第1180卷(1996)),第37-42页
[20] 蒙罗,J.I。;Raman,V.,平衡括号和静态树的简洁表示,SIAM J.Compute。,31, 3, 762-776 (2001) ·Zbl 1017.68037号
[21] 蒙罗,J.I。;拉曼,V。;Rao,S.S.,高效空间后缀树,J.Algorithms,39,2,205-222(2001年5月)·Zbl 0977.68069号
[22] 蒙罗,J.I。;Rao,S.S.,函数的简洁表示,(ICALP会议录,ICALP的会议录,计算机科学中的讲义,第3142卷(2004)),1006-1015·Zbl 1099.68603号
[23] Pagh,R.,恒定查询时间的静态字典中的低冗余,SIAM J.Compute。,31, 2, 353-363 (2001) ·Zbl 0994.68050号
[24] Poon,C.K。;Yiu,W.K.,用于范围查询的机会数据结构,(COCOON论文集。COCOON论文集,计算机科学讲义,第3595卷(2005)),560-569·Zbl 1128.68348号
[25] R.Raman、V.Raman和S.S.Rao,《简明可索引词典及其编码应用》(k);R.Raman、V.Raman和S.S.Rao,《简明可索引词典及其编码应用》·Zbl 1093.68582号
[26] Srinivasa Rao,S.,压缩后缀数组的时空权衡,Inform。过程。莱特。,82, 6, 307-311 (2002) ·Zbl 1051.68048号
[27] Rote,G.,二叉树,具有给定数量的节点和0、1和2个子节点,Sem.Lothar。《合并》,38(1996),B38b,6页·Zbl 0886.05081号
[28] Sadakane,K.,压缩后缀数组的新文本索引功能,J.算法,48,2,294-313(2003)·Zbl 1100.68563号
[29] Sadakane,K.,《功能齐全的压缩后缀树》,理论计算。系统。,41, 4, 589-607 (2007) ·Zbl 1148.68015号
[30] K.Sadakane,R.Grossi,将简洁的数据结构压缩到熵边界,in:Proc。ACM-SIAM SODA,2006年,第1230-1239页。;K.Sadakane,R.Grossi,将简洁的数据结构压缩到熵边界,in:Proc。ACM-SIAM SODA,2006年,第1230-1239页·Zbl 1192.68188号
[31] K.Sadakane,G.Navarro,《全功能简洁树》,载于:Proc。ACM-SIAM SODA,2010年1月,第134-149页。;K.Sadakane,G.Navarro,《全功能简洁树》,收录于:Proc。ACM-SIAM SODA,2010年1月,第134-149页·Zbl 1288.05046号
[32] Välimäki,北卡罗来纳州。;梅基宁,V。;Gerlach,W。;Dixit,K.,工程压缩后缀树实现,J.Exp.Algorithmics(JEA),14:2:4.2-2:4.23(2010年1月)·Zbl 1284.68710号
[33] P.Weiner,线性模式匹配算法,摘自:第14届IEEE交换与自动机理论研讨会论文集,1973年,第1-11页。;P.Weiner,线性模式匹配算法,摘自:第14届IEEE交换与自动机理论研讨会论文集,1973年,第1-11页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。