文件Open Access徽标

LZ77树木分解

作者 Pawel Gawrychowski先生, 阿图尔·杰兹

PDF格式
缩略图PDF

文件

LIPIcs公司。FSTTCS.2016.35.pdf
  • 文件大小：0.51 MB
  • 15页

文件标识符

作者详细信息

Pawel Gawrychowski先生
阿图尔·杰兹

引用为获取BibTex

Pawel Gawrychowski和Artur Jez。LZ77树木分解。第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）。莱布尼茨国际信息学论文集（LIPIcs），第65卷，第35:1-35:15页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2016）
https://doi.org/10.4230/LIPIcs.FSTTCS.2016.35

摘要

我们将LZ77分解的基本概念从字符串推广到树。树表示为边不相交片段的集合，这些片段要么由一个节点组成，要么已经出现（按BFS顺序）。与字符串类似，这样的集合唯一地确定了树，因此通过最小化片段数，我们可以获得树的压缩表示。我们证明了我们的推广具有标准LZ77因式分解的几个有用特性：它可以在多项式时间内计算，而它的简单变量可以在线性时间内计算；它的大小不大于树的最小语法；它可以（在线性时间内）转换为大小为O的树语法（rg-log（n/（rg）），其中n是树的大小，g是该树的最小语法的大小，r是树中节点的最大arity，这与Jez和Lohrey的最近界限相匹配[STACS 2014]，但具有更简单、更模块化的证明。
关键词
  • 树语法
  • 语法压缩
  • LZ77型
  • SLP公司
  • 树压缩

韵律学

