Noip前的大抱佛脚----图论

Posted 2021-01-17 xzyxzy

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了Noip前的大抱佛脚----图论相关的知识，希望对你有一定的参考价值。

图论

知识点

Tarjan相关

边双和点双/割边和割点

强连通分量：有向图中任意两个顶点都有相互到达的路径的一个极大子图
边双连通分量：一个子图中删去任意一条边都不影响图的连通性
点双连通分量：一个子图中删去任意一个点都不影响图的连通性
割边：连接两个边双的边
割点：连接两个点双的点

代码如下：

//把一个边双缩点
void Tarjan(int x)
{
    vis[x]=1;sta[++top]=x;
    dfn[x]=low[x]=++tot;
    for(int i=head[x];i;i=a[i].next)
    {
        int R=a[i].to;
        if(!dfn[R]) Tarjan(R),low[x]=min(low[x],low[R]);
        else if(vis[R]) low[x]=min(low[x],low[R]);
    }
    if(low[x]!=dfn[x]) return;
    for(int k=sta[top],lst=0;lst!=x;lst=k,k=sta[--top])
        vis[k]=0,bel[k]=x;
}
//无向图缩点略有不同

//求割点（tag[x]=1）
void Tarjan(int x,int f)
{
    int s=0;dfn[x]=low[x]=++tot;
    for(int i=head[x];i;i=a[i].next)
    {
        int R=a[i].to;if(R==f) continue;
        if(!dfn[R])
        {
            s++;Tarjan(R,x);tag[x]|=low[R]>=dfn[x];
            low[x]=min(low[x],low[R]);
        }
        else low[x]=min(low[x],dfn[R]);//注意！这里必须是dfn，有反例！！
    }
    if(!f&&s==1) tag[x]=0;
}

有向图缩点后成为DAG，无向图缩点/求割点后成为树的结构

TarjanLCA

(O(n*反阿克曼函数+Q))离线求lca

步骤：

对询问挂链（vector），初始化并查集
(dfs)整棵树后处理询问，扫完该子树才将其并查集父亲指向树结构的父亲
如果对于一个询问((x,y))，当前扫到(y)且(x)已经被访问过，答案为x的并查集父亲

void tarjan(int x,int fr)
{    
    for(int i=head[x];i;i=a[i].next)
        if(R!=fr) tarjan(R,x);vis[x]=1;
    for(int i:U[x])
    {
        int y=g[i]^x,&s=ans[i];//g[i]=x^y，表示第i个询问
        if(vis[y]) s=find(y);
    }
    fa[x]=fa[fr];
}

圆方树

二分图相关

DFS找奇环

From [CodeForces19E] Fairy

如果一条边只存在于奇环中，那么DFS时一定能够判断出这条边只会存在于奇环中

why?

并查集维护二分图

在数据结构有讲，用按秩合并的带权并查集维护黑白颜色即可

二分图匹配的不可行边

求一定不会出现在二分图最大匹配中的边

方法是：跑网络流，对残余网络跑(Tarjan)缩点，一条边不是不可行边当且仅当它是匹配边或者他们被缩在同一个点中

感性理解：缩在同一点，把环给反向，于是就可以变成匹配边了

注意：Dinic跑二分图复杂度为(O(sqrt n m))!!

最小生成树相关

最短路树

要求生成树中每个点到1号点的距离等于图中最短路，且生成树边权之和最小

这个直接用SPFA或者Dijkstra求从哪里来是最短路，然后贪心选个最短的就好了

最短路相关

负环

可以使用SPFA，先同时把所有点入队，然后判断一个点的最短路如果经过超过(n)个点，则表示存在负环

多源最短路

把源点同时入队/入堆，然后照样跑即可，同时如果需要可以记一个from表示从哪个源点过来的

如果不需要记录，新建源点向所有源点连0的边即可

差分约束系统

连边以及跑最长/短路

对于一些形如 (v_ale v_b+W) 的若干关于"(le)“的式子，可以从从(b)向(a)连一条权值为(W)的边，然后跑最短路
最后跑出来的答案(dis[a])表示的是关于(v_a)的若干不等式的解，就是说不等式组中最小的那个，所以(dis[a])是(v_a)的最大值

如果是要求最小值，那么对于上面的式子，可以从(a)向(b)连(-W)的边，跑最长路，得出的(dis[b])是(b)的最小值

无解以及做题方法

可以通过存在正/负环判断无解

很多时候模型并不明确，可以二分答案之后判断合法性来求解一般问题

01最短路

边权只有0或1的最短路，感觉是Dijkstra+SPFA，操作是开一个双端队列deque，每次更新最短路，如果由+0更新就丢队头，+1更新就丢队尾，然后每个点只往外面更新一次，其实是用队列模拟Dij的堆，这样复杂度是(O(m))的

k短路

求一张有向图中(1)到(n)中第(k)短的路径，可以不是简单路径（有环，自环，重边）

做法1：A*搜索

建出以(n)为根的最短路树，那么每个点有两个参数：(f[i])表示到达(i)点已经走了(f[i])的长度，(h[i])表示(i)的估价函数，表示(i)到(n)最少还要走多远，以这个为权值每次在堆中选取权值最小的更新，(n)被走到的第(k)次即为(k)短路

?

做法2：可持久化左偏树

建出最短路树后我们发现对于任意一条路径，可以拆成树边和非树边，且一个非树边的边集对应着一条路径，于是我们需要求出第(k)小的非树边集

令(dis[i])表示(i)到(n)的最短路长度，则定义一个非树边集(S)的权值为(dis[1]+sum_{ein S}d[e],d[e]=dis[to]+e.w-dis[fr])，(d[e])的实际含义是走这条边新增的代价，于是把这个丢进优先队列里取出(k)次就好了

然后我们考虑怎么得到非树边集&怎么拓展新状态。

对于每个点，维护该点到树根(n)的路径的所有非树边的出边集，并按照出边的(d[e])排序（这个用可持久化左偏树得到，每次从父亲那里copy下来，代码见魔法猪学院）

定义一个全局的优先队列按照(bs+val)排序，(bs)表示已经走了的边的权值，(val)表示当前边集的权值。首先把1号点的左偏树树顶丢入全局堆中，然后从堆中取出k次元素得到第k小

对于一个状态是当前最小，由此可以拓展出三个新状态：该点的左偏树中的左右儿子（表示为从该点向上不选择原来的非树边，转而选择一条比它大一点的非树边。需要堆中父亲一定大于左右儿子的性质做保证）、该条边指向的点的堆顶（表示为一定选这条边，在往n走的路径中再选一条非树边，此时要给(bs_{new}+=bs_{old}+val_{old})）

复杂度：(O(nlogn+mlogm+klogk))，分别为最短路、左偏树、优先队列的复杂度之和

?

网络流

zkw费用流

用SPFA跑出最短路之后，用类似Dinic的dfs跑很多遍，对于相同费用的路径较多的图的效率特别高，当然不满足这种性质效率就会比一般的费用流效率低（无限之环加上zkw费用流快了100倍！）

int dfs(int x,int flow)
{
    if(x==T) return flow;vis[x]=1;
    for(int &i=cur[x];i;i=a[i].next)
    {
        int R=a[i].to;//dis表示的费用最短路
        if(!a[i].w||dis[R]!=dis[x]+a[i].cost||vis[R]) continue;
        int k=dfs(R,min(flow,a[i].w));
        if(k) {a[i].w-=k,a[i^1].w+=k;vis[x]=0;return k;}
    }
    return 0;//如果在这个点找不到增广路，vis就只会在SPFA中清空，这个点在本次dis数组时不会再访问
}