이중 제약 최장 공통 부분수열

초록

본 논문은 두 문자열 사이에서 최장 공통 부분수열(LCS)을 찾는 문제에 두 가지 제약을 동시에 부과한 “이중‑제약 LCS(DC‑LCS)”를 정의한다. 하나는 주어진 문자열 집합 Cs의 모든 원소를 포함하도록 하는 슈퍼시퀀스 제약이고, 다른 하나는 각 알파벳 문자 a에 대해 등장 횟수를 상한 Co(a)로 제한하는 반복‑제한 제약이다. 저자는 해의 길이를 매개변수로 하는 고정‑파라미터 알고리즘을 제시하고, 제약 문자열 수와 알파벳 크기를 매개변수로 하는 경우 Constrained LCS가 파라메트릭하게 어려움( W

상세 분석

DC‑LCS는 기존의 두 제한 변형인 Constrained LCS와 Repetition‑Free LCS를 동시에 일반화한다. Constrained LCS는 입력 문자열 s1, s2와 제약 문자열 집합 Cs가 주어졌을 때, 모든 c∈Cs를 포함하는 가장 긴 공통 부분수열을 찾는다. Repetition‑Free LCS는 각 알파벳 기호가 한 번만 등장하도록 하는 제한을 둔다. DC‑LCS는 이 두 조건을 결합해, 찾는 부분수열 s가 (1) Cs의 모든 원소를 서브시퀀스로 포함하고, (2) 각 문자 a에 대해 |s|_a ≤ Co(a) 를 만족하도록 만든다. 이러한 정의는 생물학적 서열 비교에서 특정 보존 모티프를 반드시 포함하면서도, 특정 아미노산의 과다 반복을 방지해야 하는 상황을 자연스럽게 모델링한다.

논문은 먼저 해의 길이 ℓ을 파라미터로 하는 고정‑파라미터 알고리즘을 제시한다. 핵심 아이디어는 색칠 기법(Color‑Coding)과 동적 계획법을 결합해, 가능한 문자 배치를 색으로 매핑하고, 색 집합을 기준으로 DP 테이블을 구축함으로써 ℓ‑길이 해가 존재하는지를 O*(2^ℓ·poly(n)) 시간에 판정한다. 여기서 O*는 다항식 요인을 무시한다. 이 알고리즘은 ℓ이 작을 때 실용적이며, 기존의 일반 LCS에 비해 제약 조건을 효율적으로 처리한다는 점에서 의미가 크다.

다음으로 저자는 파라메트릭 난이도 결과를 증명한다. 매개변수로 제약 문자열 수 |Cs|와 알파벳 크기 |A|를 잡고, Constrained LCS가 W