[논문 리뷰] A Graph Theoretical Approach to Network Encoding Complexity

Li Xu, Weiping Shang외 1명|arXiv (Cornell University)|2012. 02. 03.

Interconnection Networks and Systems참고 문헌 8인용 수 4

한 줄 요약

이 논문은 비순환 방향 네트워크에서 Menger 경로의 융합을 모델링하여 네트워크 인코딩 복잡도를 분석하기 위한 그래프 이론적 프레임워크를 제안한다. 여러 세션에 걸친 경로 융합의 최소 수를 둘러싸는 상수 $\mathcal{M}(c_1,\dots,c_l)$ 및 $\mathcal{M}^*(c_1,\dots,c_l)$를 정의함으로써, 경로 연결 및 구조적 분해 기법을 사용하여 멀티캐스트, 양방향, 유니캐스트 네트워크에서의 인코딩 복잡도에 대한 날것의 하한과 정확한 값을 도출한다.

ABSTRACT

Consider an acyclic directed network $G$ with sources $S_1, S_2,..., S_l$ and distinct sinks $R_1, R_2,..., R_l$. For $i=1, 2,..., l$, let $c_i$ denote the min-cut between $S_i$ and $R_i$. Then, by Menger's theorem, there exists a group of $c_i$ edge-disjoint paths from $S_i$ to $R_i$, which will be referred to as a group of Menger's paths from $S_i$ to $R_i$ in this paper. Although within the same group they are edge-disjoint, the Menger's paths from different groups may have to merge with each other. It is known that by choosing Menger's paths appropriately, the number of mergings among different groups of Menger's paths is always bounded by a constant, which is independent of the size and the topology of $G$. The tightest such constant for the all the above-mentioned networks is denoted by $\mathcal{M}(c_1, c_2,..., c_2)$ when all $S_i$'s are distinct, and by $\mathcal{M}^*(c_1, c_2,..., c_2)$ when all $S_i$'s are in fact identical. It turns out that $\mathcal{M}$ and $\mathcal{M}^*$ are closely related to the network encoding complexity for a variety of networks, such as multicast networks, two-way networks and networks with multiple sessions of unicast. Using this connection, we compute in this paper some exact values and bounds in network encoding complexity using a graph theoretical approach.

연구 동기 및 목표

• 모서리에 독립적인 Menger 경로와 그 융합을 기반으로 하여 네트워크 인코딩 복잡도를 분석하는 그래프 이론적 모델을 수립하기.
• 다른 소스-싱크 쌍에서 온 Menger 경로 간의 최소 융합 수를 정의하고 계산하기, 이는 $\mathcal{M}$ 및 $\mathcal{M}^*$로 표기되며 인코딩 복잡도와 직접 연관된다.
• 서브네트워크의 구조적 연결을 통해 멀티캐스트, 양방향, 다중 세션 유니캐스트 네트워크에 대한 인코딩 복잡도에 대한 날것의 하한을 도출하기.
• 경로 융합과 네트워크 코딩의 필요성 간의 관계를 정형화하여, 융합점이 코딩을 필요로 하는 혼잡을 유발하는 브로크넥트로 작용함을 보여주기.

제안 방법

• 소스 $S_i$, 싱크 $R_i$를 갖는 비순환 방향 네트워크를 모델링하고, $S_i$와 $R_i$ 사이의 최소 컷을 $c_i$로 정의한다.
• 융합는 서로 다른 소스-싱크 쌍에서 온 최소 두 개의 Menger 경로가 한 에지에서 수렴하여 함께 진행하는 공통 부분경로로 정의된다.
• Menger 정리를 사용하여 $S_i$에서 $R_i$로 향하는 $c_i$개의 모서리에 독립적인 경로가 존재함을 보장하고, 이를 Menger 경로의 집단으로 구성한다.
• $|G|_{\mathcal{M}}(\alpha_1,\dots,\alpha_l)$를 정의하여, 중복 없이 모든 경로 집단을 통해 발생하는 서로 다른 융합 에지의 수를 세는 것으로 정의한다.
• 역방향 에지, 소스 및 싱크 분할, 노드의 식별을 통해 서브그래프를 연결하여 루트를 방지하는 그래프를 구성한다.
• 서브그래프 $k-1$개를 재귀적으로 연결하여 $(n_1,\dots,n_k)$-그래프를 구축함으로써 융합 수를 유지하고, 유도 가능한 하한을 가능하게 한다.

실험 결과

연구 질문

• RQ1 주어진 최소 컷을 갖는 네트워크에서 서로 다른 소스-싱크 쌍에서 온 Menger 경로 간의 최소 융합 수는 얼마인가?
• RQ2 상수 $\mathcal{M}(c_1,\dots,c_l)$ 및 $\mathcal{M}^*(c_1,\dots,c_l)$는 멀티캐스트 및 양방향 통신에서 네트워크 인코딩 복잡도와 어떻게 관련이 있는가?
• RQ3 융합 수는 네트워크 크기 및 구조와 무관하게 상수로 둘 수 있으며, 그 최고의 하한은 무엇인가?
• RQ4 경로 연결 기법을 어떻게 활용하여 다중 세션 네트워크의 인코딩 복잡도에 대한 하한을 도출할 수 있는가?
• RQ5 네트워크의 어떤 구조적 성질이 네트워크 코딩을 강제하며, 이러한 성질은 Menger 경로의 융합점과 어떻게 관련이 있는가?

주요 결과

• 논문은 서로 다른 소스-싱크 쌍에서 온 Menger 경로 간 융합 수가 네트워크 크기 및 구조와 무관한 상수로 제한됨을 입증한다.
• l개의 서로 다른 소스 및 싱크를 갖는 네트워크에서 최소 융합 수는 $\mathcal{M}(c_1,\dots,c_l)$로 표기되며, 동일한 소스가 있는 경우 $\mathcal{M}^*(c_1,\dots,c_l)$로 표기된다.
• 논문은 $\mathcal{M}(n,n) \geq \mathcal{M}^*(n+1,n+1) + \mathcal{M}^*(n-1,n-1) + (n-1)$을 증명하여 인코딩 복잡도에 대한 재귀적 하한을 제공한다.
• $n_1 \leq \cdots \leq n_k$인 경우, $\mathcal{M}^*(n_1,\dots,n_k) \geq \sum_{i=1}^{k-1} \mathcal{M}^*(n_i,n_i)$라는 부등식이 도출되며, 이는 세션 수가 늘어날수록 복잡도가 증가함을 보여준다.
• 저자들은 융합점이 코딩이 필요로 하는 브로크넥트로 작용하며, 이러한 점의 수가 최소 인코딩 비용을 직접 결정함을 보여준다.
• 그래프 연결을 통해 융합 수를 제어할 수 있는 비재루트 네트워크를 구성함으로써 정확한 계산과 인코딩 복잡도에 대한 날것의 하한을 가능하게 한다.