摘要: 【题目大意】 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。 考虑一个约束满足问题的简化版本:假设x1,x2,x3,…代表程序中出现的变量,给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件,请判定是否可以分别为每一个变量赋予恰当的值,使得上述所有约束条件同时被满足 阅读全文
posted @ 2016-07-06 21:43 iiyiyi 阅读(221) 评论(0) 推荐(0) 编辑
摘要: 【题目大意】 有n个工厂编号分别为1-n,第i个仓库库存量为p[i],距离第1个仓库的距离为x[i](x[1]=0)。在每一个工厂建立一个仓库费用为c[i],没有建立仓库的工厂只能往编号大于它的仓库运送,费用为每单位库存量单位距离费用为1。问最少的总费用?(建仓库费用+运送费用) 【思路】 注意一下 阅读全文
posted @ 2016-07-06 13:40 iiyiyi 阅读(149) 评论(0) 推荐(0) 编辑
摘要: 阅读全文
posted @ 2016-07-06 10:34 iiyiyi 阅读(189) 评论(0) 推荐(0) 编辑
摘要: 【题目大意】 对于给定的整数a,b和d,有多少正整数对x,y,满足x<=a,y<=b,并且gcd(x,y)=d。 【思路】 前面的思路同HDU1695 不过不同的是这道题中(a,b)和(b,a)算作同一种情况,不需要再减去重复的情况。 这道题运用了分块加快效率。我们可以注意到是相同的,b'(b'/i 阅读全文
posted @ 2016-07-06 09:34 iiyiyi 阅读(212) 评论(0) 推荐(0) 编辑