A fim de obter o melhor da rede, é necessário encontrar o caminho mais curto. Quanto mais complicada for a rede, mais difícil é gerir os percursos e indicar qual é o melhor. As formigas, na sua necessidade de encontrar comida e trazê-la de volta ao ninho, conseguem não só explorar uma vasta área, mas também indicar aos seus pares a localização da comida enquanto a trazem de volta ao ninho. Assim, elas sabem onde está o seu ninho, e também o seu destino, sem terem uma visão global do terreno. O objectivo deste projecto é fornecer uma subdeclaração clara do algoritmo baseado nas formigas, através de uma sistematização formal e abrangente do assunto.