erdos_gallai_path_conjecture