AntiQuality

摘要： 一个把数学问题转化为图论模型的很好的例子 差分约束系统 差分约束系统的定义是：一个由$n$个变量和$m$个约束条件组成，形成$m$个形如$x_i-x_j≤k$的不等式($i,j∈[1,n],k$为常数)的系统。 举个例子（图自网络）： 例如这个不等式组就是一个差分约束系统。 我们要求的通常是附加几个 阅读全文