【AT2336】Flags
链接:AT2336 Flags
(题意不解释了)
解法:2-sat + tarjan-scc + 线段树/分块
(话说2-sat这东西我读成二坐,zh大佬每次都要纠正我233333)
使用2-sat建模,将每个点iii拆为iii与i′i′i',题目转化为选点问题。一条边(u,v)(u,v)(u,v)表示若选择了uuu,则vvv必须被选择。这东西有啥用呢?由于输入的每对数要么必须选xxx...
原创
2018-08-11 00:42:33 ·
8179 阅读 ·
0 评论