以一道CSP T4说明dijkstra算法的证明及其变形应用

证明：这个版本的证明比较简洁易懂

问题：

$状态表示:d[i]:从1-i的路径上的最大边权的最小值$
$$\begin{gathered} 状态转移:d[v]=min(d[v],max(d[v],w)) \\ 假设当前弹出的顶点是u,且u与v的临接边是w \end{gathered}$$
$$\begin{gathered} 正确性证明:建立最小堆，假设当前的集合是S，弹出的顶点是u,只需证明d[u]之后不会被更新即可。采用反证法，假设存在一个顶点 \\ t,且t\notin S\cup u，max(d[t],w(t,u))<d[u]。由算法的步骤我们知道，d[t]>=d[u]，故 \\ max(d[t],w(t,u))>=d[u]，与之前的假设矛盾，故说明该算法正确 \end{gathered}$$

$代码：$

#include <bits/stdc++.h>
using namespace std;
#define int long long
const int N = 5 * 100000 + 5;
#define pii pair<int,int>
vector<pii>to[N];
int d[N];
bool vis[N];
int n, m;
void add(int a, int b, int c)
{
    to[a].push_back({ b,c });
}
void dijkstra()
{
    memset(d, 0x3f, sizeof d);
    priority_queue<pii, vector<pii>, greater<pii>>q;
    q.push({ 0,1 });
    d[1] = 0;
    while (!q.empty())
    {
        auto t = q.top();
        q.pop();

        int v = t.second;
        if (vis[v])
        {
            continue;
        }
        vis[v] = true;

        for (auto& i : to[v])
        {
            int j = i.first;
            int w = i.second;
            if (max(d[v],w)<d[j])
            {
                d[j] = max(d[v], w);
                q.push({ d[j],j });
            }
        }
    }
    cout << d[n];
}
signed main()
{
    cin >> n >> m;
    for (int i = 0; i < m; i++)
    {
        int a, b, c;
        cin >> a >> b >> c;
        add(a, b, c);
        add(b, a, c);
    }
    dijkstra();


    return 0;
}