关于下标的总结

1 区间内下标

已知由下标构成的闭区间$[b, e]$,$b\le{x}\le{e}$.在无歧义的情况下,我们用序号$x$同时表示一个元素的下标和以$x$为下标的元素.并且,我们称$b$为区间内第1个元素,$e$为区间内倒数第1个元素.

以下命题为真:

1. $x$是$[b,e]$内第$(x+1)-b$个元素,并且从$x$到$b$,总共右$(x+1)-b$个元素(包括左右端点)
2. $x$是$[b,e]$内倒数第$(b+e)-(x+1)$个元素,从$x$到$e$总共有$(b+e)-(x+1)$个元素(包括左右端点)
3. $x$在$[b,e]$内的对称元的下标为$b+e-x$

并且,我们有以下变换:

1. 前面空出$n$个元素: $b\rightarrow{}b+n$
2. 后面空出$n$个元素: $e\rightarrow{}e-n$
3. 只用前$n$个元素: $e\rightarrow{}b+n-1$
4. 只用后$n$个元素: $b\rightarrow{}e-n+1$

2 跳跃

我们定义坐标$x$的一次向右跳跃为这样的变换:

$$x\rightarrow{}x+1$$

以下关于下标跳跃的命题为真:

1. 从$x$开始,向右跳跃$y$次,到达下标$x+y$,并且连续右跳$y$次的轨迹为:$\{x, x+y, x+2y, ...\}$
2. $x$向右跳跃$y$次,越过了$y-1$个元素,落到过$y$个元素上,总共踩过$y+1$个元素.

3 拼接

我们将数组$s$和数组$t$拼接到一起,变为$st$.设数组$s$的长度为$n$,$t$的长度为$m$,则以下关于拼接的命题为真:

1.$t_0 \equiv{} s_n$
2. $t_i \equiv{} s_{n+i}$
3. $s_{m+n}\equiv{}t_m\equiv{}0$