빠른 손실 일반 흐름 근사와 내부점 알고리즘

본 논문은 손실 계수 γ(e)≤1인 일반 흐름 문제를 대상으로, 기존 최적화 기법보다 현저히 빠른 근사 알고리즘을 설계한다. 연구는 크게 네 부분으로 구성된다. 첫 번째 부분에서는 일반 흐름을 선형 계획(LP)으로 모델링한다. 흐름 보존식 A·x₁=0(소스·싱크 제외)과 용량 제약 x₁+x₂=c를 결합해 표준 형태의 LP를 만든다. 그러나 이 LP의 이중 문제는 무한히 커질 수 있어 직접 적용이 어려우므로, 저자들은 추가 변수(x₃, x₄, x₅)와 페널티 항을 도입해 이중 문제를 유계화한다. 이렇게 변형된 LP는 원래 문제와 동일한 최적값을 유지하면서, 모든 이중 변수와 슬랙의 절대값을 O(U·ε^{-1}) 이하로 제한한다. 두 번째 부분에서는 내부점 알고리즘에 근사 선형 시스템 솔버를 결합하는 방법을 제시한다. Renegar의 단계‑경로 내부점 방법은 O(√m) 번의 반복을 필요로 하는데, 각 반복마다 시스템 M·Δx=r을 풀어야 한다. 여기서 M은 (A·D·Aᵀ) 형태의 대칭 M‑행렬이며, D는 양의 대각 행렬이다. 저자들은 M을 적절히 스케일링해 D′MD′가 대각 우위(diagonally dominant) 행렬이 되도록 구성한다. 대각 우위 행렬에 대해서는 Spielman‑Teng이 제시한 거의 선형 시간 솔버가 O(m·log ε^{-1}) 시간에 ε‑정밀해를 제공한다. 이 솔버를 O(log n) 번 호출해 M‑행렬 시스템을 전체 O(m) 시간에 해결한다. 중요한 점은 내부점 알고리즘이 요구하는 정확도가 O(1/√m) 수준의 상대 오차이며, 이는 Spielman‑Teng 솔버가 제공하는 오차와 일치한다는 것이다. 따라서 전체 복잡도는 Õ(m^{3/2}·log (1/ε))가 된다. 세 번째 부분에서는 근사 흐름을 정확한 흐름으로 변환하는 절차를 다룬다. 먼저, 모든 정점 v에 대해 손실 최소 경로 트리(T)를 구축한다. 이 트리는 각 정점까지의 손실 누적값 L(v)=∑_{e∈π_{s,v}}(γ(e)^{-1}−1)를 최소화한다. Dijkstra 알고리즘을 이용해 O(m) 시간에 구할 수 있다. 그런 다음, L(v)≤ε·2mnU 인 정점만 남기고 나머지는 제거한다. 이렇게 전처리된 그래프에서 ε‑정밀 근사 흐름을 구하면, 흐름 값이 최적값보다 ε/4 이하로 감소한다. 남은 오차는 트리 기반의 흐름 재분배 과정을 통해 O(m) 시간에 보정한다. 이 과정에서 각 간선에 추가되는 초과 용량은 ε·poly(m,n,U) 수준이며, 전체 흐름을 스케일링해 용량 위반을 없앤다. 결과적으로, 최종 흐름은 원 그래프에서 최적값과 ε 차이 이내이며, 비용도 최소 비용 흐름의 상한을 초과하지 않는다. 마지막으로, 표준 최소 비용 흐름 문제에 대한 적용을 논한다. 일반 흐름 LP와 달리 비용 함수가 존재하지만, 행렬 구조는 동일하게 대칭 M‑행렬이다. 따라서 앞서 제시한 M‑행렬 솔버와 내부점 근사 분석을 그대로 적용해, 정확한 최소 비용 흐름을 Õ(m^{3/2}) 시간에 구할 수 있다. 이는 기존 Õ(m·√n) 혹은 Õ(m·log U) 알고리즘보다 √m 만큼 빠른 결과이다. 논문은 실험이 없지만, 이론적 복잡도 분석을 통해 다양한 파라미터 구간에서 실질적인 가속이 기대된다고 주장한다. 전체적으로, 대칭 M‑행렬을 대각 우위 행렬로 변환하고, 내부점 알고리즘에 근사 솔버를 결합하는 새로운 프레임워크는 손실 일반 흐름과 최소 비용 흐름을 거의 선형 시간에 해결하는 중요한 진전을 제공한다.