Een boom is een verbonden graaf die geen cykels bevat. Dit wil zeggen dat er altijd exact één pad bestaat tussen elke twee toppen.
Wanneer een boog toegevoegd wordt aan een boom, zal dit steeds een cykel doen ontstaan (als er natuurlijk niet ook nog een top wordt toegevoegd). Wanneer een boog wordt verwijderd uit een boom, is het resultaat niet langer verbonden (opnieuw, als er natuurlijk ook geen toppen verwijderd worden).
Een boom is
Dit zijn enkele invariantwaarden vooor bomen met toppen:
Invariantnaam | Invariantwaarde |
---|---|
Grootte | |
Kliekgetal |
1, als
2 in alle andere gevallen |