최대 듀오 보존 문자열 매핑 문제의 파라미터화된 트랙터블성

초록

본 논문은 두 문자열 A와 B 사이의 듀오(인접 문자 쌍) 보존을 최대화하는 Max‑Duo PSM 문제를 연구한다. 파라미터 k(보존되는 듀오 수)를 기준으로 고정‑파라미터 알고리즘을 제시하고, 색코딩 기법을 이용해 2^{O(k)}·poly(n) 시간 복잡도를 달성한다. 또한 문제를 O(k⁶) 크기의 다항 커널로 축소함으로써 파라미터화된 복잡도 측면에서 완전한 트랙터블성을 증명한다.

상세 분석

Max‑Duo PSM은 두 문자열 A와 B가 같은 문자 multiset을 갖는 경우(즉, 서로 순열 관계에 있음) 정의된다. 목표는 A의 위치와 B의 위치 사이에 전단사 매핑을 구성하여, 매핑된 인접 위치 쌍(듀오)이 동일한 문자 쌍으로 유지되는 경우의 수를 k 이상으로 만드는 것이다. 이 문제는 Minimum Common String Partition(MCSP)의 보완 문제이며, MCSP가 APX‑hard임을 고려하면 Max‑Duo PSM 역시 근사 난이도가 높지만, 파라미터 k에 대해서는 FPT(고정‑파라미터 트랙터블)임을 보이는 것이 핵심이다.

첫 번째 주요 공헌은 색코딩(color‑coding) 기법을 문자열 문제에 적용한 것이다. 일반적인 색코딩은 “크기 k인 부분집합 존재 여부”를 확인하기 위해 n개의 원소에 k가지 색을 무작위로 할당하고, 각 색이 서로 다른 원소에 할당되는 경우만 탐색한다. 여기서는 B 문자열의 위치 n을 원소 집합으로 보고, 완전 해시 함수 군(F)을 이용해 모든 k‑색 할당을 다항 시간에 생성한다. 각 색 할당 f∈F에 대해 동적 프로그래밍 테이블 D