【LG3238】 [HNOI2014]道路堵塞

题目描述

给你一张$N$个点、$M$条边的有向图，按顺序给定你一条有$L$条边的$1\rightarrow n$的最短路，

每次断掉这$L$条边中的一条(不对后面答案产生影响)，求每次断边之后的最短路。

题解

40pts

每次断边之后跑$dijkstra$最短路即可，复杂度$O(LM\log N)$。

100pts

法一：

好像是一种奇怪的堆+$spfa$算法，但是在现在这种卡$spfa$的大环境下，这种方法已经不对了。

法二：

分别建正图和反图跑dijkstra，记一个点$i$在起点为$1$的正图上最短距离为$dis_i$，

在起点为$N$的反图上最短距离为$dis'_i$，可以

枚举每一条不是那$L$条边中的边$e_{a\rightarrow b}$，可以知道过这一条边的最短路长度为$dis_a+dis'_b$+$e_{a\rightarrow b}$的长度。

设给定的$L$条边分别为$e_1,e_2...e_L$。

则经过这一条边的最短路序列为:

$e_1\rightarrow ...\;\rightarrow e_i\rightarrow$一些奇怪的边$\rightarrow e_{a\rightarrow b}\rightarrow$一些奇怪的边$\rightarrow e_j\rightarrow ...\;\rightarrow e_L$

其中$1\leq i<j\leq L$。

那么对于$i+1$到$j-1$的所有边，我们断掉他们时，可以通过一条长度为$\;\;dis_a+dis'_b$+$e_{a\rightarrow b}$的长度$\;\;$的路径到达。

则在线段树上在区间$[i+1,j-1]$打一个路径长度的标记，对于每一个$e_i$，单点查询即可。

代码

#include <iostream>

#include <cstdio>

#include <cstdlib>

#include <cstring>

#include <cmath>

#include <algorithm>

#include <vector>

#include <queue>

using namespace std;

inline int gi() {

    register int data = 0, w = 1;

    register char ch = 0;

    while (!isdigit(ch) && ch != '-') ch = getchar();

    if (ch == '-') w = -1, ch = getchar();

    while (isdigit(ch)) data = 10 * data + ch - '0', ch = getchar();

    return w * data;

}

const int INF = 1e9;

const int MAX_N = 1e5 + 5, MAX_M = 2e5 + 5;

struct Edge { int u, v, w; } e[MAX_M];

struct Graph { int to, cost, num; } ;

vector<Graph> G[2][MAX_N];

int N, M, L, sp[MAX_N], dis[2][MAX_N], prv[2][MAX_N], used[MAX_M];

int chk(int x, int y, bool op) { return op ? max(x, y) : min(x, y); }

void dijkstra(int s, int op, int t) {

	static priority_queue<pair<int, int>, vector<pair<int, int> >, greater<pair<int, int> > > que;

	for (int i = 1; i <= N; i++) dis[op][i] = INF;

	que.push(make_pair(dis[op][s] = 0, s));

	while (!que.empty()) {

        pair<int, int> p = que.top(); que.pop();

		int x = p.second;

		if (p.first < dis[op][x]) continue;

		if (x == t) continue;

		for (int i = 0, sz = G[op][x].size(); i < sz; i++) {

			Graph &e = G[op][x][i]; int v = e.to;

			if (dis[op][x] + e.cost < dis[op][v]) {

				prv[op][v] = (op ? 0 : INF);

				dis[op][v] = dis[op][x] + e.cost;

				if (!used[e.num]) prv[op][v] = chk(prv[op][v], prv[op][x], op);

				else prv[op][v] = chk(prv[op][v], used[e.num], op);

				que.push(make_pair(dis[op][v], v));

			} else if (dis[op][x] + e.cost == dis[op][v]) {

				if (!used[e.num]) prv[op][v] = chk(prv[op][v], prv[op][x], op);

				else prv[op][v] = chk(prv[op][v], used[e.num], op);

			}

		}

	}

}

#define lson (o << 1)

#define rson (o << 1 | 1)

int val[MAX_M << 2], tag[MAX_M << 2];

void puttag(int o, int v) { val[o] = min(val[o], v); tag[o] = min(tag[o], v); }

void pushdown(int o, int l, int r) {

	if (l == r || tag[o] == INF) return ;

	puttag(lson, tag[o]); puttag(rson, tag[o]);

	tag[o] = INF;

}

void pushup(int o) { val[o] = min(val[lson], val[rson]); }

void modify(int o, int l, int r, int ql, int qr, int v) {

	if (ql <= l && r <= qr) return (void)(puttag(o, v));

	pushdown(o, l, r);

	int mid = (l + r) >> 1;

	if (ql <= mid) modify(lson, l, mid, ql, qr, v);

	if (qr > mid) modify(rson, mid + 1, r, ql, qr, v);

	pushup(o);

}

int query(int o, int l, int r, int pos) {

	pushdown(o, l, r);

	if (l == r) return val[o];

	int mid = (l + r) >> 1;

	if (pos <= mid) return query(lson, l, mid, pos);

	else return query(rson, mid + 1, r, pos);

}

int main () {

#ifndef ONLINE_JUDGE

    freopen("cpp.in", "r", stdin);

#endif

	N = gi(), M = gi(), L = gi();

	for (int i = 1; i <= M; i++) {

		int u = gi(), v = gi(), w = gi();

		G[0][u].push_back((Graph){v, w, i});

		G[1][v].push_back((Graph){u, w, i});

		e[i] = (Edge){u, v, w};

	}

	for (int i = 1; i <= L; i++) used[sp[i] = gi()] = i;

	for (int i = 1; i <= N; i++) prv[0][i] = L + 1, prv[1][i] = 0;

	prv[0][1] = 0, prv[1][N] = L + 1;

	dijkstra(1, 0, N);

	dijkstra(N, 1, 1);

	for (int i = 1; i <= (L << 2); i++) val[i] = tag[i] = INF;

	for (int i = 1; i <= M; i++) {

		if (used[i] || dis[0][e[i].u] == INF || dis[1][e[i].v] == INF) continue;

		int l = prv[0][e[i].u] + 1;

		int r = prv[1][e[i].v] - 1;

		if (l > r) continue;

		else modify(1, 0, L + 1, l, r, dis[0][e[i].u] + dis[1][e[i].v] + e[i].w);

	}

	for (int i = 1; i <= L; i++) {

		int ans = query(1, 0, L + 1, i);

		printf("%d\n", (ans == INF) ? -1 : ans);

	}

    return 0;

}