Definition:Adjacent (Graph Theory)/Vertices/Digraph

From ProofWiki
Jump to navigation Jump to search

Definition

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

Two vertices $u, v \in V$ of $G$ are adjacent if and only if there exists an arc $e = \tuple {u, v} \in E$ of $G$ to which they are both incident.


Otherwise they are non-adjacent.


Also known as

Adjacent elements of a graph can also be described as neighboring (British English spelling: neighbouring).


Also see