Зображення перестановки в рядках

Вірно кажучи, узгодження шаблону перестановки стосується таких проблем:

Враховуючи перестановки в S n і σ в S m , при m ≤ n , чи містить π підпорядкованість τ довжиною m , елементи якої впорядковані відповідно до σ ?$\pi$$S_n$$\sigma$$S_m$$m\leq n$$\pi$ $\tau$$m$$\sigma$

Наприклад, якщо і σ = ⟨ 2 1 3 ⟩ , то підпослідовності 3 1 4 матчів сг . Як бачите, ми шукаємо тут не точну відповідність, а скоріше щось, що "схоже" на вказаний зразок.$\pi=\langle 3\ 1\ 5\ 4\ 2\ 8\ 6\ 7\rangle$$\sigma=\langle 2\ 1\ 3\rangle$$3\ 1\ 4$$\sigma$

Хтось знає, чи проводилась робота над розширенням шаблону перестановки, що відповідає проблемам рядків? Google, на жаль, не допоміг, оскільки відома проблема зіставлення шаблонів на рядках не має нічого спільного з цим.

Нарешті мені вдалося розкопати приємне опитування Кітаєва та Мансура , яке дає вказівки на літературу, пов’язану з узгодженням шаблону перестановки на "звичайні" / підписані / кольорові перестановки та слова.

Баарс, Льо і Сверєстра впровадили перестановки перестановки для Haskell (Журнал функціонального програмування / Том 14 / Випуск 06, с. 635 - 646). Вони можуть бути використані для визначення перестановки колекції аналізаторів. Якщо кожен з цих парсерів є необов'язковим парсером для одного символу (тобто відповідає символу чи нічого), то у вас є інгредієнти, які ви шукаєте. Я вважаю, що їхня бібліотека доступна в GHC.

Ви повинні почати з Revital Eres, Gad M. Landau, Laxmi Parida: Відкриття візерунка перестановки в біо наслідках . Журнал обчислювальної біології 11 (6): 1050-1060 (2004).