estoy leyendo sobre un algoritmo (que es un algoritmo de ruta de investigación basado en A *), y contiene un símbolo matemático estoy familiarizado con: ∀Símbolo desconocido en el algoritmo: ¿qué significa ∀?
Aquí es el contexto:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s inicio
Puede alguien explicar el significado de ∀?
Ese es el símbolo "forall" (para todos), como se ve en Wikipedia's table of mathematical symbols o Unicode forall character (\u2200, ∀).
Eso tendría sentido: "... para todos los s desigual a s [empezar]" – devuxer
Gracias y +1 para el enlace a la tabla de símbolos. Utilizaré que la próxima vez que estoy perplejo (buscar en Google por ∀ no apareció ningún registro). – devuxer
jajaja, nunca había pensado en buscar símbolos en Google. Y aparentemente no perdí nada. –
En matemáticas, ∀ significa PARA TODO.
Carácter Unicode (\ u2200, ∀).
Lo llaman el "Calificador universal". con el "Calificador existencial". http: //en.wikipedia.org/wiki/Universal_quantification –
@ S.Lott: nitpick s/calificador/cuantificador –
se puede leer: "Para todo s tal que s no es igual a s [Inicio]"
El Un símbolo al revés es el cuantificador universal de predicate logic. (También vea la discusión más completa del first-order predicate calculus.) Como otros señalaron, significa que las afirmaciones indicadas son "para todas las instancias" de la variable dada (aquí, s). Pronto se encontrará con su hermano, el capital a la inversa E, que es el cuantificador existencial , lo que significa que "existe al menos uno" de la variable dada conforme a la afirmación relacionada.
Si le interesa la lógica, puede disfrutar del libro Logic and Databases: The Roots of Relational Theory antes de C.J. Fecha. Hay varios capítulos que cubren estos cuantificadores y sus implicaciones lógicas. No tiene que trabajar con bases de datos para beneficiarse de la cobertura de lógica de este libro.
+1 por mencionar ∃ (U + 2203 HAY EXISTENCIAS). En realidad, ∀ y ∃ se utilizan en el cálculo de predicados en general, ya sea de primer orden o de orden superior. Para un ejemplo de segundo orden, en el axioma de inducción de la aritmética de Peano usted cuantifica sobre predicados y escribe ∀P. – starblue
Gracias por señalar eso. Revisé la referencia según tu sugerencia. – seh
sí, estos son los cuantificadores conocidos utilizados en matemáticas. Otro ejemplo es ∃ que dice "existe".
@Koper, con el fin de programar este algoritmo, lo necesario para comprender lo que hace el algoritmo. ¿Cómo está * no * relacionado con la programación? – devuxer
@DanThMan: Bueno, técnicamente es una pregunta matemática general, pero no creo que valga la pena cerrarla. –
@Koper: esa es una analogía realmente mala. –