De diameter van een graaf is de grootste afstand tussen twee toppen in de graaf bvb. een padgraaf heeft een diameter die gelijk is aan zijn grootte en een complete graaf heeft een diameter 1.
In GrInvIn kan je de diameter van een graaf berekenen door de diameterinvariant te gebruiken.