평면 그래프 면 수요 기반 다중 흐름 혼잡도 로그제한

초록

본 논문은 평면 그래프에서 각 수요가 그래프의 한 면에 놓이는 경우, 한 면에 존재하는 단말의 최대 개수 k에 대해 O(log k) 혼잡도로 다중 상품 흐름을 라우팅할 수 있는 알고리즘을 제시한다. 핵심은 세이모어의 반정수 흐름 정리를 이용한 “교차 해소(uncrossing)” 절차를 반복해 각 면의 단말 수를 절반씩 감소시키는 것이다. 또한 동일한 정리를 단순히 반복 적용했을 때는 더 나은 혼잡도 향상이 불가능함을 하한으로 증명한다.

상세 분석

논문은 먼저 평면 그래프 G와 수요 그래프 H가 주어졌을 때, 각 수요 (st) 가 G 의 어떤 면에 완전히 포함된 상황을 가정한다. 이때 한 면에 존재할 수 있는 단말의 최대 개수를 k라 정의하고, 목표는 전체 네트워크에 대해 O(log k) 배 정도의 혼잡만을 허용하면서 모든 수요를 만족시키는 흐름을 찾는 것이다. 핵심 도구는 세이모어의 정리(“K₅‑minor 가 없는 그래프에서는 컷 조건과 반정수 흐름이 동치”)이다. 평면 그래프는 K₅‑minor 가 없으므로, 컷 조건을 만족하면 반정수 흐름이 존재한다는 사실을 이용한다.

알고리즘은 각 면 F 에 대해 단말들을 순서대로 u₁,…,u_m 이라 두고, 좌·우 두 구역 L,R 으로 나눈 뒤, 서로 교차하는 양측(bilateral) 수요 쌍을 선택해 ‘교차 해소’를 수행한다. 구체적으로 두 교차 수요 u_i u_j 와 u_{i’} u_{j’} 의 최소 용량 m을 찾아, 해당 용량만큼 두 수요를 감소시키고 대신 u_i u_{j’} 와 u_{i’} u_j 와 같은 비교차 수요를 추가한다. 이 과정을 더 이상 교차가 없을 때까지 반복하면, 해당 면에 남는 수요는 모두 같은 구역(L 혹은 R) 안에만 존재한다. 이렇게 하면 한 단계에서 혼잡 2를 사용해 양측 수요를 모두 처리할 수 있다.

그 후, 각 면에 대해 새로 삽입한 0용량 간선 u_m u_k 을 통해 두 개의 새로운 면을 만들면, 원래 면의 단말 수가 절반으로 감소한다. 이 과정을 ⌈log₂ k⌉ 번 반복하면 모든 면의 단말 수가 1 이하가 되며, 각 단계마다 2배의 그래프 복제(2G)를 사용하므로 최종 혼잡은 2⌈log₂ k⌉+2 가 된다.

하한 부분에서는 같은 정리를 c 번만 적용했을 때 얻을 수 있는 모든 가능한 평면 수요 그래프의 수를 조합론적으로 셈한다. 한 면에 n 개의 단말이 있을 때, 한 번 적용으로 얻을 수 있는 평면 수요 그래프는 카탈란 수 C_n 에 의해 제한되고, c 번 적용하면 가능한 경우의 수는 m^{2nc}·C_n^c (여기서 m≈(2c)!/(c!·2^c)) 로 상한을 잡는다. 전체 가능한 수요 그래프의 수는 (2n)!/(n!·2^n) 이므로, 충분히 작은 c 로는 모든 경우를 커버할 수 없음을 보인다. 이를 통해 c = Ω(log n·log log n) 정도는 필요함을 증명하고, 단순히 세이모어 정리를 반복 적용하는 방식으로는 O(log k) 보다 좋은 비율을 얻기 어렵다는 결론을 얻는다.

전체적으로 논문은 평면 그래프에서 면에 제한된 수요 구조를 이용해 효율적인 라우팅 알고리즘을 설계하고, 그 한계를 조합론적 분석을 통해 명확히 제시한다.