An important terminological note: following a common usage (see e.g. [1]}), a path is a walk without
repeating vertices and a trail is a walk without repeating
edges; a cycle (resp. closed trail) is a closed walk
without repeating vertices (resp. edges). Paths (resp. cycles) are trails
(resp. closed trails), but the converse does not always hold.
