Facteur de Ramification
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le nombre moyen ou maximal d'enfants développés à partir d'un nœud de recherche lors d'une recherche de preuve ou de modèle ; mesuré par étape de décision ou comme base de branchement globale de l'arbre de recherche.