Parallelizing depth-first search for robotic graph exploration