摘要： 大致题意：给出一些点的精确信息和模糊信息，精确信息给出两点的位置和距离，模糊信息给出两点的位置，但距离大于等于一。试确定是否所有的信息满足条件。这道题让我对差分约束系统有了进一步的认识。设dist[i]表示源点到i的距离，精确条件可以判断出两个差分条件：假如a->b为c则可以写成c>=dist[b]-dist[a]>=c；所以可得dist[b]<=dist[a]+c , dist[a]<=dist[b]-c；这就说明a到b有一条长度为c的边，b到a有一条长度为-c的边。模糊信息可以确定一个差分条件由dist[b]-dist[a]>=1可得：dist[a]&l 阅读全文