Pith. sign in

REVIEW 1 cited by

Efficient Dispersion of Mobile Robots on Graphs

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1805.12242 v1 pith:52ORDAQ7 submitted 2018-05-30 cs.DC

Efficient Dispersion of Mobile Robots on Graphs

classification cs.DC
keywords graphdispersionrobotsalgorithmsgraphsdeltaefficientmobile
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

The dispersion problem on graphs requires $k$ robots placed arbitrarily at the $n$ nodes of an anonymous graph, where $k \leq n$, to coordinate with each other to reach a final configuration in which each robot is at a distinct node of the graph. The dispersion problem is important due to its relationship to graph exploration by mobile robots, scattering on a graph, and load balancing on a graph. In addition, an intrinsic application of dispersion has been shown to be the relocation of self-driven electric cars (robots) to recharge stations (nodes). We propose three efficient algorithms to solve dispersion on graphs. Our algorithms require $O(k \log \Delta)$ bits at each robot, and $O(m)$ steps running time, where $m$ is the number of edges and $\Delta$ is the degree of the graph. The algorithms differ in whether they address the synchronous or the asynchronous system model, and in what, where, and how data structures are maintained.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Causality from the spectrum: Emergence of causal order from process-matrix mereology

    quant-ph 2026-07 conditional novelty 7.0

    A process matrix can be unitarily transformed to a fixed-causal-order process exactly when its eigenvalue multiplicities are divisible by the final output dimension; generic high-dimensional spectra are close to such spectra.