HDU 2017中国大学生程序设计竞赛-总决赛 Subway Chasing [差分约束]

题意：我与朋友要从1走到n，朋友比我先x分钟走，然后给出m个事件，每个事件给出我的与朋友的位置，求符合这些事件的相邻的点的距离。

题解：可以看出每个事件可以给出2种情况：

①a==b&&c==d 那么我们能得到差分条件：c-a<=x  a-c<=-x

②a-d<=-(x+1)   c-b<=x-1

然后约束一下相邻点的距离要大于1  

for(int i=2;i<=n;i++)
    	AddEdges(i-1,i,-1);

跑差分约束得到的Dist，相邻Dist相减就是答案。

AC代码：

#include
#include
#include
#include
#include
#define INF 0x7fffffff
using namespace std;
const int MAXN = 2005;
const int MAXM = 30030;
struct EdgeNode
{
    int to;
    int w;
    int next;
}Edges[MAXM];
int Head[MAXN],Dist[MAXN],vis[MAXN],outque[MAXN],id;
void AddEdges(int u,int v,int w)
{
    Edges[id].to = v;
    Edges[id].w = w;
    Edges[id].next = Head[u];
    Head[u] = id++;
}
void SPFA(int s,int N)
{
    int ans = 0;
    memset(vis,0,sizeof(vis));
    memset(outque,0,sizeof(outque));
    for(int i = 1; i <= N; ++i)
        Dist[i] = INF;
    Dist[s] = 0;
    vis[s] = 1;
    queue Q;
    Q.push(s);
    while( !Q.empty() )
    {
        int u = Q.front();
        Q.pop();
        vis[u] = 0;
        outque[u]++;
        if(outque[u] > N+1) //如果出队次数大于N，则说明出现负环
        {
            ans = -1;
            break;
        }
        for(int i = Head[u]; i != -1; i = Edges[i].next)
        {
            int temp = Dist[u] + Edges[i].w;
            if(temp < Dist[Edges[i].to])
            {
                Dist[Edges[i].to] = temp;
                if( !vis[Edges[i].to])
                {
                    vis[Edges[i].to] = 1;
                    Q.push(Edges[i].to);
                }
            }
        }
    }
    if(ans == -1)   //出现负权回路，不存在可行解
        printf("IMPOSSIBLE\n");
    else 
    {
    	for(int i=2;i<=N;i++)
	    	printf(" %d",Dist[i-1]-Dist[i]);
   		printf("\n");
    }
}

int main()
{
    int T;
    scanf("%d",&T);
    int cas=1;
    while(T--)
    {
        memset(Head,-1,sizeof(Head));
        id = 0;
    	int n,m,x;
    	scanf("%d%d%d",&n,&m,&x);
    	for(int i=2;i<=n;i++)
    		AddEdges(i-1,i,-1);
    	for(int i=0;i