[논문 리뷰] A Fast Distributed Approximation Algorithm for Minimum Spanning Trees in the SINR Model

Maleq Khan, V. S. Anil Kumar외 2명|arXiv (Cornell University)|2012. 06. 06.

Mobile Ad Hoc Networks참고 문헌 35인용 수 6

한 줄 요약

이 논문은 SINR 모델에서 최소 스패닝 트리(MST) 구축을 위한 첫 번째 분산 근사 알고리즘을 제안하며, 근접 이웃 트리(NNT)를 사용해 공간적 분리를 확보하고 간섭 제약 조건을 충족시킨다. 알고리즘은 네트워크 지름 D와 거리 다양성 μ에 대해 O(D log n + μ log n) 시간 내에 O(log n)-근사 해를 달성하며, 분산 스케줄링 복잡도는 O(μ log n)이다.

ABSTRACT

A fundamental problem in wireless networks is the \emph{minimum spanning tree} (MST) problem: given a set $V$ of wireless nodes, compute a spanning tree $T$, so that the total cost of $T$ is minimized. In recent years, there has been a lot of interest in the physical interference model based on SINR constraints. Distributed algorithms are especially challenging in the SINR model, because of the non-locality of the model. In this paper, we develop a fast distributed approximation algorithm for MST construction in an SINR based distributed computing model. For an $n$-node network, our algorithm's running time is $O(D\log{n}+μ\log{n})$ and produces a spanning tree whose cost is within $O(\log n)$ times the optimal (MST cost), where $D$ denotes the diameter of the disk graph obtained by using the maximum possible transmission range, and $μ=\log{\frac{d_{max}}{d_{min}}}$ denotes the "distance diversity" w.r.t. the largest and smallest distances between two nodes. (When $\frac{d_{max}}{d_{min}}$ is $n$-polynomial, $μ= O(\log n)$.) Our algorithm's running time is essentially optimal (upto a logarithmic factor), since computing {\em any} spanning tree takes $Ω(D)$ time; thus our algorithm produces a low cost spanning tree in time only a logarithmic factor more than the time to compute a spanning tree. The distributed scheduling complexity of the spanning tree resulted from our algorithm is $O(μ\log n)$. Our algorithmic design techniques can be useful in designing efficient distributed algorithms for related "global" problems in wireless networks in the SINR model.

연구 동기 및 목표

• 실제적인 SINR 간섭 모델 하에서 무선 네트워크에서 최소 스패닝 트리(MST) 구축을 위한 분산 알고리즘을 설계한다.
• 기존 분산 알고리즘 설계를 어렵게 만드는 SINR 모델의 비국소성 문제를 해결한다.
• 동적이고 자원이 제한된 무선 환경에서 MST에 대해 낮은 시간 복잡도와 낮은 근사 비율을 달성한다.
• SINR 제약 조건 하에서 분산적으로 전송을 타당하게 스케줄링할 수 있도록 보장한다.
• 물리계층 간섭 제약 조건 하에서 무선 네트워크의 글로벌 문제를 위한 확장 가능한 해결책을 제공한다.

제안 방법

• 두 단계 접근법을 사용한다: 먼저 분산 알고리즘을 통해 지배 집합을 계산하고, 이후 근접 이웃 트리(NNT)를 통해 스패닝 트리를 구축하여 공간적 분리를 확보한다.
• 근접 이웃 트리가 거리 기반 분리로 인해 자연스럽게 SINR 제약 조건을 충족하므로, NNT-SINR-CD 알고리즘을 적용해 저비용 스패닝 트리를 구성한다.
• 모든 간선을 길이 클래스로 분할하고, 각 단계에서 전송 확률을 1/K로 설정하는 분산 스케줄링 기법을 사용하여 성공 확률을 높인다.
• NNT 구축 과정에서 형성되는 노드 집합의 일정 밀도 성질을 활용해 간섭을 제한하고, 각 단계에서 각 노드의 간섭이 O(1)이 되도록 보장한다.
• 지배 집합, 근접 이웃 트리, 연결 단계를 조합하여 비용이 유한하고 스케줄링 복잡도가 낮은 단일 스패닝 트리를 구성한다.
• 고확률 농도 경계와 SINR 타당성 분석을 활용해 분산 SINR 모델에서의 정확성과 효율성을 보장한다.

실험 결과

연구 질문

• RQ1 SINR 모델에서 비국소적 간섭 제약 조건이 존재하더라도, 분산 알고리즘이 저비용 스패닝 트리를 구성할 수 있는가?
• RQ2 SINR 모델에서 분산 MST 근사의 최소 시간 복잡도는 얼마인가?
• RQ3 SINR 모델에서 글로벌 구조인 MST를 구성하는 동안 간섭 제약 조건을 분산적으로 어떻게 충족시킬 수 있는가?
• RQ4 SINR 모델 하에서 분산 MST 구축 시 근사 비율과 실행 시간 사이의 상호 교환 관계는 무엇인가?
• RQ5 SINR 제약 조건 하에서 생성된 스패닝 트리의 스케줄링 복잡도를 분산 방식으로 유 bounds 로 제한할 수 있는가?

주요 결과

• 알고리즘은 최적 MST 비용에 대해 O(log n)-근사 해를 달성하며, 이는 SINR 모델에서 분산 MST에 대해 알려진 바 있는 최고의 근사 비율이다.
• 실행 시간은 O(D log n + μ log n)이며, 이는 분산 스패닝 트리 구축에 대해 이론적 하한 Ω(D)에 로그 인자 정도 내에서 근접해 있다.
• 생성된 스패닝 트리의 분산 스케줄링 복잡도는 O(μ log n)이며, 여기서 μ = log(d_max / d_min)는 네트워크의 거리 다양성을 나타낸다.
• 근접 이웃 트리의 사용으로 각 단계에서 공간적 분리 덕분에 간섭 제약 조건이 자연스럽게 충족되며, SINR 모델에서의 타당성을 보장한다.
• 모든 계산과 전송이 물리계층 제약 조건 하에서 타당함이 입증되어, 알고리즘이 SINR 모델에서 실제로 구현 가능하다.
• 이 접근법은 MST와 같은 글로벌 문제를 SINR 모델에서 효율적으로 해결할 수 있음을 보여주며, 이전에 알려진 국소 문제인 독립 집합 및 스케줄링을 넘어서는 확장성을 보인다.