题目链接:http://poj.org/problem?id=3169
题意：n头牛编号为1到n，按照编号的顺序排成一列，每两头牛的之间的距离 >= 0。这些牛的距离存在着一些约束关系：1.有ML组（u, v, w）的约束关系，表示牛[u]和牛[v]之间的距离必须 = w。问如果这n头无法排成队伍，则输出-1，如果牛[1]和牛[n]的距离可以无限远，则输出-2，否则则输出牛[1]和牛[n]之间的...
分类：
其他好文 时间：
2015-02-04 21:59:13
阅读次数：
224
/**POJ 2983 Is the Information Reliable?*差分约束系统*(1)对于确定信息 P A B X, 有 A - B >= X && A - B 和 *(2)对于不确定信息 V A B, 有 A - B >= 1, 即 B *由于可能存在孤立点,需要加入超级源点 0....
分类：
其他好文 时间：
2015-01-31 11:55:59
阅读次数：
179
/**POJ 1201 Intervals*差分约束系统*见《图论算法理论、实现及应用》 P205*设s[i] 是集合Z中小于等于i的元素的个数，即s[i] = |{s|s∈Z, s= ci, 得到约束条件(1):* s[a(i-1)] - s[bi] = 0 即 s[i-1] - s[i] #i....
分类：
其他好文 时间：
2015-01-30 21:01:37
阅读次数：
197
Layout
Time Limit: 1000MS
Memory Limit: 65536K
Total Submissions: 7613
Accepted: 3658
Description
Like everyone else, cows like to stand close to their friends wh...
分类：
编程语言 时间：
2015-01-29 22:35:47
阅读次数：
330
题目大意：奶牛喜欢站成一排吃饲料，有的奶牛喜欢靠在一起，他们最多距离D米远。
有的奶牛不喜欢靠在一起，他们最少距离D米远才可以。给你一系列的约束条件，问：
如果在上述条件下，奶牛站不成一排，则输出"-1"，如果能站成一排，但是第1头牛~
第N头牛的距离无限远，则输出"-2"，如果满足条件，并且第1头牛~第N头牛之间存在
实际距离，则输出第1头牛~到第N头牛之间的能达到的最远距离。
思路：直接的差分约束系统，设牛u和牛v的位置为u和v。
第1条：设牛u和牛v最多距离w米远，转换为：v - u <= w。
第2...
分类：
其他好文 时间：
2015-01-27 23:34:44
阅读次数：
238
题目大意：安排N个工作 ，给你N个工作的开始时间，共有4种安排方式(约束条件)。
条件1：FAF a b，a要在b完成后完成。
条件2：FAS a b，a在在b开始前完成。
条件3：SAS a b，a要在b开始前开始。
条件4：SAF a b，a要在b结束前开始。
给你一系列的约束条件。问：使其工作时间最小且满足所有约束条件的各个工作最早
时间各是什么。如果不满足条件则输出"impossible"。
思路：差分约束系统。设第i件工作的开始时间为t[i]。4个约束条件变成：
条件1：FAF Sa + t[a...
分类：
其他好文 时间：
2015-01-27 14:59:12
阅读次数：
239
题目大意：给你N个整数点构成的区间[ai，bi](ai，bi都为整数)，在区间[ai，bi]上最少选ci个点。
ci可在区间[ai，bi]中随意取，但是不能重复。问：要满足在N个区间取点，至少要选多少个点。
思路：差分约束思想。设Si为前i项的整数个数，则S(bi) - S(ai-1) >= ci。还有两个隐含约束条件
S(i-1) - S(i) <= 0，S(i)-S(i-1) <= 1。把这三种约束构建一个差分约束系统，用SPFA求最短路径。...
分类：
其他好文 时间：
2015-01-27 00:34:49
阅读次数：
184
题目链接：http://poj.org/problem?id=2983
题意：一天南北线上有n个防御站，给出他们之间的位置关系，问有没有可能存在这样一种位置布置符合所给的位置关系。关系有两种，一种是 P A B X，表示A在B北边X光年的位置，V A B表示A在B北边至少1光年位置。
解法：查分约束。dist[A]-dist[B]>=X,表示A在B北边至少X光年位置。变形为：d...
分类：
其他好文 时间：
2014-12-04 01:07:21
阅读次数：
283
题意：数轴上每个位置为0或是1，给n(1 个区间[ai, bi],每个区间内至少有 ci
个1.0 1 。问数轴上至少有多少个1可以满足要求。
解法1：现将区间按右端点排序，然后每个区间内的点尽量往右边放，这样子可以照顾到以后的。在找每个区间的放法时，线段树查询区间1的个数，二分查找要放的后缀位置，然后将整个区间后缀全部涂上1.总复杂度是nlognlogn。网上没找到有人这么做的，但...
分类：
其他好文 时间：
2014-11-16 15:59:51
阅读次数：
257
今天初次学习差分约束系统，很神奇的东西定义：如果一个系统由n个变量和m个约束条件组成，其中每个约束条件形如xj-xi=t（建一条从b到e的长度为t的边权），在题目中还有一个隐含条件，就是0=，进而用最长路求最小值。#include#include#includeusing namespace std...
分类：
其他好文 时间：
2014-11-14 22:41:45
阅读次数：
310
