我们知道线段树是维护区间问题的神器
在图论中如果我们碰到区间建边问题:
①将某点与[L,R]区间点连权值w的有向边
常规做法是 for(int i=l;i<=r;i++)add(x,i,w); 情况时间复杂度为O(n)
但是如果我们用到线段树 可以将复杂度优化为o(logn);
我们建立一颗out树来维护[L,R]区间的点
线段树上每个节点表示一个虚拟点 连接他所维护的[L,R] 距离为0有向边
要注意的是idx的值初始化应该>n 因为线段树上的叶子节点是编号为1-n
在我们建图时head[N] dis[N] vis[N]中N的大小应该和虚拟点的大小一致 线段树最坏情况为4*N
所以N应该初始化为题目条件的4倍 边的情况取最坏 MlogN
建树操作
struct Node{
int l,r,id;
}out[N<<2],in[N<<2];
void build(int u,int l,int r){
out[u]={l,r,++idx};
if(l==r){out[u].id=l;return;}
int mid=(l+r)>>1;
build(u<<1,l,mid);
build(u<<1|1,mid+1,r);
add(out[u].id,out[u<<1].id,0);
add(out[u].id,out[u<<1|1].id,0);
}
修改操作就是建边操作 从v点向包括[L,R]的虚拟点连接一个w的边
void change_out(int u,int l,int r,int v,int w){
if(l<=out[u].l&&out[u].r<=r){
add(v,out[u].id,w);return;
}
int mid=(out[u].l+out[u].r)>>1;
if(l<=mid)change_out(u<<1,l,r,v,w);
if(r>mid)change_out(u<<1|1,l,r,v,w);
}
②将[L,R]区间点与某点连权值w的有向边
同理我们建立一颗in树来维护[L,R]区间的点
线段树上每个父亲节点表示一个虚拟点 从[L,R]向它连一条距离为0的有向边
void build(int u,int l,int r){
in[u]={l,r,++idx};
if(l==r){in[u].id=l;return;}
int mid=(l+r)>>1;
build(u<<1,l,mid);
build(u<<1|1,mid+1,r);
add(in[u<<1].id,in[u].id,0);
add(in[u<<1|1].id,in[u].id,0);
}
修改操作就是建边操作 从包括[L,R]的虚拟点向v点连接一个w的边
void change_in(int u,int l,int r,int v,int w){
if(l<=in[u].l&&in[u].r<=r){
add(in[u].id,v,w);return;
}
int mid=(in[u].l+in[u].r)>>1;
if(l<=mid)change_in(u<<1,l,r,v,w);
if(r>mid)change_in(u<<1|1,l,r,v,w);
}
③如果碰到[L1,R1]与[L2,R2]区间点连权值w的有向边
我们只需要再建立一个虚拟点v 然后先用[L1,R1]向v建立权值w的边 再由v向[L2,R2]建立权值0的边(代码省略)
模板题题目传送门:
http://codeforces.com/problemset/problem/786/B
在网络流题目中处理区间建边问题 我们仍然可以使用线段树来连边这里我丢个题目 然后丢下我的代码 细节不再赘述
https://ac.nowcoder.com/acm/problem/20951
https://paste.ubuntu.com/p/47Z5g3BkSQ/
有没有推荐画图工具 我想画图完善下
ipad