Je lis au sujet d'un algorithme (il est un chemin algorithme de recherche basé sur A *), et il contient un symbole mathématique que je ne suis pas familier avec: ∀Symbole non familier dans l'algorithme: que signifie ∀?
Voici le contexte:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s début
Can quelqu'un expliquer la signification de ∀?
C'est le symbole "forall" (pour tous), comme vu dans Wikipedia's table of mathematical symbols ou le Unicode forall character (\u2200, ∀).
Cela aurait du sens: "... pour tout s inégale à s [commencer]" – devuxer
Merci et +1 pour le lien vers la table des symboles. la prochaine fois que je suis perplexe (la recherche de Google pour ∀ ne montre aucun enregistrement) – devuxer
lol, je n'avais jamais pensé à googler pour les symboles et apparemment je n'ai rien perdu –
En mathématiques, ∀ signifie POUR TOUS.
Caractère Unicode (\ u2200, ∀).
Ils l'appellent le "Qualificatif Universel". avec le "Qualificatif Existentiel" http: //en.wikipedia.org/wiki/Universal_quantification –
@ S.Lott: nitpick s/qualificateur/quantificateur –
Peut-on lire, "Pour tout s tel que s ne correspond pas à s [start]"
L'envers Un symbole est le quantificateur universel de predicate logic. (Voir aussi la discussion plus complète du first-order predicate calculus.) Comme d'autres l'ont noté, 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 conforme à l'assertion connexe.
Si vous êtes intéressé par la logique, vous pouvez profiter du livre Logic and Databases: The Roots of Relational Theory par C.J. Date. Plusieurs chapitres traitent de ces quantificateurs et de leurs implications logiques. Vous n'avez pas besoin de travailler avec des bases de données pour bénéficier de la couverture logique de ce livre.
+1 pour mentionner ∃ (U + 2203 EXISTE). En fait, ∀ et ∃ sont utilisés dans le calcul des prédicats en général, qu'il s'agisse d'un ordre de premier ordre ou d'ordre supérieur. Pour un exemple de second ordre, dans l'axiome d'induction de l'arithmétique de Peano, vous quantifiez sur les prédicats et écrivez ∀P. – starblue
Merci d'avoir signalé cela. J'ai révisé la référence par votre suggestion. – seh
oui, ce sont les quantificateurs bien connus utilisés en mathématiques. Un autre exemple est ∃ qui se lit comme "existe".
@Koper, afin de programmer cet algorithme, je dois comprendre ce que l'algorithme fait. En quoi * n'est * pas * lié à la programmation? – devuxer
@DanThMan: Eh bien, techniquement, c'est une question mathématique générale, mais je ne pense pas que cela vaille la peine de la fermer. –
@Koper: c'est une très mauvaise analogie. –