UPS

UPS（Upper Projection Sequence, 向上投影序列）是由 Optimism 最初创作，Alice 完善的记号，旨在以序列形式模拟向上投影。

定义

基础定义

一个 UPS 表达式由一组有序排列的项组成。

项：一个自然数与一个星号标记 ${\alpha }_i=(v_i,s_i)$ 。

父项：一个索引的父项 $p(i)$ 为最大的 $j<i$, 满足 $v_j<v_i$ 。

正规化序列：一个序列 $S=[{\alpha }_0,{\alpha }_1,...,{\alpha }_{L-1}]$ 的正规化序列为 $\mathrm{n}\mathrm{o}\mathrm{r}\mathrm{m}(S)=[\alpha {\text{'}}_0,\alpha {\text{'}}_1,...,\alpha {\text{'}}_{L-1}]$, 其中 $\alpha {\text{'}}_i=(v_i-v_0,s_i)$ 。

直接集与直接段

一个索引 $i$ 的直接集定义为：

1. $i\in D(i)$;
2. 若 $p(j)\in D(i),s_{p(j)}=1$, 则 $j\in D(i)$ 。

定义直接段结尾：令 $M(i)=\max (t|t\in D(i))$ 。若存在 $k$ 使得 $v_k=\min (v_j|j>M(i),p(j)\in D(i))$, 找到其中索引最小的 $k_0$ , 定义 $\mathrm{e}\mathrm{d}(i)=k_0$; 否则，定义 $\mathrm{e}\mathrm{d}(i)=M(i)$ 。

定义索引 $i$ 的直接段为 $\mathrm{s}\mathrm{e}\mathrm{g}(i)=[{\alpha }_i,...,{\alpha }_{\mathrm{e}\mathrm{d}(i)}]$ 。

字典序比较与投影比较

在进行字典序比较与投影比较之前，首先要将待比较序列的 ${\alpha }_{L-1}$ 替换为 $\alpha {*}_{L-1}=(v_{L-1},1)$ ，并进行正规化。

字典序比较记为 $S<T$为逐项首先比较数值（数值大者更大），其次比较星号（有星号者更大）。若前缀完全相同，则更长者更大。

投影比较记为 $S{<}_{\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}}T$, 比较流程如下：

首先定义 $S=[{\alpha }_0,{\alpha }_1,...,{\alpha }_{L-1}]$的投影深度 $\mathrm{d}\mathrm{e}\mathrm{p}(S)=v_{L-1}$ 。若$\mathrm{d}\mathrm{e}\mathrm{p}(S)<\mathrm{d}\mathrm{e}\mathrm{p}(T)$ , 则 $S{<}_{\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}}T$ 。

若 $\mathrm{d}\mathrm{e}\mathrm{p}(S)=\mathrm{d}\mathrm{e}\mathrm{p}(T)=0$ , 则$S{=}_{\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}}T$ 。

令 $t=p(L-1)$ , 则定义 $S$ 的投影子序列为 $\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}(S)=\mathrm{n}\mathrm{o}\mathrm{r}\mathrm{m}([\alpha {\text{'}}_t,{\alpha }_{t+1},...,{\alpha }_{L-1}])$ , 其中 $\alpha {\text{'}}_t=(v_t,0)$ 。若 $\mathrm{d}\mathrm{e}\mathrm{p}(S)=\mathrm{d}\mathrm{e}\mathrm{p}(T)$ 且 $\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}(S)<\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}(T)$ , 则 $S{<}_{\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}}T$ 。若 $\mathrm{d}\mathrm{e}\mathrm{p}(S)=\mathrm{d}\mathrm{e}\mathrm{p}(T)$ 且 $\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}(S)=\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}(T)$ , 则 $S{=}_{\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{j}}T$ 。