思路

因为最外围已经全为0且不可以更改，所以想要满足条件只能是所有数全为0；

遍历矩阵，如果一个数能通过操作变为0，那么这个点就满足条件；

如果一个数想变为0，有两种方法，本来就是0，周围四个数和该点异号或为0；

最后只需要判断所有点是否全为0即可；

临时用别人电脑写的，代码很丑，见谅

代码

#include<bits/stdc++.h>
using namespace std;
#define vi vector<int>
int a[505][505];
void solve() {
    int n;
    cin >> n;
    for (int i = 1; i <= n; i++) 
    {
        for (int j = 1; j <= n; j++) 
        {
            cin >> a[i][j];
        }
    }
    for (int i = 1; i <= n; i++) 
    {
        for (int j = 1; j <= n; j++) 
        {
            if (a[i][j] == 0) 
            {
                continue;
            }
            if (a[i + 1][j] >= 0 && a[i][j + 1] >= 0 && a[i - 1][j] >= 0 &&a[i][j - 1] >= 0 && a[i][j] < 0) 
            {
                a[i][j] = 0;
            }
            if (a[i + 1][j] <= 0 && a[i][j + 1] <= 0 && a[i - 1][j] <= 0 && a[i][j - 1] <= 0 && a[i][j] > 0) 
            {
                a[i][j] = 0;
            }
        }
    }
    for (int i = 1; i <= n; i++) 
    {
        for (int j = 1; j <= n; j++) 
        {
            if (a[i][j] != 0) 
            {
                cout << "NO" << endl;
                return;
            }
        }
    }
    cout << "YES" << endl;
}
signed main() {
    int qwq = 1;
    //cin>>qwq;
    while (qwq--) 
	{
        solve();
    }
    return  0;
}

数据特别小，所以这种做法的时间复杂度完全可以接受