반완전 유향그래프의 절단폭·경로폭을 차수 정렬로 빠르게 구하기

초록

본 논문은 반완전 유향그래프(세미컴플리트 다이그래프)의 절단폭(cutwidth)과 경로폭(pathwidth)을 계산하는 새로운 방법을 제시한다. 핵심 아이디어는 정점의 아웃·인 차수를 이용한 ‘차수 정렬(degree ordering)’을 활용하는 것으로, 이를 통해 기존 복잡한 알고리즘을 단순화하고 다항식 시간 근사 알고리즘을 얻는다. 특히 경로폭에 대해선 기존 O(OPT) 근사보다 상수 배율 근사를 다항식 시간에 제공한다. 또한 새롭게 정의한 장애물(obstacle) 구조를 이용해 위상 포함(topological containment)과 침잠(immersion) 문제를 단일 지수 고정‑파라미터 시간(FPT)으로 해결한다. 마지막으로 절단폭·경로폭 자체를 정확히 구하는 FPT 알고리즘을 단일 지수 시간 복잡도로 구현한다.

상세 분석

이 연구는 반완전 유향그래프, 즉 모든 정점 쌍 사이에 적어도 하나의 방향 간선이 존재하는 그래프에 대한 구조적 폭(width) 측정값인 절단폭과 경로폭을 다루며, 기존 문헌에서 제시된 복잡한 동적 계획법이나 그래프 분해 기법을 대체할 새로운 접근법을 제시한다. 핵심은 ‘차수 정렬’이라는 간단한 정점 순서를 이용하는데, 이는 각 정점의 아웃·인 차수를 기준으로 정점을 정렬한 뒤, 그 순서에 따라 그래프를 선형적으로 스캔하면서 절단(edge cut) 혹은 경로 분해의 폭을 추정한다. 차수 정렬은 O(n log n) 시간에 구할 수 있으며, 반완전 그래프의 특성상 차수 분포가 폭넓게 퍼져 있어 정렬 자체가 그래프의 전역 구조를 어느 정도 반영한다는 점이 핵심이다.

논문은 먼저 차수 정렬이 절단폭과 경로폭의 상수 배율 근사해를 제공한다는 정리를 증명한다. 절단폭의 경우, 정렬된 순서에서 i번째 정점까지의 앞부분과 뒤부분 사이에 존재하는 간선 수를 측정하면, 최적 절단폭보다 최대 2배 이내의 값을 얻는다. 경로폭에 대해서는 보다 정교한 분석이 필요하다. 저자들은 차수 정렬에 기반한 ‘슬라이딩 윈도우’ 기법을 도입해, 일정 길이의 연속 구간을 선택하고 그 구간에 포함된 정점들의 인접 관계를 조사함으로써 경로폭의 상수 배율 근사를 달성한다. 이 과정에서 기존에 사용되던 O(OPT)‑근사와 달리, 파라미터 의존성이 사라져 다항식 시간 내에 일정한 비율의 근사값을 얻을 수 있다.

또한, 절단폭·경로폭에 대한 새로운 장애물 구조를 정의한다. 이 장애물은 특정 정점 집합이 차수 정렬에서 연속적으로 나타나지 못하도록 강제하는 패턴으로, 이러한 패턴이 존재하면 해당 그래프의 절단폭·경로폭이 일정 값 이상임을 보인다. 이를 활용해 위상 포함과 침잠 문제를 FPT 알고리즘으로 해결한다. 구체적으로, 입력 그래프 G와 패턴 그래프 H가 주어졌을 때, H가 G에 위상 포함되거나 침잠되는지를 판단하는 절차는 장애물 탐색과 차수 정렬 기반의 제한된 탐색 공간을 결합해 단일 지수 시간 O*(c^k) (k는 폭 파라미터) 안에 해결된다.

마지막으로, 절단폭·경로폭 자체를 정확히 구하는 고정‑파라미터 알고리즘을 제시한다. 기존 방법은 폭이 k일 때 O*(2^{O(k^2)}) 정도의 복잡도를 가졌지만, 차수 정렬을 이용한 ‘커팅 포인트’와 ‘바이너리 서치’ 기법을 결합함으로써 O*(c^k) (c는 작은 상수) 수준의 단일 지수 시간 복잡도를 달성한다. 이 알고리즘은 차수 정렬을 기반으로 가능한 모든 절단 위치를 후보로 삼고, 각 후보에 대해 동적 계획법을 적용해 최적 폭을 검증한다. 전체 흐름은 차수 정렬 → 후보 절단 위치 선정 → 폭 검증 → 최적값 반환의 순서로 진행되며, 각 단계가 다항식 시간에 수행된다.

이러한 일련의 결과는 반완전 유향그래프에 대한 폭 측정과 관련된 여러 이론적·실용적 문제를 단순화하고, 기존 복잡도 장벽을 크게 낮추는 데 기여한다. 특히 차수 정렬이라는 직관적이고 구현이 쉬운 도구를 활용함으로써, 향후 관련 알고리즘의 구현 및 실험적 평가가 용이해질 전망이다.