Lukas' Notes

Definition

Girth

The girth of a graph is the length of its shortest cycle.