• 对于任意 $1 \le i \le n$，如果 $a_i \ne -1$，>则 $\sum_{j=1}^{\color{red}{n}} [p_j \le i] = a_i$。

应改为：

$\sum_{j=1}^{\color{red}{i}}[p_j\leq i]$