Graph abstractions and graph path finding algorithms.