Jzoj4437 线性代数与逻辑

不要被标题迷惑了，这是个图论题目。

我们发现，若Ai,j=1那么显然Xi,j=1，所以y[i]!=y[j]

这时候就变成了一个类似二分图的图，若Ai,j=1我们将节点i,j连一条边表示i和j不能相等

我们先对每个节点i拆点成i和i+n，跑一次2sat，若i和i+n可以互达，那么显然无解，否则我们要将所有的点分入两个集合并且使得两个集合大小的乘积尽可能大

这时候就可以对于每个节点i，dfs一次，将这个节点i加入集合0或者集合1中元素较少那个，那么显然，与i连边的所有的j都要加入另一个，而所有与j相连的节点k。。。以此类推，直到每个节点都被分入集合0或者集合1

为什么上述方法是可行的？因为如果我们发现这个图是一个二分图，那么显然一次分配过程中，分配进入集合0和集合1的点的个数差不会超过一，所以集合0和集合1

那么答案就是两个集合大小的乘积

#include<stdio.h>
#include<string.h>
#include<vector>