방향 그래프 차수열 구현을 위한 알고리즘 개선

초록

본 논문은 무방향 그래프의 차수열을 구성하는 하벨‑하키미 알고리즘을 방향 그래프에 적용한 클라이먼‑왕(Kleitman‑Wang) 방법을 보다 자연스럽게 확장한다. 저자는 ‘3‑사이클 고정(anchored)’ 차수열을 정의하고, 이러한 경우에 기존 알고리즘이 모호해지는 원인을 분석한다. 이후, 고정 차수열에 대한 구조적 특성을 규명하고, 모든 경우에 명확히 동작하는 수정 알고리즘을 제시한다.

상세 분석

하벨‑하키미 알고리즘은 무방향 그래프의 차수열이 그래프적으로 실현 가능한지를 선형 시간에 판단하고, 실제 그래프를 구성하는 절차로 널리 쓰인다. 클라이먼‑왕은 이를 방향 그래프의 ‘입·출 차수’ 쌍으로 일반화했지만, 그 구현은 원래 하벨‑하키미와는 형태적 차이가 있었다. 저자는 이 차이를 메꿔, 입·출 차수가 동일하고 전체 차수 합이 짝수인 경우에 두 알고리즘이 완전히 동일하게 동작하도록 새로운 변형을 제안한다. 핵심 아이디어는 차수열을 정렬한 뒤, 가장 큰 출차수를 가진 정점 v에 대해 그와 연결될 입차수 상위 k개의 정점을 선택하는 과정에서, 선택된 정점들의 입·출 차수 감소를 ‘대칭적’으로 수행하는 것이다. 이렇게 하면 v와 선택된 정점들 사이에 방향 간선이 한 쌍씩 정확히 배치되며, 남은 차수열은 원래 차수열과 동일한 구조적 제약을 유지한다.

하지만 모든 차수열에 대해 이 절차가 무조건 정의되는 것은 아니다. 저자는 ‘directed 3‑cycle anchored’라 부르는 특수한 차수열을 발견한다. 이 차수열에서는 특정 세 정점이 반드시 3‑사이클(서로 순환하는 방향 간선) 형태로 연결되어야 하며, 그 외의 정점과의 연결 방식이 제한된다. 이러한 구조가 존재하면, 알고리즘이 선택해야 할 정점 집합이 모호해져 진행이 멈추게 된다. 논문은 이러한 고정 차수열을 정확히 식별하는 조건을 수학적으로 증명한다. 구체적으로, (i) 전체 차수 합이 3의 배수이며, (ii) 최소 입·출 차수가 1이고, (iii) 특정 정점 쌍의 차수 차이가 일정 범위 내에 있을 때 고정 현상이 발생한다는 것이다.

고정 차수열을 식별한 뒤, 저자는 두 가지 보완 전략을 제시한다. 첫 번째는 ‘사이클 삽입 단계’를 도입해, 고정된 3‑사이클을 미리 구성하고 남은 차수열에 기존 알고리즘을 적용하는 방법이다. 두 번째는 차수열을 변형해 고정 구조를 회피하도록 하는 ‘정점 재배열’ 기법이다. 두 방법 모두 정형화된 증명 과정을 통해, 모든 입력 차수열에 대해 알고리즘이 종료하고 올바른 방향 그래프를 반환함을 보장한다.

알고리즘의 시간 복잡도는 기존 하벨‑하키미와 동일하게 O(n log n)이며, 추가된 사이클 삽입 단계는 O(n) 수준의 선형 작업만을 요구한다. 따라서 실용적인 측면에서도 큰 부하 없이 기존 도구에 통합할 수 있다. 또한, 고정 차수열에 대한 구조적 특성을 명시함으로써, 방향 그래프 모델링에서 발생할 수 있는 잠재적 모순을 사전에 탐지하고 회피할 수 있는 이론적 기반을 제공한다. 이러한 기여는 네트워크 흐름, 사회적 관계망, 생물학적 조절망 등 입·출 구분이 중요한 다양한 분야에 직접적인 응용 가능성을 열어준다.