bzoj千题计划240：bzoj3900: 交换茸角

http://www.lydsy.com/JudgeOnline/problem.php?id=3900

dp[i]表示让状态为i的鹿满足要求的最少交换次数

不能枚举两头鹿交换，因为一头鹿可能交换多次后转移到下一个状态

那就枚举子集 dp[i]=min { dp[j]+dp[j^i] }

初始化：将i这个状态上的麋鹿的角从小到大排序后，若相邻的i和i+1满足 h[i+1]-h[i]<=c，则dp[i]=鹿的个数-1，否则dp[i]=inf

因为若有t只鹿，在确保一定能通过交换满足要求的情况下，直接把它需要的那个换过来即可

#include<cstdio>
#include<cstring>
#include<algorithm>

using namespace std;

int a[],b[]; 

int dp[<<];

int tmp[];

int main()
{
    int n,m;
    scanf("%d%d",&n,&m);
    for(int i=;i<=n;++i) scanf("%d%d",&a[i],&b[i]);
    memset(dp,,sizeof(dp));
    int S=<<n;
    int tot; bool tag;
    for(int i=;i<S;++i)
    {
         tot=;
         tag=false;
         for(int j=;j<=n;++j)
             if(i&(<<j-))
            {
                 if(abs(a[j]-b[j])>m) tag=true;
                 tmp[++tot]=a[j],tmp[++tot]=b[j];
            }
         if(!tag) { dp[i]=; continue; }
         sort(tmp+,tmp+tot+);
         for(int j=;j<=tot;j+=)
             if(tmp[j+]-tmp[j]>m) { tag=false; break; }
         if(tag) dp[i]=tot/-;
    }
    for(int s=;s<S;++s)
        for(int t=(s-)&s;t;t=(t-)&s)
            dp[s]=min(dp[s],dp[t]+dp[s^t]);
    if(dp[S-]>=n) printf("-1");
    else printf("%d",dp[S-]);
}