Ants find the shortest path: a mathematical proof.
JayadevaSameena ShahAmit BhayaRavi KothariSuresh ChandraPublished in: Swarm Intell. (2013)
Keyphrases
- shortest path
- mathematical proofs
- automated theorem provers
- routing algorithm
- shortest path algorithm
- ant colony
- shortest path problem
- metaheuristic
- road network
- path length
- weighted graph
- shortest distance
- path selection
- swarm intelligence
- cellular automata
- theorem prover
- travel time
- flow graph
- dijkstra algorithm
- geodesic distance
- minimal surface
- path queries
- minimum cost flow
- finding the shortest path