However, the question whether crossover is provably useful for typical algorithmic problems has been open for quite some time.
In this talk, we show that for the All-Pairs Shortest Path problem a natural genetic algorithm using both mutation and crossover provably outperforms an algorithm that uses only mutation.