-
Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility
Authors:
Raphael Gerlach,
Sören von der Gracht,
Christopher Hahn,
Jonas Harbig,
Peter Kling
Abstract:
In the general pattern formation (GPF) problem, a swarm of simple autonomous, disoriented robots must form a given pattern. The robots' simplicity imply a strong limitation: When the initial configuration is rotationally symmetric, only patterns with a similar symmetry can be formed [Yamashita, Suzyuki; TCS 2010]. The only known algorithm to form large patterns with limited visibility and without…
▽ More
In the general pattern formation (GPF) problem, a swarm of simple autonomous, disoriented robots must form a given pattern. The robots' simplicity imply a strong limitation: When the initial configuration is rotationally symmetric, only patterns with a similar symmetry can be formed [Yamashita, Suzyuki; TCS 2010]. The only known algorithm to form large patterns with limited visibility and without memory requires the robots to start in a near-gathering (a swarm of constant diameter) [Hahn et al.; SAND 2024]. However, not only do we not know any near-gathering algorithm guaranteed to preserve symmetry but most natural gathering strategies trivially increase symmetries [Castenow et al.; OPODIS 2022].
Thus, we study near-gathering without changing the swarm's rotational symmetry for disoriented, oblivious robots with limited visibility (the OBLOT-model, see [Flocchini et al.; 2019]). We introduce a technique based on the theory of dynamical systems to analyze how a given algorithm affects symmetry and provide sufficient conditions for symmetry preservation. Until now, it was unknown whether the considered OBLOT-model allows for any non-trivial algorithm that always preserves symmetry. Our first result shows that a variant of Go-to-the-Average always preserves symmetry but may sometimes lead to multiple, unconnected near-gathering clusters. Our second result is a symmetry-preserving near-gathering algorithm that works on swarms with a convex boundary (the outer boundary of the unit disc graph) and without holes (circles of diameter 1 inside the boundary without any robots).
△ Less
Submitted 28 September, 2024;
originally announced September 2024.
-
Forming Large Patterns with Local Robots in the OBLOT Model
Authors:
Christopher Hahn,
Jonas Harbig,
Peter Kling
Abstract:
In the arbitrary pattern formation problem, $n$ autonomous, mobile robots must form an arbitrary pattern $P \subseteq \mathbb{R}^2$. The (deterministic) robots are typically assumed to be indistinguishable, disoriented, and unable to communicate. An important distinction is whether robots have memory and/or a limited viewing range. Previous work managed to form $P$ under a natural symmetry conditi…
▽ More
In the arbitrary pattern formation problem, $n$ autonomous, mobile robots must form an arbitrary pattern $P \subseteq \mathbb{R}^2$. The (deterministic) robots are typically assumed to be indistinguishable, disoriented, and unable to communicate. An important distinction is whether robots have memory and/or a limited viewing range. Previous work managed to form $P$ under a natural symmetry condition if robots have no memory but an unlimited viewing range [22] or if robots have a limited viewing range but memory [25]. In the latter case, $P$ is only formed in a shrunk version that has constant diameter.
Without memory and with limited viewing range, forming arbitrary patterns remains an open problem. We provide a partial solution by showing that $P$ can be formed under the same symmetry condition if the robots' initial diameter is $\leq 1$. Our protocol partitions $P$ into rotation-symmetric components and exploits the initial mutual visibility to form one cluster per component. Using a careful placement of the clusters and their robots, we show that a cluster can move in a coordinated way through its component while drawing $P$ by dropping one robot per pattern coordinate.
△ Less
Submitted 4 April, 2024; v1 submitted 3 April, 2024;
originally announced April 2024.
-
A Unifying Approach to Efficient (Near)-Gathering of Disoriented Robots with Limited Visibility
Authors:
Jannik Castenow,
Jonas Harbig,
Daniel Jung,
Peter Kling,
Till Knollmann,
Friedhelm Meyer auf der Heide
Abstract:
We consider a swarm of $n$ robots in \mathbb{R}^d. The robots are oblivious, disoriented (no common coordinate system/compass), and have limited visibility (observe other robots up to a constant distance). The basic formation task gathering requires that all robots reach the same, not predefined position. In the related near-gathering task, they must reach distinct positions such that every robot…
▽ More
We consider a swarm of $n$ robots in \mathbb{R}^d. The robots are oblivious, disoriented (no common coordinate system/compass), and have limited visibility (observe other robots up to a constant distance). The basic formation task gathering requires that all robots reach the same, not predefined position. In the related near-gathering task, they must reach distinct positions such that every robot sees the entire swarm. In the considered setting, gathering can be solved in $\mathcal{O}(n + Δ^2)$ synchronous rounds both in two and three dimensions, where $Δ$ denotes the initial maximal distance of two robots. In this work, we formalize a key property of efficient gathering protocols and use it to define $λ$-contracting protocols. Any such protocol gathers $n$ robots in the $d$-dimensional space in $\mathcal{O}(Δ^2)$ synchronous rounds. Moreover, we prove a corresponding lower bound stating that any protocol in which robots move to target points inside of the local convex hulls of their neighborhoods -- $λ$-contracting protocols have this property -- requires $Ω(Δ^2)$ rounds to gather all robots. Among others, we prove that the $d$-dimensional generalization of the GtC-protocol is $λ$-contracting. Remarkably, our improved and generalized runtime bound is independent of $n$ and $d$. The independence of $d$ answers an open research question. We also introduce an approach to make any $λ$-contracting protocol collisionfree to solve near-gathering. The resulting protocols maintain the runtime of $Θ(Δ^2)$ and work even in the semi-synchronous model.
△ Less
Submitted 9 September, 2022; v1 submitted 15 June, 2022;
originally announced June 2022.
-
Gathering a Euclidean Closed Chain of Robots in Linear Time
Authors:
Jannik Castenow,
Jonas Harbig,
Daniel Jung,
Till Knollmann,
Friedhelm Meyer auf der Heide
Abstract:
This work focuses on the following question related to the Gathering problem of $n$ autonomous, mobile robots in the Euclidean plane: Is it possible to solve Gathering of robots that do not agree on any axis of their coordinate systems (disoriented robots) and see other robots only up to a constant distance (limited visibility) in $o(n^2)$ fully synchronous rounds? The best known algorithm that so…
▽ More
This work focuses on the following question related to the Gathering problem of $n$ autonomous, mobile robots in the Euclidean plane: Is it possible to solve Gathering of robots that do not agree on any axis of their coordinate systems (disoriented robots) and see other robots only up to a constant distance (limited visibility) in $o(n^2)$ fully synchronous rounds? The best known algorithm that solves Gathering of disoriented robots with limited visibility assuming oblivious robots needs $Θ(n^2)$ rounds [SPAA'11]. The lower bound for this algorithm even holds in a simplified closed chain model, where each robot has exactly two neighbors and the chain connections form a cycle. The only existing algorithms achieving a linear number of rounds for disoriented robots assume robots that are located on a two dimensional grid [IPDPS'16] and [SPAA'16]. Both algorithms make use of locally visible lights (the LUMINOUS model).
In this work, we show for the closed chain model, that $n$ disoriented robots with limited visibility in the Euclidean plane can be gathered in $Θ\left(n\right)$ rounds assuming the LUMINOUS model. The lights are used to initiate and perform so-called runs along the chain. For the start of such runs, locally unique robots need to be determined. In contrast to the grid [IPDPS'16], this is not possible in every configuration in the Euclidean plane. Based on the theory of isogonal polygons by Grünbaum, we identify the class of isogonal configurations in which no such locally unique robots can be identified. Our solution combines two algorithms: The first one gathers isogonal configurations; it works without any lights. The second one works for non-isogonal configurations; it identifies locally unique robots to start runs, using a constant number of lights. Interleaving these algorithms solves the Gathering problem in $\mathcal{O}(n)$ rounds.
△ Less
Submitted 21 August, 2021; v1 submitted 9 October, 2020;
originally announced October 2020.
