【图论】2018国庆三校联考D5T2

分析： 题意非常丑陋。。。简化出来就一句话：每个点有选中、未选中两种状态，现在给出一些矛盾关系，要求加入尽可能少的矛盾关系，使得没有合法方案。 如此2sat的模型，显然需要2sat的连边方式。。。然后直接枚举每个位置选、不选是否合法即可。若不选合法，则考虑其练的边是否有一个选择的点，如果有则可以用1的代价使得这个点不选非法。具体的情况见代码： #include<cstdio> #include<c

>>阅读原文<<