×
亨宁费尔瑙;马库斯·施密德。

变量模式匹配：多元复杂性分析。 （英语） Zbl 1370.68124号

Inf.计算。 242, 287-305 (2015)。
摘要：模式\（\alpha\），即包含变量和终端的字符串，与终端词\（w\）匹配，前提是可以通过用终端词统一替换\（\alpha\）的变量来获得。决定一个给定的终结词是否与一个给定模式匹配是NP-完全的，这适用于问题的几个自然变体，这些问题是由变量是否可以被删除、模式是否需要无终结词或者变量到终结词的映射是否必须是内射的。我们考虑了这个问题的许多参数（即变量的数量、\（w\）的长度、替换变量的单词的长度、每个变量的出现次数、终端字母表的基数），以及参数的所有可能组合（以及上述变体），我们回答了这样一个问题：如果这些参数是由常数限定的，那么问题是否仍然是NP-完全的。

引用于14文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 形式语言和自动机

关键词：

参数化模式匹配;函数匹配;NP-完整性;模式语言的隶属度问题;态射
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}和\textit{M.L.Schmid}，Inf.Compute。242、287--305（2015；Zbl 1370.68124）
全文： 内政部

参考文献：

[1] Amir，A。；奥曼，Y。；科尔，R。；勒文斯坦，M。；Porat，E.，《函数匹配：算法、应用程序和下限》，（第30届国际自动化学术讨论会，语言和编程，第30届自动化国际研讨会，语言和程序，ICALP 2003）。程序。第30届国际自动化、语言和编程学术讨论会。程序。第30届国际自动化、语言和编程学术讨论会，ICALP 2003，Lect。注释计算。科学。，第2719卷（2003）），929-942·Zbl 1039.68933号
[2] Amir，A。；Nor，I.，广义函数匹配，J.离散算法，5514-523（2007）·Zbl 1135.68059号
[3] Angluin，D.，《寻找一组字符串的共同模式》，（第11届美国计算机学会计算理论研讨会论文集，第11届ACM计算理论研讨会，STOC 1979（1979）），130-141
[4] Angluin，D.，《寻找一组字符串的共同模式》，J.Compute。系统。科学。，21，46-62（1980年）·兹比尔0454.68108
[5] Baker，B.S.，《参数化模式匹配：算法和应用》，J.Compute。系统。科学。，52, 28-42 (1996) ·Zbl 0849.68019号
[6] 巴塞洛，P。；利布金，L。；Lin，A.W。；Wood，P.T.，图形结构数据路径查询的表达语言，ACM Trans。数据库系统。，37 (2012)
[7] Bremer，J。；Freydenberger，D.D.，变量数目有限的模式的包含问题，Inf.Compute。，220-221，15-43（2012年）·Zbl 1279.68134号
[8] Cámpeanu，C。；萨洛马，K。；Yu，S.，《实用正则表达式的正式研究》，Int.J.Found。计算。科学。，14, 1007-1018 (2003) ·Zbl 1101.68443号
[9] 克利福德，R。；哈罗，A.W。；波帕，A。；Sach，B.，《广义匹配》，（第16届字符串处理和信息检索国际研讨会论文集，第16届串处理与信息检索国际会议论文集，SPIRE 2009。程序。第十六届字符串处理和信息检索国际研讨会。程序。第十六届弦论处理和信息检索国际研讨会，SPIRE 2009，Lect。注释计算。科学。，第5721卷（2009）），295-301
[10] 埃伦菲赫特，A。；Rozenberg，G.，发现两个单词之间的同态是NP-完成的，Inf.过程。莱特。，9, 86-88 (1979) ·Zbl 0414.68022号
[11] Fernau，H。；Schmid，M.L.，《带变量的模式匹配：多元复杂性分析》，（第24届组合模式匹配年度研讨会，第24届联合模式匹配年度会议，CPM 2013）。程序。第24届组合模式匹配年度研讨会。程序。第24届组合模式匹配年度研讨会，CPM 2013，Lect。注释计算。科学。，第7922卷（2013）），83-94·Zbl 1355.68116号
[12] Freydenberger，D.D。；Reidenbach，D.，关于模式决策问题的坏消息，Inf.Comput。，20883-96（2010年）·兹比尔1189.68071
[13] Freydenberger，D.D。；赖登巴赫，D。；Schneider，J.C.，《弦的明晰形态图像》，国际期刊Found。计算。科学。，17, 601-628 (2006) ·Zbl 1110.68119号
[14] Friedl，J.E.F.，《掌握正则表达式》（2006），O'Reilly:O'Relly Sebastopol，CA
[15] 盖尔克，M。；Zilles，S.，《学习关系模式》，（第22届算法学习理论国际会议论文集，第22届国际算法学习理论大会论文集，ALT 2011。程序。第22届国际算法学习理论会议。程序。第22届国际算法学习理论会议，ALT 2011，Lect。注释计算。科学。，第6925卷（2011年）），84-98·Zbl 1348.68072号
[16] Harju，T。；Karhumäki，J.，Morphisms，（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第1卷（1997），Springer），439-510，第7章·Zbl 0866.68057号
[17] O.伊巴拉。；Pong，T.-C。；Sohn，S.，关于解析模式语言的注释，模式识别。莱特。，16, 179-182 (1995)
[18] 姜涛（Jiang，T.）。；Kinber，E。；Salomaa，A。；萨洛马，K。；Yu，S.，《带擦除和不带擦除的模式语言》，《国际计算机杂志》。数学。，50, 147-163 (1994) ·Zbl 0939.68690号
[19] 姜涛（Jiang，T.）。；Salomaa，A。；萨洛马，K。；Yu，S.，模式的决策问题，J.Compute。系统。科学。，50, 53-63 (1995) ·Zbl 0827.68066号
[20] Kratochvíl，J。；Kr̆ivánek，M.，《关于图中代码的计算复杂性》，（第13届计算机科学数学基础研讨会，第13届计算科学数学基础会议，1988年）。程序。第十三届计算机科学数学基础研讨会。程序。第13届计算机科学数学基础研讨会，MFCS 1988，Lect。注释计算。科学。，第324卷（1988）），396-404·Zbl 0655.68039号
[21] Mateescu，A。；Salomaa，A.，模式语言中的有限歧义度，RAIRO Theor。通知。申请。，28233-253（1994年）·Zbl 0883.68076号
[22] Ng，Y.K。；Shinohara，T.，从实证数据中探究模式语言的可学习性，Theor。计算。科学。，397, 150-165 (2008) ·Zbl 1145.68025号
[23] Ohlebusch，E。；Ukkonen，E.，关于E模式语言的等价问题，Theor。计算。科学。，186, 231-248 (1997) ·Zbl 0903.68110号
[24] Reidenbach，D.，一类不可学习的E模式语言，Theor。计算。科学。，35091-102（2006年）·Zbl 1086.68116号
[25] Reidenbach，D.，模式推理中的不连续性，Theor。计算。科学。，397, 166-193 (2008) ·Zbl 1145.68027号
[26] 赖登巴赫，D。；Schmid，M.L.，《大类扩展正则表达式的多项式时间匹配测试》，（第15届自动化实现与应用国际会议，第15届自动实现与应用会议，CIAA 2010）。程序。第十五届自动化实施和应用国际会议。程序。第十五届自动化实施和应用国际会议，CIAA 2010，Lect。注释计算。科学。，第6482卷（2011）），241-250·Zbl 1297.68165号
[27] 赖登巴赫，D。；Schmid，M.L.，有界树宽模式，Inf.Comput。，239, 87-99 (2014) ·Zbl 1309.68123号
[28] Schaefer，T.J.，可满足性问题的复杂性，（第十届ACM计算理论年会论文集，第十届计算理论年会刊论文集，STOC 1978（1978），ACM），216-226·Zbl 1282.68143号
[29] Schmid，M.L.，《关于模式语言和相关主题的成员资格问题》（2012），拉夫堡大学计算机科学系，博士论文
[30] Schmid，M.L.，《REGEX语言类内部》，国际期刊基金会。计算。科学。，24 (2013) ·Zbl 1293.68189号
[31] Schmid，M.L.，关于变量匹配模式复杂性的注释，Inf.Process。莱特。，113, 729-733 (2013) ·Zbl 1284.68284号
[32] Shinohara，T.，《扩展正则模式语言的多项式时间推断》，（《RIMS软件科学与工程研讨会论文集》，《RIMS计算机科学学报论文集》第147卷（1982）），第115-127页·Zbl 0511.68050号
[33] Shinohara，T.，模式语言的多项式时间推理及其应用，（第七届IBM计算机科学数学基础研讨会论文集（1982）），191-209
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。