For the graph , and vertices and , a circuit is a trail that contains at least one edge and starts and ends at the same vertex.