CF1717C Madoka and Formal Statement

声明：流水行船CCD是蒟蒻的Luogu账号

题目分析

这道题看题意很明显是要分类找状况的题。

首先题目说了我们只能使 $a_i=a_i+1$ ，如果有一个位置上的 $a_i>b_i$ 时，序列 $a_{1\dots n}$ 肯定不能变成序列 $b_{1\dots n}$ ，这就是第一个判断条件；

接着思考，由于 $a_i$ 只能增加，如果要使数列 $a$ 有机会转变为 $b$ ，我们的 $a_i$ 最大值只能取 $b_i$ ，又因为只有 $a_i\le a_{i+1}$ 时才能改变 $a_i$ 的值，所以 $a_{i-1}$ 最大值只能为 $b_i+1$ 。（注意，这里的最大值不是 $b_i$ ）所以当 $b_{i-1}>b_i+1$ 的时候，也是不可以转化成功的。

同时，不要忘了 $a_i=b_i$ 的时候直接可以，不用判断上述条件。（本蒟蒻忘过）

最后，我为了方便，直接把数组的第一项赋值到最后一项这样可以省略一个取模。

AC Code

#include<bits/stdc++.h>
#define int long long
using namespace std;
bool k;
int t,n,maxx;
int a[200005],b[200005]; 
signed main(){
    scanf("%lld",&t);
    while(t--){
        maxx=0;k=true;
        scanf("%lld",&n);
        for(register int i=1;i<=n;i++){scanf("%lld",&a[i]);}
        for(register int i=1;i<=n;i++){scanf("%lld",&b[i]);}
        a[n+1]=a[1];b[n+1]=b[1];
        for(register int i=1;i<=n;i++){
            if(a[i]==b[i]){continue;}
            if(a[i]>b[i]){k=false;break;}
            if(b[i]>(b[i+1]+1)){k=false;break;}
        }
        if(k){printf("YES\n");}
        else{printf("NO\n");}
    }
    return 0;
}

完结撒花