[논문 리뷰] Byzantine Approximate Agreement on Graphs

Thomas Nowak, Joel Rybicki|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|2019. 08. 07.

Distributed systems and fault tolerance인용 수 6

한 줄 요약

이 논문은 유한 그래프에서 바르비시안 근사 합의를 제안하며, 프로세서들이 비고장 입력의 그래프 유도형 볼록껍질 내에 머물면서도 그래프 상에서 거리 $ d $ 이내의 출력 값에 합의해야 한다. $ d \geq 1 $ 인 경우, 그래프가 코어널(Chordal)이면서 $ n > (\omega + 1)f $ 라면 이 작업은 이방성 시스템에서 해법 가능하다. 여기서 $ \omega $ 는 클리크 수이며, 이는 조합 구조에서의 래티스 합의 변종에 대한 첫 번째 바르비시안 내성 알고리즘을 제시한다.

ABSTRACT

Consider a distributed system with $n$ processors out of which $f$ can be Byzantine faulty. In the approximate agreement task, each processor $i$ receives an input value $x_i$ and has to decide on an output value $y_i$ such that - the output values are in the convex hull of the non-faulty processors' input values, - the output values are within distance $d$ of each other. Classically, the values are assumed to be from an $m$-dimensional Euclidean space, where $m \ge 1$. In this work, we study the task in a discrete setting, where input values with some structure expressible as a graph. Namely, the input values are vertices of a finite graph $G$ and the goal is to output vertices that are within distance $d$ of each other in $G$, but still remain in the graph-induced convex hull of the input values. For $d=0$, the task reduces to consensus and cannot be solved with a deterministic algorithm in an asynchronous system even with a single crash fault. For any $d \ge 1$, we show that the task is solvable in asynchronous systems when $G$ is chordal and $n > (ω+1)f$, where $ω$ is the clique number of~$G$. In addition, we give the first Byzantine-tolerant algorithm for a variant of lattice agreement. For synchronous systems, we show tight resilience bounds for the exact variants of these and related tasks over a large class of combinatorial structures.

연구 동기 및 목표

• 입력 값이 유한 그래프의 정점인 이산적이고 조합적인 설정에서 바르비시안 근사 합의를 연구한다.
• 그래프에 의해 유도된 볼록껍질을 정의하고, 출력 값이 이 볼록껍질 내에 있으며 상호 간 거리 $ d $ 이내에 있어야 한다는 조건을 설정한다.
• 이방성 및 동기 시스템에서의 근사 합의에 대한 내성 한계와 해법 조건을 수립한다.
• 분산 합의 이론을 이산 볼록성 공간, 특히 그래프와 반순서집합에서 유도되는 볼록 기하학에까지 확장한다.
• 조합 구조에서의 래티스 합의 변종에 대한 첫 번째 바르비시안 내성 알고리즘을 제시한다.

제안 방법

• 입력 값을 유한 그래프 $ G $ 의 정점으로 모델링하며, 출력 값은 $ G $ 상에서 거리 $ d $ 이내여야 하며, 비고장 입력의 그래프 유도형 볼록껍질 내에 있어야 한다.
• 단일 경로 볼록성(monophonic convexity) 개념을 사용하여 그래프 유도형 볼록껍질을 정의하며, 집합이 그 원소들 사이의 모든 최단 경로를 포함하면 볼록이라고 간주한다.
• 연속적 근사 합의를 이산 구조로 일반화하는 그래프에서의 $ d $-근사 합의 개념을 도입한다.
• Carathéodory 수와 Helly 수를 활용하여 해법 조건을 특성화하기 위해 추상 볼록성 이론, 특히 볼록 기하학을 사용한다.
• 극점(Extreme points)을 활용하고 비극점 정점들을 탐욕적으로 제거하는 방식으로 코어널 그래프에서 근사 합의를 위한 결정론적 알고리즘을 구성한다.
• 볼록 기하학 이론을 적용하여 내성 한계를 유도하고, Helly 수와 Carathéodory 수를 사용하여 동기 시스템에서의 타당성(tightness)을 증명한다.

Figure 1: Examples of geodesic and monophonic agreement on graphs. In the top row, the blue and orange vertices form a convex hull of the blue vertices for each graph under (a)–(d) geodesic and (e) monophonic convexities. The thick edges lie in the shortest (geodesic) or chordless (monophonic) paths

실험 결과

연구 질문

• RQ1 입력 값이 유한 그래프의 정점이고 출력 값이 그래프 거리에서 가까워야 하는 조건에서, 이방성 시스템에서 바르비시안 근사 합의를 해결할 수 있는가?
• RQ2 코어널성과 같은 그래프 $ G $ 의 구조적 성질이 $ d \geq 1 $ 인 근사 합의의 해법 가능성을 보장하는가?
• RQ3 이산 조합 구조에서의 래티스 합의 변종에 대해 바르비시안 내성 알고리즘을 설계할 수 있는가?
• RQ4 볼록 기하학의 Carathéodory 수와 Helly 수가 근사 합의의 내성 한계와 어떻게 관련이 있는가?
• RQ5 결과를 비코어널 그래프 또는 볼록 기하학을 초월한 일반 볼록성 공간으로 확장할 수 있는가?

주요 결과

• $ d \geq 1 $ 인 경우, $ n > (\omega + 1)f $ 이고 $ G $ 가 코어널이면, 바르비시안 근사 합의는 이방성 시스템에서 해법 가능하다. 여기서 $ \omega $ 는 $ G $ 의 클리크 수이다.
• 코어널 그래프일 경우, 단일 경로 볼록성에 따른 그래프 유도형 볼록껍질은 볼록 기하학을 이룬다. 이는 추상 볼록성 도구의 사용을 가능하게 한다.
• 크기가 $ m > 1 $ 인 불필요하지 않은 집합 $ A $ 에 대해 $ m $-블로킹 인스턴스가 존재하며, 이는 극점의 탐욕적 제거를 통한 해법 증명에 핵심적이다.
• 반순서집합에서의 래티스 합의 변종에 대한 새로운 바르비시안 내성 알고리즘이 제시되며, 합의 프로토콜의 적용 범위를 이산 대수적 구조로 확장한다.
• 동기 시스템에서는 광범위한 조합 구조에서 정확한 합의 작업에 대해 타당한 내성 한계가 확립되며, 이는 기초 볼록 기하학의 Helly 수와 일치한다.
• 논문은 아직 미해결 문제를 밝히며, 비코어널 그래프에서의 근사 합의의 해법 가능성과 더 높은 Carathéodory 수를 갖는 볼록성 공간에서의 적용 가능성을 제기한다.

Figure 2: Approximate agreement on chordal graphs via clique trees. (a) The chordal value graph $G$ and three input values $X=\{x_{1},x_{2},x_{3}\}\subseteq V(G)$ . (b) An expanded clique tree $(T,\chi)$ of $G$ . The bags $B=\{b_{1},b_{2},b_{3}\}$ satisfy $x_{i}\in\chi(b_{i})$ and the bags are used