2018年5月23日
POJ 3678 Katu Puzzle 2-SAT 强连通分量 tarjan
摘要： http://poj.org/problem?id=3678 给m条连接两个点的边，每条边有一个权值0或1，有一个运算方式and、or或xor，要求和这条边相连的两个点经过边上的运算后的结果是边的权值。问存不存在使所有边都符合条件的给点赋值的方法。 2-SAT的各种连法都有了。 1 #include 阅读全文
posted @ 2018-05-23 10:24 鲸头鹳 阅读(149) 评论(0) 推荐(0) 编辑