Hdu-6252 2017CCPC-Final J.Subway Chasing 差分约束

题面

题意:有2个人,都去坐地铁,但是他们相差了X分钟,但是他们也一直在通讯,于是你就知道,你在AB站点中间的时候,他在CD中间,(B一定等于A+1或者A,同理D也是),问你每2个站之间需要的时间的一种方案使得满足上面那些话,满足不了输出IMPOSSIBLE.(站台从1到N,N<=2000)

题解:典型的差分约束 我们回忆一下,对于不等式a-b<=x  我们build(a,b,x);

那么对于本题

if (a==b && c==d) { build(d,a,-x); build(b,c,x); }

if (a==b && c!=d) { build(d,a,-x-1); build(b,c,x-1); }

　　 if (a!=b) { build(d,a,-x-1); build(b,c,x-1); }

由于要保证图的连通性,记得加一个超级源点,向每个点加1条边

而且是车站,实际问题,每相邻2个站之间,至少需要1分钟.

顺便用了dfs版的spfa板子,跑得飞快

 #include<bits/stdc++.h>
 #define N 2005
 #define M 10005
 const long long inf=0x3f3f3f3f3f3f3f3f;
 typedef long long lld;
 using namespace std;
 struct rec
 {
     int go,next;
     long long v;
 }eg[M];
 int head[N],que[N],nn,k,a,b,c,p,n,du[N];
 lld dis[N];
 bool used[N];
 void read(int &a)
 {
     a=;
     char c=getchar();
     while (c<=) c=getchar();
     while (c>) a=a*+c-'',c=getchar();
 }
 void build(int a,int b,long long c)
 {
     p++;
     eg[p].go=b;
     eg[p].next=head[a];
     eg[p].v=c;
     head[a]=p;
 }
 stack<int>S;
 int spfa()
 {
     for (int i=;i<=n;i++)
     {
         S.push(i);
         du[i]=;
         used[i]=;
         dis[i]=;
     }
     while (!S.empty())
     {
         int v=S.top();
         S.pop();
         used[v]=;
         for (int u=head[v];u;u=eg[u].next )
         if (dis[eg[u].go]>dis[v]+eg[u].v)
         {
             dis[eg[u].go]=dis[v]+eg[u].v;
             if ((++du[eg[u].go])>nn)
             {
                 printf("IMPOSSIBLE");
                 return  ;
             }
             if (!used[eg[u].go]) S.push(eg[u].go ) ;
         }
     }
     return  ;
 }
 int T,x,d,tt;
 int main()
 {
     int tt=;
     scanf("%d",&T);
     while (T--)
     {
         p=;
         memset(que,,sizeof(que));
         memset(used,,sizeof(used));
         memset(du,,sizeof(du));
         memset(head,,sizeof(head));
         while (!S.empty()) S.pop();
         read(nn);read(k);read(x);
         for (int i=;i<=k;i++)
         {
             read(a);read(b);read(c);read(d);
             if (a==b && c==d)
             {
                 build(d,a,-x);
                 build(b,c,x);
             }else
             if (a==b && c!=d)
             {
                 build(d,a,-x-);
                 build(b,c,x-);
             }else
             {
                 build(d,a,-x-);
                 build(b,c,x-);
             }
         }
         n=nn+;
         for (int i=;i<=nn;i++) build(n,i,);
         for (int i=;i<nn;i++) build(i+,i,-);
         tt++;
         printf("Case #%d: ",tt);
         int why=spfa();
         if (why) for (int i=;i<=nn;i++) printf("%lld ",dis[i]-dis[i-]);
         printf("\n");
     }
     return ;
 }