A proof of convergence for Ant algorithms

  • Authors:
  • Amr Badr;Ahmed Fahmy

  • Affiliations:
  • Department of Computer Science, Faculty of Computers and Information, Cairo University, Cairo, Egypt;Department of Computer Engineering, Faculty of Engineering and Technology, Arab Academy for Science and Technology and Maritime Transport, Egypt

  • Venue:
  • Information Sciences—Informatics and Computer Science: An International Journal
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

A proof of convergence for Ant algorithms is developed. Ant algorithms were modeled as branching random processes: the branching random walk and branching Wiener process to derive rates of birth and death of ant paths. Substitution is then carried out in birth-death processes which proves that a stable distribution is surely reached. This indicates that Ant algorithms converge with probability one. This analogy models Ant algorithms complexity parameters such as the number of cycles, the degrees of freedom of problem and the number of ants.