Lexicographic_breadth-first_search