我是用x[i]表示区间[0..i)中所取数字的个数，不等式就变成了x[b+1] - x[a] >= c;避免了负数下标的问题。

不过如果用spfa+队列的做法（STL可以忽略，我说的是自己手写），队列的那个数组一定要开大。
内存随便浪费就好了，我开了200w的queue[].循环队列当然也可以，不过程序显然会比非循环的那种队列跑得慢。