GraphChi: Large-scale graph computation on just a PC
The input/output complexity of sorting and related problems