Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem

It is becoming state-of-the-art to form large-scale multi-agent systems or artificial swarms showing adaptive behavior by constructing high numbers of cooperating, embodied, mobile agents (robots). For the sake of space- and cost-efficiency such robots are typically miniaturized and equipped with only few sensors and actuators resulting in rather simple devices. In order to overcome these constraints, bio-inspired concepts of self-organization and emergent properties are applied. Thus, accuracy is usually not a trait of such systems, but robustness and fault tolerance are. It turns out that they are applicable to even hard problems and reliably deliver approximated solutions. Based on these principles we present a heuristic for the Euclidean Steiner tree problem which is NP-hard. Basically, it is the problem of connecting objects in a plane efficiently. The proposed system is investigated from two different viewpoints: computationally and behaviorally. While the performance is, as expected, clearly suboptimal but still reasonably well, the system is adaptive and robust.

[1]  Heinz Wörn,et al.  The I-SWARM project , 2006, ROMAN 2006 - The 15th IEEE International Symposium on Robot and Human Interactive Communication.

[2]  Heinz Wörn,et al.  The I-SWARM Project: Intelligent Small World Autonomous Robots for Micro-manipulation , 2004, Swarm Robotics.

[3]  Marco Dorigo,et al.  Swarm intelligence: from natural to artificial systems , 1999 .

[4]  Steven M. LaValle,et al.  Rapidly-Exploring Random Trees: Progress and Prospects , 2000 .

[5]  Scott Aaronson,et al.  Guest Column: NP-complete problems and physical reality , 2005, SIGA.

[6]  Heinz Wörn,et al.  Embodied Computation , 2007, Parallel Process. Lett..

[7]  Ronald L. Graham,et al.  Some NP-complete geometric problems , 1976, STOC '76.

[8]  L. Sander,et al.  Diffusion-limited aggregation, a kinetic critical phenomenon , 1981 .

[9]  Scott Aaronson,et al.  NP-complete Problems and Physical Reality , 2005, Electron. Colloquium Comput. Complex..

[10]  Alex Zelikovsky,et al.  Improved Steiner tree approximation in graphs , 2000, SODA '00.

[11]  Martti Penttonen,et al.  Algorithm Theory — SWAT 2002 , 2002, Lecture Notes in Computer Science.

[12]  D. Hofstadter Gödel, Escher, Bach , 1979 .

[13]  Hans Jürgen Herrmann,et al.  The sol-gel transition modelled by irreversible aggregation of clusters , 1985 .

[14]  David W. Payton,et al.  Pheromone Robotics , 2001, Auton. Robots.

[15]  Pawel Zebrowski,et al.  Energy Efficient Robot Rendezvous , 2007, Fourth Canadian Conference on Computer and Robot Vision (CRV '07).

[16]  Marco Dorigo,et al.  The ant colony optimization meta-heuristic , 1999 .

[17]  Hans Jürgen Prömel,et al.  The Steiner Tree Problem , 2002 .

[18]  Thomas C. Hales,et al.  The Honeycomb Conjecture , 1999, Discret. Comput. Geom..

[19]  Martin Zachariasen,et al.  Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem , 1999, Algorithmica.

[20]  Miroslav Chlebík,et al.  Approximation Hardness of the Steiner Tree Problem on Graphs , 2002, SWAT.