【bzoj1823】[JSOI2010]满汉全席 2-SAT
第一次写2-SAT,总结起来这个东西就是找到一些条件使得a成立b一定成立,这样的话如果a成立并且a’也成立,a’成立a也成立即这两个点在同一个强连通分量中,那么无解,反之就一定可以构造出一组解,所以这道题我们只要将两个条件必须满足其一转化为a’->b,b’->a然后跑一边tarjan就好了。#include<cstdio>
#include<cstdlib>
#include<ctime>
#inc
原创
2017-02-22 13:41:42 ·
383 阅读 ·
0 评论