O que significa seta para cima (

Estou aprendendo árvores de pontos de vista, e eu o conheci ao ler o artigo Estruturas de dados e algoritmos para pesquisa de vizinhos mais próximos em espaços métricos gerais de Peter Yianilos ( Proceedings of SODA 1993 , SIAM, páginas 311–321; PDF ). O pseudocódigo a seguir aparece no Algoritmo 1.

\begin{aligned} function Make_vp_tree(S) \\ if S = \emptyset then return \emptyset \\ new(node); \\ node ↑ .p := Select_vp(S); \\ node ↑ .mu := {Median}_{s \in S} d (p, s); \\ \dots \end{aligned}

$\begin{align*} \hspace{2em}&\hspace{-2em} \textbf{function}\text{ Make_vp_tree(}S\text{)}\\ &\textbf{if }S=\emptyset\textbf{ then return }\emptyset\\ &\text{new(node);}\\ &\text{node}\!\uparrow\!\!\text{.p} := \text{Select_vp(}S\text{);}\\ &\text{node}\!\uparrow\!\!\text{.mu} := \text{Median}_{s\in S}\, d(p,s);\\ &\dotsc \end{align*}$

nodeé um nó do vp-tree, então eu sei o que node.psignifica, mas o que significa seta para cima neste contexto?

notation

— QhelDIV
fonte

Os algoritmos no artigo ao qual você vincula são descritos em uma notação bastante semelhante ao Pascal, uma linguagem que trata os ponteiros de uma maneira muito particular. No Pascal, os ponteiros são declarados como referências a valores de tipos específicos (um ponteiro para um número inteiro nunca pode se referir a um booleano, por exemplo).

A seta para cima, no exemplo que você reproduz, é um operador de cancelamento de referência. Claramente, nodeé um ponteiro para um valor de um tipo de registro (não um registro em si), dos quais pe musão campos, portanto node.p, não tem significado.

Confira esta pergunta semelhante para mais esclarecimentos.

— André Souza Lemos
fonte