De taille van een graaf is de lengte van zijn kortste cykel. In het geval dat de graaf geen cykels bevat, definiëren we de taille als zijnde ongedefinieerd.
In GrInvIn kan je de taille van een graaf berekenen door gebruik te maken van de taille-invariant .