【[GDOI2014]拯救莫莉斯】

可能我的状态比较鬼畜，应该没有人这么写

设\(dp[i][j][k]\)表示在第\(i\)行，放置油库的状态为\(j\)，实际上周围已经有油库或者本身有油库的状态为\(k\)的时候的最小花费

由于我们是按照行来\(dp\)的，所以这里的周围有油库只有三种可能

1. 上一行的这个位置有油库

2. 这个位置本身有油库

3. 同一行上相邻位置有油库

显然如果上一行的某一个状态里，有一些位置周围没有油库，那么就说明接下来这一行的对应位置就必须都放上油库，其余剩下的位置可以放油库也可以不放

于是我们可以枚举子集进行转移

代码

#include<iostream>
#include<cstring>
#include<cstdio>
#define re register
#define lowbit(x) ((x)&(-x))
#define min std::min
int n,m;
int map[51][51];
int dp[51][129][129],s[51][129][129];
int val[51][129],num[129];
inline int read()
{
    char c=getchar();
    int x=0;
    while(c<'0'||c>'9') c=getchar();
    while(c>='0'&&c<='9')
        x=(x<<3)+(x<<1)+c-48,c=getchar();
    return x;
}
inline int logg(int x)
{
    int tot=0;
    while(x) tot++,x>>=1;
    return tot;
}
inline int cnt(int x)
{
    int tot=0;
    while(x) tot++,x-=lowbit(x);
    return tot;
}
int M;
inline int solve(int x)
{
    return M&(((x<<1)|x)|((x>>1)|x));
}
inline void merge(int a,int b,int c,int v,int t,int x,int y,int z)
{
    if(dp[a][b][c]+v>dp[x][y][z]) return;
    if(dp[a][b][c]+v<dp[x][y][z])
    {
        dp[x][y][z]=dp[a][b][c]+v;
        s[x][y][z]=s[a][b][c]+t;
        return;
    }
    s[x][y][z]=min(s[x][y][z],s[a][b][c]+t);
}
int main()
{
    n=read(),m=read();
    for(re int i=1;i<=n;i++)
        for(re int j=1;j<=m;j++)
            map[i][j]=read();
    M=(1<<m)-1;
    for(re int i=1;i<=n;i++)
        for(re int j=1;j<=M;j++)
            val[i][j]=val[i][j-lowbit(j)]+map[i][logg(lowbit(j))];
    for(re int i=1;i<=M;i++) num[i]=cnt(i);
    memset(dp,20,sizeof(dp));
    for(re int i=0;i<=M;i++)
        dp[1][i][solve(i)]=min(dp[1][i][solve(i)],val[1][i]),s[1][i][solve(i)]=num[i];
    for(re int i=2;i<=n;i++)
    {
        for(re int j=0;j<=M;j++)
        {
            int p=M^j;
            for(re int k=p;k;k=(k-1)&p)
            {
                if(dp[i-1][j][k|j]==336860180) continue;
                int d=k|j,s=M^d;
                for(re int t=d;t;t=(t-1)&d)
                    merge(i-1,j,d,val[i][s]+val[i][t],num[s]+num[t],i,t|s,j|solve(t)|solve(s));
                merge(i-1,j,d,val[i][s],num[s],i,s,j|solve(s));
            }
            for(re int k=0;k>-1;k--)
            {
                if(dp[i-1][j][k|j]==336860180) continue;
                int d=k|j,s=M^d;
                for(re int t=d;t;t=(t-1)&d)
                    merge(i-1,j,d,val[i][s]+val[i][t],num[s]+num[t],i,t|s,j|solve(t)|solve(s));
                merge(i-1,j,d,val[i][s],num[s],i,s,j|solve(s));
            }
        }
    }
    int ans=999999999;
    for(re int i=0;i<=M;i++)
        ans=min(ans,dp[n][i][M]);
    int T=999999999;
    for(re int i=0;i<=M;i++)
    if(dp[n][i][M]==ans) T=min(T,s[n][i][M]);
    printf("%d %d\n",T,ans);
    return 0;
}