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 …

Property testing of planarity in the CONGEST model

R Levi, M Medina, D Ron - Proceedings of the 2018 ACM Symposium on …, 2018 - dl.acm.org
We give a distributed algorithm in the\sf CONGEST model for property testing of planarity
with one-sided error in general (unbounded-degree) graphs. Following Censor-Hillel et …

Distributed testing of graph isomorphism in the congest model

R Levi, M Medina - arXiv preprint arXiv:2003.00468, 2020 - arxiv.org
In this paper we study the problem of testing graph isomorphism (GI) in the CONGEST
distributed model. In this setting we test whether the distributive network, $ G_U $, is …