话说还真没见过能影响两行的状压。想了半天想出来f数组再多一维就能表示，但是没想到怎么才能不爆空间……
也是从这道题里学到的一个妙招。
可以把合法状态存到一个数组里，然后用数组下标来映射状态。感觉好强啊
然后……这题差不多就完了。
#include<cstdio>
#include<cctype>
#include<algorithm>
inline long long read(){
long long num=,f=;
char ch=getchar();
while(!isdigit(ch)){
if(ch=='-') f=-;
ch=getchar();
}
while(isdigit(ch)){
num=num*+ch-'';
ch=getchar();
}
return num*f;
} inline int getlen(int x){
int ans=;
while(x){
if(x&) ans++;
x>>=;
}
return ans;
} int f[][][];
int s[],w[],cnt;
int state[];
int Ans;
int main(){
int n=read(),m=read();
int Max=(<<m)-;
for(int i=;i<=n;++i){
char c[];
scanf("%s",c+);
for(int j=;j<=m;++j){
state[i]=state[i]<<;
if(c[j]=='H') state[i]++;
}
}
for(int i=;i<=Max;++i){
if(i&(i>>)||i&(i>>)) continue;
s[++cnt]=i;
w[cnt]=getlen(i);
if(!(state[]&i)) f[][cnt][]=w[cnt];
}
for(int i=;i<=cnt;++i)
for(int j=;j<=cnt;++j){
if(s[i]&s[j]||state[]&s[i]||state[]&s[j]) continue;
f[][i][j]=w[i]+w[j];
}
for(int i=;i<=n;++i)
for(int j=;j<=cnt;++j){
if(state[i]&s[j]) continue;
for(int k=;k<=cnt;++k){
int ans=;
if((state[i-]&s[k])||(s[j]&s[k])) continue;
for(int l=;l<=cnt;++l){
if((state[i-]&s[l])||(s[j]&s[l])||(s[k]&s[l])) continue;
ans=std::max(ans,f[i-][k][l]);
}
f[i][j][k]=ans+w[j];
}
}
for(int i=;i<=cnt;++i)
for(int j=;j<=cnt;++j) Ans=std::max(Ans,f[n][i][j]);
printf("%d",Ans);
return ;
}