- 2024-08-15【2-sat】P5782 [POI2001] 和平委员会
P5782[POI2001]和平委员会大意:n个集合每个集合有两个点i,i+1一共2n个点每个集合选一个点到另一个空集S里面有m个约束条件i和j不能在一起求可行的集合S思路:2-sat对ij而言建图(i,j邻居)和(j,i的邻居),邻居就是他们所属的集合的另一个点然后判断同同一个集
- 2024-08-03D36 2-SAT P5782 [POI2001] 和平委员会
视频链接:D362-SATP5782[POI2001]和平委员会_哔哩哔哩_bilibili P5782[POI2001]和平委员会-洛谷|计算机科学教育新生态(luogu.com.cn)//2-SAT+tarjanO(n+m)#include<iostream>#include<cstring>#include<algorithm>usingnamespacestd;const
- 2024-05-19P5782 [POI2001] 和平委员会
P5782[POI2001]和平委员会题目链接思路:因为\(u\)和\(v\)矛盾,即\(\lnot(u\landv)\)。转化成\(\lnotu\lor\lnotv\)。那么根据\(2-SAT\)标准处理方式。转化为:\((u\rightarrow\lnotv)\land(v\rightarrow\lnotu)\)。这里有个小技巧:我们将下标-1,这样我