Local Patterns
Local Patterns
复制标题
当地模式
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Dirk Nowotka
中科院分区：
文献类型：
--
作者：
Joel D. Day;Pamela Fleischmann;F. Manea;Dirk Nowotka
一个模式是一个单词，由来自终端符号的字母σ和来自集合X的变量的常数组成。给定模式α，是否可以通过将α中的变量代替α上的单词acyσis over chive w y是通常，该问题是np-complete，但可以有效地解决它的几类模式。 K-local且强烈归类，并表明相对匹配的问题以及成员资格可以有效地解决1998年ACM主题分类F.4.3正式语言，F.2.2
A pattern is a word consisting of constants from an alphabet Σ of terminal symbols and variables from a set X. Given a pattern α, the decision-problem whether a given word w may be obtained by substituting the variables in α for words over Σ is called the matching problem. While this problem is, in general, NP-complete, several classes of patterns for which it can be efficiently solved are already known. We present two new classes of patterns, called k-local, and stronglynested, and show that the respective matching problems, as well as membership can be solved efficiently for any fixed k. 1998 ACM Subject Classification F.4.3 Formal Languages, F.2.2 Nonnumerical Algorithms and
检测单变量模式
DOI：
10.1007/978-3-319-67428-5_22
发表时间：
2017
期刊：
影响因子：
--
作者：
Dmitry Kosolobov;Florin Manea;Dirk Nowotka
通讯作者：
Dirk Nowotka