DNA 저장을 위한 순위 변조 코드와 순열 실현 가능성 연구

초록

본 논문은 DNA 저장 채널에서 샷건 시퀀싱으로 얻은 프로파일 벡터를 순위 변조 방식으로 해석하고, 어떤 순열이 실제 DNA 문자열에 의해 구현될 수 있는지(Feasible) 여부를 조사한다. 흐름 보존 제약을 이용한 필요조건을 제시하고, 이를 기반으로 가능한 순열 수에 대한 상한을 도출한다. 또한 선형 계획법을 이용한 순열 실현 가능성 판단 알고리즘과, 임의의 알파벳 크기·윈도우 길이에 적용 가능한 다수의 실현 가능한 순열을 생성하는 구성 알고리즘을 제시한다.

상세 분석

논문은 DNA 저장 채널을 그래프 이론의 관점에서 모델링한다. 알파벳 Σ(크기 q)와 윈도우 길이 ℓ에 대해 ℓ‑차 De Bruijn 그래프 Gℓ,q를 정의하고, 길이 n의 원형 DNA 문자열 x는 이 그래프에서 ℓ‑길이 서브스트링을 따라 순환 경로를 만든다. 샷건 시퀀싱은 각 ℓ‑서브스트링의 등장 횟수를 기록한 프로파일 벡터 pₓ∈ℤ^{q^ℓ}를 출력한다. 순위 변조 방식은 pₓ의 절대값을 무시하고, 엔트리들의 순서(즉, 순열 π∈S_{q,ℓ})만을 정보로 사용한다. 이때 π가 실현 가능하려면 두 가지 필수 조건을 만족해야 한다. 첫째, pₓ의 모든 엔트리는 서로 달라야 하므로 π는 전순열이어야 한다. 둘째, De Bruijn 그래프의 흐름 보존(flow‑conservation) 제약이 존재한다. 구체적으로, 모든 (ℓ‑1)‑길이 노드 w에 대해 Σ_{σ∈Σ} pₓ(σw)=Σ_{σ∈Σ} pₓ(wσ) 가 성립해야 하며, 이는 그래프에서 각 노드에 들어오는 엣지 수와 나가는 엣지 수가 동일함을 의미한다. 이 제약은 특정 순열이 절대 실현 불가능함을 바로 보여준다(예: 그림 2의 순열).

저자들은 흐름 보존을 색칠된 그래프 해석으로 변환한다. 순열 π에 따라 각 엣지를 초록(π(a)<π(b)) 또는 빨강(π(a)>π(b))으로 색칠하고, 임의의 (ℓ‑1)‑길이 문자열 v에 대해 서브그래프 G(v)를 정의한다. 만약 G(v) 안에 전부 같은 색(전부 빨강 혹은 전부 초록)의 완전 매칭이 존재한다면, 해당 서브그래프는 흐름 보존을 위반하므로 π는 실현 불가능하다. 이를 이용해 서로 독립적인 (ℓ‑1)‑노드 집합 {u_i}를 선택하고, 각 G(u_i)에서 불가능한 매칭을 셈으로써 전체 순열 집합 S_{q,ℓ} 중 실현 불가능한 순열의 수를 하한으로 추정한다. 결과적으로, 실현 가능한 순열 수 F_{q,ℓ}에 대한 상한을
\