Что означает стрелка вверх ( ) в псевдокоде?

Я изучаю деревья точек обзора, и я познакомился с этим, читая статью Структуры данных и алгоритмы поиска ближайших соседей в общих метрических пространствах Питера Йанилоса ( Материалы SODA 1993 , SIAM, стр. 311–321; PDF ). Следующий псевдокод появляется в алгоритме 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является узлом vp-дерева, поэтому я знаю, что это node.pзначит, но что означает эта стрелка вверх в этом контексте?

notation QhelDIV
источник

Ответы:

Алгоритмы в статье, на которую вы ссылаетесь, описаны в нотации, очень похожей на Pascal, язык, который обрабатывает указатели очень специфическим образом. В Паскале указатели объявляются как ссылки на значения определенных типов (например, указатель на целое число никогда не может ссылаться на логическое значение).

Стрелка вверх в воспроизводимом вами примере является оператором разыменования. Понятно, nodeчто указатель на значение типа записи (не самой записи), из которых pи muявляются поля, поэтому node.pне имеет смысла.

Проверьте этот похожий вопрос для дальнейшего уточнения.

Андре Соуза Лемос
источник