Verzweigungsfaktor

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die durchschnittliche oder maximale Anzahl von Kindknoten, die aus einem Suchknoten während Beweis- oder Modellsuche expandiert werden; gemessen pro Entscheidungsstufe oder als allgemeine Verzweigungsbasis des Suchbaums.