摘要："原题链接" $2 SAT$模板题。 对于有时间重叠的婚礼转换成$2 SAT$的命题形式连边，用$tarjan$找强连通分量并判断，确定方案即可。 然而一道模板题，我因为数组开小了调了一晚上。。。 阅读全文

摘要："原题链接" $2 SAT$模板题。 将$AND,OR,XOR$转换成$2 SAT$的命题形式连边，用$tarjan$求强连通分量并检验即可。 cpp include using namespace std; const int N = 2010; const int M = 4e6 + 10; i 阅读全文

摘要："原题链接" $2 SAT$模板 阅读全文