[논문 리뷰] Spanning Trees With Edge Conflicts and Wireless Connectivity

Magnús M. Halldórsson, Guy Kortsarz외 2명|arXiv (Cornell University)|2018. 01. 01.

Mobile Ad Hoc Networks참고 문헌 34인용 수 3

한 줄 요약

이 논문은 간선 간 충돌을 충돌(초)그래프로 모델링한 연결성 스케줄링 문제를 제안한다. 이 문제는 최소한의 스케줄링 슬롯을 갖는 스패닝 트리를 찾는 것을 목표로 한다. 논문은 ρ(충돌 그래프의 인덕티브 독립성)에 대해 O(ρ log n)-근사 알고리즘을 제안하며, 기하학적 가정 없이도 비정규적인 무선 환경에서도 성능이 유지됨을 보여준다.

ABSTRACT

We introduce the problem of finding a spanning tree along with a partition of the tree edges into fewest number of feasible sets, where constraints on the edges define feasibility. The motivation comes from wireless networking, where we seek to model the irregularities seen in actual wireless environments. Not all node pairs may be able to communicate, even if geographically close --- thus, the available pairs are modeled with a link graph $\mathcal{L}=(V,E)$. Also, signal attenuation need not follow a nice geometric formulas --- hence, interference is modeled by a conflict (hyper)graph $\mathcal{C}=(E,F)$ on the links. The objective is to maximize the efficiency of the communication, or equivalently minimizing the length of a schedule of the tree edges in the form of a coloring. We find that in spite of all this generality, the problem can be approximated linearly in terms of a versatile parameter, the inductive independence of the interference graph. Specifically, we give a simple algorithm that attains a $O(ρ\log n)$-approximation, where $n$ is the number of nodes and $ρ$ is the inductive independence, and show that near-linear dependence on $ρ$ is also necessary. We also treat an extension to Steiner trees, modeling multicasting, and obtain a comparable result. Our results suggest that several canonical assumptions of geometry, regularity and "niceness" in wireless settings can sometimes be relaxed without a significant hit in algorithm performance.

연구 동기 및 목표

• 기하학적 가정 대신 임의의 링크 및 충돌 그래프를 사용하여 실제 무선 환경의 비정규성(예: 신뢰할 수 없는 링크, 비기하학적 간섭)을 모델링한다.
• 간선 간 충돌 조건 하에서 최소 스케줄링 슬롯을 갖는 스패닝 트리를 찾는 문제의 복잡도를 연구한다.
• 무선 연결성과 간섭의 규칙성 부재에도 효과적으로 작동하는 효율적인 근사 알고리즘을 개발한다.
• 유사한 충돌 제약 조건 하에서 멀티캐스팅 응용을 위한 스티너 트리로 프레임워크를 확장한다.

제안 방법

• 연결 가능성 가능한 링크를 링크 그래프 L = (V, L)로 모델링하여 임의의 연결 제약 조건을 허용한다.
• 간섭을 분수 충돌 그래프 C = (L, W)로 표현하며, W(e,f)는 링크 e와 f 간의 간섭 정도를 정량화한다.
• 크루스칼의 MST 구축 방식과 충돌 인식 엣지 색칠 전략을 조합한 근사 알고리즘을 적용한다.
• 충돌 그래프의 인덕티브 독립성 ρ를 근사 비율을 제한하는 핵심 파라미터로 사용한다.
• 링크 길이 클래스별로 그룹화하고 각 클래스를 별도로 스케줄링하는 방식으로 결과를 스티너 트리로 확장한다.
• 물리 계층 모델 하에서 SINR 및 전력 제어에 관한 기존 결과를 활용하여 한계를 도출한다.

실험 결과

연구 질문

• RQ1 링크가 균일하게 이용 가능하지 않고 간섭이 기하학적 규칙을 따르지 않을 경우, 무선 연결 문제를 효율적으로 해결할 수 있는가?
• RQ2 충돌 그래프가 임의이면서 기하학적 규칙과 연결되지 않은 경우, 어떤 근사 보장을 확보할 수 있는가?
• RQ3 충돌 그래프의 인덕티브 독립성 ρ가 스패닝 트리의 스케줄 가능성에 어떤 영향을 미치는가?
• RQ4 임의의 링크 가용성과 간섭 조건이 존재하는 상황에서 스티너 트리에 대해 유사한 근사 비율을 달성할 수 있는가?
• RQ5 기하학적 가정과 스케줄링 복잡도를 분리하면서도 근사 최적 성능를 유지할 수 있는 방법이 있는가?

주요 결과

• 연결성 스케줄링 문제는 충돌 그래프의 인덕티브 독립성 ρ에 대해 O(ρ log n)-근사 알고리즘을 갖는다.
• 근사 비율은 근사적으로 최적에 가까우며, 상수 ρ일지라도 Ω(ρ log n)의 의존성이 필수적임이 입증된다.
• 일반적인 MST 기반 색칠 전략에 비해 근사 알고리즘이 뛰어난 성능을 보이며, 충돌 제약 조건 하에서 심각한 실패를 방지한다.
• 고정 단조 전력과 기하학적 SINR 모델 하에서, 스티너 연결성 스케줄링에 대해 O(log Λ log n)-근사해를 달성한다.
• 전역 전력 제어를 적용할 경우 근사 비율이 O(log n log∗Λ)로 향상되며, 전력 적응을 통한 상당한 성능 향상이 가능함을 보여준다.
• 문제는 심지어 링크가 누락된 기하학적 설정에서도 n1−ϵ-근사가 어렵다는 것이 입증되어 있으며, 본질적인 계산 복잡성이 있음을 시사한다.