一个把数学问题转化为图论模型的很好的例子 差分约束系统的定义是：一个由$n$个变量和$m$个约束条件组成，形成$m$个形如$a_i-a_j≤k$的不等式($i,j∈[1,n],k$为常数)的系统。 ...
分类：
其他好文 时间：
2018-05-16 22:39:28
阅读次数：
166
题目链接： https://vjudge.net/problem/POJ-3169 题目大意： 一些母牛按序号排成一条直线。有两种要求，A和B距离不得超过X，还有一种是C和D距离不得少于Y，问可能的最大距离。如果没有输出-1，如果可以随便排输出-2，否则输出最大的距离。 Sample Input S ...
分类：
其他好文 时间：
2018-04-11 21:50:39
阅读次数：
167
题解： 差分约束系统 建立反相变 然后看看有木有无穷大即可 代码： ...
分类：
其他好文 时间：
2018-04-08 19:49:57
阅读次数：
101
Description： 给定n个闭区间[ai，bi] 和n个整数ci，你需要构造一个集合Z，使得对于任何的i∈[1，n]，Z中满足x∈[ai，bi]的x不少于ci个 求这样的整数集合Z至少包含多少个数 思路：建立差分约束系统的模型s[k]表示0~k间选取多少个整数，根据题意有s[bi] - s[a ...
分类：
其他好文 时间：
2018-04-01 00:01:17
阅读次数：
232
【POJ 1716】Integer Intervals（差分约束系统） Integer Intervals Time Limit: 1000MS Memory Limit: 10000K Total Submissions: 13425 Accepted: 5703 Description An i ...
分类：
其他好文 时间：
2018-03-14 12:44:18
阅读次数：
178
POJ . 3169 Layout 链接：http://poj.org/problem?id=3169 题意 ： 有N头奶牛排队喂食，它们之间有相互喜欢的，所以这两头相互喜欢的奶牛之间的距离要小于等于ML，同时，有相互讨厌的的奶牛，它们之间的距离要大于等于MD，而且奶牛的位置和他们的标号顺序相同，求 ...
分类：
其他好文 时间：
2018-02-24 20:41:17
阅读次数：
131
Description "题库链接" 给出 $N$ 个节点，节点有正点权， $K$ 个三元组 $(X,A,B)$ 来描述节点点权之间的关系。 1. 如果 $X=1$ ， 表示 $A$ 的点权必须和 $B$ 的点权相等； 2. 如果 $X=2$ ， 表示 $A$ 的点权必须小于 $B$ 的点权； 3. ...
分类：
其他好文 时间：
2018-02-04 21:05:10
阅读次数：
156
差分约束系统详解（极力推荐）==> http://www.cppblog.com/menjitianya/archive/2015/11/19/212292.html 个人瞎想 : 差分约束系统的题最重要的就是充分利用题目条件建立模型、构造出不等式最后使用最短路来算出答案，当然有些题目即使构造出了若 ...
分类：
其他好文 时间：
2017-11-11 23:51:22
阅读次数：
305
这里有一大堆不等式或者等式形成的限制条件,题目通常会问问你是否存在合法方案或者让你求出合法方案。——————————差分约束 ·前言: 一个概括的定义是,一些不等式组可以视作一个差分约束系统。简单而言,就是给出许多不等式,然后我们需要给每个未知数填上值,使它们满足所有给出的关于它们的不等式——这正是... ...
分类：
其他好文 时间：
2017-11-09 19:42:36
阅读次数：
132
定义：如果一个系统由n个变量和m个约束条件组成，形成m个形如 ai - aj ≤ k 的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统(system of difference constraints)。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。 栗子：给出这样的一组不 ...
分类：
其他好文 时间：
2017-11-07 17:55:21
阅读次数：
227
