我们都知道，$n=2,a_1>a_2,a_2+k>a_1$ 时时无解的。但是请注意 $n=2,a_1\le a_2$ 的情况，此时应该直接输出 Yes \n 0。

如果你按照官解的构造，且不判断这种情况，就会画蛇添足地把递增的改成递减的。