BZOJ 3495 [2-SAT]
DescriptionDescriptionkk个国家,nn个城市,mm条边。要求每个国家有且仅有一个首都,每条边两端的城市至少要有一个首都。判断是否有解, 有解输出“TAK”,无解输出”NIE”。1≤k,n,m≤10000001≤k, n ,m≤1000000。SolutionSolution 经典二元关系 2-SAT 的模型,但是关系数是 O(n 2 ) 的,不 能承受。 对于一
原创
2017-04-17 21:07:33 ·
960 阅读 ·
0 评论