几百个教授的专栏

题目链接：http://poj.org/problem?id=3159思路：题目意思很简单，都与给定的条件dist[b]-dist[a]b直接连边，边权值为c,从而题目转化为图上求1->n的最短路，看了一下数据，30000个点，150000条边，果断用Dijkstra+priority_queue,1300MS+险过，orz. 1 #include 2 #include 3 #

这也是我第一次碰到差分约束的题。。。好吧。。。赶紧学一下吧。。差分约束系统：假设有这样一组不等式：x1-x2x1-x5x2-x5x3-x1x4-x1x4-x3。。。。每个不等式都是有两个未知数的差小于等于某个常数（大于等于也可以，只要两边同乘以-1就可以了），这样的不等式组就称作差分约束系统（这个不等式组要么无解，要么有无数组解，因为若（x1,x2,x3

要熟练应用差分约束还是很困难的。。。题目的大意是：在每个区间[ai,bi]上至少选择ci个元素，构成一个集合S，使集合S中的元素最少；不妨设f(a)为区间[0,a]上的选择的元素个数；那么，由题意有f(b)-f(a-1)>=c,并且0从而建图；View Code 1 #include 2 #include 3 #include 4 const int N=

题目链接：http://acm.uestc.edu.cn/problem.php?pid=1511思路：我们可以等到这样的5个关系式：k=1:dsit[a]-dist[b]>=0&&dist[b]-dist[a]>=0k=2:dist[a]-dist[b]k=3:dist[a]-dist[b]>=0;k=4:dist[a]-dist[b]>=1;k=5:dist[a]-di

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1534思路：设s[i]表示工作i的开始时间，v[i]表示需要工作的时间，则完成时间为s[i]+v[i].于是可以列出下列不等式：FAS  a b :b开始之后a结束，s[a]+v[a]>=s[b];FAF a b  :b结束之后a结束，s[a]+v[a]>=s[b]+v[b];ASF a

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1531差分约束的题之前也碰到过，刚好最近正在进行图论专题的训练，就拿来做一做。①：对于差分不等式，a - b ②：对于不等式 a - b >= c ，建一条 b 到 a 的权值为 c 的边，求的是最长路，得到的是最小值③：存在负环的话是无解。④：求不出最短路（dist[ ]没有得到更新）