Definition:Directed Walk

From ProofWiki
Jump to: navigation, search

Definition

Let $G = \left({V, A}\right)$ be a directed graph.


A directed walk in $G$ is a finite or infinite sequence $\left\langle{x_k}\right\rangle$ such that:

$\forall k \in \N: k + 1 \in \operatorname{Dom} \left\langle{x_k}\right\rangle: \left({x_k, x_{k+1} }\right) \in A$


Sources