New for: D3
We show that our new ACO variant has stronger local properties than the classic one, which leads to proofs of better runtime bounds. Further, we show that both algorithms achieve a good approximation in expected polynomial time on random instances and point out situations in which our algorithms get trapped in local optima.