DAG에서 차수열 실현 문제의 NP완전성 및 파라미터 트랙터빌리티

초록

본 논문은 정점의 입·출 차수를 지정한 순서쌍 집합을 만족하는 방향성 비순환 그래프(DAG)의 존재 여부를 결정하는 문제(DAG Realization)가 일반적인 경우 NP‑완전임을 증명한다. 또한 최대 차수 Δ를 파라미터로 삼을 때 이 문제는 고정‑파라미터 트랙터블(FPT)임을 보이며, 실제 실현 DAG를 구성하는 알고리즘을 제시한다.

상세 분석

논문은 먼저 기존 그래프 실현 문제와 달리 사이클을 허용하지 않는 DAG에 대한 차수열 실현 문제의 복잡도를 조사한다. Berger와 Müller‑Hannemann이 제시한 “opposed order” 개념을 활용해, 모든 차수쌍이 비교 가능할 경우 다항시간에 해결 가능함을 재확인한다. 그러나 일반적인 경우, 즉 서로 비교 불가능한 차수쌍이 존재할 때는 문제의 난이도가 급격히 상승한다는 점을 강조한다. 이를 증명하기 위해 저자들은 강한 NP‑완전 문제인 3‑Partition을 다항시간 다대일 감소(reduction)한다. 감소 과정에서 원본 정수 집합 A와 목표 합 B를 이용해 차수열 S를 구성하는데, S는 X₀,…,X_m이라는 m+1개의 “블록”과 3m개의 “a‑요소”로 이루어진다. 각 블록은 완전 DAG 형태를 이루며, 블록 사이의 “갭”에 a‑요소들이 배치되어 각 갭에 들어가는 a‑정점들의 입·출 차수 합이 정확히 B가 되도록 설계된다. 따라서 3‑Partition의 해가 존재하면, 해당 해에 따라 a‑정점들을 적절히 연결해 모든 갭을 채울 수 있고, 이는 S를 실현하는 DAG를 만든다. 반대로, 실현 가능한 DAG가 존재한다면 a‑정점들의 배치가 각 갭마다 B만큼의 차수를 사용함을 보이며, 이는 3‑Partition의 해를 바로 도출한다. 논문은 이 과정에서 두 가지 핵심 관찰을 제시한다. 첫째, 실현 가능한 DAG에서는 a‑정점들이 독립집합을 이루고, x‑정점들은 완전 DAG를 형성한다는 점; 둘째, “opposed order”에 따라 x‑정점들의 위상 순서는 블록 내부·블록 간에 완전히 정해진다. 이러한 구조적 특성을 이용해 차수 합산과 아크 배치를 정량적으로 분석하고, Lemma 2와 Lemma 3을 통해 감소의 완전성을 증명한다. 마지막으로, 최대 차수 Δ를 파라미터로 잡을 경우, 차수값이 작을수록 가능한 아크 배치의 경우의 수가 제한되므로 동적 계획법이나 커팅 트리 기반의 FPT 알고리즘을 설계할 수 있음을 언급한다. 구체적인 알고리즘 구현은 논문 부록에 제시되며, 시간 복잡도는 O(f(Δ)·n) 형태로, Δ에만 지수적이고 입력 크기 n에 대해서는 선형에 가까운 성능을 보인다. 전체적으로 이 연구는 DAG 실현 문제의 복잡도 지형을 명확히 구분하고, 실용적인 파라미터 트랙터블 해법을 제공함으로써 그래프 이론과 알고리즘 설계 분야에 중요한 기여를 한다.