In graph theory, this is the traceable path in an undirected / directed graph that visits each vertex exactly once.