博弈论+状压+记忆化深搜

题目链接

https://ac.nowcoder.com/acm/contest/5944/K

题意

二维平面 n个点，每次可以去掉一条直线上的任意多个点，两个人都足够聪明，拿到最后一个点的人获胜，求谁将获胜（n<=15）

思路

可以通过状压来保存存在哪些点，判断两个状态之间是否可以通过一次去直线操作得到，再通过递归判断下一个状态的输赢状况来决定这个状态的输赢。
就比如说初始状态
111011
下一步状态
100001
通过XOR运算得知
去除了2，3，5三个点，判断三个点是否为一条直线，假如是一条直线，则合法
再判断100001的输赢状况
就比如这么说：假如我是先手，我知道我这一步怎么下，可以让对方处于输的状态，我就这么下，他就必输，就像取石子游戏一样。假如我这一步操作后，对方处于这么下都输的地步，我就这么下。（当然这也是通过递归实现的）
其中还有个遍历子集的操作
具体看代码：

代码

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
ll x[30],y[30],X[30],Y[30],f[100010];
ll a;
bool check(ll bx,ll by)
{
    ll nn=0;
    ll bit=bx^by;
    for(ll i=0;i<a;i++)
      if((bit>>i)&1)X[++nn]=x[i],Y[nn]=y[i];
    if(nn<=2)return true;
    for(ll i=3;i<=nn;i++)
      if((X[i]-X[i-1])*(Y[2]-Y[1])!=(X[2]-X[1])*(Y[i]-Y[i-1]))return false;
    return true;
}
ll dfs(ll cur)
{
   if(cur==0)return 0;
 if(f[cur]!=-1)return f[cur];
    if(check(cur,0))
        return f[cur]=1;

    for(ll nxt=cur;nxt;nxt=(nxt-1)&cur)
    {
        if(nxt==cur)
            continue;

        if(check(cur,nxt)==1&&dfs(nxt)==0)
            return f[cur]=1;
    }
    return f[cur]=0;


}
int main()
{
    ll b,c,d,e,g,h;
     memset(f,-1,sizeof(f));
    cin>>a;
    ll m =1<<a;

    for(ll i=0;i<a;i++)
        cin>>x[i]>>y[i];
    if(dfs(m-1))
        cout<<"zyh";
    else
        cout<<"fzj";
    return 0;
}