codeforces 272,273( Round #167)题解

div2 A:水题

div2B:水题，算一下就知道答案其实很小

div2C:水题，每次更新高度即可，也可单调栈

div2D:排列算完答案再除以2^K即可，每次ans%2==0时即ans/2

div2E:这个题其实不可能-1,但是没想到这一点不妨碍AC（T_T）二分图染色调整即可。

div1D:蒟蒻觉得这是好题，大牛们都说是TC上的原题，渣渣没做过。

首先，联通性质保证，如果同一行或同一列有2个黑的的话，他们必定相连，这是个很好的性质。进而我们可以推出下面的性质，先看每行最左面黑色的列号，一定是先非递增再非递减（可以只非递增或非递减）否则这一列就会有2个不相连的，矛盾。右侧同理。一点先非递减再非递增。于是，我们似乎找到了可以递推的角度。用f[j][k][l][r]表示取j到k列，之前最左最右列单调增减情况 ，左列1表示非递增，右1列表示非递减。于是又几种递推情况，比如，最左列，之前几行是非递增的，此行依旧可以非递增，也可非递减；之前几行非递减，此行必须非递减。右列同理，上代码：

#include<cstdio>//DP f[j][k][l][r]取j到k列，之前最左最右列单调增减情况  左1非递增 右1非递减 
#include<iostream>
#include<algorithm>
#include<vector> 
using namespace std;
const int N=155,md=1000000007; 
int f[N][N][2][2]; 
void add(int &a, int b) 
{
  a+=b;
  if(a>=md) a-=md;
}
int main()
{
    int i,j,k,l,r,n,m; 
    scanf("%d%d",&n,&m); 
    for(i=1;i<=m;++i)
     for(j=i;j<=m;++j)
      f[i][j][1][1]=1;//初始化
    int ans=0; 
    for(i=1;i<=n;++i)
    {
        long long cnt=0ll;
        for(j=1;j<=m;++j)
         for(k=1;k<=m;++k)
          for(l=0;l<=1;++l) 
           for(r=0;r<=1;++r) 
            cnt+=f[j][k][l][r];
        ans=(ans+cnt*(n-i+1))%md;     //有（n-i+1）个和前i行一样的（相当于前i行往下移） 
        for(j=1;j<=m-1;++j)
         for(k=j+1;k<=m;++k)
          for(r=0;r<=1;++r)
           {
                add(f[j+1][k][0][r],f[j][k][0][r]);       //之前最左递增，此行必递增 
                add(f[j+1][k][0][r],f[j][k][1][r]);       //之前最左列非递增，此行可以递增    
           } 
        for(j=1;j<=m;++j)
         for(k=m;k>=j+1;--k)
          for(l=0;l<=1;++l)
          {
                add(f[j][k-1][l][0],f[j][k][l][0]);       //之前最右递减，此行必递减 
                add(f[j][k-1][l][0],f[j][k][l][1]);       //之前最右非递减，此行可以递减 
          }   
        for(j=m;j>=2;--j)
         for(k=j;k<=m;++k)
          for(r=0;r<=1;++r)
           add(f[j-1][k][1][r],f[j][k][1][r]);            //之前最左非递增，此行仍可非递增
        for(j=m;j>=1;--j)
         for(k=j;k<=m+1;++k)
          for(l=0;l<=1;++l)
           add(f[j][k+1][l][1],f[j][k][l][1]);            //之前最右非递减，此行仍可非递减 
    }   
    printf("%d\n",ans); 
    return 0; 
}