题意 有n个正整数X1,X2,...,Xn，再给出m1+m2个限制条件，限制分为两类： 1. 给出a,b (1<=a,b<=n)，要求满足Xa + 1 = Xb 2. 给出c,d (1<=c,d<=n)，要求满足Xc <= Xd 在满足所有限制的条件下，求集合{Xi}大小的最大值。 (自己注：求集合 ...
分类：
其他好文 时间：
2017-08-12 22:30:41
阅读次数：
139
【转载】夜深人静写算法（四） - 差分约束 目录 一、引例 1、一类不等式组的解 二、最短路 1、Dijkstra 2、图的存储 3、链式前向星 4、Dijkstra + 优先队列 5、Bellman-Ford 6、SPFA 7、Floyd-Warshall 三、差分约束 1、数形结合 2、三角不等 ...
分类：
编程语言 时间：
2017-08-07 10:19:58
阅读次数：
198
网上的资料或多或少地缺乏一些完整性, 那么我也来一份缺乏完整性(大雾)的总结. 差分约束系统的概念 设 $X = \left\{ x_1, x_2, ..., x_n \right\}$ . 满足若干个形如 $x_i - x_j \ge w$ 的限制条件. 解 $X$ . 解一个问题有三个大的层次: ...
分类：
其他好文 时间：
2017-07-31 13:29:23
阅读次数：
126
一直不知道差分约束是什么类型题目，最近在写最短路问题就顺带看了下，原来就是给出一些形如x-y<=b不等式的约束，问你是否满足有解的问题 好神奇的是这类问题竟然可以转换成图论里的最短路径问题，下面开始详细介绍下 比如给出三个不等式,b-a<=k1,c-b<=k2,c-a<=k3,求出c-a的最大值,我 ...
分类：
其他好文 时间：
2017-07-30 18:58:29
阅读次数：
130
1 #include<cstdio> 2 #include<cstring> 3 #include<algorithm> 4 using namespace std; 5 const int maxn=1010; 6 const int maxe=20010; 7 const int inf=0x3 ...
分类：
其他好文 时间：
2017-07-27 00:58:54
阅读次数：
189
网络流√ 上下界最大流√ 线性规划转费用流√ RMQ优化建图√ 单纯形√ 字符串相关 hash√ 扩展KMP 回文自己主动机 数据结构 平衡树 启示式合并 替罪羊树 LCT 树套树 KD-Tree 二分答案 分数规划√ 贪心 动态规划 斜率优化√ 数位DP√ 概率DP√ 插头DP 图论 差分约束√ ...
分类：
其他好文 时间：
2017-07-18 21:30:41
阅读次数：
210
补坑补坑（(╯‵□′)╯︵┻━┻） 内容真的多。。。 一个一个来吧。 首先是最小生成树。 先讲一下生成树的定义 生成树就是在一张图上选取一些边，使得整个图上所有的点都连通。 那么我们要求的最小生成树有两种算法可以求：1、prim算法，2、kruskal算法 我们先讲讲prim算法 prim算法有点像 ...
分类：
其他好文 时间：
2017-07-15 15:01:44
阅读次数：
173
http://poj.org/problem?id=1201 TLE了很久，因为用了cin..... 思路和其他差分约束差不多，http://www.cppblog.com/menjitianya/archive/2015/11/19/212292.html 如果区间[a, b]中至少有c个元素，如 ...
分类：
其他好文 时间：
2017-07-13 23:44:51
阅读次数：
225
HNOI2005狡猾的商人，洛谷链接 原题入口 看到大牛都是写的差分约束或带权并查集，本蒟蒻都不太会（还是用差分约束过了的QAQ），但是想出一种贪心的策略，运用神奇的优先队列实现。思路是：先按左端点为第一排序关键字，再排右端点。之后就开始两两比较，如果左端点相等，就比较右端点，如果相等，就比较值，如 ...
分类：
其他好文 时间：
2017-07-11 15:56:43
阅读次数：
153
今天的主要内容为最小生成树、判负环和差分约束系统 苗条的最小生成树 poj3522 本题排序完枚举最小边，Kruskal跑n遍即可。 虫洞 9018_1449 题目大意是给出m条正边，w条负的，叫你判负环 layout 9018_1456 本题在判负环的基础上用了差分约束系统 糖果BZOJ2330 ...
分类：
其他好文 时间：
2017-07-05 22:52:28
阅读次数：
194
