previous up next
Go backward to Path
Go up to Top
Go forward to Reachability
RISC-Linz logo

Path Properties

Definition: A path is simple if it does not contain any edge twice:

p is simple : <=>
   forall i in Nn, j in Nn: <pi, pi+1> = <pj, pj+1> => i = j
      where n = length(p).
A path is elementary if it does not contain any node twice:
p is elementary : <=>
   (forall i in Nn, j in Nn: pi = pj => i = j) where n = 1+length(p).
A path is a cycle or  circuit if it terminates in its initial node:
p is cycle : <=> exists x: p is path from x to x.

Author: Wolfgang Schreiner
Last Modification: January 26, 2000

previous up next