The Task Completion Problem and its Application to Crash-Resilient Computation

TL;DR

This paper introduces a deterministic algorithm for the Task Completion problem in crash-prone networks, achieving optimal round complexity and enabling efficient simulation of congested-clique algorithms under faults.

Contribution

It presents a novel load balancing covering family structure and an optimal-round deterministic algorithm for task completion in crash-prone networks, improving fault-tolerant simulation efficiency.

Findings

Deterministic algorithm completes tasks in O((M/n) log n) rounds.

The load balancing covering family guarantees balanced workload and progress.

Improves simulation of congested-clique algorithms with crash faults from exponential to polynomial rounds.

Abstract

We study the Task Completion problem, in which $M$ abstract tasks must be completed by a network of $n$ crash-prone nodes, where up to $\alpha n$ nodes may crash for some constant $\alpha<1$. Our main result is a deterministic congested-clique algorithm that completes all $M$ tasks in $O(\lceil M/n\rceil \log n)$ rounds. This round complexity is optimal up to $\log\log n$ terms. The key technical ingredient underlying our algorithm is a novel combinatorial structure, which we call a \emph{load balancing covering family}. In essence, this covering family induces, for each task, a subset of nodes responsible for attempting to complete it. The properties of the load balancing covering family guarantee that, regardless of which tasks remain incomplete and which nodes crash, (i) no node is overloaded with incomplete tasks, and (ii) no task is left with too few potential assigned nodes. This yields a balanced per-node workload and prevents non-crashed nodes from being concentrated on a small subset of tasks, thereby ensuring sufficient progress in completing the remaining tasks. As an application of our task completion method, we give a deterministic algorithm for simulating any $T$-round congested-clique algorithm in the presence of up to $\alpha n$ crash faults in $O(T^2 \log n + T \log^2 n)$ rounds. This improves upon a recent result by Censor-Hillel et al. (DISC~2025), which requires $T^2\cdot 2^{O(\sqrt{\log n}\log\log n)}$ rounds.