摘要："题面" 对不起我又写了一个板题qvq 和洛谷那道模板题没区别。。。两样菜至少做一样即可 不过注意define和函数的区别！！！ cpp include include include include include include include include include define mp 阅读全文

摘要：题面 "loj" 哇真的是板子 如果a1, b1有矛盾 那么选a1就必须选b0，反之亦然 cpp include include include include include include include include define mp(x, y) make_pair(x, y) defin 阅读全文

摘要：这个东西原来你咕日报见过一次 学了一半咕掉了 没想到模拟出了一道www 那么就来填个坑好辽 那么2 SAT是什么？ "luogu模板题" 有n个布尔变量$x_1~x_n$，另有m个需要满足的条件，每个条件的形式都是“$x_i$为true/false或$x_j$为true/false”。比如“$x_1 阅读全文