差分約束-圖論

差分約束系統 一、何爲差分約束系統： 差分約束系統（system of difference constraints），是求解關於一組變數的特殊不等式組之方法。如果一個系統由n個變量和m個約束條件組成，其中每個約束條件形如xj-xi<=bk(i,j∈[1,n],k∈[1,m]),則稱其爲差分約束系統(system of difference constraints)。亦即，差分約束系統是求解關於一

>>阅读原文<<