CF568C New Language 2-SAT
CF568C New Language 2-SAT
题意
分析:
我之前可能学了个假的2-SAT,我一直不知道缩完点之后还要DFS
对于这个题按照要求建好图之后
tips:对于 1 v 2 c1\ v\ 2\ c1 v 2 c 我们需要建两条边,1→2+n1 \to 2+n1→2+n 和 $ 2 \to 1+n $ 表示 1 选 vvv 时 2 必须选 ccc,2选 ccc 时1只能选 ccc
我们暴力从后向前枚举更改一个位置使得字典序
原创
2020-10-30 22:28:39 ·
164 阅读 ·
0 评论