[논문 리뷰] Communication for Omniscience.

Ni Ding, Chung Chan외 3명|arXiv (Cornell University)|2016. 11. 25.

Cooperative Communication and Network Coding참고 문헌 61인용 수 3

한 줄 요약

이 논문은 이산 메모리 없는 다중 소스를 관찰하는 사용자 네트워크에서 총 통신 비율(합계 비율)을 최소화함으로써 온미스코프를 달성하기 위한 효율적인 알고리즘을 제안한다. 부분순서성과 딜워스 절단을 활용하여, 그 해가 최소 합계 비율을 제공하는 최대화 문제로 공식화하며, 수정된 분해 알고리즘(MDA)과 합계 비율 증분 알고리즘(SIA)을 통해 각각 점근적 및 비점근적 모델에서 다항시간 내에 계산이 가능하도록 한다.

ABSTRACT

This paper considers the communication for omniscience (CO) problem: A set of users observe a discrete memoryless multiple source and want to recover the entire multiple source via noise-free broadcast communications. We study the problem of how to attain omniscience with the minimum sum-rate, the total number of communications, and determine a corresponding optimal rate vector. The results cover both asymptotic and non-asymptotic models where the transmission rates are real and integral, respectively. Based on the concepts of submodularity and Dilworth truncation, we formulate a maximization problem. The maximum is the highest Slepian-Wolf constraint over all multi-way cuts of the user set, which determines the minimum sum-rate. For solving this maximization problem and searching for an optimal rate vector, we propose a modified decomposition algorithm (MDA) and a sum-rate increment algorithm (SIA) for asymptotic and non-asymptotic models, respectively, both of which complete in polynomial time. For solving the Dilworth truncation problem as the subroutine in both algorithms, we propose a fusion method to implement the existing coordinate saturation capacity (CoordSatCap) algorithm, where the submodular function minimization (SFM) is done over a merged user set. We show by experimental results that this fusion method contributes to a reduction in computation complexity as compared to the original CoordSatCap algorithm.

연구 동기 및 목표

• 모든 사용자가 노이즈 없는 브로드캐스트 통신을 통해 전체 다중 소스를 복구하기 위해 필요한 최소 합계 비율을 결정하는 것.
• 점근적(실수 비율) 및 비점근적(정수 비율) 모델 하에서 최적의 비율 벡터를 계산하기 위한 다항시간 알고리즘을 설계하는 것.
• 최적화 프레임워크 내에서 딜워스 절단 문제를 효율적으로 해결하는 데 발생하는 계산적 과제를 다루는 것.
• 사용자 집합 병합을 위한 융합 방법을 통해 기존의 부분순서 함수 최소화 알고리즘의 복잡도를 감소시키는 것.
• 사용자 집합의 다방향 컷에 대한 슬레피안-월프 제약 조건을 활용하여 달성 가능한 비율에 대한 이론적 경계를 설정하는 것.

제안 방법

• 모든 다방향 컷에 대해 슬레피안-월프 제약 조건을 최대화하는 방식으로 CO 문제를 공식화하여 최소 합계 비율을 결정한다.
• 부분순서성과 딜워스 절단을 적용하여 비율 할당 문제를 구조화된 최적화 과제로 모델링한다.
• 점근적 모델을 위한 수정된 분해 알고리즘(MDA)을 제안하며, 다항시간 내에 작동한다.
• 비점근적 모델을 위한 합계 비율 증분 알고리즘(SIA)을 도입하여 동일하게 다항시간 내에 작동한다.
• 사용자 집합을 부분순서 함수 최소화 이전에 병합함으로써 좌표 포화 용량 알고리즘(CoordSatCap)의 계산 속도를 향상시키는 융합 방법을 개발한다.
• 융합된 CoordSatCap 알고리즘을 MDA 및 SIA의 서브루틴으로 사용하여 원래 버전 대비 계산 효율성을 향상시킨다.

실험 결과

연구 질문

• RQ1 노이즈 없는 브로드캐스트를 갖는 분산 소스 네트워크에서 모든 사용자가 온미스코프를 달성하기 위해 필요한 최소 합계 비율은 무엇인가?
• RQ2 실수 비율 및 정수 비율 제약 조건 하에서 최적의 비율 벡터를 효율적으로 계산하는 방법은 무엇인가?
• RQ3 사용자 집합 융합를 통해 딜워스 절단 문제를 해결하는 데 발생하는 계산 복잡도를 감소시킬 수 있는가?
• RQ4 다방향 컷에 대한 슬레피안-월프 제약 조건은 최소 합계 비율을 결정하는 데 어떤 역할을 하는가?
• RQ5 제안된 MDA 및 SIA 알고리즘이 기존 방법 대비 성능 및 복잡도 측면에서 어떻게 비교되는가?

주요 결과

• 최소 합계 비율은 사용자 집합의 모든 다방향 컷에 대해 최대 슬레피안-월프 제약 조건에 의해 결정된다.
• 수정된 분해 알고리즘(MDA)은 점근적 모델에서 최적의 비율 벡터를 다항시간 내에 계산한다.
• 합계 비율 증분 알고리즘(SIA)은 비점근적 모델에서 정수 비율 조건 하에 동일한 목표를 다항시간 내에 달성한다.
• CoordSatCap 알고리즘을 위한 융합 방법은 사용자 집합을 병합하여 부분순서 함수를 최소화함으로써 원래 버전 대비 계산 복잡도를 감소시킨다.
• MDA 및 SIA 모두 다항시간 내에 완료됨을 증명하여 큰 사용자 집합에 대한 확장성 보장한다.
• 실험 결과는 융합 방법이 딜워스 절단 문제 해결에 있어 효율성을 크게 향상시킨다는 것을 확인한다.