Intervals

設s[k]表示0~k之間最少選出的個整數。由題意可得：s[bi]-s[ai-1]>=ci; 這很明顯是一個差分約束系統的模型。 但是題目中仍有一些隱含條件： 1.s[k]-s[k-1]>=0,很明顯。 2.s[k]-s[k-1]<=1.每個數只能選一次，可變形爲s[k-1]-s[k]>=-1; 但是隻這樣做的話，因爲a最小爲0，所以我們會得到-1這個點，這樣不方便，所以可以把0~k都加上一個1.

>>阅读原文<<