POJ 3159 Candies 差分约束系统(dijsktra+前向星)

POJ 3159

题目大意

n个变量，满足m组约束条件，约束条件形如：$x_b\le x_a+c,求$$max(x_n-x_1)$

分析

要求最大值应该将约束条件转化为$\le$的形式

转化后条件变成：$x_b-x_a\le c$

然后就插入a指向b权值为c的边，从$x_1$出发到$x_n$的最小值

一开始写了个前向星+bfs版的spfa+STL queue=TLE,以为是STLqueue的原因，手写之后还是超时。

看了discuss后，上面说dfs版的spfa或dijkstra不会超时，于是改了dijkstra
一开始写dijjkstra还因为用结构体入的优先队列超时了，最后改成C++的pair过了，还好没让我手写堆。

代码

/*
有向图
前向星存边
这道题没有成环的情况
*/
#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstring>
#include<cstdlib>
#include<queue>
#include<map>
#include<algorithm>
#include<set>
using namespace std;
const int INF=0x7fffffff;//无穷大
const int MAXN=30005;
struct Edge
{
      int to;
      int next;
      int w;
}edge[500005];
int n,m;
int edgecount;
int Head[50005];
bool vis[50005];
int dis[50005];
int q[100005];
long long int head,tail;
struct Node
{
      int num;
      int dis;
      bool operator < (const Node &rhs)const {
          return dis>rhs.dis;
      }
}node[50005];
void Init_edge()
{
      memset(Head,-1,sizeof(Head));
      edgecount=0;
}
void Add_Edge(int u,int v,int w)
{
     edge[++edgecount].to=v;
     edge[edgecount].w=w;
     edge[edgecount].next=Head[u];
     Head[u]=edgecount;
}
typedef pair<int,int> P;
void Dijkstra(int s)
{
    for(int i=1;i<=n;i++)dis[i]=INF;
    dis[s]=0;
    priority_queue<P,vector<P>,greater<P> > Q;
    Q.push(P(0,s));
    while(!Q.empty())
    {
          P p=Q.top();
          Q.pop();
          int u=p.second;
          if(dis[u]<p.first)continue;
          for( int k=Head[u];k!=-1;k=edge[k].next)
          {
                int w=edge[k].w;
                int v=edge[k].to;
                if(dis[v]>dis[u]+w)
                {
                      dis[v]=dis[u]+w;
                      Q.push(P(dis[v],v));
                }
          }
    }
}
int main()
{
    int a,b,c;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
          Init_edge();
          for(int i=1;i<=m;i++)
          {
                scanf("%d%d%d",&a,&b,&c);
                Add_Edge(a,b,c);
          }
          Dijkstra(1);
          printf("%d\n",dis[n]);
    }
    return 0;
}