摘要：
"题目" 解法 ~~2 SAT板子题~~ 如果没有x这个字符的话，问题变成每个点都有两种选法，有一些限制，显然是个2 SAT问题，设拆出来的两个点分别为$i$和$i'$，则对于限制$x y$，连边$(x,y),(y',x')$，跑tarjan即可（2 SAT基操嘛。） 即使现在有了x这个字符，我们也 阅读全文
摘要：
题意 一个图是平面图当且仅当所有的边两两不相交（端点除外），现在给定一个带环的图，判定它是不是平面图；多组数据 思路 考虑不在环上的边，连接两点的边无非只有两种连法，走环里面或外面，两条边如果可能会有相交部分，就只能一个走外面一个走里面，这显然可以是一个2 SAT问题 将边当作节点，一条边两个点，分 阅读全文