Sto leggendo di un algoritmo (è un algoritmo di ricerca del percorso basato su A *) e contiene un simbolo matematico che non conosco: ∀
Ecco il contesto:
v (s) ≥ g (s) = min s'∈pred (s) (v (s ') + c (s', s)) ∀s ≠ s inizio
Qualcuno può spiegare il significato di ∀?
Risposte:
Questo è il simbolo "forall" (per tutti), come si vede nella tabella dei simboli matematici di Wikipedia o il carattere forall Unicode ( \u2200, ∀).
Il simbolo A capovolto è il quantificatore universale dalla logica dei predicati . (Vedere anche la discussione più completa del calcolo dei predicati del primo ordine .) Come altri hanno notato, significa che le asserzioni dichiarate valgono "per tutte le istanze" della variabile data (qui, s ). Presto incontrerai il suo fratello, la E maiuscola al contrario , che è il quantificatore esistenziale , che significa "esiste almeno una" della variabile data conforme alla relativa asserzione.
Se sei interessato alla logica, potresti apprezzare il libro Logic and Databases: The Roots of Relational Theory di CJ Date. Ci sono diversi capitoli che trattano questi quantificatori e le loro implicazioni logiche. Non è necessario lavorare con i database per beneficiare della copertura della logica di questo libro.
In matematica, ∀ significa PER TUTTI.
Carattere Unicode (\ u2200, ∀).
sì, questi sono i ben noti quantificatori usati in matematica. Un altro esempio è ∃ che si legge come "esiste".