P5782[POI2001]和平委员会大意:n个集合每个集合有两个点i,i+1一共2n个点每个集合选一个点到另一个空集S里面有m个约束条件i和j不能在一起求可行的集合S思路：2-sat对ij而言建图(i,j邻居)和(j，i的邻居),邻居就是他们所属的集合的另一个点然后判断同同一个集

视频链接：D362-SATP5782[POI2001]和平委员会_哔哩哔哩_bilibili   P5782[POI2001]和平委员会-洛谷|计算机科学教育新生态(luogu.com.cn)//2-SAT+tarjanO(n+m)#include<iostream>#include<cstring>#include<algorithm>usingnamespacestd;const

P5782[POI2001]和平委员会题目链接思路：因为\(u\)和\(v\)矛盾，即\(\lnot(u\landv)\)。转化成\(\lnotu\lor\lnotv\)。那么根据\(2-SAT\)标准处理方式。转化为：\((u\rightarrow\lnotv)\land(v\rightarrow\lnotu)\)。这里有个小技巧：我们将下标-1，这样我