버로스 휘일러 변환과 정렬 변환의 전신과 새로운 전단사 변형

초록

이 논문은 기존 버로스‑휘일러 변환(BWT)의 비전사적 한계를 극복하기 위해 스콧이 제안한 전단사 버전과, 이를 일반화한 정렬 변환(ST)의 전단사 형태를 제시한다. Lyndon 분해와 표준 순열을 핵심 도구로 사용해 변환의 정확성을 증명하고, 기존 조합론 결과와의 연관성을 밝힌다. 또한 새로운 전단사 ST 알고리즘을 설계하고 역변환 절차를 상세히 기술한다.

상세 분석

본 논문은 두 가지 주요 변환, 즉 버로스‑휘일러 변환(BWT)과 그 변형인 정렬 변환(ST)을 전단사(bijective) 형태로 재구성한다. 전통적인 BWT는 입력 문자열을 모든 순환 회전(conjugates)으로 만든 뒤 사전식 정렬하고, 마지막 열을 출력하면서 원본 문자열이 어느 행에 있는지를 나타내는 인덱스를 추가한다. 이 과정에서 인덱스 혹은 고유 종료 기호(end‑of‑string)가 필요하므로 완전한 전단사는 아니다. 스콧(2007)은 Lyndon 단어의 특성을 이용해 인덱스 없이도 원본을 복원할 수 있는 전단사 BWT를 제안했지만, 그 설명은 다소 난해했다. 저자는 이를 보다 직관적인 형태로 재정의하고, Lyndon 분해가 각 회전의 고유 대표성을 보장한다는 점을 이용해 변환의 일대일 대응을 증명한다. 핵심은 문자열 w를 Lyndon 단어들의 비감소 열 v₁≤…≤v_s 로 분해하고, 각 Lyndon 블록을 순환시켜 얻은 회전 집합을 사전식으로 정렬한 뒤, 표준 순열 π_w 를 정의한다. 이 순열은 동일 문자에 대해 원래 위치 순서를 유지하도록 설계돼, 마지막 열 L과 π_L 만으로 원본 w를 복원할 수 있다. 논문은 Lemma 3과 Corollary 4를 통해 L과 인덱스 i 로부터 w를 재구성하는 구체적 절차를 제시하고, π_L 의 역순열을 이용한 효율적인 역변환 방법을 제안한다.
정렬 변환(ST)은 BWT의 일반화로, 회전들을 첫 k 문자만을 기준으로 정렬한다(k‑order context). 동일한 k‑prefix를 가진 회전들 사이에서는 회전 인덱스로 tie‑break를 수행한다. 기존 연구에서는 ST의 역변환이 간략히 언급됐지만, 전단사 형태는 제시되지 않았다. 저자는 BWT와 동일한 표준 순열 개념을 k‑context에 확장하여, L_k 라는 마지막 열과 π_{L_k} 를 정의한다. 여기서도 동일 문자에 대한 안정 정렬을 유지함으로써, L_k 와 해당 인덱스만으로 원본을 복원할 수 있음을 증명한다. 특히, k‑order context가 회전의 순서를 완전히 결정하지 않을 경우에도, 표준 순열이 안정성을 보장해 역변환이 가능하도록 설계하였다.
또한, 논문은 Gessel‑Reutenauer(1993)와 Crochemore‑Desarmenien‑Perrin(2005)의 조합론적 결과와의 연계성을 탐구한다. 이들 결과는 Lyndon 단어와 순열의 통계적 특성을 다루는데, 전단사 BWT와 ST가 이러한 구조를 자연스럽게 활용한다는 점을 보여준다. 최종적으로 저자는 전단사 ST의 구현 알고리즘을 제시하고, 복잡도 분석을 통해 기존 비전사적 ST와 비교해 메모리 절감 및 암호학적 보안 향상을 기대할 수 있음을 강조한다.