第一篇题解对 $a_{i, c}$ 的解释是：

在每个位置记录 $a_{i, c}$，表示 $s_{a_{i, c}+1}=c$ 且能使 $[a_{i, c}+1, i]$ 成为合法子串的最大的下标。

但代码中：

a[to[i]][s[i]-'a']=i;

带回解释，区间是：$[i+1, to_i]$ .

显然 $to_i \leq i$ ，左边界大于右边界，解释有误.

$a_{i, c}$ 正确的解释应该是：

在每个位置记录 $a_{i, c}$，表示若 $to_j=i$ ，则 $s_{a_{i, c}+1}=c$ 且能使 $[a_{i, c}+1, j]$ 成为合法子串的最大的下标。