Distributed Graph Problems Through an Automata-Theoretic Lens

Yi-Jun Chang, Jan Studený*, Jukka Suomela

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

8 Sitaatiot (Scopus)
17 Lataukset (Pure)


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 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 study locally checkable graph problems from an automata-theoretic perspective by representing a locally checkable problem Π as a nondeterministic finite automaton M over a unary alphabet. We identify polynomial-time-computable properties of the automaton M that near-completely capture the solvability and locality of Π in cycles and paths, with the exception of one specific case that is co-NP-complete.
OtsikkoStructural Information and Communication Complexity
Alaotsikko28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
ToimittajatTomasz Jurdziński, Stefan Schmid
ISBN (elektroninen)978-3-030-79527-6
ISBN (painettu)978-3-030-79526-9
DOI - pysyväislinkit
TilaJulkaistu - 28 kesäk. 2021
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Colloquium on Structural Information and Communication Complexity - Online, Wroclaw, Puola
Kesto: 28 kesäk. 20211 heinäk. 2021


NimiLecture Notes in Computer Science
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349


ConferenceInternational Colloquium on Structural Information and Communication Complexity


Sukella tutkimusaiheisiin 'Distributed Graph Problems Through an Automata-Theoretic Lens'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä