CSUOJ 1843 Jumping Monkey BFS，状态压缩

        CSUOJ 1843 Jumping Monkey

         题目大意：有一个n个点的图，对手可以在图上的任意一个点放下一个物品，你每一次有机会查看一个点上是否存在物品，假若你查看之后点内没有物品，则对手必须把物品放在任意一个和这个点相邻的点内，问是否存在一定能够找出物品的策略，求出字典序最小，否则impossible

        Sample Input：

2  1
0  1


3  3
0  1
1  2
2  0


4  3
0  1
2  3
1  3


0  0

        Sample Output：

2:  0  0
Impossible
4:  1  3  3  1

        思路：一开始以为是博弈论求必胜策略OTZ，结果是个BFS呀！因为只有21个点，每一个点只有有或者没有两个状态，因此是一个长度为21的二进制串。1代表可能存在，一开始的状态就是11111111.....，0代表确定不存在。每一次可以查看一个点，也就是说可以确定一个点为0，然后剩余的1转化到相邻的点上去。要注意一点的是不一定检查值为1的点，值为0的点也是可以检查的。实际上就是一个状态图，你处在全是1的点，要到0点上去，求最短路。

        需要两个数组，一个数组记录一个状态的上一个状态，另外一个数组记录上一个状态对了哪个点检查。

        其实考虑过用优先队列，但是还需要一个数组记录走了多少步，一直刷到优先队列为空的时候，优先队列的优先级是1越少越高。感觉这样这样没BFS好写，放弃了

#include <iostream>
#include <cstring>
#include <string>
#include <queue>

using namespace std;

queue<int> p;
int fa[1<<22],n,m,x,y,shoot[1<<22];
vector<int> v[22],ans;

int main(){
    while(cin>>n>>m&&n+m){
        for(int i=0;i<m;++i){
            cin>>x>>y;
            v[x].push_back(y);
            v[y].push_back(x);
        }

        int te;
        p.push((1<<n)-1);
        while(!p.empty()){
            te=p.front();p.pop();
            if(te==0)
                break;
            for(int i=0,s=0;i<n;++i,s=0){
                for(int j=0;j<n;++j)
                if(j!=i&&(te&(1<<j)))
                for(int k=0;k<v[j].size();++k)
                s|=(1<<v[j][k]);

                if(fa[s])
                    continue;
                fa[s]=te;
                shoot[s]=i;
                p.push(s);
            }
        }

        if(fa[0]){
            int now=0;
            while(now!=((1<<n)-1))
                ans.push_back(shoot[now]),now=fa[now];
            cout<<ans.size()<<":";
            for(int i=ans.size()-1;i>=0;--i)
                cout<<' '<<ans[i];
            cout<<endl;
        }else
            cout<<"Impossible\n";

        ans.clear();
        memset(fa,0,sizeof(int)*(1<<n));
        for(int i=0;i<n;++i)
            v[i].clear();
        while(!p.empty())
            p.pop();
    }
}