Khớp mẫu cho phép trong chuỗi

Nói một cách lỏng lẻo, khớp mẫu hoán vị xử lý các vấn đề thuộc loại sau:

Cho phép hoán vị trong và trong , với , có chứa một chuỗi con có độ dài mà các phần tử được sắp xếp theo không?$\pi$$S_n$$\sigma$$S_m$$m\leq n$$\pi$ $\tau$$m$$\sigma$

Ví dụ: nếu và , thì sau đó khớp với . Như bạn có thể thấy, chúng tôi không tìm kiếm ở đây một kết hợp chính xác, mà là một cái gì đó "trông giống như" mẫu được chỉ định.$\pi=\langle 3\ 1\ 5\ 4\ 2\ 8\ 6\ 7\rangle$$\sigma=\langle 2\ 1\ 3\rangle$$3\ 1\ 4$$\sigma$

Có ai biết liệu công việc đã được tiến hành để mở rộng các vấn đề khớp mẫu hoán vị cho chuỗi? Thật không may, Google đã không giúp đỡ, vì vấn đề khớp mẫu nổi tiếng trên chuỗi không liên quan gì đến vấn đề này.

Cuối cùng tôi cũng tìm được một khảo sát hay của Kitaev và Mansour , trong đó đưa ra gợi ý cho các tài liệu liên quan đến mô hình hoán vị khớp với các hoán vị và từ "thông thường" / có chữ ký / màu.

Baars, Löh và Swierstra đã triển khai Trình phân tích cú pháp hoán vị cho Haskell (Tạp chí lập trình chức năng / Tập 14 / Số 06, trang 635 - 646). Chúng có thể được sử dụng để xác định hoán vị của một bộ sưu tập các trình phân tích cú pháp. Nếu mỗi trình phân tích cú pháp này là một trình phân tích cú pháp tùy chọn cho một ký tự (nghĩa là khớp với ký tự hoặc không có gì), thì bạn sẽ có các thành phần bạn đang tìm kiếm. Tôi tin rằng thư viện của họ có sẵn với GHC.

Bạn nên bắt đầu từ Revital Eres, Gad M. Landau, Laxmi Parida: Khám phá mô hình hoán vị trong hậu quả sinh học . Tạp chí Sinh học tính toán 11 (6): 1050-1060 (2004).