思路:令x[i]表示i节点的绝对距离,那么根据题设可以列出两类方程:1、x[i]-x[j]=k;2、x[i]-x[j]>=1。其中x[i]-x[j]=k等价于x[i]-x[j]>=k;x[i]-x[j]<=k;那么原方程组就化为了不等式方程组。那么原问题就化为了差分约束系统是否有解的问题。其中在差分约束系统中如果存在负权回路(有时是正权)那么就表示不等式组无解。这便是我们要利用的条件。
参考代码:
思路:令x[i]表示i节点的绝对距离,那么根据题设可以列出两类方程:1、x[i]-x[j]=k;2、x[i]-x[j]>=1。其中x[i]-x[j]=k等价于x[i]-x[j]>=k;x[i]-x[j]<=k;那么原方程组就化为了不等式方程组。那么原问题就化为了差分约束系统是否有解的问题。其中在差分约束系统中如果存在负权回路(有时是正权)那么就表示不等式组无解。这便是我们要利用的条件。
参考代码: