a1035719430的博客

一堆基础只是略过强联通分量 （trajan算法） 略过bzoj1123只有割点会影响 割点2-SAT一个由n个bool值组成的序列{a}，给出一些限制关系，比如a[x] ^ a[y] = 1, a[x] & a[y] = 0等，要求确定{a}的值，使其满足所有限制关系。每种限制关系只限制两个元素 将每个a拆成两个点，分别表示0和1 图中的一条边(x,0)...