[논문 리뷰] Complexity of the quorum intersection property of the Federated Byzantine Agreement System

Łukasz Lachowski|arXiv (Cornell University)|2019. 02. 18.

Distributed systems and fault tolerance참고 문헌 5인용 수 11

한 줄 요약

이 논문은 연합 브리타니아 합의 시스템(FBAS)의 핵심 문제들에 대한 계산 복잡도를 규명하며, 상호배타적 쿠오럼 문제는 NP-완전임을 증명하고, 최소 쿠오럼 문제는 NP-난해임을 보여준다. 또한 쿠오럼 부분집합 문제는 P-완전이며 선형 시간 내에 해결 가능하다는 것을 보이며, 매개변수화된 복잡도를 분석하여 x-y-MQP(k) 문제의 W[1]-난해성을 입증하고, 제한된 쿠오룸 슬라이스 제약 조건 하에서 고정 매개변수 유도 가능성(fixed-parameter tractability)을 보였다.

ABSTRACT

A Federated Byzantine Agreement System is defined as a pair $(V, Q)$ comprising a set of nodes $V$ and a quorum function $Q: V \mapsto 2^{2^{V}} \setminus \{\emptyset\}$ specifying for each node a set of subsets of nodes, called quorum slices. A subset of nodes is a quorum if and only if for each of its nodes it also contains at least one of its quorum slices. The Disjoint Quorums Problem answers the question whether a given instance of \acrlong{fbas} contains two quorums that have no nodes in common. We show that this problem is $\mathsf{NP-complete}$. We also study the problem of finding a quorum of minimal size and show it is $\mathsf{NP-hard}$. Further, we consider the problem of checking whether a given subset of nodes contains a quorum for some selected node. We show this problem is $\mathsf{P-complete}$ and describe a method that solves it in linear time with respect to number of nodes and the total size of all quorum slices. Moreover, we analyze the complexity of some of these problems using the parametrized point of view.

연구 동기 및 목표

• 연합 브리타니아 합의 시스템(FBAS)에서 상호배타적 쿠오럼 문제의 계산 복잡도를 규명하는 것.
• FBAS 구성에서 최소 및 최소 쿠오럼을 찾는 문제의 복잡도를 분석하는 것.
• 주어진 노드 집합이 특정 노드에 대해 쿠오럼을 포함하는지 확인하는 문제의 복잡도를 연구하는 것.
• 제한된 쿠오룸 슬라이스 제약 조건 하에서 쿠오룸 문제의 매개변수화된 복잡도를 조사하는 것.
• 매개변수화된 최소 쿠오럼 문제 변종에 대한 고정 매개변수 유도 가능성 및 난해성 결과를 확립하는 것.

제안 방법

• 3-SAT 문제에서의 축소를 통해 상호배타적 쿠오럼 문제의 NP-완전성을 증명하며, 상호배타적 쿠오럼을 탐지하기 위해 랜덤 색칠 기법을 사용한 색칠 기법을 적용한다.
• 노드 집합과 쿠오룸 슬라이스를 기반으로 한 동적 프로그래밍에 기반한 선형 시간 알고리즘을 구성함으로써 쿠오룸 부분집합 문제의 P-완전성을 입증한다.
• 색칠 기법과 보편 집합의 비랜덤화를 적용하여 상호배타적 쿠오럼 문제(k)에 대한 랜덤화된 FPT 알고리즘을 설계하며, 이 알고리즘은 O(2^k * n) 시간 내에 실행된다.
• 클리크(k) 문제에서의 FPT-축소를 통해 x-y-MQP(k) 문제가 W[1]-난해임을 증명하며, 압축된 쿠오룸 슬라이스 인코딩 조건 하에서도 문제의 해법이 여전히 비가능함을 보여준다.
• 절단 기반 검색과 가지치기를 통해 MQP(k,r) 문제를 O((kr)^k * n^O(1)) 시간 내에 해결함으로써, 제한된 쿠오룸 슬라이스 수 조건 하에서 고정 매개변수 유도 가능성의 성립을 입증한다.
• 일반 FBAS(명시적 쿠오룸 슬라이스 열거)와 x-y-FBAS(압축된 "x 중 y" 인코딩)를 구분하며, 두 모델 모두에서의 복잡도를 분석한다.

실험 결과

연구 질문

• RQ1 FBAS에서 상호배타적 쿠오럼 문제는 NP-완전한가, 특히 각 노드가 최대 두 개의 쿠오룸 슬라이스를 가지며 각 슬라이스에 최대 두 개의 요소가 포함된 제한된 구성에서도 마찬가지인가?
• RQ2 쿠오럼 크기 k와 노드당 최대 쿠오룸 슬라이스 수 r로 매개변수화했을 때 최소 쿠오럼 문제의 매개변수화된 복잡도는 어떻게 되는가?
• RQ3 쿠오룸 부분집합 문제는 다항 시간 내에 해결 가능할 수 있으며, 그 정확한 복잡도 클래스는 무엇인가?
• RQ4 쿠오룸 슬라이스가 "x 중 y" 표기법을 사용해 압축적으로 인코딩된 경우, x-y-MQP(k) 문제는 W[1]-난해한가?
• RQ5 쿠오룸 슬라이스 크기와 슬라이스 수에 대한 구조적 제약 조건이 있을 때 최소 쿠오럼 문제의 NP-난해성은 유지되는가?

주요 결과

• 상호배타적 쿠오럼 문제의 NP-완전성은 각 노드가 최대 두 개의 쿠오룸 슬라이스를 가지며 각 슬라이스에 최대 두 개의 노드가 포함된 제한된 경우에도 성립한다.
• 쿠오룸 부분집합 문제의 P-완전성은 입증되었으며, 이 논문은 n개의 노드와 모든 쿠오룸 슬라이스의 총 크기가 m일 때 O(n + m) 시간 내에 실행되는 선형 시간 알고리즘을 제시한다.
• 최소 쿠오럼 문제의 NP-난해성은 각 노드가 최대 두 개의 쿠오룸 슬라이스를 가지며 각 슬라이스에 최대 두 명의 구성원이 포함된 경우에도 유지된다.
• x-y-MQP(k) 문제의 W[1]-난해성은 쿠오럼 크기 k로 표준 매개변수화했을 때 고정 매개변수 유도 가능성의 가능성성이 낮음을 시사한다.
• MQP(k,r) 문제는 고정 매개변수 유도 가능하며, O((kr)^k * n^O(1)) 시간 내에 해결 가능함을 보여주며, 노드당 쿠오룸 슬라이스 수의 제한이 효율적인 매개변수화된 해법을 가능하게 한다.
• 상호배타적 쿠오럼 문제(k)에 대한 랜덤화된 FPT 알고리즘은 O(2^k * n) 시간 내에 실행되며, 일정한 성공 확률을 가진다. 이 알고리즘은 보편 집합을 사용하여 비랜덤화할 수 있다.