완벽 정렬을 위한 평균 복잡도 분석

본 논문은 서명된 순열을 역전 연산을 통해 정체 순열(Id) 혹은 역정체 순열(Id⁻) 로 변환하는 문제를 다룬다. ‘완벽 정렬(perfect sorting)’이란 정렬 과정에서 σ와 Id 사이의 공통 구간(common interval)이 전혀 깨지지 않아야 하는 제약을 의미한다. 이러한 제약은 유전체 재배열에서 보존된 유전 블록이 진화 과정에서 분리되지 않는다는 생물학적 가정과 일치한다. 기존 연구에서는 완벽 정렬을 위한 최소 역전 수를 구하는 문제가 NP‑hard임이 알려졌으며, 특정 서브클래스(예: 교환(permuting) 순열)에서는 다항 시간 알고리즘이 존재한다는 점만이 알려져 있었다. 논문은 크게 두 부분으로 구성된다. 첫 번째 부분에서는 ‘강한 구간 트리(strong interval tree, SIT)’라는 구조를 도입한다. SIT는 σ와 Id 사이의 모든 공통 구간을 포함하는 n‑leaf 트리이며, 내부 정점은 증가형(increasing), 감소형(decreasing), 프라임(prime) 세 종류로 구분된다. 저자들은 조합론적 추론과 생성함수 기법을 이용해 무작위 서명 순열의 SIT가 거의 확률적으로(확률 1) ‘루트가 프라임 정점이고, 그 자식은 리프 혹은 트윈(twin, 차수가 2인 내부 정점)’ 형태를 가진다는 정리 2를 증명한다. 이는 프라임 정점의 수가 평균적으로 0에 수렴함을 의미한다. 즉, 대부분의 순열이 교환(permuting) 순열에 해당한다는 결론을 얻는다. 두 번째 부분에서는 교환 순열에 대한 평균적인 완벽 정렬 특성을 정량화한다. 교환 순열은 SIT에 프라임 정점이 없으며, 모든 내부 정점이 선형(증가·감소)이다. 이러한 구조에서는 완벽 정렬의 최소 역전 집합이 각 내부 정점이 부모와 부호가 다를 때 해당 구간을 역전하는 것으로 완전히 결정된다. 저자들은 셰프레드(Schröder) 트리의 생성함수 S(x,y)를 이용해 평균 내부 정점 수와 평균 부호가 다른 리프 수를 구했으며, 그 결과 평균 역전 횟수는 (1/2)n·n⁻¹에 수렴하고, 평균 역전 길이는 약 0.12·√n(≈1+√2/2·n)임을 보였다(정리 3). 이는 기존 최악‑케이스 복잡도와는 대조적으로, 실제 무작위 데이터에서는 매우 짧은 역전 시퀀스로 정렬이 가능함을 의미한다. 알고리즘적 관점에서 저자들은 Bérard 등(2014)에서 제시한 다항 시간 알고리즘