Distributed Graph Algorithms for Robotics