后缀数组中height数组的解释

前文：点我
当我在使用后缀数组中会用到一个数组为$height$
$height[i]$的定义为：排在第$i$为的后缀和排在第$i-1$位的最长公共前缀
并且其应该满足下面这个定理
$$height[rnk[i]]\ge height[rnk[i-1]]-1$$
这个定理的一种证明方法可以参考$oi.wiki$:

但是可以有其他的普通解释：
我们认为字符串是从左开始的，所以$i-1$位应该在第$i$位的左侧，因此$i-1$位的后缀可以表示成为$aA$，第$i$位的后缀可以表示成$A$，如果说$aA$与排在他前面的后缀$S$的最长公共前缀可以达到$k$位，那么在$A$中是不是一定会有$k-1$位能与$A$匹配. 那么当这$k-1$位打头组成后缀时，一定紧邻$A$，如果他们之间不紧邻，则一定有比$k-1$更长的前缀紧邻$A$，所以至少是$k-1$.
我们再来看一个字符串

//源串：bdbd
//设i的后缀为dbd
//设i-1的后缀为bdbd
排序：
bd
bdbd//i-1
d
dbd//i

在这个例子里，$A=dbd$，并且至少有$d$与$dbd$紧邻
根据这个引理可以推导出下面的用法：

void cal_height()
{
	int k = 0;
	for (int i = 0; i < n; i++)
	{
		rank1[sa[i]] = i;
	}
	for (int i = 0; i < n; i++)
	{
		if (rank1[i] == 0)continue;
		int j = sa[rank1[i] - 1];
		if (k != 0)
		{
			k--;
		}//height[i]>=height[i-1]-1
		while (i + k < n&&j + k < n&&dp[i + k] == dp[j + k])k++;
		height[i] = k;
	}
}