传送门：

思路：

先去掉只出现一次的变量，贪心地使出现的表达式为真

再去掉出现两次的且要求取值相同的变量，贪心地使两个表达式为真 

现在只剩下出现两次且要求取值不同的变量

把变量当作边，连接有它的两个表达式 

现在就是要给该图的边定向，使每个点都有入边（即每个表达式成立） 

构造，找到一个环，构造基环外向树即可 

另一种写法是用二分图匹配，思路要清晰好想一些，但是代码长一点，先留个坑

还是去掉只出现一次的变量和出现两次的且要求取值相同的变量

变量是二分图的一边，表达式是二分图的另一边，给变量向有它的两个表达式连边，因为只能使一个成立，所以就是求二分图最大匹配，数据范围较大，要用HK算法（然而还不会...）

/*先去掉只出现一次的变量，贪心地使出现的表达式为真再去掉出现两次的且要求取值相同的变量，贪心地使两个表达式为真 现在只剩下出现两次且要求取值不同的变量把变量当作边，连接有它的两个表达式 现在就是要给该图的边定向，使每个点都有入边（即每个表达式成立） 构造，找到一个环，构造基环外向树即可 */#include
    
     #include
     
      #include
      
       #include
       
        #define PI pair
        
         #define mp(a,b) make_pair(a,b)#define fi first#define se second#define pb(a) push_back(a)#define abs(a) ((a)>0?(a):-(a))const int maxn=200010;using namespace std;int col[maxn],n,m,rely[maxn];bool flag[maxn],bo[maxn];vector
         
          a[maxn],f[maxn];//n表达式，m变量,flag[i]表达式i是否已成立，bo[i]表示变量i（建图后的边）是否已用过 //rely[i]构造的基环外向树中哪条边指向该点（构造哪个变量使这个表达式成立,于是就可以求出变量的值） //a.fi变量的表达式，a.se使该表达式成立的取值 //f[i][j].fi i的第j条边连向的点，l[i][j].se i的第j条边对应的变量 bool dfs(int x){ flag[x]=1;//走到一个点就使与之相邻的一条边指向它，使之成立 for (int i=0;i