분할불가능 전송 문제와 다중 공급·수요 네트워크의 새로운 근사 알고리즘

초록

본 논문은 여러 공급지와 수요지를 갖는 유향 그래프에서 각 공급‑수요 쌍을 하나의 경로로만 전송하는 ‘분할불가능 전송(Unsplittable Transshipment)’ 문제를 정의하고, 기존 단일 공급 모델의 핵심 결과를 일반화한다. 저자들은 임의의 합리적 전송 해 x를 입력으로 받아, 모든 아크 a에 대해 yₐ < xₐ + d_max 를 만족하는 분할불가능 전송 y를 다항시간에 구성하는 알고리즘을 제시한다. 또한 라운드 별 전송 횟수와 최대 라우팅 가능한 수요에 대한 상수 근사 결과도 논의한다.

상세 분석

논문은 먼저 전통적인 단일 공급지(SSUF) 문제에서 Dinitz‑Garg‑Goemans(DGG) 알고리즘이 어떻게 흐름을 조정해 각 수요를 하나의 경로에 매핑하면서 아크당 증가량을 최대 수요 d_max 이하로 제한하는지를 상세히 리뷰한다. 핵심 아이디어는 ‘전방‑후방 교대 사이클(alternating cycle)’을 찾아 흐름을 감소·증가시키는 과정이며, 이때 ‘특이(arcs singular)’와 ‘정규(regular)’ 정점 개념을 이용해 사이클이 존재함을 보장한다.

그 후 저자들은 다중 공급·수요 상황을 다루기 위해 초공급지 s*와 각 실제 공급지 s∈S⁺ 사이에 가상의 아크를 삽입해 SSUF 형태로 변환한다. 그러나 기존 DGG 알고리즘을 그대로 적용하면 가상 아크의 흐름이 변해 실제 공급량이 보존되지 않는 문제가 발생한다. 이를 해결하기 위해 ‘수정된 DGG 알고리즘’을 설계했으며, 주요 변경점은 다음과 같다.

1. 공급 고정 메커니즘: 알고리즘은 교대 사이클을 구성할 때 초공급지 s를 절대로 포함하지 않는다. 이를 위해 ‘펀넬(funnel)’과 ‘비펀넬(non‑funnel)’ 정점을 구분하고, 백워드 탐색 시 s만이 유일한 비펀넬 정점이면 사이클을 포기하고 다른 전방 경로를 탐색한다.

2. 수요 분할 및 서브‑싱크 처리: 각 수요 정점 t에 대해 필요에 따라 ‘서브‑싱크’를 생성해 서로 다른 공급지로부터 흐름을 받아오게 함으로써 전체 공급‑수요 균형을 유지한다. 이 과정에서 서브‑싱크는 원래 수요와 동일한 양을 요구하지만, 경로는 서로 독립적이므로 아크 혼잡을 최소화한다.

3. 구조적 보장: 최종적으로 얻어지는 분할불가능 전송은 공급‑수요 이분 그래프가 사이클을 갖지 않는 트리 형태가 되며, 각 수요에 도달하는 모든 경로는 ‘합류점(confluent)’ 이후 동일한 경로를 공유한다. 이러한 구조는 흐름 증강 과정에서 발생할 수 있는 중복 사용을 방지하고, yₐ < xₐ + d_max 를 엄격히 만족한다는 증명에 핵심 역할을 한다.

알고리즘 복잡도는 초기 전송 x를 기반으로 한 선형 시간 전처리와, 각 사이클 증강 단계에서 O(|A|) 탐색을 수행하므로 전체는 다항시간에 해결 가능하다. 또한 저자들은 라운드 기반 전송(한 라운드에 일부 수요만을 만족시키는)과 최대 라우팅 가능한 수요(전체 중 일부만 라우팅) 문제에 대해, 추가적인 그래프 구조 가정(예: 모든 아크 용량 ≥ d_max) 하에서 상수 라운드 상한과 0.22 수준의 근사 비율을 각각 제시한다.

이러한 결과는 기존 단일 공급 모델을 넘어, 물류·통신·광학 네트워크 등 실제 시스템에서 다중 출발·도착 지점을 가진 복합 전송 요구를 효율적으로 처리할 수 있는 이론적 토대를 제공한다.