정점 차수 제한 그래프의 최대 방향 절단

초록

본 논문은 정점마다 진입 차수 또는 진출 차수가 k 이하인 방향 그래프에서, 총 m개의 간선을 가질 때 가능한 최대 방향 절단(directed cut)의 크기를 정확히 추정한다. 저자는 기존의 무제한 그래프에 대한 결과를 확장하여, 차수 제한이 있을 경우에도 절단 크기가 m·k/(2k+1) 이상임을 보이며, 이 한계가 최적임을 구성 예시를 통해 증명한다.

상세 분석

이 연구는 방향 그래프(digraph)에서 “방향 절단(directed cut)”이라는 개념을 중심으로 진행된다. 방향 절단이란 정점 집합 V를 두 부분 A와 B로 분할했을 때, A에서 B로 향하는 모든 간선의 집합을 의미한다. 절단의 크기는 이러한 간선의 개수이며, 최대 절단 문제는 그래프 이론과 알고리즘 설계에서 오래된 난제이다. 기존 연구에서는 일반적인 방향 그래프에 대해 절반 이상의 간선을 절단에 포함시킬 수 있다는 간단한 하한을 제시했으며, 더 정교한 경우에는 무작위 할당이나 선형 계획법을 이용해 m/2 + Ω(√m) 정도의 개선을 얻었다. 그러나 정점 차수에 제한이 가해지는 경우, 특히 모든 정점이 “인-차수 ≤ k” 혹은 “아웃-차수 ≤ k”라는 조건을 만족할 때는 기존 결과를 그대로 적용하기 어렵다. 차수 제한은 그래프의 구조적 균형을 강제하므로, 절단을 구성하는 전략도 달라져야 한다.

저자는 먼저 이러한 차수 제한 그래프의 특성을 분석한다. 인-차수 ≤ k인 정점들의 집합을 X, 아웃-차수 ≤ k인 정점들의 집합을 Y라 두면, 전체 정점 집합 V는 X ∪ Y이며 X∩Y는 비어 있지 않을 수도 있다. 중요한 관찰은 각 정점이 어느 한쪽 제한을 만족하므로, 전체 간선 수 m은 k·|V| 이하라는 점이다. 이를 바탕으로 저자는 임의의 정점 순서를 정하고, 순서에 따라 정점을 A와 B에 배정하는 “그리디 스위핑” 알고리즘을 설계한다. 이 알고리즘은 현재까지 배정된 정점들의 절단 기여도를 계산하면서, 새로운 정점을 넣을 때 절단에 추가되는 간선 수가 최소가 되도록 선택한다. 핵심 증명은 이 그리디 선택이 전체 절단 크기에 대한 하한 m·k/(2k+1)를 보장한다는 것이다. 증명 과정에서는 각 정점의 남은 인/아웃 차수를 추적하고, 차수 제한이 있는 정점이 절단에 기여할 수 있는 최대량을 정량화한다. 특히, 인-차수 제한 정점은 A에 배정될 경우 아웃-차수 제한 정점과의 교차 간선이 절단에 포함되며, 반대 경우에도 대칭적인 기여가 발생한다. 이러한 대칭성을 이용해 전체 절단 크기를 두 부분 집합 사이의 “교차 비율”로 표현하고, 최적 비율이 k/(2k+1)임을 수학적으로 도출한다.

또한, 저자는 이 하한이 최적임을 보이기 위해, 차수 제한을 정확히 만족하는 특수한 구성 그래프를 제시한다. 이 그래프는 두 클러스터 A와 B를 각각 k-정규(정점당 k개의 아웃/인 간선) 서브다이그래프로 만들고, 클러스터 간에 가능한 많은 간선을 추가하되 차수 제한을 위배하지 않도록 설계한다. 결과적으로 절단 크기는 정확히 m·k/(2k+1)와 일치한다. 따라서 제시된 알고리즘은 최적 해를 찾는 것이 아니라, 최적 하한을 달성하는 “근사” 해를 제공한다는 점에서 실용적이다.

마지막으로, 저자는 이 결과를 기존의 무제한 그래프 결과와 비교한다. k가 무한대로 커질 경우, k/(2k+1) → 1/2가 되므로, 본 논문의 하한은 일반적인 m/2 하한과 일치한다. 반면, k가 작을수록 (예: k=1) 절단 비율은 1/3으로 감소하지만, 이는 차수 제한이 강할수록 절단을 크게 만들기 어려워지는 직관과 부합한다. 이러한 연속적인 전이 관계는 차수 제한이 있는 네트워크(예: 통신망, 작업 흐름 그래프)에서 절단 기반 최적화 문제에 직접 적용 가능함을 시사한다.