I have a directed graph with nodes. Call it a graph of cities and roads connecting them. The cities are named in a mostly but not guaranteed-unique way. A road is identified by the city it departs ...