In graph theory, a trail is defined as an open walk in which-, In graph theory, a circuit is defined as a closed walk in which-. Subgraphs. independent set A walk (of length k) is a non-empty alternating sequence v 0e 0v 1e 1 e k 1v k of walk vertices and edges in Gsuch that e i = fv i;v i+1gfor all i