GraphChi: Large-scale graph computation on just a PC
I/O-complexity of graph algorithms