Theoretical Properties of Two ACO Approaches for the Traveling Salesman Problem