Mathlib
Atlas
Combinatorics and graph theory
Pathway XX
↝
Graph walks and connectivity
A walk is a sequence of adjacent vertices. Connected means a walk between every pair.
01
Walks and connectivity
Walks may repeat. Paths do not. Components are the maximal connected pieces.
4 min
02
Eulerian circuits
An Eulerian circuit walks every edge exactly once and returns. It exists iff every degree is even.
4 min
Begin this pathway