差分約束系統

差分約束系統 （ System of Difference Constraints ） ， 是求解關於一組變數的特殊不等式組之方法 。 如果一個系統由個變量和個約束條件組成 ， 其中若每個約束條件形如 ， 則稱其爲差分約束系統 。 亦即 ， 差分約束系統是求解關於一組變量的特殊不等式組的方法 。