• is vertex t reachable from vertex s?
• alternatively, is there a path from s to t?

bool reachable(Graph g, Vertex s, Vertex t)

Example applications:

• can I complete a schedule from the current state?
• is a malloc'd object being referenced by any pointer?