浅谈差分约束系统.pptVIP

浅谈差分约束系统 什么是差分 差分就是一种找出不等式然后将不等式转化为解题方法的算法。 差分的关键 1.构造不等式 2.通过不等式连边。 差分约束系统中源点到每个点的距离确定 关于Dist[]的初始化化 1.如果将源点到各点的距离初始化为0，最终求出的最短路满足 它们之间相互最接近了 2.如果将源点到各点的距离初始化为INF(无穷大)，其中之1为0，最终求出的最短路满足 它们与该点之间相互差值最大。 3.差分约束系统的确立要根据自己确定的约束条件，从约束点走向被约束点 构造不等式 一些题目的不等条件比较容易看出。 不等条件一般分两种情况。1.距离 2.前N项和。 如何连边？ 连边一般有两种方法，第一种是连边后求最长路的方法，第二种是连边后求最短路的方法。 例：d[x]-d[y]=Z 如果想连边后求最长路 那么将不等式变形为这种形式 d[x]=d[y]+z y---x连一条权值为z的边 求最短路则变形成d[y]=d[x]-z x---y连一条权值为-z的边。 如果是别的不等式，也可以根据情况变形。但是要保证的是 两个变量（x,y)的系数一定要是正的。而常量则不一定。 例题1. FJ 有 N 头奶牛，它们排成一行，连续编号为 1..N。每个牛有一个正整数身 高 Hi 。你现在知道最高的牛是第 K 头牛的身高是 H。FJ 还给你 R 个信息， 比如：“17 号牛可看见