[논문 리뷰] Brief Announcement: Distributed Graph Problems Through an Automata-Theoretic Lens

Yi‐Jun Chang, Jan Studený외 1명|arXiv (Cornell University)|2020. 01. 01.

semigroups and automata theory참고 문헌 28인용 수 4

한 줄 요약

이 논문은 비라벨링된 경로, 사이클, 루트가 있는 트리에서 국소적으로 검증 가능한 레이블링(LCL) 문제의 해법 가능성과 라운드 복잡도를 자동으로 결정하기 위한 옹태이론적 프레임워크를 제안한다. LCL 문제를 유일한 알파벳 위의 비결정성 유한 오토마타(NFA)로 모델링함으로써, 저자들은 해법 가능성과 국소성(O(1), Θ(log* n), 또는 Θ(n))이 다항시간 내에 결정됨을 보여주며, 유일한 co-NP-완전 케이스를 제외하고는 효율적인 알고리즘 합성에 기여한다.

ABSTRACT

The locality of a graph problem is the smallest distance $T$ such that each node can choose its own part of the solution based on its radius-$T$ neighborhood. In many settings, a graph problem can be solved efficiently with a distributed or parallel algorithm if and only if it has a small locality. In this work we seek to automate the study of solvability and locality: given the description of a graph problem $Π$, we would like to determine if $Π$ is solvable and what is the asymptotic locality of $Π$ as a function of the size of the graph. Put otherwise, we seek to automatically synthesize efficient distributed and parallel algorithms for solving $Π$. We focus on locally checkable graph problems; these are problems in which a solution is globally feasible if it looks feasible in all constant-radius neighborhoods. Prior work on such problems has brought primarily bad news: questions related to locality are undecidable in general, and even if we focus on the case of labeled paths and cycles, determining locality is $\mathsf{PSPACE}$-hard (Balliu et al., PODC 2019). We complement prior negative results with efficient algorithms for the cases of unlabeled paths and cycles and, as an extension, for rooted trees. We introduce a new automata-theoretic perspective for studying locally checkable graph problems. We represent a locally checkable problem $Π$ as a nondeterministic finite automaton $\mathcal{M}$ over a unary alphabet. We identify polynomial-time-computable properties of the automaton $\mathcal{M}$ that near-completely capture the solvability and locality of $Π$ in cycles and paths, with the exception of one specific case that is $\mbox{co-$\mathsf{NP}$}$-complete.

연구 동기 및 목표

• 국소적으로 검증 가능한 그래프 문제를 위한 효율적인 분산 및 병렬 알고리즘의 자동 합성.
• 비라벨링된 경로, 사이클, 루트가 있는 트리에서 LCL 문제의 라운드 복잡도를 결정.
• 일반적으로 결정 불가능한 것으로 알려진 상황에서도 해법 가능성과 국소성의 효율적 결정 조건을 규명.
• 감소를 통해 경로와 사이클의 결과를 루트가 있는 트리에서 간선 검증 가능한 LCL 문제로 확장.
• 옹태이론적 성질을 사용하여 LCL 문제의 복잡도 지형을 특성화.

제안 방법

• 각 LCL 문제를 국소 제약 조건을 표현하기 위해 유일한 알파벳 위의 비결정성 유한 오토마타(NFA)로 모델링.
• 오토마타 성질—예를 들어 융통성 있는 상태의 존재 또는 D3-지향 단어—를 사용하여 문제의 해법 가능성과 국소성 결정.
• 한 방향 알고리즘을 사용하여 루트가 있는 트리에서 거리-k 앵커링을 정의하고, 표준 해법을 가능하게 함.
• 노드 출력이 조상에만 의존하도록 보장함으로써, 방향성 있는 경로에서의 알고리즘을 루트가 있는 트리로 변환하여 동시에 실행 가능하게 함.
• 오토마타 분석을 통해 사이클과 경로에서의 해법 가능성과 국소성이 다항시간 내에 결정됨을 증명함(유일한 co-NP-완전 케이스를 제외하고).
• 루트가 있는 트리 문제를 경로 문제로 감소시켜 선형 구조를 초월한 결과를 확장함.

실험 결과

연구 질문

• RQ1 비라벨링된 경로와 사이클에서 LCL 문제의 해법 가능성과 라운드 복잡도를 자동으로 결정할 수 있는가?
• RQ2 유일한 알파벳 위의 NFA의 옹태이론적 성질 중 어떤 것이 LCL 문제의 해법 가능성과 국소성과 관련이 있는가?
• RQ3 경로와 사이클에 대한 결과를 루트가 있는 트리에서 간선 검증 가능한 LCL 문제로 확장할 수 있는가?
• RQ4 어떤 비자명한 클래스에 대해서든, 루트가 있는 트리에서 LCL 문제의 라운드 복잡도가 다항시간 내에 결정 가능한가?
• RQ5 루트가 있는 트리에서 라운드 복잡도가 다항시간 내에 결정 가능한 LCL 문제의 가장 큰 클래스는 무엇인가?

주요 결과

• 비라벨링된 경로와 사이클에서 LCL 문제의 해법 가능성과 국소성은 오토마타 성질을 사용하여 다항시간 내에 결정 가능하며, 유일한 co-NP-완전 케이스를 제외하고는 모두 가능하다.
• NFA에서 융통성 있는 상태가 존재하거나, 강하게 연결된 성분에 대해 D3-지향 단어가 존재하면, 유한한 국소 복잡도(O(1) 또는 Θ(log* n))를 가진 문제를 특성화할 수 있다.
• 국소 복잡도가 유한한 모든 LCL 문제에 대해서는 사이클과 경로에서 O(1) 또는 Θ(log* n) 라운드 내에 해법이 가능하며, 중간 복잡도는 존재하지 않는다.
• 간선 검증 가능한 LCL 문제의 라운드 복잡도는 루트가 있는 트리에서 경로 문제로 감소시킴으로써 다항시간 내에 결정 가능하다.
• 거리-k 앵커링과 한 방향 계산을 사용하여 루트가 있는 트리에서 O(log* n)-라운드 문제에 대한 표준 알고리즘을 구성할 수 있다.
• 이 프레임워크는 구조화된 네트워크에서 LCL 문제를 위한 효율적인 분산 알고리즘의 자동 합성 가능하게 하며, 알고리즘 설계에 실용적 영향을 미친다.