Definition:Path in Digraph/Successor
Jump to navigation
Jump to search
Definition
Let $D = \struct {V, E}$ be a digraph.
Let $P$ be a path in $D$ such that the vertices of $P$ are $v_1, v_2, \ldots, v_n$.
Let $v_j$ be a vertex of $P$ such that $j < n$.
Then the successor (vertex) of $v_j$ is the vertex $v_{j + 1}$.
That is, if $v \to w$ is an arc in $P$, $w$ is the successor (vertex) of $v$.
Also see
Sources
- 1979: John E. Hopcroft and Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation ... (previous) ... (next): Chapter $1$: Preliminaries: $1.2$ Graphs and Trees: Directed Graphs