Definition:Directed Walk

From ProofWiki
Jump to navigation Jump to search

Definition

Let $G = \struct {V, A}$ be a digraph.


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

$\forall k \in \N: k + 1 \in \Dom {\sequence {x_k} }: \tuple {x_k, x_{k + 1} } \in A$


Sources