GraphMP: An Efficient Semi-External-Memory Big Graph Processing System on a Single Machine
Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees