摘要：
传送门 分析 我们发现这两类关系可以写成b-a<=L和b-a>=D两种形式，所以我们可以得到这两种的连边策略分别是a向b连一条权值为L的边和b向a连一条权值为-D的边。然后我们跑最短路即可。注意要单独判一下负环。 代码 阅读全文
摘要：
传送门 分析 我们设S[i]表示到第i个数为止一共有多少个数在集合Z之中，最终答案就是S[max]-S[min]的最小值。所以我们不难发现对于每一个[ai,bi]都表示S[bi]-S[ai-1]>=ci，而我们又知道0<=S[i]-S[i-1]<=1，所以建图策略便是每一个ai向bi连一条权值为ci 阅读全文
摘要：
定义：如果一个系统由n个变量和m个约束条件组成，形成m个形如ai-aj≤k的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统。 我们知道差分约束系统是借助于最短路实现的，那我们在知道了定义之后就来看一下如何将几个不等式放到图上。 假设我们有一个不等式a-b<=c，那我们可以将它变为a<= 阅读全文