Correspondance du modèle de permutation dans les chaînes

En gros, l'appariement des modèles de permutation traite des problèmes du type suivant:

Étant donné les permutations dans et dans , avec , contient-il une sous- séquence de longueur dont les éléments sont ordonnés selon ?$\pi$$S_n$$\sigma$$S_m$$m\leq n$$\pi$ $\tau$$m$$\sigma$

Par exemple, si et , la sous-séquence correspond . Comme vous pouvez le voir, nous ne recherchons pas ici une correspondance exacte, mais plutôt quelque chose qui "ressemble" au modèle spécifié.$\pi=\langle 3\ 1\ 5\ 4\ 2\ 8\ 6\ 7\rangle$$\sigma=\langle 2\ 1\ 3\rangle$$3\ 1\ 4$$\sigma$

Quelqu'un sait-il si des travaux ont été menés pour étendre les problèmes de correspondance des modèles de permutation aux chaînes? Google n'a malheureusement pas aidé, car le problème bien connu de correspondance de motifs sur les chaînes n'a rien à voir avec cela.

J'ai finalement réussi à déterrer une belle enquête de Kitaev et Mansour , qui donne des indications sur la littérature relative à la correspondance des modèles de permutation sur les permutations et les mots «habituels» / signés / colorés.

Baars, Löh et Swierstra ont implémenté des analyseurs de permutation pour Haskell (Journal of Functional Programming / Volume 14 / Numéro 06, pp 635 - 646). Ceux-ci peuvent être utilisés pour spécifier la permutation d'une collection d'analyseurs. Si chacun de ces analyseurs est un analyseur facultatif pour un seul caractère (c'est-à-dire, correspond au caractère ou rien), alors vous auriez les ingrédients que vous recherchez. Je crois que leur bibliothèque est disponible avec GHC.

Vous devriez commencer par Revital Eres, Gad M. Landau, Laxmi Parida: Découverte de modèles de permutation dans les bioséquences . Journal of Computational Biology 11 (6): 1050-1060 (2004).