[논문 리뷰] Polynomial Counting in Anonymous Dynamic Networks with Applications to Anonymous Dynamic Algebraic Computations

Dariusz R. Kowalski, Miguel A. Mosteiro|arXiv (Cornell University)|2017. 07. 13.

Distributed systems and fault tolerance인용 수 8

한 줄 요약

이 논문은 네트워크 특성에 대한 사전 지식이 필요 없이 다항 시간 내에 익명 동적 네트워크의 카운팅 문제를 결정적으로 해결하는 Methodical Counting라는 알고리즘을 제안한다. 제어된 간격 동안 잠재적 요소를 체계적으로 제거하고 알람을 사용해 수렴 상태를 추적함으로써, 모든 노드가 정확한 네트워크 크기를 학습하고 동시에 종료됨을 보장한다. 이는 최악의 경우 보장이 있는 효율적인 합계 및 기타 대수적 함수 계산을 가능하게 한다.

ABSTRACT

Starting with Michail, Chatzigiannakis, and Spirakis work, the problem of Counting the number of nodes in Anonymous Dynamic Networks has attracted a lot of attention. The problem is challenging because nodes are indistinguishable (they lack identifiers and execute the same program) and the topology may change arbitrarily from round to round of communication, as long as the network is connected in each round. The problem is central in distributed computing as the number of participants is frequently needed to make important decisions, such as termination, agreement, synchronization, and many others. A variety of algorithms built on top of mass-distribution techniques have been presented, analyzed, and also experimentally evaluated; some of them assumed additional knowledge of network characteristics, such as bounded degree or given upper bound on the network size. However, the question of whether Counting can be solved deterministically in sub-exponential time remained open. In this work, we answer this question positively by presenting Methodical Counting, which runs in polynomial time and requires no knowledge of network characteristics. Moreover, we also show how to extend Methodical Counting to compute the sum of input values and more complex functions without extra cost. Our analysis leverages previous work on random walks in evolving graphs, combined with carefully chosen alarms in the algorithm that control the process and its parameters. To the best of our knowledge, our Counting algorithm and its extensions to other algebraic and Boolean functions are the first that can be implemented in practice with worst-case guarantees.

연구 동기 및 목표

• 익명 동적 네트워크에서 결정적 카운팅이 다항 시간 내에 달성될 수 있는지 여부에 대한 열린 질문을 해결하기 위해.
• 네트워크 크기, 차수, 연결성 한계에 대한 지식 없이도 작동하는 알고리즘을 설계하기 위해.
• 카운팅 솔루션을 다항 시간 내에 정확하고 결정적으로 합계 및 기타 대수적 함수를 계산할 수 있도록 확장하기 위해.
• 실제 동적 익명 분산 시스템에 구현하기 위해 최악의 경우 런타임 보장을 제공하기 위해.

제안 방법

• 노드들이 '잠재력(potential)'이라고 불리는 양을 공유함으로써 무작위 걷기 동역학을 시뮬레이션하는 질량 분포 메커니즘을 사용한다.
• 수렴 과정을 제어하고 이Ú적이고 통제되지 않은 분산을 방지하기 위해 주기적이고 체계적인 잠재력 제거를 도입한다.
• 진전을 모니터링하고 매개변수를 조정하기 위해 알람을 전략적으로 배치함으로써, 매개변수화된 마르코프 체인을 통한 분석이 가능해진다.
• 동기화된 에포크를 사용하여 진짜 크기의 다항 범위 내에 있는 후보 네트워크 크기를 검증함으로써, 네트워크 크기를 검증한다.
• 두 단계로 나누어진 에포크 구조를 통해 노드들이 각 단계에서 스케일된 값을 곱하고 반올림하여 초기 값의 합을 저장하고 나중에 재구성할 수 있다.
• 최소한의 시간 오버헤드로 네트워크 크기와 합계 계산을 조합하여 합계, 평균, 대칭 부울 함수를 계산하는 데 확장한다.

실험 결과

연구 질문

• RQ1 익명 동적 네트워크에서 네트워크 파rameter에 대한 사전 지식 없이도 결정적 카운팅이 다항 시간 내에 달성될 수 있는가?
• RQ2 매우 동적인, 익명적인 환경에서 최악의 경우 다항 시간 내에 수렴을 이끌 수 있는 메커니즘은 무엇인가?
• RQ3 카운팅 메커니즘을 정확한 결과와 점근적 오버헤드 없이 합계, 평균과 같은 대수적 함수를 계산하는 데로 확장할 수 있는가?
• RQ4 식별자, 고유한 리더, 또는 구조적 가정이 없는 상황에서 결정적 수렴을 어떻게 보장할 수 있는가?

주요 결과

• Methodical Counting는 다항 시간 내에 카운팅 문제를 해결하며, 모든 노드가 정확한 네트워크 크기를 학습하고 동시에 종료된다.
• 이 알고리즘은 네트워크 크기, 차수, 연결성 한계에 대한 지식이 전혀 필요 없어 일반적인 익명 동적 네트워크에 적용 가능하다.
• 모든 노드의 입력 값 합계를 정확하고 다항 시간 내에 계산할 수 있으며, 카운팅을 넘어서는 점근적 시간 오버헤드가 없다.
• 네트워크 크기와 합계만을 사용하여 AND, OR, XOR 및 그 보수와 같은 대칭 부울 함수의 정확한 계산이 가능해진다.
• 알고리즘의 분석은 매개변수화된 마르코프 체인과 통제된 질량 이동을 활용하여 엄밀한 최악의 경우 런타임 보장을 가능하게 한다.
• 카운팅 및 합계 계산을 포함한 모든 계산은 메시지 길이 O(log n)로도 가능하여, 제한된 통신 오버헤드를 갖는 실용적 구현을 지원한다.