[논문 리뷰] Congestion-Free Rerouting of Flows on DAGs

Saeed Akhoondian Amiri, Szymon Dudycz외 2명|arXiv (Cornell University)|2016. 11. 28.

Software-Defined Networks and 5G참고 문헌 32인용 수 13

한 줄 요약

이 논문은 방향 비순환 그래프(DAG)에서 k개의 분할 불가능한 플로우의 혼잡도 없는 재라우팅을 다항 시간 내에 해결할 수 있는 고정 매개변수 다항 시간 알고리즘을 제안한다. 이는 네트워크 라우팅 분야의 근본적인 재구성 문제를 다루며, 주요 기여는 플로우 간 재구성 의존성을 해결하는 새로운 플로우 네트워크 분해 기법을 제안한 데 있다. 이는 용량 제약 조건 하에서도 효율적인 스케줄링을 가능하게 한다.

ABSTRACT

Changing a given configuration in a graph into another one is known as a re- configuration problem. Such problems have recently received much interest in the context of algorithmic graph theory. We initiate the theoretical study of the following reconfiguration problem: How to reroute $k$ unsplittable flows of a certain demand in a capacitated network from their current paths to their respective new paths, in a congestion-free manner? This problem finds immediate applications, e.g., in traffic engineering in computer networks. We show that the problem is generally NP-hard already for $k = 2$ flows, which motivates us to study rerouting on a most basic class of flow graphs, namely DAGs. Interestingly, we find that for general $k$, deciding whether an unsplittable multi-commodity flow rerouting schedule exists, is NP-hard even on DAGs. Both NP-hardness proofs are non-trivial. Our main contribution is a polynomial-time (fixed parameter tractable) algorithm to solve the route update problem for a bounded number of flows on DAGs. At the heart of our algorithm lies a novel decomposition of the flow network that allows us to express and resolve reconfiguration dependencies among flows.

연구 동기 및 목표

• 업데이트 중 혼잡도가 발생하지 않도록 다수의 분할 불가능한 플로우를 용량 제약 조건이 있는 네트워크에서 재라우팅하는 문제에 대응하기 위해.
• 특히 플로우 및 라우팅 응용 분야에서 근본적인 역할을 하는 DAG에서의 재라우팅 문제의 계산 복잡도를 연구하기 위해.
• 일시적인 연결성을 유지하고 라우팅 루프를 방지하는 방식으로 플로우 업데이트 스케줄링을 효율적으로 수행하기 위한 알고리즘을 개발하기 위해.
• 일반적인 k에 대해 DAG에서도 문제의 NP-난이도를 입증함으로써, 고정 매개변수 다항 시간 접근이 필요한 이유를 제시하기 위해.

제안 방법

• 용량 제약 조건이 있는 네트워크에서 대역폭 요구량을 가진 분할 불가능한 다중화물 플로우의 일관성 있는 재라우팅을 위한 형식적 모델을 제안한다.
• 플로우 간 재구성 의존성을 포괄하는 부분 그래프로 플로우 네트워크를 분해하는 새로운 기법을 도입한다.
• 위상 정렬과 의존성 해결 기법을 활용하여 일시적 경로를 유지하고 루프를 방지하는 방식으로 업데이트를 스케줄링한다.
• k(플로우 수)를 매개변수로 삼아 고정 매개변수 다항 시간 기법을 적용하여, k가 유한한 경우 다항 시간 내에 해를 구할 수 있도록 한다.
• 3-SAT 문제에서의 감소를 통해 DAG에서의 NP-난이도를 증명함으로써 문제의 본질적 복잡성을 입증한다.
• 모든 의존성 플로우가 업데이트된 후에야 해당 플로우의 업데이트가 스케줄링되도록 하여 실현 가능한 업데이트 순서를 설계한다.

실험 결과

연구 질문

• RQ1 일반 그래프에서 k개의 분할 불가능한 플로우를 혼잡도 없이 재라우팅하는 문제는 k가 작을 경우에도 NP-난이도인가?
• RQ2 DAG에서 이 재라우팅 문제는 효율적으로 해결될 수 있으며, k가 유한할 경우의 고정 매개변수 복잡도는 어떻게 되는가?
• RQ3 플로우 간섭과 용량 제약 조건이 존재함에도 불구하고 효율적인 재구성 스케줄링을 가능하게 하는 DAG의 구조적 특성은 무엇인가?
• RQ4 플로우 간 재구성 의존성을 어떻게 형식적으로 기록하고 해결할 수 있으며, 이를 통해 네트워크의 일관성을 유지할 수 있는가?
• RQ5 이 재라우팅 문제에 대해 일반 그래프와 DAG 간의 복잡도에 본질적인 차이가 존재하는가?

주요 결과

• 일반 그래프에서 k개의 분할 불가능한 플로우를 혼잡도 없이 재라우팅하는 문제는 k = 2인 경우조차도 NP-난이도이다.
• 3-SAT에서의 비직관적인 감소를 통해 일반적인 k에 대해 DAG에서도 문제의 NP-난이도가 유지됨을 입증하였다.
• k를 매개변수로 삼을 경우, DAG에서 재라우팅 문제에 대해 고정 매개변수 다항 시간(FPT) 알고리즘이 존재하며, 실행 시간은 f(k) · poly(|G|)이다.
• 이 알고리즘은 플로우 간 재구성 의존성을 포괄하고 해결하는 새로운 네트워크 분해 기법에 의존한다.
• 이 방법은 모든 중간 상태에서 각 플로우에 대해 유효한 일시적 경로를 유지함으로써 루프와 혼잡도를 방지한다.
• 연구 결과에 따르면, 문제의 일반적인 난이도는 높지만, k가 유한할 경우 DAG는 효율적인 해결책을 제공함으로써 실세계 네트워크 업데이트에 실용적인 접근법을 제시한다.