Je lis à propos d'un algorithme (c'est un algorithme de recherche de chemin basé sur A *), et il contient un symbole mathématique avec lequel je ne suis pas familier: ∀
Voici le contexte:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s début
Quelqu'un peut-il expliquer la signification de ∀?
Réponses:
C'est le symbole "forall" (pour tous), comme on le voit dans le tableau des symboles mathématiques de Wikipedia ou le caractère Unicode forall ( \u2200, ∀).
Le symbole A à l' envers est le quantificateur universel de la logique des prédicats . (Voir également la discussion plus complète du calcul des prédicats de premier ordre .) Comme d'autres l'ont noté, cela signifie que les assertions énoncées sont valables "pour toutes les instances" de la variable donnée (ici, s ). Vous rencontrerez bientôt son frère, le E majuscule en arrière , qui est le quantificateur existentiel , ce qui signifie «il existe au moins un» de la variable donnée conforme à l'assertion associée.
Si vous êtes intéressé par la logique, vous pourriez apprécier le livre Logic and Databases: The Roots of Relational Theory de CJ Date. Il existe plusieurs chapitres couvrant ces quantificateurs et leurs implications logiques. Vous n'avez pas besoin de travailler avec des bases de données pour bénéficier de la couverture de ce livre sur la logique.
En maths, ∀ signifie POUR TOUS.
Caractère Unicode (\ u2200, ∀).
oui, ce sont les quantificateurs bien connus utilisés en mathématiques. Un autre exemple est ∃ qui se lit comme "existe".