Я читаю об алгоритме (это алгоритм поиска пути, основанный на A *), и он содержит математический символ, с которым я не знаком: ∀
Вот контекст:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s start
Может кто-нибудь объяснить значение ∀?
Ответы:
Это символ «для всех» (для всех), как видно из таблицы математических символов Википедии или символ Unicode для всех ( \u2200, ∀).
Перевернутый символ A - это универсальный квантор из логики предикатов . (Также см. Более полное обсуждение исчисления предикатов первого порядка .) Как отмечали другие, это означает, что указанные утверждения верны «для всех экземпляров» данной переменной (здесь s ). Вскоре вы столкнетесь с его родным братом, заглавной буквой E в обратном направлении , которая является квантификатором существования , означающим, что «существует по крайней мере одна» из данной переменной, соответствующей соответствующему утверждению.
Если вас интересует логика, вам может понравиться книга CJ Date « Логика и базы данных: корни реляционной теории ». Эти количественные показатели и их логическое значение рассматриваются в нескольких главах. Вам не обязательно работать с базами данных, чтобы извлечь выгоду из освещения логики в этой книге.
В математике ∀ означает ДЛЯ ВСЕХ.
Символ Юникода (\ u2200, ∀).
да, это хорошо известные кванторы, используемые в математике. Другой пример - ∃, которое читается как «существует».