曼弗雷德·施密特·肖斯；大卫·萨贝尔；阿尼斯，阿尔图 多项式时间内压缩项的同余闭包。 （英语） 兹比尔1348.68085 Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，227-242（2011）。 摘要：基本项之间有限组方程公理的文字问题是，对于项（s），方程（s=t）是否是一个结果。我们在基于语法的术语压缩下考虑这个问题，特别是使用单叉树语法（STG）和有向无环图（DAG）进行压缩时。我们证明，给定一个DAG压缩基和降项重写系统\（T\），STG压缩项\（s）的\（T\）-正规形式可以在多项式时间内计算，因此\（T\）-词问题可以在多项式时间内求解。这意味着STG-压缩项的单词问题可以在多项式时间内决定。如果基项重写系统（gTRS）（T）是STG-压缩的，我们证明了（T）-正规形计算的NP-harrdness。对于压缩的、简化的gTRS，我们显示了STG-压缩项的范式计算复杂性的PSPACE上界。还考虑了特殊情况，并给出了原型实现。有关整个系列，请参见[Zbl 1223.68012号]. 引用于2文件 MSC公司： 第68季度第42季度 语法和重写系统 65年第68季度 算法和问题复杂性分析 关键词：项重写；基于语法的压缩；单例树文法；同余闭包 软件：哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauss}等人，Lect。注释计算。科学。6989、227--242（2011；Zbl 1348.68085） 全文： 内政部 参考文献： [1] Haskell编程语言（2011），http://www.haskell.org [2] 亚当斯：有效集——一种平衡行为。J.功能。程序。 3(4), 553–561 (1993) ·doi:10.1017/S09567968800000885 [3] Baader，F.，Nipkow，T.：术语重写和所有这些。剑桥大学出版社，纽约（1998年）·Zbl 0948.68098号 ·doi:10.1017/CBO9781139172752 [4] Busatto，G.、Lohrey，M.、Maneth，S.：XML文档的高效内存表示。收录：Bierman，G.，Koch，C.（编辑）DBPL 2005。LNCS，第3774卷，第199-216页。斯普林格，海德堡（2005）·Zbl 1159.68408号 ·doi:10.1007/11601524_13 [5] Busatto，G.、Lohrey，M.、Maneth，S.：XML文档树的高效内存表示。信息系统。33（4-5），456–474（2008）·Zbl 05353633号 ·doi:10.1016/j.is.2008.01.004 [6] Comon，H.，Dauchet，M.，Gilleron，R.，Jacquemard，F.，Lugiez，D.，Tison，S.，Tommasi，M.：树自动机技术和应用（1997），http://www.grappa.univ-lille3.fr/tata网站（2002年10月发布） [7] Downey，P.J.，Sethi，R.，Tarjan，R.E.：常见子表达式问题的变体。J.ACM 27，758–771（1980）·Zbl 0458.68026号 ·doi:10.1145/322217.322228 [8] Gallier，J.H.，Narendran，P.，Plaisted，D.A.，Raatz，S.，Snyder，W.：在多项式时间内寻找基本重写规则规范集的算法。J.ACM 40（1），1-16（1993）·Zbl 0779.68050号 ·数字对象标识代码：10.1145/138027.138032 [9] Garey，M.R.，Johnson，D.S.：《计算机与不可修复性：NP完全性理论指南》。W.H.Freeman and Co.，旧金山（1979）·Zbl 0411.68039号 [10] Gascon，A.，Godoy，G.，Schmidt-Schauß，M.：压缩术语的上下文匹配。收录于：第23期LICS，第93-102页。IEEE计算机学会，洛斯阿拉米托斯（2008） [11] Gascón，A.，Godoy，G.，Schmidt-Schauß，M.：压缩项的统一与匹配（2010），http://arxiv.org/abs/1003.1632v1 ·Zbl 1351.68128号 [12] Gascon，A.，Maneth，S.，Ramos，L.：压缩项的一阶统一。在：Schmidt Schauß，M.（编辑）第22期RTA。LIPIcs，第10卷，第51–60页（2011年）·Zbl 1236.68129号 [13] Kozen，D.：有限呈现代数的复杂性。收录于：第九届STOC，第164-177页。ACM，纽约（1977年） [14] Levy，J.，Schmidt-Schauß，M.，Villaret，M.:有界二阶统一是NP-完全的。收录：Pfenning，F.（编辑）RTA 2006。LNCS，第4098卷，第400-414页。斯普林格，海德堡（2006）·Zbl 1151.68450号 ·doi:10.1007/11805618_30 [15] Levy，J.，Schmidt-Schauß，M.，Villaret，M.:分层上下文统一是NP-完全的。收录：Furbach，U.，Shankar，N.（编辑）IJCAR 2006。LNCS（LNAI），第4130卷，第82-96页。斯普林格，海德堡（2006）·Zbl 1196.68112号 ·doi:10.1007/11814771_8 [16] Levy，J.，Schmidt-Schauß，M.，Villaret，M.:关于有界二阶统一和分层上下文统一的复杂性（2011）（将出现在IGPL的逻辑J.中），http://www.ki.informationk.uni-frankfurt.de/papers/schaus/ ·兹比尔1252.68160 [17] Lifshits，Y.：处理压缩文本：一个易于处理的边界。收录：马，B.，张，K.（编辑）CPM 2007。LNCS，第4580卷，第228-240页。斯普林格，海德堡（2007）·Zbl 1138.68419号 ·数字对象标识代码：10.1007/978-3-540-73437-6_24 [18] Lohrey，M.：压缩单词的单词问题和成员问题。SIAM J.计算。 35(5), 1210–1240 (2006) ·Zbl 1106.20043号 ·doi:10.1137/S0097539704445950 [19] Lohrey，M.，Maneth，S.，Schmidt-Schauß，M.：语法压缩树中的参数缩减。收录：de Alfaro，L.（编辑）FOSSACS 2009。LNCS，第5504卷，第212–226页。斯普林格，海德堡（2009）·Zbl 1234.68182号 ·doi:10.1007/978-3642-00596-116 [20] Nelson，G.，Oppen，D.C.：基于同余闭包的快速决策程序。《美国临床医学杂志》27（2），356–364（1980）·Zbl 0441.68111号 ·doi:10.1145/322186.322198 [21] Nieuwenhuis，R.，Oliveras，A.，Tinelli，C.：解决SAT和SAT模理论：从抽象的Davis–Putnam–Logemann–Loveland过程到DPLL（t）。《美国医学会期刊》53（6），937–977（2006）·Zbl 1326.68164号 ·数字对象标识代码：10.1145/1217856.1217859 [22] Plandowski，W.：测试无语境语言中的语素等价性。收录：van Leeuwen，J.（编辑）ESA 1994。LNCS，第855卷，第460-470页。斯普林格，海德堡（1994）·doi:10.1007/BFb0049431 [23] Plandowski，W.，Rytter，W.：压缩单词的语言识别问题的复杂性。收录于：Karhumäki，J.，Maurer，H.A.，Paun，G.，Rozenberg，G..（编辑）《永远的珠宝》，第262-272页。斯普林格，海德堡（1999）·Zbl 0945.68116号 ·doi:10.1007/978-3-642-60207-8_23 [24] Schmidt-Schauß，M.：共享子结构项的多项式等式检验。法兰克21号报告，法国信息研究所。FB信息与数学。J.W.歌德-法兰克福大学（2005） [25] Schmidt-Schauß，M.：压缩术语和上下文的模式匹配以及多项式重写。法兰克43号报告，法国信息研究所。美因河畔法兰克福歌德大学（2011） [26] Shostak，R.E.：关于等式的推理算法。Commun公司。ACM 21（7），583–585（1978）·Zbl 0378.68044号 ·doi:10.1145/359545.359570 [27] Snyder，W.：高效地面完井：An o（n日志n） 生成简化的地面重写规则集的算法，相当于一组地面方程e.In:Dershowitz，n.（ed.）RTA 1989。LNCS，第355卷，第419-433页。斯普林格，海德堡（1989）·doi:10.1007/3-540-51081-8_123 [28] Snyder，W.：从一组地面方程生成简化地面重写系统的快速算法。J.塞姆。计算。 15(4), 415–450 (1993) ·Zbl 0804.68072号 ·doi:10.1006/jsco.1993.1029 [29] Ziv，J.，Lempel，A.：序列数据压缩的通用算法。IEEE传输。通知。理论23（3），337–343（1977）·兹伯利0379.94010 ·doi:10.1109/TIT.1977.1055714 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。