Theoretical Analysis of Quality Diversity Algorithms for a Classical Path Planning Problem