题目链接
如果要说最小割树是什么的话,我觉得可以说是CDQ分治+最小割(+LCA问题)。为什么要在括号里加LCA呢,因为LCA是用来维护最小割树的,并不一定存在的吧QAQ。
首先,就是概念性的问题,很多时候一定要强调是被这些割边会分割成两个板块,U集合和V集合,强调这两个集合是被割边给分离出来的。
然后的话,我们想知道任意两点之间的最小割的话,我们可以求的是他们在最小割树上的LCA。原图上u,v两点最小割就是最小割树上u到v的路径上权值最小的边。
这个的证明要源于它的概念(定义):定义一棵树T为最小割树,如果对于树上的所有边(s,t),树上去掉(s,t)后产生的两个集合恰好是原图上(s,t)的最小割把原图分成的两个集合,且边(u,v)的权值等于原图上(u,v)的最小割。
这就是最小割树上边的由来,又可以知道,我们被分割出来的两个集合,集合U和集合V,如果呢x是集合U内的点,V是集合Y内的点,那么我们不难知道x到y的最小割的值是一定小于u到v的最小割的值的,因为就算最坏的情况下,我们是选择u到v的最小割的,如果有更优的话,我们自然会选择更优的解决方案。
于是,便有了最小割树。GHT。
#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <unordered_map>
#include <unordered_set>
#define _ABS(x, y) ( x > y ? (x - y) : (y - x) )
#define lowbit(x) ( x&( -x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
#define efs 1e-7
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
#define MP(a, b) make_pair(a, b)
using namespace std;
typedef unsigned long long ull;
typedef unsigned int uit;
typedef long long ll;
const int maxN = 505, maxM = 3e3 + 7;
int N, M, head[maxN], cnt;
struct Eddge
{
int nex, to, flow;
Eddge(int a=-1, int b=0, int c=0):nex(a), to(b), flow(c) {}
}edge[maxM << 1], E[maxN << 1];
inline void addEddge(int u, int v, int flow)
{
edge[cnt] = Eddge(head[u], v, flow); head[u] = cnt++;
edge[cnt] = Eddge(head[v], u, 0); head[v] = cnt++;
}
inline void _add(int u, int v, int flow) { addEddge(u, v, flow); addEddge(v, u, flow); }
struct Max_Flow
{
int deep[maxN], cur[maxN], S, T;
queue<int> Q;
inline bool bfs()
{
while(!Q.empty()) Q.pop();
for(int i=1; i<=N; i++) deep[i] = 0;
deep[S] = 1;
Q.push(S);
int u;
while(!Q.empty())
{
u = Q.front(); Q.pop();
for(int i=head[u], v, f; ~i; i=edge[i].nex)
{
v = edge[i].to; f = edge[i].flow;
if(f && !deep[v])
{
deep[v] = deep[u] + 1;
Q.push(v);
}
}
}
return deep[T];
}
int dfs(int u, int dist)
{
if(u == T) return dist;
for(int &i=cur[u], v, f, di; ~i; i=edge[i].nex)
{
v = edge[i].to; f = edge[i].flow;
if(f && deep[v] == deep[u] + 1)
{
di = dfs(v, min(dist, f));
if(di)
{
edge[i].flow -= di; edge[i ^ 1].flow += di;
return di;
}
}
}
return 0;
}
inline void Init()
{
for(int i=0; i<cnt; i+=2)
{
edge[i].flow += edge[i ^ 1].flow;
edge[i ^ 1].flow = 0;
}
}
inline int Dinic(int st, int ed)
{
int ans = 0, tmp;
S = st; T = ed;
Init();
while(bfs())
{
for(int i=1; i<=N; i++) cur[i] = head[i];
while((tmp = dfs(S, INF))) ans += tmp;
}
return ans;
}
}flow;
int top[maxN], tot;
inline void add_E(int u, int v, int w)
{
E[tot] = Eddge(top[u], v, w);
top[u] = tot++;
}
inline void _E(int u, int v, int w) { add_E(u, v, w); add_E(v, u, w); }
int P[maxN], TP[maxN];
void CDQ(int l, int r)
{
if(l == r) return;
int Flow = flow.Dinic(P[l], P[l + 1]);
_E(P[l], P[l + 1], Flow);
int ql = l, qr = r;
for(int i=l, u; i<=r; i++)
{
u = P[i];
if(flow.deep[u]) TP[ql ++] = u;
else TP[qr --] = u;
}
for(int i=l; i<=r; i++) P[i] = TP[i];
CDQ(l, ql - 1); CDQ(ql, r);
}
struct LCA
{
int root[maxN][11], deep[maxN], minn[maxN][11];
void dfs(int u, int fa, int dis)
{
root[u][0] = fa; minn[u][0] = dis;
for(int i=0; (1 << (i + 1)) <= N; i++)
{
root[u][i + 1] = root[root[u][i]][i];
minn[u][i + 1] = min(minn[u][i], minn[root[u][i]][i]);
}
for(int i=top[u], v; ~i; i=E[i].nex)
{
v = E[i].to;
if(v == fa) continue;
deep[v] = deep[u] + 1;
dfs(v, u, E[i].flow);
}
}
inline int _LCA(int u, int v)
{
int ans = INF;
if(deep[u] < deep[v]) swap(u, v);
int det = deep[u] - deep[v];
for(int i=log2(det); i>=0; i--)
{
if(det & (1 << i))
{
ans = min(ans, minn[u][i]);
u = root[u][i];
}
}
if(u == v) return ans;
for(int i=log2(N); i>=0; i--)
{
if(root[u][i] ^ root[v][i])
{
ans = min(ans, minn[u][i]);
ans = min(ans, minn[v][i]);
u = root[u][i];
v = root[v][i];
}
}
return ans = min(ans, min(minn[u][0], minn[v][0]));
}
void Init()
{
for(int j=log2(N) + 1; j>=0; j--) for(int i=N; i>=1; i--)
{
root[i][j] = 0;
minn[i][j] = INF;
}
deep[1] = 0;
dfs(1, 0, INF);
}
}lca;
inline void init()
{
cnt = tot = 0;
for(int i=1; i<=N; i++)
{
head[i] = top[i] = -1;
P[i] = TP[i] = i;
}
}
int main()
{
scanf("%d%d", &N, &M);
init();
for(int i=1, u, v, w; i<=M; i++)
{
scanf("%d%d%d", &u, &v, &w);
_add(u, v, w);
}
CDQ(1, N);
lca.Init();
int Q, u, v; scanf("%d", &Q);
while(Q--)
{
scanf("%d%d", &u, &v);
printf("%d\n", lca._LCA(u, v));
}
return 0;
}
/*
5 6
1 3 1
1 5 3
3 5 2
2 3 2
3 4 1
2 4 3
1
2 5
ans:3
*/