题目
有一个地铁环线,环线中有N个站台,标号为0,1,2,...,N-1。这个环线是单行线,一共由N条有向边构成,即从0到1,1到2,..k到k+1,...,N-2到N-1,N-1到0各有一条边。定义两站之间的距离,站a与站b间的距离dis(a,b)指从a站出发沿着单行线的边走到达b时所经过的全部长度,即dis(a,b)=dis(a,a+1)+dis(a+1,a+2)+..+dis(k,k+1 mod N)..+dis(b-1,b)。提示一下,a>b时路径为a->a+1->...N-1->0->...->b,注意这是个环线。有两个人向你提供了一些关于环线的信息:
其第一个人提供了M1条信息,每条信息:站点Ai到站点Bi的距离至少是Di,即dis(Ai,Bi)>=Di;
而第二个人提供了M2条信息,每条信息:站点ai到站点 bi的距离最多是di ,即dis(ai,bi)<=di 。
另外,已知相邻两站的距离至少是1公里,且所有站点间的距离都是整数公里。
请根据以上的信息计算这条地铁环线的总长有多少种可能,并输出这个数量,如果如果有长度有无数种可能输出-1.
分析
看到一堆不等式的信息,首先想到就是差分约束,
当总长度s确定时,我们就可以做差分约束,判断有无负环来判断是否合法
连边
对于dis(Ai,Bi)>=Di,
如果Ai<Bi,Bi向Ai连一条