1. A method of graph preprocessing, comprising: receiving a graph, the graph comprising a plurality of vertices and arcs; and recursively processing a first set of the vertices by generating shortcuts to the graph, and eliminating one or more vertices pursuant to the shortcuts.