UVA1146 Now or later
2-SAT问题。
详见:http://blog.csdn.net/qhpeklh5959/article/details/8991949
#include
#include
#include
#include
#include
using namespace std;
int dfn[4040],low[4040],f[4040],ceng[4040];
vector q[4040]
原创
2013-07-18 19:18:39 ·
554 阅读 ·
0 评论