差分约束+spfa【模板】

相比dij,spfa优点是可处理含负边不含负圈的最短路问题,缺点是算法复杂度不太好【貌似可以使用两种优化。LLL和SLF】

差分约束就是将一些不等式转化为图中的带权边,然后求解最短路或最长路的方法

洛谷P1645https://www.luogu.org/problemnew/show/P1645

 1 #include<bits/stdc++.h>
 2 using namespace std;
 3 struct pot{
 4     int to;
 5     int next;
 6     int len;
 7 }edge[5018];
 8 queue<int>pq;
 9 int vis[1005];
10 int next[1005];
11 int dist[1005];
12 void add(int x,int y,int z,int t){
13     edge[t].len=z;
14     edge[t].next=next[x];
15     edge[t].to=y;
16     next[x]=t;
17 }
18 void spfa(int x)
19 {
20     while(!pq.empty())pq.pop();
21     dist[x]=0;
22     vis[x]=true;
23     pq.push(x);    
24     while(!pq.empty()){
25         int u=pq.front();
26         pq.pop();
27         vis[u]=false;
28         for(int i = next[u]; i != -1 ; i=edge[i].next)
29         {
30             int w=edge[i].to;
31             if(dist[w]<dist[u]+edge[i].len)
32             {
33                 dist[w]=dist[u]+edge[i].len;
34                 if(!vis[w]){
35                     vis[w]=true;
36                     pq.push(w);
37                 }
38             }
39         }
40     }
41 }
42 int main()
43 {
44     int n;
45     scanf("%d",&n);
46     int tot=0;
47     int mmax=0;
48     int mmin=1005;
49     memset(dist,-1,sizeof(dist));
50     memset(next,-1,sizeof(next));
51     memset(vis,0,sizeof(vis));
52     for(int i = 0  ; i < n ; i++)
53     {
54         int a,b,c;
55         scanf("%d%d%d",&a,&b,&c);
56         add(a-1,b,c,tot);
57         if(a<mmin)mmin=a;
58         if(mmax<b)mmax=b;
59         tot++;
60     }
61     for(int i = mmin ; i <= mmax ; i++)
62     {
63         add(i-1,i,0,tot);
64         tot++;
65         add(i,i-1,-1,tot);
66         tot++;
67     }
68     spfa(mmin-1);
69     cout << dist[mmax]<<endl;
70     return 0;
71 }

 

转载于:https://www.cnblogs.com/MekakuCityActor/p/8920668.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
好的,以下是一个简单的SPFA模板: ``` const int INF = 0x3f3f3f3f; const int MAXN = 1005; vector<pair<int, int>> g[MAXN]; // 存储有向图,pair 中第一个数表示终点,第二个数表示边权 int dist[MAXN]; // 存储源点到每个点的最短距离 bool in_queue[MAXN]; // 标记每个点是否在队列中 void spfa(int s) { // s 表示源点编号 memset(dist, INF, sizeof(dist)); // 初始化 dist 数组为 INF,表示距离无限远 memset(in_queue, 0, sizeof(in_queue)); // 初始化 in_queue 数组为 false,表示所有点都不在队列中 queue<int> q; q.push(s); dist[s] = 0; in_queue[s] = true; while (!q.empty()) { int u = q.front(); q.pop(); // 取出队首元素 in_queue[u] = false; // 标记 u 不在队列中 for (auto v : g[u]) { // 枚举 u 的出边 if (dist[v.first] > dist[u] + v.second) { // 更新 dist[v] dist[v.first] = dist[u] + v.second; if (!in_queue[v.first]) { // 如果 v 不在队列中,则将 v 加入队列 q.push(v.first); in_queue[v.first] = true; } } } } } ``` 解释一下每个部分的作用: 1. 常量 INF 表示距离无限远,MAXN 表示最大点数。 2. g 数组存储有向图,pair 中第一个数表示终点,第二个数表示边权。 3. dist 数组存储源点到每个点的最短距离。 4. in_queue 数组标记每个点是否在队列中。 5. spfa 函数实现 SPFA 算法,s 表示源点编号。 6. 首先将 dist 数组初始化为 INF,表示距离无限远;将 in_queue 数组初始化为 false,表示所有点都不在队列中;将源点 s 加入队列并标记在队列中,并将 dist[s] 初始化为 0。 7. 进行队列操作:取出队首元素 u,枚举 u 的出边,如果可以通过 u 更新 dist[v] 的值,则更新 dist[v] 并将 v 加入队列。当队列为空时,SPFA 算法结束。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值