字符串中的排列模式匹配

宽松地说，排列模式匹配处理以下类型的问题：

给定的排列在S_N和\西格玛在S_M，与米\当量Ñ，并\ PI包含一个子序列\ tau蛋白的长度米的元素根据排序\西格玛？$\pi$$S_n$$\sigma$$S_m$$m\leq n$$\pi$ $\tau$$m$$\sigma$

例如，如果$\pi=\langle 3\ 1\ 5\ 4\ 2\ 8\ 6\ 7\rangle$和$\sigma=\langle 2\ 1\ 3\rangle$，则子序列$3\ 1\ 4$匹配$\sigma$。如您所见，我们不是在这里寻找完全匹配，而是在寻找“看起来”指定模式的东西。

有谁知道是否已经进行过将排列模式匹配问题扩展到字符串的工作？不幸的是，谷歌没有帮助，因为众所周知的字符串模式匹配问题与此无关。

我最终设法从Kitaev和Mansour进行了一次不错的调查，该调查提供了与“常规” /有符号/有色排列和单词上的排列模式匹配相关的文献的指针。

Baars，Löh和Swierstra 为Haskell 实现了置换解析器（函数编程杂志/第14卷/第6版，第635-646 页）。这些可用于指定解析器集合的排列。如果这些解析器中的每一个都是单个字符的可选解析器（即匹配字符或什么都不匹配），那么您将拥有所需的内容。我相信他们的图书馆可用于GHC。

您应该从Laxmi Parida的Gad M. Landau的Revital Eres开始：生物序列中的排列模式发现。计算生物学杂志11（6）：1050-1060（2004）。