不仅是机翻，而且第三步还翻译错了，应该把 $s_{p+1}s_{p+2} \ldots s_n s_1 \ldots s_p$ 改成 $s_{p+1}s_{p+2} \ldots s_n s_p s_{p-1} \ldots s_1$。