工具书类

  1. 阿尔弗雷德·阿霍（Alfred V.Aho）、约翰·霍普克罗夫特（John E.Hopcroft）和杰弗里·乌尔曼（Jeffrey D.Ullman）。计算机算法的设计与分析。艾迪森·韦斯利，1974年。谷歌学者
  2. 阿克苏Tatsuya Akutsu。基于文法的有序树压缩的二分算法。信息处理。莱特。，110(18-19):815-820, 2010.谷歌学者
  3. 菲利普·比尔（Philip Bille）、英格·李·戈茨（Inge Li Görtz）、加德·兰道（Gad M.Landau）和奥伦·魏曼（Oren Weimann）。用顶树压缩树。信息与计算，243:166-1772015。网址：http://dx.doi.org/10.1016/j.ic-2014年12月12日.
  4. 米科·阿杰·博扬奇克和伊戈尔·瓦卢基维奇。森林代数。在Jörg Flum、Erich Grädel和Thomas Wilke主编的《逻辑与自动化：历史与展望》中。，《逻辑与游戏文本》第二卷，第107-132页。阿姆斯特丹大学出版社，2008年。谷歌学者
  5. 米雷尔·布斯克特·梅洛、马库斯·洛伊、塞巴斯蒂安·马内斯和埃里克·诺思。通过有向非循环图进行XML压缩。理论计算。系统。，57(4):1322-1371, 2015. 网址：http://dx.doi.org/10.1007/s00224-014-9544-x.
  6. 乔治·布萨托（Giorgio Busatto）、马库斯·洛伊（Markus Lohrey）和塞巴斯蒂安·马内斯（Sebastian Maneth）。XML文档树的高效内存表示。信息系统，33（4-5）：456-4742008。谷歌学者
  7. 凯特琳·卡塞尔（Katrin Casel）、亨宁·费尔诺（Henning Fernau）、谢尔盖·加斯佩斯（Serge Gaspers）、本杰明·格拉斯（Benjamin Gras）和马库斯·施密德（Markus L.Schmid）。关于固定字母表上基于语法的压缩的复杂性。在Ioannis Chatzigiannakis、Michael Mitzenmacher、Yuval Rabani和Davide Sangiorgi，ICALP编辑，LIPIcs第55卷，第122:1-122:14页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2016年。网址：http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.122.
  8. Moses Charikar、Eric Lehman、Ding Liu、Rina Panigrahy、Manoj Prabhakaran、Amit Sahai和Abhi Shelat。最小的语法问题。IEEE信息理论汇刊，51（7）：2554-25762005。网址：http://dx.doi.org/10.1109/TIT.2005.850116.
  9. Travis Gagie和Pawe Gawrychowski。流模型中基于语法的压缩。Adrian Horia Dediu、Henning Fernanu和Carlos Martín-Vide，编辑，LATA，LNCS第6031卷，第273-284页。施普林格，2010年。网址：http://dx.doi.org/10.1007/978-3642-13089-2_23.
  10. Moses Ganardi、Danny Hucke、Markus Lohrey和Eric Noeth。使用字符串语法的树压缩。拉丁文编辑Evangelos Kranakis、Gonzalo Navarro和Edgar Chávez，LNCS第9644卷，第590-604页。斯普林格，2016年。网址：http://dx.doi.org/10.1007/978-3-662-49529-2_44.
  11. Adria Gascon、Guillem Godoy和Manfred Schmidt-Schau。压缩术语的上下文匹配。2008年6月24日至27日，美国宾夕法尼亚州匹兹堡，第23届IEEE计算机科学逻辑研讨会论文集，第93-102页。IEEE计算机学会，2008年。网址：http://dx.doi.org/10.1109/LICS.2008.17.
  12. Adria Gascon、Guillem Godoy和Manfred Schmidt-Schau。与单例树语法的统一。RTA编辑Ralf Treinen，LNCS第5595卷，第365-379页。施普林格，2009年。网址：http://dx.doi.org/10.1007/978-3642-02348-4_26.
  13. Adria Gascon、Guillem Godoy、Manfred Schmidt-Schau和Ashish Tiwari。使用一个上下文变量实现上下文统一。J.塞姆。计算。，45(2):173-193, 2010. 网址：http://dx.doi.org/10.1016/j.jsc.2008.10.05.
  14. Adria Gascon、Manfred Schmidt-Schauß和Ashish Tiwari。二限制的一个上下文统一是在多项式时间内。在Stephan Kreutzer，编辑，CSL，LIPIcs第41卷，第405-422页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2015年。网址：http://dx.doi.org/10.4230/LIPIcs.CSL.2015.405.
  15. Adria Gascon、Ashish Tiwari和Manfred Schmidt-Schau。一个上下文统一问题可以在多项式时间内解决。在LICS中，第499-510页。IEEE，2015年。网址：http://dx.doi.org/10.109/LICS.2015.53.
  16. PawełGawrychowski。Lempel-Ziv压缩字符串中的模式匹配：快速、简单和确定性。Camil Demetrescu和Magnüs M.Halldórsson，ESA编辑，LNCS第6942卷，第421-432页。施普林格，2011年。网址：http://dx.doi.org/10.1007/978-3642-23719-5_36.
  17. Danny Hucke、Markus Lohrey和Eric Noeth。为公式构造小树文法和小电路。在Venkatesh Raman和S.P.Suresh，编辑，FSTTCS，LIPIcs第29卷，第457-468页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2014年。网址：http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2014.457.
  18. 阿图尔·杰伊。上下文统一在PSPACE中。在Elias Koutsoupias、Javier Esparza和Pierre Fraignaud，ICALP编辑，LNCS第8573卷，第244-255页。斯普林格，2014年。网址：http://dx.doi.org/10.1007/978-3-662-43951-7_21.
  19. 阿图尔·杰伊。一个非常简单的近似最小语法。理论计算机科学，616:141-1502016。网址：http://dx.doi.org/10.1016/j.tcs.2015年12月32日.
  20. 阿图尔·杰伊（Artur Jeż）和马库斯·洛伊（Markus Lohrey）。最小线性树文法的近似。STACS编辑Ernst W.Mayr和Natacha Portier，LIPIcs第25卷，第445-457页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2014年。网址：http://dx.doi.org/10.4230/LIPIcs.STACS.2014.445.
  21. Jordi Levy、Manfred Schmidt-Schau和Mateu Villaret。关于有界二阶统一和分层上下文统一的复杂性。IGPL逻辑杂志，19（6）：763-7892011。网址：http://dx.doi.org/10.1093/jigpal/jzq010.
  22. 马库斯·洛伊。SLP压缩字符串的算法：一项调查。群组复杂性密码学，4（2）：241-2992012。谷歌学者
  23. 马库斯·洛伊（Markus Lohrey）、塞巴斯蒂安·马内斯（Sebastian Maneth）和罗伊·门尼克（Roy Mennicke）。使用RePair压缩XML树结构。信息系统。，38(8):1150-1167, 2013. 网址：http://dx.doi.org/10.1016/j.is.2013.06.006.
  24. 马库斯·洛伊（Markus Lohrey）、塞巴斯蒂安·马内斯（Sebastian Maneth）和曼弗雷德·施密特·沙乌（Manfred Schmidt-Schau）。语法压缩树的参数约简和自动机求值。J.计算。系统。科学。，78(5):1651-1669, 2012. 网址：http://dx.doi.org/10.1016/j.jcss.2012.03.003.
  25. 沃伊切·莱特（Wojciech Rytter）。Lempel-Ziv因子分解在基于语法的压缩近似中的应用。西奥。计算。科学。，302(1-3):211-222, 2003. 网址：http://dx.doi.org/10.1016/S0304-3975(02)00777-6.
  26. 坂本浩。基于语法的压缩的完全线性时间近似算法。J.离散算法，3（2-4）：416-4302005。网址：http://dx.doi.org/10.1016/j.jda.2004.08.016.
  27. 曼弗雷德·施密特·沙乌。用于多项式重写的线性压缩模式匹配（扩展摘要）。Rachid Echahed和Detlef Plump，编辑，TERMGRAPH，EPTCS第110卷，第29-40页，2013年。网址：http://dx.doi.org/10.4204/EPTCS.110.5.
  28. 涉谷铁雄。用大字母表构造树的后缀树。《算法与计算》，第225-236页。斯普林格，1999年。谷歌学者
  29. James A.Storer和Thomas G.Szymanski。数据压缩的宏模型。STOC编辑Richard J.Lipton、Walter A.Burkhard、Walter J.Savitch、Emily P.Friedman和Alfred V.Aho，第30-39页。ACM，1978年。谷歌学者
问题/备注/反馈
X（X）

Dagstuhl出版社反馈


感谢您的反馈！

已提交反馈

无法发送消息

请稍后再试或发送电子邮件
© 2023-2024Schloss Dagstuhl–LZI股份有限公司 印记 隐私 联系人