一道差分约束系统的经典题。 题意：N个人，M个关系式，每个关系式给出ai,bi,ci,使得bi-ai<=ci（ai,bi代表人的编号，ci代表糖果数）， 求第N个人在不打破所有关系式的前提下，最多能拿多少糖果。 分析：可以将每个人视作点，每个关系式视作边建图。对不等式bi-ai<=ci，将ai 视作 ...
分类：
其他好文 时间：
2018-07-14 23:04:02
阅读次数：
214
队列有毒。。。 当然是差分约束了！ 两个条件：$a_r a_{l 1} \geq c$ 和 $0 \geq a_i a_{i 1} \leq 1$ 这里统一化为大于等于，成为最长路。 直接求出最长路即可。 PS：队列抽风了。。。有STL的队列才过了。我是不是得退役了。。。 代码： ...
分类：
其他好文 时间：
2018-07-08 15:36:06
阅读次数：
122
第一道差分约束的题目，感觉有点懵。 差分约束有一点类似于拓扑排序建图的思想。 先给出解题套路： 形如$a \geq b + c$的满足一种最长路的性质，所以可以使用最长路解决，可以解决求最小的问题。 形如$a \leq b + c$的满足最短路的性质，使用最短路算法可以解决，可以解决求最大的问题。 ...
分类：
其他好文 时间：
2018-07-08 01:04:34
阅读次数：
149
题目：http://poj.org/problem?id=1201 差分约束裸题； 设 s[i] 表示到 i 选了数的个数前缀和； 根据题意，可以建立以下四个限制关系： s[bi] >= s[ai-1] + ci ( 1 <= i <= n) s[i] >= s[i-1] + 0 ( 1 <= i ...
分类：
其他好文 时间：
2018-07-07 22:28:43
阅读次数：
147
题目：http://poj.openjudge.cn/campus2018/A 有正规的差分约束做法，用到矩阵转置等等。 但也有简单(?)的dp做法。 有一个结论(?)：一定要么在一天一点也不选，要么在一天选了7个小时。 于是dp[ i ]表示第 i 天选了7个小时、之前合法 的方案数。可以从i-1 ...
分类：
其他好文 时间：
2018-07-07 20:34:09
阅读次数：
198
题目：http://poj.openjudge.cn/practice/C18A/ 据说正解是差分约束，转化的过程还要用到标准型、对偶型什么的知识，暂时还不太懂... 但也有贪心DP做法，有个结论：一个点要么没有，要么有7个小时(但不太会证明...)； 然后就DP即可。 代码如下： ...
分类：
其他好文 时间：
2018-07-07 17:49:35
阅读次数：
164
"P1993 小K的农场" 这个题，涉及到的知识点是差分约束。 差分约束，是用来判断不等式是否有解集和求出一组特解的一种方法。 具体是使用最短（长）路算法。 观察最短路算法，有一个类似与三角形三边关系的不等式。 $$dis[a]+weight =dis[b]$$ 其中a与b之间直接连了一条边权为we ...
分类：
其他好文 时间：
2018-07-01 20:26:46
阅读次数：
159
类型：给出一些形如a?b<=k的不等式（或a?b>=k或a?b<k或a?b>k等），问是否有解【是否有负环】或求差的极值【最短/长路径】。例子：b?a<=k1，c?b<=k2，c?a<=k3。将a，b，c转换为节点；k1，k2，k3转换为边权；减数指向被减数，形成一个有向图： 由题可得（b?a） + ...
分类：
其他好文 时间：
2018-06-21 00:08:21
阅读次数：
165
POJ 1364 题解：最短路式子：d[v]<=d[u]+w 式子1：sum[a+b+1]?sum[a]>c — sum[a]<=sum[a+b+1]?c?1 — (a+b+1,a) ?c?1 式子2：sum[a+b+1]?sum[a]<c — sum[a+b+1]<=sum[a]+c?1 — (a ...
分类：
其他好文 时间：
2018-06-20 21:13:01
阅读次数：
164
差分约束裸题，用了比较蠢的方法，先dfs_spfa判负环，再bfs_spfa跑最短路 注意到“奶牛排在队伍中的顺序和它们的编号是相同的”，所以\\( d_i d_{i 1} =0 \\),连(i,i 1,0)；然后对于\\( d_i d_j=D d_j d_i include include inc ...
分类：
其他好文 时间：
2018-06-16 22:36:33
阅读次数：
228
