题解:首先$n=1$的时候只有$a_1=b_1$才符合条件否则不符合条件。对于其他情况,考虑前缀和的逆过程,差分。因为所有数均为正整数,因此如果一个序列为严格单增,那么可以进行差分,如果一个序列为严格单减,那么可以进行翻转后可以进行差分,否则这个序列无法再往回变了。因此我们对序列$b$进行上述操作,验证直到变不了为止能不能变成$a$即可,注意这个过程是唯一的从而保证了正确性。可以看到前缀和操作使得整个序列最值增长速率是$O(x^{n-1})$的,因此可以得到下面的操作次数上界。
可以看到$n \ge 3$的情况时间复杂度是可以接受的。当$n=2$时,差分的过程和辗转相除是相同的,在这个过程中判断能不能有一步使得和$a$相同即可。