비이진 삭제 채널에서 부분수열 개수의 최적 경계

초록

본 논문은 길이 n 인 q‑ary 문자열을 t 번 삭제했을 때 얻어지는 부분수열의 개수를, 문자열의 런(연속된 동일 문자 구간) 수 r 에 따라 정확히 추정한다. 하위 경계는 문자열을 이진 형태로 축소해 기존 결과를 이용하고, 상위 경계는 모든 런이 동일 길이를 갖는 ‘균형 문자열’이 최댓값을 달성함을 보이며, 이를 다항식 시간에 계산할 수 있음을 제시한다.

상세 분석

논문은 먼저 기존 연구가 제시한 Levenshtein의 기본 경계 ⌊(r‑t+1)/t⌋ ≤ |D_t(X)| ≤ ⌈(r+t‑1)/t⌉ 를 비이진 알파벳 q 에 일반화한다. 저자들은 문자열 변환 연산을 네 가지 정의한다. 첫 번째는 삽입 연산으로, 중간에 임의의 기호를 삽입하면 부분수열 수가 감소하지 않는다. 두 번째는 삭제 연산의 체인 규칙으로, D_{t’}(V)⊆D_{t+t’}(U) 를 이용해 단계별 삭제 효과를 연결한다. 세 번째는 기호 순열 연산으로, 알파벳 전반에 걸친 순열을 적용해도 |D_t| 는 변하지 않는다. 네 번째는 ‘축소 연산’으로, 모든 런을 0‑1 이진 기호로 매핑해 문자열을 이진화하고, 이때 부분수열 수는 감소한다는 것을 증명한다. 이를 통해 임의의 q‑ary 문자열 U=S(x₁,…,x_r;a₁,…,a_r) 에 대해 |D_t(U)| ≥ |D_t(S₂(x₁,…,x_r))| 가 성립한다. 여기서 S₂ 는 0‑1 교대로 나타나는 이진 문자열이며, Liron‑Langberg의 정리(정리 2