Arbore liber
Un arbore este un graf conex și aciclic. Se mai numește și arbore liber.
Următoarele propoziții sunt adevărate:
Un arbore cu n vârfuri are n-1 muchii.
Un arbore este un graf conex și minimal cu această proprietate; dacă s-ar mai elimina o muchie, graful nu ar mai fi conex.
Un arbore este un graf aciclic și maximal cu această proprietate; dacă s-ar mai adăuga o muchie, ... (mai mult)