Access the full text.
Sign up today, get DeepDyve free for 14 days.
Levent Bayindir (2016)
A review of swarm robotics tasksNeurocomputing, 172
C. Lund, M. Yannakakis (1994)
On the hardness of approximating minimization problemsJ. ACM, 41
Y. Lopes, S. Trenkwalder, A. Leal, T. Dodd, R. Groß (2016)
Supervisory control theory applied to swarm roboticsSwarm Intelligence, 10
(1979)
Computers and Intractability
A Robust Layered Control Syste For A Mobile Robot
A. Wigderson, Steve Smale (2006)
P , NP and mathematics – a computational complexity perspective
T. Wareham (1999)
Systematic parameterized complexity analysis in computational phonology
J. Gustafson, M. Shipilin, C. Zhang, A. Stierle, U. Hejral, U. Ruett, O. Gutowski, E. Lundgren
Designing Collective Behavior in a Termite-Inspired Robot Construction Team
Russell Impagliazzo, Ramamohan Paturi, Francis Zane (2001)
Which problems have strongly exponential complexity? Journal of Computer and System Sciences 63, 4, 512--530
L. Fortnow (2009)
The status of the P versus NP problemCommun. ACM, 52
J. Kwisthout (2015)
Tree-Width and the Computational Complexity of MAP Approximations in Bayesian NetworksJ. Artif. Intell. Res., 53
Jianer Chen, Xiuzhen Huang, Iyad Kanj, Ge Xia (2006)
Strong computational lower bounds via parameterized complexityJ. Comput. Syst. Sci., 72
Yara Khaluf (2016)
Adaptive Construction Behavior in Robot Swarms
G. Ausiello, A. Marchetti-Spaccamela, P. Crescenzi, G. Gambosi, M. Protasi, V. Kann (1999)
The Complexity of Optimization Problems
S. Aaronson (2005)
Guest Column: NP-complete problems and physical realitySIGACT News, 36
Melvin Gauci, Jianing Chen, Wei Li, T. Dodd, Roderich Groß (2014)
Self-organized aggregation without computationThe International Journal of Robotics Research, 33
R. Motwani, Prabhakar Raghavan (1995)
Randomized algorithmsSIGACT News, 26
V. Trianni (2008)
Evolutionary Swarm Robotics - Evolving Self-Organising Behaviours in Groups of Autonomous Robots, 108
N. Karmarkar (1984)
A new polynomial-time algorithm for linear programmingCombinatorica, 4
Stefan Szeider (1998)
Parameterized Complexity
G. Ausiello, A. Marchetti-Spaccamela, P. Crescenzi, G. Gambosi, M. Protasi, V. Kann (1999)
Complexity and Approximation
R. Doursat, Hiroki Sayama, Olivier Michel (2013)
A review of morphogenetic engineeringNatural Computing, 12
Lane Hemaspaandra, Ryan Williams (2012)
SIGACT News Complexity Theory Column 76: an atypical survey of typical-case heuristic algorithmsSIGACT News, 43
D. Marx (2008)
Parameterized Complexity and Approximation AlgorithmsComput. J., 51
G. Francesca, Manuele Brambilla, A. Brutschy, V. Trianni, M. Birattari (2014)
AutoMoDe: A novel approach to the automatic design of control software for robot swarmsSwarm Intelligence, 8
R. Murphy (2000)
Introduction to AI Robotics
G. Francesca, M. Birattari (2016)
Automatic Design of Robot Swarms: Achievements and ChallengesFrontiers Robotics AI, 3
T. Soleymani, V. Trianni, M. Bonani, F. Mondada, M. Dorigo (2015)
Bio-inspired construction with mobile robots and compliant pocketsRobotics and Autonomous Systems, 74
Stefan Kratsch, F. Neumann (2009)
Fixed-Parameter Evolutionary Algorithms and the Vertex Cover ProblemAlgorithmica, 65
E. Sahin (2004)
Swarm Robotics: From Sources of Inspiration to Domains of Application
Melvin Gauci, Jianing Chen, Wei Li, T. Dodd, R. Groß (2014)
Clustering objects with robots that do not compute
Matthew Johnson, Daniel Brown (2016)
Evolving and Controlling Perimeter, Rendezvous, and Foraging Behaviors in a Computation-Free Robot SwarmEAI Endorsed Trans. Collab. Comput., 2
R. Impagliazzo, R. Paturi, F. Zane (1998)
Which problems have strongly exponential complexity?Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
Rajeev Motwani, Prabhakar Raghavan (2010)
Randomized AlgorithmsChapman 8 Hall/CRC., 8
T. Wareham (2016)
Exploring Algorithmic Options for the Efficient Design and Reconfiguration of Reactive Robot SwarmsEAI Endorsed Trans. Serious Games, 3
T. Wareham, A. Vardy (2017)
Putting it together: the computational complexity of designing robot controllers and environments for distributed constructionSwarm Intelligence, 12
G. Ausiello, A. Marchetti-Spaccamela, P. Crescenzi, G. Gambosi, M. Protasi, V. Kann (1999)
Complexity and approximation: combinatorial optimization problems and their approximability properties
R. Downey, M. Fellows (2013)
Fundamentals of Parameterized Complexity
Manuele Brambilla, E. Ferrante, M. Birattari, M. Dorigo (2013)
Swarm robotics: a review from the swarm engineering perspectiveSwarm Intelligence, 7
A central problem in swarm robotics is to design a controller that will allow the member robots of the swarm to collectively perform a given task. Of particular interest in massively distributed applications are reactive controllers with severely limited computational and sensory abilities. In this article, we give the results of the first computational complexity analysis of the reactive swarm design problem. Our core results are derived relative to a generalization of what is arguably the simplest possible type of reactive controller, the so-called computation-free controller proposed by Gauci et al., which operates in grid-based environments in a noncontinuous manner. We show that the design of a generalized computation-free swarm for an arbitrary given task in an arbitrary given environment is not polynomial-time solvable either in general or by the most desirable types of approximation algorithms (including evolutionary algorithms with high probabilities of producing correct solutions) but is solvable in effectively polynomial time relative to several types of restrictions on swarms, environments, and tasks. All of our results hold for the design of several more complex types of generalized computation-free swarms. Moreover, all of our intractability and inapproximability results hold for the design of any type of reactive swarm (including those based on the popular feed-forward neural network and Brooks-style subsumption controllers) operating in grid-based environments in a noncontinuous manner whose member robots satisfy two simple conditions. As such, our results give the first theoretical survey of the types of efficient exact and approximate solution algorithms that are and are not possible for designing several types of reactive swarms.
ACM Transactions on Autonomous and Adaptive Systems (TAAS) – Association for Computing Machinery
Published: Apr 16, 2018
Keywords: Swarm robotics
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.