2 papers
cs.DC2025
A Tight Meta-theorem for LOCAL Certification of MSO Properties within Bounded Treewidth Graphs
Linda Cook, Eun Jung Kim, Tomáš MasaÅÃk
Distributed networks are prone to errors so verifying their output is critical. Hence, we develop LOCAL certification protocols for graph properties in which nodes are given certif…
cs.DC2024
Local certification of forbidden subgraphs
Nicolas Bousquet, Linda Cook, Laurent Feuilloley +2
Detecting specific structures in a network has been a very active theme of research in distributed computing for at least a decade. In this paper, we start the study of subgraph de…