Descriptive complexity for distributed computing with circuits
Logic in Computer Science
2023-03-09 v1 Distributed, Parallel, and Cluster Computing
Abstract
We consider distributed algorithms in the realistic scenario where distributed message passing is operated via circuits. We show that within this setting, modal substitution calculus MSC captures the expressive power of circuits. The translations between circuits and MSC-programs are linear in both directions. Furthermore, we show that the colouring algorithm based on Cole-Vishkin can be specified via logarithmic size programs.
Cite
@article{arxiv.2303.04735,
title = {Descriptive complexity for distributed computing with circuits},
author = {Veeti Ahvonen and Damian Heiman and Lauri Hella and Antti Kuusisto},
journal= {arXiv preprint arXiv:2303.04735},
year = {2023}
}