摘要： [关键字]：2-sat[题目大意]：把n个数由s1、s2两个点连接，有些店不能连在同一个点上，有些点必须连在同一个点上，问罪大边最小为多少，无解输出-1//=====================================================================================================[分析]：其实一部分很好想到：A为连在s1A’为连在s2，由此可构建2-sat图。但是我在这里犯了个错误：因该连A->B'\A'->B\B->A'\B'->A（只是以不能在同一个点的情况 阅读全文