POJ3678 Katu Puzzle (2-SAT检验)
这题是2-SAT的经典题,鉴于n*m挺大的,所以就用强连通缩点的方式检验。3种逻辑操作很简单,建边不难,注意对称性。如果碰到 A && B==1 -> A=B=1 建立边是 从 ~A到A,从~B到B 连一条的。 其他的注意细节就好了。#include<iostream>#include<string.h>#include<string>#include<algorithm>#includ
原创
2016-08-27 23:48:56 ·
435 阅读 ·
0 评论