摘要:
题目大意:一个有向图有N个点,M条边。现在要求删掉最少的点,使得不存在从1号点到N号点的长度<=K的路径(不能直接删掉1号点或N号点)。求最少删除多少点。PS:边是有向的思路:费用流+拆点(话说dfs貌似也能过,毕竟点那么少)把每个点拆成两个点,a1和a2,中间连一条容量为1,费用为0的边(注意起点和终点的处理)对于每一条数据中的有向边a-->b,连一条a2-->b1的容量为INF,费用为1的边剩下的就是跑费用流啦~当最短路大于K停止PS:这个算法是错的,请看这组数据10 11 51 2 2 33 44 55 102 91 66 77 88 99 10图:正解应该是迭代加深搜 阅读全文
摘要:
题意:给出n个数和m组数对应的位运算,断定n个数是否满足m组位运算很久以前就听说2-SAT了,只是最近才花时间看了一下,觉得这个东西真是神奇。对于2-SAT只能把1个点拆成2个点,对于K-SAT问题,貌似是NP问题。。我也不太清楚,反正如果你拆成2个以上的点,那就不要用2-SAT解了。前言:我只是谈一下我的体会,没有证明一定正确,但也许能启发你的思路。2-SAT主要就是处理“矛盾”与“必然”的一种方法,其算法是应用了强连通a1表示a取1,a0表示a取0,b0,b1同理对于矛盾:举例说明 如果a AND b=1,如果我们取a0,这样肯定是无解的,那我们就连一条a0-->a1的边,表示取a0 阅读全文