previous up next
Go backward to Example
Go up to Top
Go forward to Undirected Graph
RISC-Linz logo

Adjacency Matrix

Definition: Let G = <V, E> be a directed graph with |V| = n. The adjacency matrix of G is the boolean n * n matrix M where M(x, y) = true if and only if <x, y> in E:

adjacency(G) :=
   let V = G0, E = G1:
      such M in V x V -> {true, false}:
         (forall x in V, y in V: M(x, y) = true <=> <x, y> in E).

Matrix representation from graph.


Author: Wolfgang Schreiner
Last Modification: January 26, 2000

previous up next