我们要找出那个最大的符合条件的子矩阵
因为对角线有两条，所以我们分左上->右下和右上->左下两种情况
由于是二维的，所以我们用两个数组分别搞左右和上下
如果当前是0，则这个点可以算在矩阵之内且不是对角线，这时候更新两个数组
如果当前是1，则它一定在对角线上，进行\(dp\)
嗯就这样
来康康代码吧

#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#include<vector>
#include<queue>
#include<map>
#include<ctime>
#include<cstdlib>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef __int128 i128;
const int inf=2147483647;
inline int read()
{
	char ch=getchar();
	int x=0; 
	bool f=0;
	while(ch<'0'||ch>'9')
	{
		if(ch=='-') f=1;
		ch=getchar();
	}
	while(ch>='0'&&ch<='9')
	{
		x=(x<<3)+(x<<1)+(ch^48);
		ch=getchar();
	}
	return f?-x:x;
}
int m,n,mp[2509][2509];
int ans,dp[2509][2509],ud[2509][2509],lr[2509][2509];//ud是上下，lr是左右，ud(lr)[i][j]表示上一个1从上(左)到(i,j)的连续的0的长度
void lft()//右下->左上
{
	for(int i=1;i<=n;i++)
	 for(int j=1;j<=m;j++)
	 {
	 	if(!mp[i][j])ud[i][j]=ud[i-1][j]+1,lr[i][j]=lr[i][j-1]+1;
	 	if(mp[i][j]) dp[i][j]=min(dp[i-1][j-1],min(ud[i-1][j],lr[i][j-1]))+1;
	 	ans=max(ans,dp[i][j]);
	 }	  
}
void rgt()//右上->左下
{
    memset(ud,0,sizeof(ud));
    memset(lr,0,sizeof(lr));
    memset(dp,0,sizeof(dp));
	for(int i=1;i<=n;i++)
	 for(int j=m;j>=1;j--)
	 {
	 	if(!mp[i][j]) ud[i][j]=ud[i-1][j]+1,lr[i][j]=lr[i][j+1]+1;
	    if(mp[i][j]) dp[i][j]=min(dp[i-1][j+1],min(ud[i-1][j],lr[i][j+1]))+1;
		ans=max(ans,dp[i][j]); 
	 }
}
int main()
{
	n=read();m=read();
	for(int i=1;i<=n;i++)
	 for(int j=1;j<=m;j++)
	  mp[i][j]=read();
	lft();
	rgt();
	printf("%d\n",ans);  
 }