w1nn0w

摘要： 差分约束算法 一.形式 由一组形如x_i​−x_j≤c​的不等式组成的系统，其中x_i,x_j,是变量，c是常量。 目标是：判断是否有一组 x 值同时满足所有约束；若有，求出一组可行解。 二.思路：转化成最短路问题 1.将x_i​−x_j≤c转化成x_i​≤c+x_j，添加一条j节点到i节点的权值为 阅读全文