การจับคู่รูปแบบการเปลี่ยนแปลงในสตริง

รูปแบบการเปลี่ยนแปลงที่ตรงกับข้อตกลงกับปัญหาประเภทต่อไปนี้:

ได้รับพีชคณิตในและในกับไม่มีsubsequenceของความยาวซึ่งเป็นธาตุสั่งตาม ?S n σ S เมตรเมตร≤ n $\pi$$S_n$$\sigma$$S_m$$m\leq n$$\pi$ m $\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 ไม่ได้ช่วยเนื่องจากปัญหาการจับคู่รูปแบบที่รู้จักกันดีในสตริงนั้นไม่เกี่ยวข้องกับสิ่งนี้

ในที่สุดฉันก็สามารถขุดสำรวจที่ดีโดย Kitaev และ Mansourซึ่งให้คำแนะนำกับวรรณคดีที่เกี่ยวข้องกับรูปแบบการเรียงเปลี่ยนรูปแบบบนการเรียงสับเปลี่ยนและการเรียงสี "ปกติ" / ลงนาม / สี

Baars, Löhและ Swierstra ดำเนินการจัดเรียงตัวเรียงสับเปลี่ยนสำหรับ Haskell (วารสารการเขียนโปรแกรมเชิงปฏิบัติ / เล่มที่ 14 / ฉบับที่ 06, หน้า 635 - 646) สิ่งเหล่านี้สามารถใช้เพื่อระบุการเรียงสับเปลี่ยนของคอลเลกชันของ parsers หากแต่ละตัวแยกวิเคราะห์เหล่านี้เป็นตัวแยกวิเคราะห์ที่เป็นตัวเลือกสำหรับอักขระเดี่ยว (นั่นคือตรงกับตัวละครหรือไม่มีอะไรเลย) จากนั้นคุณจะมีส่วนผสมที่คุณกำลังมองหา ฉันเชื่อว่าห้องสมุดของพวกเขาพร้อมใช้งานกับ GHC

คุณควรเริ่มต้นจาก Revital Eres กาดเอ็มกุ๊บลักษมี Parida: แบบเรียงสับเปลี่ยนการค้นพบใน Biosequences วารสารชีววิทยาการคำนวณ 11 (6): 1050-1060 (2004)