Directed graphs
A directed graph (or digraph) consists of vertices and ordered pairs of edges . Each directed edge is written as , meaning that this is an edge from to . Notice that for directed graphs .
If , we say that is an out-neighbor of and is an in-neighbor of . Denote by and the numbers of out- and in-neighbors of respectively.
Let be a digraph. Prove:
Given an undirected graph , we say that a digraph is an orientation of if it can be obtained by "giving directions" to edges in . More formally, and for each edge , exactly one of or belongs to . Notice that every undirected graph has different orientations. When is an orientation of , we say that is a symmetrization of (obtained by removing directions from ).
There are two notions of connectedness in digraphs. For a digraph , if a symmetrization of is connected, we say that is weakly connected. If, for every , there is a directed walk from to in , then is said to be strongly connected.
Prove that a weakly connected digraph contains at least edges and a strongly connected digraph contains at least edges.
📄️ Eulerian digraphs
A digraph is Eulerian if there is a closed walk containing all vertices and edges, each edge exactly once. The following theorem gives a nice characterization of Eulerian digraphs, analogously to the Eulerian undirected graphs.
📄️ Tournaments
One of the important classes of directed graphs is called tournaments. A tournament is an orientation of a complete graph. We can think of a tournament as the result of players participating in round-robin games where there is no tie or rematch. An edge directed from $u$ to $v$ means that player $u$ won against player $v$.