【差分约束系统】

最新推荐文章于 2019-04-02 20:20:00 发布

tystrwor

最新推荐文章于 2019-04-02 20:20:00 发布

阅读量675

点赞数 1

分类专栏：【图论】-大合集

本文链接：https://blog.csdn.net/m0_37953323/article/details/79908197

版权

差分约束系统是求解特殊不等式组的方法，涉及n个变量和m个约束条件。解法可通过转化为图论中的最短路或最长路问题。解的分布可能有三种情况：有解、无解或无限多解。当存在负权圈时，表示无解；若无法从起点到达终点，解为无限多。

摘要由CSDN通过智能技术生成

                    
                    一、定义  
如果一个系统由n个变量和m个约束条件组成，形成m个形如 ai  a i - aj  a j ≤ k  k 的不等式(
   
    i,j∈[1,n],k
   
      i
     
      ,
     
      j
     
      ∈
     
      [
     
      1
     
      ,
     
      n
     
      ]
     
      ,
     
      k
     
    为常数),则称其为差分约束系统(systemof difference constraints)。亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。