Samenhangendheid

Een graaf is samenhangend als voor elk paar toppen een pad bestaat dat begint in en eindigt in .

Een component van een graaf is een samenhangende geïnduceerde deelgraaf die maximaal is. Dit wil zeggen dat door een andere top van de originele graaf aan deze deelgraaf toe te voegen de deelgraaf niet-samenhangend wordt. Een samenhangende graaf heeft één component. Een niet-samenhangende graaf heeft meer dan één component.

In GrInvIn kan je nagaan of een graaf samenhangend is door gebruik te maken van de samenhangend-invariant.