摘要： POJ_1201第一次接触差分约束系统的题目，有点摸不着头脑，看了别人的解析后又觉得差分约束系统也好神奇呵！假以时日，我一定会掌握它！我们设S[i]为区间[0,i)之内的Z元素的数量，那么根据输入可以构成一个约束条件S[b+1]-S[a]>=c，另外还有两个隐含条件，S[i+1]-S[i]>=0，S[i+1]-S[i]<=1，实际上还有另外一个条件S[b+1]-S[a]<=b+1-a，但这个条件可以由S[i+1]-S[i]<=1推导出来，所以就不必管它了。然后把上面3个条件变形后得到S[b+1]+(-c)>=S[a]，S[i]+0<=S[i+1]，S[ 阅读全文