[논문 리뷰] The Impossibility of Approximate Agreement on a Larger Class of Graphs

Dan Alistarh, Faith Ellen외 1명|arXiv (Cornell University)|2021. 03. 16.

Distributed systems and fault tolerance참고 문헌 32인용 수 2

한 줄 요약

이 논문은 Sperner의 보조정리의 새로운 일반화와 2세트 합의로의 감소를 통해, 길이 ≥4인 사이클과 특정 비현실적 그래프를 포함한 광범위한 그래프 클래스에서 웨이트리스 근사 합의가 불가능하다는 것을 입증한다. 또한, 이론적으로는 이 문제의 해법 경계를 해결하는, 삼각형 그래프를 엄밀히 포함하는 그래프 클래스에 대해 웨이트리스 알고리즘을 제시한다.

ABSTRACT

Approximate agreement is one of the few variants of consensus that can be solved in a wait-free manner in asynchronous systems where processes communicate by reading and writing to shared memory. In this work, we consider a natural generalisation of approximate agreement on arbitrary undirected connected graphs. Each process is given a vertex of the graph as input and, if non-faulty, must output a vertex such that - all the outputs are within distance 1 of one another, and - each output value lies on a shortest path between two input values. From prior work, it is known that there is no wait-free algorithm among $n \ge 3$ processes for this problem on any cycle of length $c \ge 4$, by reduction from 2-set agreement (Castañeda et al., 2018). In this work, we investigate the solvability and complexity of this task on general graphs. We give a new, direct proof of the impossibility of approximate agreement on cycles of length $c \ge 4$, via a generalisation of Sperner's Lemma to convex polygons. We also extend the reduction from 2-set agreement to a larger class of graphs, showing that approximate agreement on on these graphs is unsolvable. Furthermore, we show that combinatorial arguments, used by both existing proofs, are necessary, by showing that the impossibility of a wait-free algorithm in the nonuniform iterated snapshot model cannot be proved via an extension-based proof. On the positive side, we present a wait-free algorithm for a class of graphs that properly contains the class of chordal graphs.

연구 동기 및 목표

• 임의의 무방향 연결 그래프에서 웨이트리스 근사 합의의 해법 가능성을 규명하는 것.
• 이성적 공유 메모리 시스템에서 근사 합의를 불가능하게 만드는 그래프의 구조적 특성들을 규명하는 것.
• 2세트 합의 감소를 통해 기존의 사이클에 대한 불가능성 결과를 더 넓은 그래프 클래스로 확장하는 것.
• 웨이트리스 모델에서 불가능성을 증명하기 위해 조합론적 접근(예: Sperner 유형의 레이블링)이 필수적임을 보여주는 것.
• 삼각형 그래프를 엄밀히 초월하는 그래프 클래스에 대해 새로운 웨이트리스 알고리즘을 제시하여 해법 가능성 결과를 제공하는 것.

제안 방법

• Sperner의 보조정리를 볼록 다각형으로 일반화하여, 길이 ≥4인 사이클에서의 불가능성을 직접적인 조합론적 증명으로 입증하는 것.
• 2세트 합의로의 감소를 이용하여, 사이클을 초월한 더 넓은 그래프 클래스에서 근사 합의가 불가능함을 보이는 것.
• 비균일 반복 스크래치 모델에서의 불가능성은 확장 기반 증명으로는 확립될 수 없음을 증명하여, 조합론적 기법의 필수성을 입증하는 것.
• 먼저 2세트 합의를 사용해 입력 집합 크기를 최대 두 개로 줄인 후, 최단 경로 상에서 반복적인 경로 압축을 적용하는 동기식 메시지 전달 알고리즘을 설계하는 것.
• 최대 두 개의 노드로 구성된 집합 X에 대해, 그들의 최단 경로 상 중심 노드로 매핑하는 함수 ψ(X)를 정의하여 타당성과 수렴성을 보장하는 것.
• f개의 Byzantine 장애가 있을 때 단계 복잡도를 ⌊f/2⌋ + ⌈log₂ diam(G)⌉ + 1 라운드로 설정하며, 여기서 f는 장애 수이고 diam(G)는 그래프의 지름이다.

실험 결과

연구 질문

• RQ1 어떤 그래프 클래스에서 웨이트리스 근사 합의가 불가능한가? 어떤 구조적 특성이 이를 초래하는가?
• RQ2 길이 ≥4인 사이클에서의 불가능성 결과를 감소 기반 방법 없이 직접적으로 증명할 수 있는가?
• RQ3 웨이트리스 모델에서 불가능성을 증명하기 위해 조합론적 접근(예: Sperner 유형의 레이블링)이 필수적인가?
• RQ4 웨이트리스 근사 합의를 위한 최대의 그래프 클래스는 무엇인가?
• RQ5 동기 시스템에서 근사 합의의 복잡도는 그래프의 지름과 장애 내성에 따라 유계로 유지될 수 있는가?

주요 결과

• 논문은 Sperner의 보조정리를 볼록 다각형으로 일반화하여, 길이 c ≥4인 사이클에서 웨이트리스 근사 합의의 불가능성을 직접적으로 입증하는 새로운 증명을 제공한다.
• 2세트 합의로의 감소를 통해 사이클을 초월한 더 넓은 그래프 클래스로 불가능성 결과를 확장하여, 이러한 그래프에서 근사 합의가 불가능함을 보여준다.
• 비균일 반복 스크래치 모델에서의 불가능성은 확장 기반 증명으로는 입증될 수 없음을 보여주며, 조합론적 기법이 필수적임을 입증한다.
• 삼각형 그래프의 클래스를 엄밀히 포함하는 그래프 클래스에 대해 웨이트리스 알고리즘을 제시하여, 삼각형 그래프가 최대 해법 클래스가 아님을 시사한다.
• 알고리즘은 동기식 메시지 전달 모델에서 f/2⌋ + ⌈log₂ diam(G)⌉ + 1 라운드 내에 근사 합의를 달성하며, 최단 경로로 향하는 반복적 압축을 통해 정확성이 보장된다.