activity
20242026
collaborators

8 papers

cs.DC2026

A Simple Construction of Locally Checkable Problems Filling the LOCAL Complexity Gaps in Graphs with Arbitrary Large Degrees

Filippo Casagrande, Pierre Fraigniaud, Benjamin Jauregui +1

We show that the complexity gaps in the round complexities of locally checkable labeling (LCL) problems are not due to the fact that solutions to LCL problems must be locally check…

cs.DM2026

Sparse Relaxed Broadcast Graphs

Pierre Fraigniaud, Hovhannes Harutyunyan

Broadcasting in graphs refers to the information dissemination problem in which a source node has an atomic piece of information to be distributed to all the nodes of a graph. In t…

cs.DS2026

What Can Be Computed Locally Revisited: First-Order Logic on Sparse Graphs in Distributed Computing

Lélia Blin, Fedor V. Fomin, Pierre Fraigniaud +5

The question of 'what can be computed locally?' lies at the heart of distributed computing in networks. As established in Naor and Stockmeyer's seminal paper (STOC 1993), this ques…

cs.DC2025

Deterministic Even-Cycle Detection in Broadcast CONGEST

Pierre Fraigniaud, Maël Luce, Frédéric Magniez +1

We show that, for every , -freeness can be decided in rounds in the Broadcast CONGEST model, by a deterministic algorithm. This (deterministic) roun…

cs.DS2025

Source-Oblivious Broadcast

Pierre Fraigniaud, Hovhannes A. Harutyunyan

This paper revisits the study of (minimum) broadcast graphs, i.e., graphs enabling fast information dissemination from every source node to all the other nodes (and having minimum…

cs.DC2024

Solving Sequential Greedy Problems Distributedly with Sub-Logarithmic Energy Cost

Alkida Balliu, Pierre Fraigniaud, Dennis Olivetti +1

We study the awake complexity of graph problems that belong to the class O-LOCAL, which includes a subset of problems solvable by sequential greedy algorithms, such as -col…