Arbre :
Un arbre est un graphe connexe qui ne possède pas de cycle.
Propriétés/Théorèmes : Les Propriétés suivantes sont équivalentes (elles définissent des arbres) :
- est connexe et sans cycle.
- est connexe et
- est sans cycle et
- est sans cycle et lui ajouter une arête crée un et un seul cycle.
- est connexe et supprimer une arête quelconque le déconnecte.
- Deux nœuds distincts de sont reliés par un et un seul chemin (et est sans boucle)
Feuille :
Soit un arbre. On dit qu’un nœud est une feuille de si .
Propriétés/Théorèmes :
- Les extrémités du chemin le plus long dans un arbre sont des feuilles de degré 1. Preuve : Soit un chemin de longueur maximale dans (ce chemin n’est pas nécessairement unique, mais il en existe au moins un). On voit que puisque est adjacent à . Si était de degré strictement supérieur à , il devrait exister un nœud adjacent à et distinct de . Si se trouve sur le chemin défini plus haut, alors possède un cycle, ce qui contredit le fait que est un arbre. Si ne se trouve pas sur le chemin défini plus haut, alors peut être étendu en le préfixant par , ce qui contredit l’hypothèse que est un chemin de longueur maximale. On en conclut que . Le même raisonnement s’applique à , et on a donc identifié deux nœuds de degré .
Arbre sous-tendant
L’arbre est un arbre sous-tendant le graphe si et
Propriétés/Théorèmes :
- est connexe possède un arbre sous-tendant
Arbre sous-tendant de poids minimum
est un arbre sous-tendant de poids minimum de ssi sous-tend et tout arbre sous-tendant est tel que .
Exemple(s)