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