图论专题 - 解题报告 - N

想起来我觉得这题算是过题数人少里最好做的了（题解出来以后）。基本上照着题解的思路全写出来就过了。
就是根据状态压缩的转移关系建图，连上自己总共不超过16个人，所以枚举的上限值是start = (1<<16)-1，我们枚举目标是从上限转移到goal = 0。两重循环找到对应的关系看起来复杂度很高，但是因为对应的关系很苛刻，所以其实中途能减去很多情况的。

首先，当前状态需要合法：
根据约束条件：“成员中存在许多CP关系，这些CP在处于
相同段位，并且洁姐姐不在该段位时，他们就会悄悄的跑去双排”
可知，sta为非法条件的充要条件为：
（1） sta的末位为0
（2） 对某一对关系x和y，sta的第x位和第y位同时为1
（3） max - sta为非法状态
其中，（2)提到的某一对关系只要满足就算非法，所以我们需要循环与每对关系比对（不超过15次关系），提前处理出只有该对关系存在时的二进制的代表并用数组cp[ ]存储，只要当前状态与cp或运算后的答案还是等于原答案，就说明是存在这样的情况的，而这些情况我们甚至可以提前预处理出来。
这部分的判断函数就很好写。

void init()
{
    all = (1 << (n +1)) - 1;					
    for (int i = 0; i <= all; i++) ok[i] = 1;					//首先所有情况都是可行的
    for (int i = 0; i <= all; i++)