Wheeler 그래프 인식의 난이도와 근사 불가능성

초록

Wheeler 그래프는 BWT 기반 압축 인덱스의 핵심 구조이지만, 그래프가 Wheeler 성질을 만족하는지 판단하는 문제는 σ≥2인 경우 NP‑완전이며, 최소 삭제로 Wheeler 그래프를 만들려는 최적화 문제는 APX‑hard이다. 반면 라벨이 하나뿐인 경우는 선형 시간에 해결 가능하고, 일부 제한된 그래프 클래스에서는 다항식 알고리즘이 존재한다.

상세 분석

본 논문은 Wheeler 그래프 인식 문제와 그 변형들의 복잡도 지형을 체계적으로 탐구한다. 먼저, 라벨 알파벳 크기 σ가 2 이상일 때, 베트윈니스 문제를 이용한 다항식 시간 감소를 통해 인식 문제가 NP‑완전임을 증명한다. 이 감소는 각 원소와 삼중항을 정점 및 라벨 2의 에지로 변환해, Wheeler 정렬이 베트윈니스 제약을 그대로 반영하도록 설계되었다. 특히, 이 구성은 입력 그래프가 DAG임을 보장하므로, DAG에서도 NP‑완전함을 얻는다.

σ=1인 경우는 라벨이 단일값이므로 모든 인바운드 라벨이 동일하고, Wheeler 정렬은 단순히 큐 번호가 1인 DAG와 동치가 된다. 기존의 큐 번호 1 판별 선형 알고리즘을 활용해 O(|V|+|E|) 시간에 해결 가능함을 보인다.

다음으로, d‑NFA(한 정점에서 같은 라벨을 갖는 아웃에지가 d개 이하인 비결정적 유한 자동자)에서의 난이도를 조사한다. d≥5이면 베트윈니스와 유사한 구조를 포함하도록 변환할 수 있어 NP‑완전성을 유지한다. 반면 d≤2인 경우는 기존 연구와 일치하게 다항식 시간에 인식 가능하다.

최적화 변형인 Wheeler Graph Violation (WGV)은 최소한의 에지를 삭제해 Wheeler 그래프를 만들고자 하는 문제이다. 최소 피드백 아크 집합(Minimum Feedback Arc Set) 문제로부터 APX‑hardness를 증명하고, Unique Games Conjecture(UGC) 하에서는 임의의 상수 C≥1에 대해 C‑근사조차 NP‑hard임을 보인다. 이는 실제 응용에서 근사 알고리즘이 제한적일 수 있음을 의미한다.

대조적으로, Wheeler Subgraph (WS) 문제는 가장 큰 Wheeler 서브그래프를 찾는 목표를 갖는다. σ가 상수일 때, 그래프를 라벨별로 연속 구간으로 나누어 Greedy 방식으로 선택하면 최적 해의 Ω(1/σ) 배를 보장한다. 따라서 WS는 APX에 속한다.

또한, 그래프 동형성 검사를 서브지수 시간에 수행할 수 있다는 최신 결과를 활용해, 인식·WGV·WS 모두에 대해 2^{O(n+e·logσ)} 시간의 정확한 지수 알고리즘을 설계한다. 이는 실용적인 입력 규모에서는 여전히 제한적이지만, 이론적으로 완전 탐색이 가능함을 보여준다.

마지막으로, PQ‑tree 기반의 구조적 분석을 통해 특정 그래프 클래스(예: 라벨 순서가 제한된 DAG)에서는 Wheeler 인식을 선형 시간에 수행할 수 있음을 제시한다. 이는 라벨과 위상 정렬이 강하게 얽혀 있는 경우에만 어려움이 발생한다는 직관을 뒷받침한다. 전반적으로, 논문은 Wheeler 그래프의 인식이 라벨 수와 그래프 비결정성에 크게 의존함을 밝히며, 실무에서 압축 인덱스를 적용하기 전 사전 검증 단계의 복잡성을 명확히 제시한다.