摘要：
[题意] N个布尔变量，M个AND\OR\XOR约束关系，判断是否能确定这N个变量的值使得其满足所有约束条件.[分析]好题，加深了对2-SAT合取式和约束的理解。每种约束关系连的边：AND 结果为1：建边 ~x->x,~y->y （两个数必须全为1）AND 结果为0：建边 y->~x,x->~y （... 阅读全文
posted @ 2013-06-12 21:43
AbandonZHANG
阅读(111)
评论(0)
推荐(0)
摘要：
[题意] N个布尔变量，M个AND\OR\XOR约束关系，判断是否能确定这N个变量的值使得其满足所有约束条件.[分析]好题，加深了对2-SAT合取式和约束的理解。每种约束关系连的边：AND 结果为1：建边 ~x->x,~y->y （两个数必须全为1）AND 结果为0：建边 y->~x,x->~y （... 阅读全文
posted @ 2013-06-12 21:43
AbandonZHANG
阅读(119)
评论(0)
推荐(0)
摘要：
题意：给定一个有向图，问是否对于任意给定的两个点x，y，满足以下两个条件之一： x能到达y 或者y能到达x;虽然本题是求单连通的，但是我们需要先求强连通分量，因为，强连通分量中存在双向路径，因此可以缩点，缩点后就好处理多了。如果要满足题意，缩点后的树必须是一条链，而且所有边的方向都是一样的，如果出现... 阅读全文
posted @ 2013-06-12 12:23
AbandonZHANG
阅读(145)
评论(0)
推荐(0)
摘要：
题意：给定一个有向图，问是否对于任意给定的两个点x，y，满足以下两个条件之一： x能到达y 或者y能到达x;虽然本题是求单连通的，但是我们需要先求强连通分量，因为，强连通分量中存在双向路径，因此可以缩点，缩点后就好处理多了。如果要满足题意，缩点后的树必须是一条链，而且所有边的方向都是一样的，如果出现... 阅读全文
posted @ 2013-06-12 12:23
AbandonZHANG
阅读(132)
评论(0)
推荐(0)
浙公网安备 33010602011771号