Orientation of a graph
ID: orientation-of-a-graph
An orientation of a graph keeps the same vertex set and the same individual edges. For every edge with distinct endpoints, choose exactly one directed edge, either or . Replacing it by both arrows is a different construction: it doubles the edges and permits travel both ways along that connection. In an orientation of a graph, the return journey must use another route.[ref]
The Basics (author-hosted chapter preview). §1.10, printed p. 28: an orientation retains the vertex and edge sets and assigns initial and terminal endpoints
All examples below use finite simple graphs: no self-loops and no multiple edges. For a multigraph, each individual nonloop edge receives its own direction, so two multiple edges can point in opposite directions. A self-loop becomes , which is already a directed cycle of length one and therefore prevents an acyclic orientation. A finite simple graph with edges has orientations of a graph, since the two choices for each edge are independent.
Think of vertices as junctions and edges as streets. An orientation of a graph makes each street one-way; reachability asks whether a legal journey exists from one specified junction to another. Two useful aims pull in different directions: an acyclic orientation rules out circular dependencies, while a strong orientation permits journeys between every ordered pair of junctions.
New to topics? Read the docs here!