Symbole inconnu dans l’algorithme: que signifie?
Je lis sur 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) = mins'∈pred (s)(v (s ') + c (s', s)) s ≠ sdébut
Quelqu'un peut-il expliquer le sens de?
C’est le symbole "forall" (pour tous), comme indiqué dans tableau des symboles mathématiques de Wikipedia ou caractère Unicode pour tous (\u2200, ∀).
Le symbole à l’envers [~ # ~] et [~ # ~] est le quantificateur universel de logique de prédicat . (Voir également la discussion plus complète de calcul de prédicat de premier ordre .) Comme d’autres l’a déjà fait remarquer, cela signifie que les assertions déclarées sont valables "pour toutes les instances" de la variable donnée (ici, s ). Vous rencontrerez bientôt son frère, la capitale arrière [~ # ~] e [~ # ~] , qui est le quantificateur existentiel , signifiant "il existe au moins un" de la variable donnée se conformant à l'assertion associée.
Si vous êtes intéressé par la logique, vous pourriez aimer le livre ( Logique et bases de données: les racines de la théorie relationnelle par CJ Date . Plusieurs chapitres couvrent ces quantificateurs et leurs implications logiques. Il n'est pas nécessaire de travailler avec des bases de données pour tirer parti de la couverture logique de ce livre.
En mathématiques, signifie POUR TOUS.
Caractère Unicode (\ u2200,).
Peut être lu, "Pour tous s tels que s n'est pas égal à s [début]"
oui, ce sont les quantificateurs bien connus utilisés en mathématiques. Un autre exemple est ∃ qui se lit comme "existe".