Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.5555/2884435.2884566acmconferencesArticle/Chapter ViewAbstractPublication PagessodaConference Proceedingsconference-collections
research-article

Natural algorithms for flow problems

Published: 10 January 2016 Publication History

Abstract

In the last few years, there has been a significant interest in the computational abilities of Physarum polycephalum (a slime mold). This arose from a remarkable experiment which showed that this organism can compute shortest paths in a maze [10]. Subsequently, the workings of Physarum were mathematically modeled as a dynamical system and algorithms inspired by this model were proposed to solve several graph problems: shortest paths, flows, and linear programs to name a few. Indeed, computer scientists have initiated a rigorous study of these dynamics and a first step towards this was taken by [1,2] who proved that the Physarum dynamics for the shortest path problem are efficient (when edge-lengths are polynomially bounded). In this paper, we take this further: we prove that the discrete time Physarum-dynamics can also efficiently solve the uncapacitated min-cost flow problems on undirected and directed graphs; problems that are non-trivial generalizations of shortest path. This raises the tantalizing possibility that nature, via evolution, developed algorithms that efficiently solve some of the most complex computational problems, about a billion years before we did.

References

[1]
Becchetti, L., Bonifaci, V., Dirnberger, M., Karrenbauer, A., and Mehlhorn, K. Physarum can compute shortest paths: Convergence proofs and complexity bounds. In Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II (2013), pp. 472--483.
[2]
Bonifaci, V., Mehlhorn, K., and Varma, G. Physarum can compute shortest paths. In Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2012, Kyoto, Japan, January 17-19, 2012 (2012), pp. 233--240.
[3]
Chazelle, B. Natural algorithms. In People, Problems, and Proofs. Springer Berlin Heidelberg, 2013, pp. 189--193.
[4]
Cook, W., Cunningham, W., Pulleyblank, W., and Schrijver, A. Combinatorial Optimization, Wiley. New York (1998).
[5]
Ito, K., Johansson, A., Nakagaki, T., and Tero, A. Convergence Properties for the Physarum Solver. ArXiv e-prints (Jan. 2011).
[6]
Johannson, A., and Zou, J. A slime mold solver for linear programming problems. In How the World Computes, vol. 7318 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012, pp. 344--354.
[7]
Miyaji, T., and Ohnishi, I. Mathematical analysis to an adaptive network of the plasmodium system. Hokkaido Math. J. 36, 2 (2007), 445--465.
[8]
Miyaji, T., and Ohnishi, I. Physarum can solve the shortest path problem on riemannian surface mathematically rigourously. International Journal of Pure and Applied Mathematics 47, 3 (2008), 353--369.
[9]
Mulmuley, K., Vazirani, U. V., and Vazirani, V. V. Matching is as easy as matrix inversion. In Proceedings of the nineteenth annual ACM symposium on Theory of computing (1987), ACM, pp. 345--354.
[10]
Nakagaki, T., Yamada, H., and Toth, A. Maze-solving by an amoeboid organism. Nature 407, 6803 (Sept. 2000), 470.
[11]
Spielman, D. A. Algorithms, graph theory, and the solution of laplacian linear equations. In ICALP (2) (2012), pp. 24--26.
[12]
Spielman, D. A., and Teng, S.-H. Nearly-linear time algorithms for graph partitioning, graph sparsification, and solving linear systems. In STOC'04: Proceedings of the 36th Annual ACM Symposium on the Theory of Computing (2004), pp. 81--90.
[13]
Teng, S.-H. The Laplacian paradigm: Emerging algorithms for massive graphs. In TAMC (2010), pp. 2--14.
[14]
Tero, A., Kobayashi, R., and Nakagaki, T. A mathematical model for adaptive transport network in path finding by true slime mold. Journal of Theoretical Biology 244, 4 (2007), 553.
[15]
Vishnoi, N. K. Lx = b. Foundations and Trends in Theoretical Computer Science 8, 1-2 (2012), 1--141.

Cited By

View all
  • (2018)Pooling or SamplingProceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3237383.3237935(1576-1584)Online publication date: 9-Jul-2018
  • (2018)Nearly tight bounds for sandpile transience on the gridProceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3174304.3175310(605-624)Online publication date: 7-Jan-2018

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SODA '16: Proceedings of the twenty-seventh annual ACM-SIAM symposium on Discrete algorithms
January 2016
2114 pages
ISBN:9781611974331

Sponsors

Publisher

Society for Industrial and Applied Mathematics

United States

Publication History

Published: 10 January 2016

Check for updates

Qualifiers

  • Research-article

Conference

SODA '16
Sponsor:
SODA '16: Symposium on Discrete Algorithms
January 10 - 12, 2016
Virginia, Arlington

Acceptance Rates

Overall Acceptance Rate 411 of 1,322 submissions, 31%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2018)Pooling or SamplingProceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3237383.3237935(1576-1584)Online publication date: 9-Jul-2018
  • (2018)Nearly tight bounds for sandpile transience on the gridProceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3174304.3175310(605-624)Online publication date: 7-Jan-2018

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media