题面里面说的：

• 交换当前数列上 $P_i$ 与 $P_{(i + p_i)\bmod n}$ 两个位置上的数字。

实际含义是 $\text{swap}(P_i, P_{i + p_i})$ 而不是 $\text{swap}(P_{P_i}, P_{P_{i + P_i}})$。

也就是说应该改成交换 $i$ 和 $i + p_i$ 两个位置上的数字或者交换 $P_i$ 和 $P_{i + p_i}$ 两个值。