Corrispondenza del modello di permutazione nelle stringhe

A grandi linee, la corrispondenza del modello di permutazione affronta problemi del seguente tipo:

Permutazioni trovati in e in , con , non contiene una sottosequenza di lunghezza cui elementi sono ordinate secondo ?$\pi$ σ S m m ≤ n π τ m $S_n$$\sigma$$S_m$$m\leq n$$\pi$ $\tau$$m$$\sigma$

Ad esempio, se e , la sottosequenza corrisponde a σ . Come puoi vedere, non stiamo cercando una corrispondenza esatta, ma piuttosto qualcosa che "assomigli" allo schema specificato.σ = ⟨ 2 1 3 ⟩ 3 1 $\pi=\langle 3\ 1\ 5\ 4\ 2\ 8\ 6\ 7\rangle$$\sigma=\langle 2\ 1\ 3\rangle$$3\ 1\ 4$$\sigma$

Qualcuno sa se è stato svolto un lavoro sull'estensione del modello di permutazione che combina i problemi alle stringhe? Google purtroppo non ha aiutato, dal momento che il noto problema di corrispondenza dei pattern sulle stringhe non ha nulla a che fare con questo.

Alla fine sono riuscito a scavare un bel sondaggio di Kitaev e Mansour , che fornisce indicazioni sulla letteratura relativa alla corrispondenza del modello di permutazione su permutazioni e parole "normali" / firmate / colorate.

Baars, Löh e Swierstra hanno implementato i permutatori di permutazione per Haskell (Journal of Functional Programming / Volume 14 / Issue 06, pp 635 - 646). Questi possono essere usati per specificare la permutazione di una raccolta di parser. Se ognuno di questi parser è un parser opzionale per un singolo personaggio (ovvero, corrisponde al personaggio o niente), allora avresti gli ingredienti che stai cercando. Credo che la loro biblioteca sia disponibile con GHC.

Dovresti iniziare da Revital Eres, Gad M. Landau, Laxmi Parida: Permutazione Pattern Discovery in Biosequences . Journal of Computational Biology 11 (6): 1050-1060 (2004).