− | === Directed circuit, cycle === | + | === Directed circuit, cycle 有向回路,环 === |
| * A '''directed circuit''' is a non-empty [[Path (graph theory)#Directed walk, trail, path|directed trail]] in which the first and last vertices are repeated.{{sfn|Bender|Williamson|2010|p=164}} | | * A '''directed circuit''' is a non-empty [[Path (graph theory)#Directed walk, trail, path|directed trail]] in which the first and last vertices are repeated.{{sfn|Bender|Williamson|2010|p=164}} |
| : Let {{nowrap|1=''G'' = (''V'', ''E'', ''ϕ'')}} be a directed graph. A directed circuit is a non-empty directed trail {{nowrap|(''e''<sub>1</sub>, ''e''<sub>2</sub>, …, ''e''<sub>''n''</sub>)}} with a vertex sequence {{nowrap|(''v''<sub>1</sub>, ''v''<sub>2</sub>, …, ''v''<sub>''n''</sub>, ''v''<sub>1</sub>)}}. | | : Let {{nowrap|1=''G'' = (''V'', ''E'', ''ϕ'')}} be a directed graph. A directed circuit is a non-empty directed trail {{nowrap|(''e''<sub>1</sub>, ''e''<sub>2</sub>, …, ''e''<sub>''n''</sub>)}} with a vertex sequence {{nowrap|(''v''<sub>1</sub>, ''v''<sub>2</sub>, …, ''v''<sub>''n''</sub>, ''v''<sub>1</sub>)}}. |
| * A '''directed cycle''' or '''simple directed circuit''' is a directed circuit in which the only repeated vertices are the first and last vertices.{{sfn|Bender|Williamson|2010|p=164}} | | * A '''directed cycle''' or '''simple directed circuit''' is a directed circuit in which the only repeated vertices are the first and last vertices.{{sfn|Bender|Williamson|2010|p=164}} |