洛谷P2831 愤怒的小鸟 （NOIp2016）

状压DP

题目传送门

算法应该很好想吧。。。n那么小。。。不过考场上因为紧张想不到也正常。
我没考过不知道
网上DFS大佬凭借着强大的剪枝优化能力成功地A掉了此题，而我这个搜索菜鸡只能老老实实打DP。

先预处理出当选择了$i,j$两只猪时与$i,j$处于同一函数的猪的状态($cp[i][j]$)，解方程即可。
$f[i]$表示状态为$i$时所需鸟的数量。

可以得到转移方程：

f[(1<<k-1)|i]=min(f[(1<<k-1)|i],f[i]+1);

k表示最后一个的没打的猪的位置。
然后我们从k到n枚举，来更新$f[i|cp[k][k->n]$。

for (int j=k+1;j<=n;j++)
    f[i|cp[k][j]]=min(f[i|cp[k][j]],f[i]+1);

然后答案就是f[1 << <script type="math/tex" id="MathJax-Element-394"><<</script>n-1]。

代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
#define MAXN 20
#define eps 1e-7
using namespace std;
int t,n,m;
int f[1<<MAXN],cp[MAXN+5][MAXN+5];
double w[MAXN+5][2];
double fabs(double x){
    return max(x,-x);
}
int main(){
    scanf("%d",&t);
    while (t--){
        scanf("%d%d",&n,&m);
        for (int i=1;i<=n;i++)
            scanf("%lf%lf",&w[i][0],&w[i][1]);
        for (int i=1;i<n;i++)
            for (int j=i+1;j<=n;j++){
                double x1=w[i][0],x2=w[j][0],yy=w[i][1],y2=w[j][1];
                double a=(yy*x2-y2*x1)/(x1*x2*(x1-x2)),b=(yy*x2*x2-y2*x1*x1)/(x1*x2*(x2-x1));
                cp[i][j]=0;
                if (a<0)
                    for (int k=1;k<=n;k++)
                        if (fabs(w[k][0]*w[k][0]*a+w[k][0]*b-w[k][1])<eps)
                            cp[i][j]|=(1<<k-1);
            }
        memset(f,0x3f,sizeof(f));
        f[0]=0;
        for (int i=0;i<(1<<n);i++){
            int k=1;
            while ((i>>(k-1))&1) k++;
            f[(1<<k-1)|i]=min(f[(1<<k-1)|i],f[i]+1);
            for (int j=k+1;j<=n;j++)
                f[i|cp[k][j]]=min(f[i|cp[k][j]],f[i]+1);
        }
        printf("%d\n",f[(1<<n)-1]);
    }
    return 0;
}