Ký hiệu không quen thuộc trong thuật toán: nghĩa là gì?

Question

Tôi đọc về một thuật toán (đó là một thuật toán con đường tìm hiểu dựa trên A *), và nó chứa một biểu tượng toán học tôi không quen với: ∀

Đây là bối cảnh:

v (s) ≥ g (s) = min _{s'∈pred (s)} (v (s ') + c (s', s)) ∀s ≠ s _{bắt đầu}

Có thể ai đó giải thích ý nghĩa của ∀?

Answer 1

Đó là biểu tượng "forall" (cho tất cả), như được thấy trong Wikipedia's table of mathematical symbols hoặc Unicode forall character (\u2200, ∀).

Answer 2

Trong môn toán, ∀ có nghĩa là TẤT CẢ.

Ký tự Unicode (\ u2200, ∀).

Answer 3

có thể được đọc, "Đối với tất cả là như vậy mà s không s tương đương [bắt đầu]"

Answer 4

Các lộn ngược Một biểu tượng là phổ quantifier từ predicate logic. (Cũng xem các cuộc thảo luận đầy đủ hơn của first-order predicate calculus.) Như những người khác đã lưu ý, nó có nghĩa là các xác nhận đã nêu có "cho tất cả các trường hợp" của biến đã cho (ở đây, s). Bạn sẽ sớm gặp anh chị em của mình, số vốn ngược lại E, là số phân định hiện tại hiện có là, có nghĩa là "tồn tại ít nhất một" của biến đã cho phù hợp với xác nhận có liên quan.

Nếu bạn quan tâm đến logic, bạn có thể thưởng thức cuốn sách Logic and Databases: The Roots of Relational Theory trước ngày C.J. Có một số chương bao gồm các định lượng này và các tác động logic của chúng. Bạn không cần phải làm việc với cơ sở dữ liệu để hưởng lợi từ phạm vi của cuốn sách về logic.

Answer 5

có, đây là những định lượng nổi tiếng được sử dụng trong toán học. Một ví dụ khác là ∃ đọc là "tồn tại".

http://en.wikipedia.org/wiki/Quantification