On the complexity of local distributed graph problems
This paper is centered on the complexity of graph problems in the well-studied LOCAL
model of distributed computing, introduced by Linial [FOCS'87]. It is widely known that for …
model of distributed computing, introduced by Linial [FOCS'87]. It is widely known that for …
Towards a complexity theory for local distributed computing
A central theme in distributed network algorithms concerns understanding and coping with
the issue of locality. Yet despite considerable progress, research efforts in this direction have …
the issue of locality. Yet despite considerable progress, research efforts in this direction have …
The power of distributed verifiers in interactive proofs
We explore the power of interactive proofs with a distributed verifier. In this setting, the
verifier consists of n nodes and a graph G that defines their communication pattern. The …
verifier consists of n nodes and a graph G that defines their communication pattern. The …
Interactive distributed proofs
Interactive proof systems allow a resource-bounded verifier to decide an intractable
language (or compute a hard function) by communicating with a powerful but untrusted …
language (or compute a hard function) by communicating with a powerful but untrusted …
Survey of distributed decision
L Feuilloley, P Fraigniaud - arXiv preprint arXiv:1606.04434, 2016 - arxiv.org
We survey the recent distributed computing literature on checking whether a given
distributed system configuration satisfies a given boolean predicate, ie, whether the …
distributed system configuration satisfies a given boolean predicate, ie, whether the …
Approximate proof-labeling schemes
K Censor-Hillel, A Paz, M Perry - Theoretical Computer Science, 2020 - Elsevier
We study a new model of verification of boolean predicates over distributed networks. Given
a network configuration, the proof-labeling scheme (PLS) model defines a distributed proof …
a network configuration, the proof-labeling scheme (PLS) model defines a distributed proof …
Introduction to local certification
L Feuilloley - Discrete Mathematics & Theoretical Computer …, 2021 - dmtcs.episciences.org
A distributed graph algorithm is basically an algorithm where every node of a graph can look
at its neighborhood at some distance in the graph and chose its output. As distributed …
at its neighborhood at some distance in the graph and chose its output. As distributed …
Randomized proof-labeling schemes
P Fraigniaud, B Patt-Shamir, M Perry - Distributed Computing, 2019 - Springer
Proof-labeling schemes, introduced by Korman et al.(Distrib Comput 22 (4): 215–233, 2010.
https://doi. org/10.1007/s00446-010-0095-3), are a mechanism to certify that a network …
https://doi. org/10.1007/s00446-010-0095-3), are a mechanism to certify that a network …
A hierarchy of local decision
We extend the notion of distributed decision in the framework of distributed network
computing, inspired by both the polynomial hierarchy for Turing machines and recent results …
computing, inspired by both the polynomial hierarchy for Turing machines and recent results …
A classification of locality in network research
Limiting the knowledge of individual nodes is a major concern for the design of distributed
algorithms. With the LOCAL model, theoretical research already established a common …
algorithms. With the LOCAL model, theoretical research already established a common …