UVA-1627（01背包+二分图）

题意：给一堆人，并且给出每个人认识的人，将这些人分为两组，使两个组的任何一个人都认识，并且使两个组的人数差距最小。

输入：n个人及n个人认识的人。

输出：两个组的人的数量，以及组内的人。

思路：首先要考虑哪些人能被分到一个组里，如果A和B不是互相认识，那么A和B就不能分到一个组，所以可以看成连通块，即DFS染色问题，如果A和B不认识，那么B就必须分到第二个组，和B不认识的人就必须重新分回1组，这样变成了二分图染色，当每个点没有可以固定的组时，对其进行分组，刚开始让他在一组，不认识的人在二组，如果某个点已经分在一组，而某次由要求他分到另一组，说明矛盾，没有解决方法。

于是建图的大体思路如下：

将两个不认识的人之间建一条边，得到几个连通块，遍历每个连通块，对每次连通块进行DFS染色，判断该图是不是二分图，如果不是二分图，则说明该图不符合题意，输出no solution即可，如果可以之后，便可以进行人数的查找。

查找的思路如下：

现在有n个连通块，每个连通块分为两部分，即一组或二组，每次两组都要分到相应的大组里边，这样大组的人数差距有两种可能，+diff或者是-diff，这样就像01背包，只不过每次是必须选，也没有了体积，其实更可以说成-11背包，即减或者加，然后设状态为前i个组内差距为j是否存在。

这个时候面临了一个新问题，就是有的时候权值会为负值&#x