Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees
Efficient processing of distance queries in large graphs: a vertex cover approach