SearcharxivSearch

arXiv subjects

Ido Rafael

Publications and source records attributed to Ido Rafael.

2 recordsLinked to original sources

Randomized Tree-Intersection Leader Election

We present a randomized leader election algorithm for synchronous complete $n$-node graphs in the \textsf{CONGEST} model that introduces a highly tunable trade-off between time complexity and the per-node message complexity. By adjusting a single branching parameter, $\ell$, system designers can smoothly shift the algorithmic burden from execution time to per-node message complexity, all while maintaining a strictly sublinear total message complexity of $O(\sqrt{n} \log^{1.5} n)$. We achieve this by utilizing dynamically truncated $\ell$-ary tree expansions coupled with a novel ``silent pulse'' verification mechanism. By forcing the expansions to form exact-volume almost-complete trees, nodes can safely aggregate topological weights without overshooting the sublinear message bounds. Specifically, our algorithm achieves $O(\log_\ell \sqrt{n \log n})$ time (round) complexity and $O(\ell)$ per-node message complexity. This flexibility allows networks with tight bandwidth constraints to operate with a minimal $O(1)$ per-node burden, while high-bandwidth environments can collapse the election into $O(1)$ time units.

cs.DC

Team Formation and Applications

A novel long-lived distributed problem, called Team Formation (TF), is introduced together with a message- and time-efficient randomized algorithm. The problem is defined over the asynchronous model with a complete communication graph, using bounded size messages, where a certain fraction of the nodes may experience a generalized, strictly stronger, version of initial failures. The goal of a TF algorithm is to assemble tokens injected by the environment, in a distributed manner, into teams of size $\sigma$, where $\sigma$ is a parameter of the problem. The usefulness of TF is demonstrated by using it to derive efficient algorithms for many distributed problems. Specifically, we show that various (one-shot as well as long-lived) distributed problems reduce to TF. This includes well-known (and extensively studied) distributed problems such as several versions of leader election and threshold detection. For example, we are the first to break the linear message complexity bound for asynchronous implicit leader election. We also improve the time complexity of message-optimal algorithms for asynchronous explicit leader election. Other distributed problems that reduce to TF are new ones, including matching players in online gaming platforms, a generalization of gathering, constructing a perfect matching in an induced subgraph of the complete graph, quorum sensing in message-passing networks, and more. To complement our positive contribution, we establish a tight lower bound on the message complexity of TF algorithms.

cs.DC