2015年7月11日
BZOJ3495 : PA2010 Riddle
摘要： 2-SAT。建立n个变量，其中第i个变量表示第i个城市是否是首都。对于边(x,y)，连边x->y'，y->x'。对于一个有y个城市的国家，新建2y个变量，分别表示前i个城市和后i个城市中是否有首都。然后求出SCC，判断是否存在合法的方案即可，时间复杂度$O(n+m)$。#includeconst i... 阅读全文
posted @ 2015-07-11 17:44 Claris 阅读(730) 评论(0) 推荐(0)