Hihocoder1673

这个题还是挺有意思的，得发现点性质，然后才能知道要怎么搞。

首先我们得知道这个合法段是连一起的，这个是一个很重要的一点，我们得知道如果10101010  可以，那么他的所有子段都是可以的。。。。。。。

这个应该是很好发现的？    （那怎么才能发现这一点呢？？？？？？）   我们首先应该对单行分析，分析一下单行怎么搞，因为单行是矩阵的基础，然后考虑先填1010，这样搞，发现这个段的性质   这个手玩一下样例就可以了，很好发现的

(事实证明手玩样例是很重要的，很多题目都是手玩样例出来的)

这个的话我们可以通过手玩确定出来很好的性质，比如那道cf 的  d和这道

然后我们可以通过预处理知道当前这个点向上能衍生的最长长度的长度

然后根据上面的性质分成一个个的段，然后再这个段里面通过单调栈操作

下面是代码：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <iostream>
#include <cmath>
#include <bitset>
#include <stack>
typedef long long ll;
using namespace std;
const int maxn=2100;
int n,m;
char s[maxn][maxn];
int h[maxn][maxn];
int li[maxn][maxn];
int siz[maxn];
stack<int> sta;
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++) scanf("%s",s[i]+1);
    for(int i=1;i<=n;i++){
        for(int j=1;j<=m;j++){
            if(i==1) h[i][j]=1;
            else{
                if(s[i][j]!=s[i-1][j]) h[i][j]=h[i-1][j]+1;
                else h[i][j]=1;
            }
        }
    }

    int ans=0;
    for(int i=1;i<=n;i++){
        int l,r;
        for(int j=1;j<=m;j=r+1){
            l=j;r=j;
            for(int k=j+1;k<=m;k++){
                if(s[i][k]!=s[i][k-1]) r=k;
            }
            for(int k=l;k<=r;k++) li[i][k]=h[i][k],siz[k]=1;
            li[i][r+1]=0;li[i][l-1]=0;
            while(!sta.empty()) sta.pop();
            sta.push(l-1);
            for(int k=l;k<=r+1;k++){
                if(li[i][k]>=li[i][sta.top()]){
                    sta.push(k);
                }else{
                    int len=0;
                    while(!sta.empty()&&li[i][k]<li[i][sta.top()]){
                        len+=siz[sta.top()];
                        ans=max(ans,len*li[i][sta.top()]);
                        sta.pop();
                    }
                    sta.push(k);siz[k]+=len;
                }
            }
        }
    }
    printf("%d
",ans);
    return 0;
}