• - head of arc
  • - tail of arc
  • - the directed graph with -arcs of as its vertices such that is an arc if and only if can be shunted onto .