设s为前缀和，首先显然的条件是\[ s_{bi}-s_{ai-1}>=c \]，然后隐含的是，然后隐
阅读背景：
poj 1201 Intervals【差分约束+spfa】_weixin_30929295的博客
来源：互联网
分享到：
