题解 | 明日DISCO

#include <bits/stdc++.h>
using namespace std;
#define ll long long
int main() {
    ll n;
    cin>>n;
    int dx[]={-1,1,0,0};
    int dy[]={0,0,-1,1};
    vector<vector<ll>>a(n+2,vector<ll>(n+2,0));
    for(ll i=1;i<=n;i++){
        for(ll j=1;j<=n;++j){
            cin>>a[i][j];
        }
    }
    for(ll i=1;i<=n;++i){
        for(ll j=1;j<=n;++j){
            int fg=a[i-1][j]-a[i][j];
            if(fg==0){if(a[i][j]!=0){
                cout<<"NO";
                return 0;
            }
            }
            else if(fg>0){
                if(a[i][j]>0){
                    cout<<"NO";
                    return 0;
                }
                for(int c=1;c<4;++c){
                    if(a[i+dx[c]][j+dy[c]]-a[i][j]<=0&&a[i][j]!=0){
                        cout<<"NO";
                        return 0;
                    }
                }
            }
            else{
                if(a[i][j]<0){
                    cout<<"NO";
                    return 0;
                }
                for(int c=1;c<4;++c){
                    if(a[i+dx[c]][j+dy[c]]-a[i][j]>=0&&a[i][j]!=0){
                        cout<<"NO";
                        return 0;
                    }
                }
            }
        }
    }
    cout<<"YES";
}
// 64 位输出请用 printf("%lld")

边上是0不可变，所以必须全0，操作可以反复进行，所以大于0就减少，小于0就增，判定当前格子为0就直接可以，大于0则必须大于周围所有格子才能自减，小于0就要小于周围所有格子；我代码的fg用的不太好虽然效果一样（）；

以及好像不太严谨，操作完之后不要把自身格真的变成0，看测试用例似乎当前变0之后再做周围数的判定会不一样（），算是全判完再全操作（），就不符合题面说的-1+1，是全判定完就是，没有上一步对下一步的影响（）