[논문 리뷰] Charting the Complexity Landscape of Waypoint Routing

Saeed Akhoondian Amiri, Klaus-Tycho Foerster외 2명|arXiv (Cornell University)|2017. 04. 28.

Advanced Graph Theory Research참고 문헌 35인용 수 3

한 줄 요약

이 논문은 컴퓨터 네트워크에서 용량 제약 조건 하에 중간 노드(웨이포인트)의 순서를 따라 교통량이 통과해야 하는 웨이포인트 라우팅 문제의 종합적인 복잡도 분석을 제공한다. 일반적인 경우에 대해 NP-완전성을 입증하면서도, 특히 웨이포인트가 유량을 유지하거나 그래프 구조가 제한된 경우와 같은 다항시간 내에 해결 가능한 시나리오를 특정하여, 네트워크 서비스 체이닝 및 세그먼트 라우팅 응용 분야에서 알고리즘적 통찰력과 난이도의 경계를 제시한다.

ABSTRACT

Modern computer networks support interesting new routing models in which traffic flows from a source s to a destination t can be flexibly steered through a sequence of waypoints, such as (hardware) middleboxes or (virtualized) network functions, to create innovative network services like service chains or segment routing. While the benefits and technological challenges of providing such routing models have been articulated and studied intensively over the last years, much less is known about the underlying algorithmic traffic routing problems. This paper shows that the waypoint routing problem features a deep combinatorial structure, and we establish interesting connections to several classic graph theoretical problems. We find that the difficulty of the waypoint routing problem depends on the specific setting, and chart a comprehensive landscape of the computational complexity. In particular, we derive several NP-hardness results, but we also demonstrate that exact polynomial-time algorithms exist for a wide range of practically relevant scenarios.

연구 동기 및 목표

• 현대 네트워크에서 네트워크 기능 가상화(NFV) 및 서비스 체이닝의 맥락에서, 순서대로 웨이포인트를 거쳐 유량을 라우팅하는 문제의 계산 복잡도를 분석하는 것.
• 웨이포인트가 유량 크기를 변경하는지 여부와 그래프 구조에 따라 웨이포인트 라우팅 문제가 다항식 시간 내에 해결 가능한지 여부를 규명하는 것.
• 해결 가능한 경로나 최단 경로를 찾는 데 있어 유량 크기 변화의 영향을 분석하는 것.
• 웨이포인트 라우팅과 분리 경로 및 사이클 탐지와 같은 고전적인 그래프 문제 간의 연결 고리를 설정하는 것.
• 순서대로 정렬된 네트워크 기능 또는 미들박스를 통과해야 하는 현대 네트워크 서비스에서의 알고리즘적 과제에 대한 기초적인 이해를 제공하는 것.

제안 방법

• 일반적인 웨이포인트 라우팅 문제에 대해 NP-완전성을 증명하기 위해 파artition 문제로부터의 축소.
• 웨이포인트에서의 유량 크기 변화를 시뮬레이션하기 위해 용량을 정밀하게 할당한 별형 및 사이클 기반 그래프 인스턴스 구축.
• 큰 유량 크기를 이진 표현으로 사용하여, 입력 크기가 유량 값의 로그에 다항식 비례할지라도 강한 NP-완전성을 입증하는 데 활용.
• 무방향 간선을 동일한 용량의 이중 방향 간선으로 대체하여 방향 그래프로의 변환.
• 유량 크기를 일정 요소로 증가시키는 더미 웨이포인트를 도입하여, 제한된 유량 변화 모델 하에서도 난이도 유지.
• 기존의 분리 경로 및 최단 사이클 문제에 대한 결과를 활용하여, 순서 없는 대비 순서 있는 웨이포인트 라우팅 문제의 복잡도를 대비 분석.

실험 결과

연구 질문

• RQ1 용량 제약 조건 하에서 웨이포인트 라우팅 문제가 계산적으로 다항식 시간 내에 해결 가능한지 여부는 어떤 조건에서 성립하는가?
• RQ2 웨이포인트가 유량 크기를 변경할 수 있는 능력이 타당하거나 최단 경로를 찾는 데 있어 복잡도에 어떤 영향을 미치는가?
• RQ3 유량 크기 변화가 제한된 경우, 특히 방향 그래프에서 웨이포인트 라우팅의 계산 복잡도는 어떠한가?
• RQ4 다양한 그래프 구조(예: 무방향, 방향, 유일 사이클 그래프)가 문제의 복잡도에 어떤 영향을 미치는가?
• RQ5 웨이포인트 라우팅과 분리 경로 및 사이클 탐지와 같은 고전적인 그래프 문제 간의 관계는 무엇인가?

주요 결과

• 웨이포인트 라우팅 문제는 유량 크기가 이진으로 표현되며 기저 그래프가 유일 사이클일지라도 강한 NP-완전성을 갖는다.
• 웨이포인트가 유량 크기를 일정 요소로만 증가 또는 감소시킬 수 있는 제약 조건 하에서도, 방향 그래프에서 문제의 NP-완전성은 유지된다.
• 웨이포인트가 유량을 유지하거나 웨이포인트 수가 적은 경우와 같은 다양한 실용적 시나리오에 대해 다항시간 알고리즘이 존재한다.
• 문제의 복잡도 경계는 웨이포인트가 유량 크기를 변화시키는지 여부와 그래프의 위상적 구조에 따라 결정된다.
• 순서 있는 웨이포인트 라우팅(본 연구)과 순서 없는 변형 간에는 복잡도에 근본적인 차이가 있으며, 일반적으로 순서 있는 경우가 훨씬 더 어렵다.
• Partition 문제로부터의 축소를 통해, 조그만 일정한 유량 변화가 존재하더라도 문제의 계산 난이도는 그대로 유지됨을 입증한다.