The Multi-Agent Rotor-Router on the Ring: A Deterministic Alternative to Parallel Random Walks
KLASING, Ralf
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
KOSOWSKI, Adrian
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Combinatoire et Algorithmique
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Combinatoire et Algorithmique
PAJAK, Dominik
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Voir plus >
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
KLASING, Ralf
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
KOSOWSKI, Adrian
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Combinatoire et Algorithmique
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Combinatoire et Algorithmique
PAJAK, Dominik
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
< Réduire
Algorithmics for computationally intensive applications over wide scale distributed platforms [CEPAGE]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Langue
en
Communication dans un congrès
Ce document a été publié dans
PODC 2013 - ACM Symposium on Principles of Distributed Computing, 2013-07-22, Montreal. 2013-07-22p. 365-374
ACM
Résumé en anglais
The \emph{rotor-router mechanism} was introduced as a deterministic alternative to the random walk in undirected graphs. In this model, an agent is initially placed at one of the nodes of the graph. Each node maintains a ...Lire la suite >
The \emph{rotor-router mechanism} was introduced as a deterministic alternative to the random walk in undirected graphs. In this model, an agent is initially placed at one of the nodes of the graph. Each node maintains a cyclic ordering of its outgoing arcs, and during successive visits of the agent, propagates it along arcs chosen according to this ordering in round-robin fashion. The behavior of the rotor-router is fully deterministic but its performance characteristics (cover time, return time) closely resemble the expected values of the corresponding parameters of the random walk. In this work we study the scenario in which multiple, indistinguishable agents are deployed in parallel in the nodes of the graph, and move around the graph in synchronous rounds, interacting with a single rotor-router system. This setting was introduced by Yanovski~\etal\ (2003). We propose new techniques which allow us to compare this model theoretically with the intensively studied scenario of parallel independent random walks in a graph. Our main results concern the $n$-node ring, and suggest a strong similarity between the performance characteristics of both models. We show that the rotor-router with $k$ agents achieves on the ring a cover time of between $\Theta (n^2 / k^2)$ and $\Theta (n^2 / \log k)$, depending on the initial locations of the agents, and both these bounds are tight. The corresponding expected values of cover time for $k$ random walks are proved to be $\Theta (n^2 / (k^2/\log^2 k))$ and $\Theta (n^2 / \log k)$. We then show that after the rotor-router system has stabilized, all nodes of the ring are always visited every $\Theta (n / k)$ steps, regardless of initialization. This corresponds asymptotically to the expected time between visits in the case of $k$ random walks. All our results hold up to a polynomially large number of agents ($1 \leq k < n^{1/11}$).< Réduire
Project ANR
Calculabilité et complexité en distribué - ANR-11-BS02-0014
Origine
Importé de halUnités de recherche