看出不等式之后，通过移项套模型 大概不等式模型是这样的：$x_v include include include include using namespace std; define debug(x) cerr dist[x] + w) { dist[v] = dist[x] + w; cnt[v ...
分类：
其他好文 时间：
2018-10-14 16:26:36
阅读次数：
106
http://poj.org/problem?id=1201 题意是给你n个区间，每个区间有一个边界[a,b],以及一个整数c 要满足每个区间[a,b]都至少有c个元素 解题方法就是构造差分约束公式 (a-1)-b<=-c 建立一条边从b到a-1，权值为-c 然后还要加上两个条件 (i+1)-i>= ...
分类：
其他好文 时间：
2018-10-13 19:55:35
阅读次数：
136
差分约束的定义： 差分约束系统是一种特殊的一元一次不等式组，约束条件就是一些以两个变量做差的形式构成，形如Xi-Xj<=Ck（Ck为常数，是一个已知的量），我们所需要求一组解，使得所有的约束条件的不等式都得到满足。 ...
分类：
其他好文 时间：
2018-10-12 23:56:01
阅读次数：
206
差分约束复习题。 这道题给了好多个限制，我们可以把限制抽象成图论问题。 那些先决条件的，一般抽象为toposort还是DAG中的dp等问题求解。 而像这道题一样的一大堆不等式和等式，我们使用差分约束。 首先注意一下：差分约束有两种类型！ 一种类似于$a[v] \leq a[u] + b$，这种对于$ ...
分类：
其他好文 时间：
2018-10-10 23:53:21
阅读次数：
166
容易想到二分答案。问题变为判断是否所有条件都被满足，可以发现这是很多变量间的相对关系，取个log之后就是经典的差分约束模型了。特殊的地方在于某些人的分数已被给定，从每个人开始跑一遍最短路判断一下是否能满足关系即可。 ...
分类：
其他好文 时间：
2018-10-09 21:43:03
阅读次数：
148
来自 https://blog.csdn.net/my_sunshine26/article/details/72849441 差分约束系统 一、概念 如果一个系统由n个变量和m个约束条件组成，形成m个形如ai-aj≤k的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统。 二、引例 给定 ...
分类：
编程语言 时间：
2018-10-08 21:43:36
阅读次数：
181
题面 题意:有2个人,都去坐地铁,但是他们相差了X分钟,但是他们也一直在通讯,于是你就知道,你在AB站点中间的时候,他在CD中间,(B一定等于A+1或者A,同理D也是),问你每2个站之间需要的时间的一种方案使得满足上面那些话,满足不了输出IMPOSSIBLE.(站台从1到N,N<=2000) 题解: ...
分类：
其他好文 时间：
2018-10-07 20:24:46
阅读次数：
218
[T1 蒜头君当大厨] 题解： 显然差分约束,怕你看不出样例还疯狂暗示你$= =$ $code$: ...
分类：
其他好文 时间：
2018-10-03 00:38:45
阅读次数：
127
"传送门" Solution 由于重量只有三种情况，那么想到用差分约束。 由于范围比较小，想到可以floyed求差分约束，暴力求天平另一边 Code cpp include include include include include define F(i,a,b) for(register in ...
分类：
其他好文 时间：
2018-10-02 22:20:16
阅读次数：
182
题面 能把差分约束卡死的题，因为正解并不是差分约束 1 #include<queue> 2 #include<cstdio> 3 #include<cctype> 4 #include<cstring> 5 #include<algorithm> 6 using namespace std; 7 c ...
分类：
其他好文 时间：
2018-09-29 22:49:21
阅读次数：
190
