Eirlys的博客

一直不知道差分约束是什么类型题目，最近在写最短路问题就顺带看了下，原来就是给出一些形如x-y 好神奇的是这类问题竟然可以转换成图论里的最短路径问题，下面开始详细介绍下 比如给出三个不等式,b-a 由题我们可以得知，这个有向图中，由题b-a 根据以上的解法，我们可能会猜到求解过程实际就是求从a到c的最短路径，没错的....简单的说就是从a到c沿着某条路径后把所有权值和

题意：n个正整数变量xi，有两种限制，第一种为xa+1=xb或xc 很显然的差分约束系统，建边转化为最长路 无解的情况当然就是出现正权环，可以用floyd判（跑floyd的时候不判断i、j、k互异，最后看map[i,i]如果不等于0就是出现了正权环） 注意图的特殊性：第一类限制是双向边，第二类限制是单向边 考虑求强连通分量 显然强连通分量之间的边一定是第二类的单向边 A 只要我们保证强

题意：n*m的网格，初始为0.有两种操作：（1）把某一行全+1 （2）把某一列全+1 ，对其中m个格子有要求：（xi，yi）格子里的数是ci。问通过两种操作是否可以同时满足m个格子的要求，可以的话输出‘Yes’否则输出‘No’ （xi,yi）格子里的数是ci 对操作的限制其实是 这个格子必须被修改i次 即 第i行和第j列必须一共被修改ci次 我们用xi表示在满足要求时，第i行的操作次数（是个未