专题1：图论

最新推荐文章于 2022-03-10 21:32:24 发布
最新推荐文章于 2022-03-10 21:32:24 发布
阅读量236 收藏
点赞数 2
分类专栏： Graph Theory 文章标签： 博客
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Hello_BABY_OvO/article/details/79473151
版权

专题1：图论

一、tarjan

我在之前的博客中详细介绍过，在这里直接放一个神奇的链接
首先了解强连通分量是什么，之后的就会很好理解

强连通分量

有向图强连通分量：在有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量。（来源：百度百科）
是不是根本没看懂，画几个图就好了，我们就以最经典的图（我看见了一堆关于tarjan的文章，都拿这个做样例，我也凑个热闹，毕竟我第一次接触时也用的这个）为例。



图片中的1，2，3，4在一起叫一个强联通分量

了解tarjan的运行过程

这个真的是费了巨长的时间，后来才发现整个过程都在进行一项工作，就是维护DFN数组和LOW数组。DFN[u]代表u的搜索次序编号(就是发现u的时间戳)，LOW[u]表示的是u或u的子树能够追溯到的最早的栈中节点的次序号，那么我们从每一个细节开始演示tarjan的过程。

1.先去发现各个节点

和普通的搜索一样，就是从每一个未被发现的点开始进行搜索遍历，发现一个未被发现的点就直接把它进栈，然后接着更新该点的DFN值（你可能会问，那如果我发现了被发现过的点怎么办呢？？别急，看下面）

2.更新LOW值

在发现被发现过的点之后就要更新自己的LOW值，因为LOW对应的是最小的值，并且栈中的一定是被发现过的（如果这个点被发现现过，而且被出栈过并且现在不在栈中，就证明这个点也无法再次被更新了），所以说更新的便是被发现的点的DFN值和自己的LOW值中小的那一个，也就是说这个更新的条件就是这个点在栈中。

3.回溯中的更新与出栈

回溯时要完成两个操作，一个是更新栈中所有点的LOW值，就是非常简单的回溯时把自己的LOW更新成下一点和自己中较小的那一个LOW值。第二个便是出栈，出栈的时候没什么好说的，遇见自己的DFN值和LOW值相等的就直接出栈，因为它们和别人也没什么关系，没和其他任何点构成强连通分量。

代码实现

void tarjan(int x)
{
    exist[x]=1;
    DFN[x]=LOW[x]=++tot;
    stack[++index]=x;
    for(int i=0;i<G[x].size();i++)
    {
        int v=edge[G[x][i]].to;
        if(DFN[v]==0)
        {
            tarjan(v);
            LOW[x]=min(LOW[x],LOW[v]);
        }
        else if(exist[v]==1)//这个就是是否在栈中的意思
        {
            LOW[x]=min(LOW[x],DFN[v]);
        }
    }
    if(DFN[x]==LOW[x])
    {
        int k=0,t;
        color++;//强连通分量序号
        do//出栈
        {
            t=stack[index];
            stack[index]=0;
            index--;
            a[t]=color;//每个结点的强连通分量序号
            exist[t]=0;
            k++;
        }while(x!=t);
        sum[color]=k;//每个强连通分量中节点的个数
    }
}

二、2-SAT

2-SAT 问题是这样的：有 n 个布尔变量xi，另有 m 个需要满足的条件，每个条件的形式都是“xi为真/假或者 xj 为真/假”。比如：“ x1 为真或者 x3 为假”、“ x7 为假或者 x2 为假”都是合法的条件。注意这里的“或”是指两个条件至少有一个是正确的，比如 x1 和 x3 一共有3种组合满足“ x1 为真或者 x3 为假”，即 x1 真 x3 真、 x1 真 x3 假、 x1 假 x3 假。2-SAT 问题的目标是给每个变量赋值，使得所有条件得到满足。
对于这种问题，最常见的做法是拆点，把一个节点 i 拆分成2i和2 i +1，分别表示xi为真和 xi 为假。最后要为每个结点打一个标记（只能打一个标记）。
对于“ xi 为假或者 xj 为假”这样的条件，我们连一条有向边2 i +1→2 j ,表示如果标记结点2i+1那么也必须标记结点 j （因为如果xi为真，则 xj 必须为假才能使条件成立）。同理，还需要连一条有向边2 j +1→2 i <script type="math/tex" id="MathJax-Element-108">i</script>。话句话说，每个条件对应两条“对称”的边。
接下来注意考虑每个没有赋值的变量，先设定为假，然后逐步递归，寻找矛盾关系，如果矛盾，则假设为真，如果还有矛盾，那就证明该2-SAT 问题无解。
因为网上有很多tarjan版本的，所以我在这里给大家提供一种dfs版本的板子,同时也是HDU3062的题解

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <vector>
using namespace std;
bool mark[4005];
vector<int> G[4005];
int s[4005],c;
int n,m;
void Addedge(int x,int xval,int y,int yval)
{
    x=(x-1)*2+xval;
    y=(y-1)*2+yval;
    G[x^1].push_back(y);
    G[y^1].push_back(x);
}
bool dfs(int x)
{
    if(mark[x^1]) return false;
    if(mark[x]) return true;
    mark[x]=true;
    s[c++]=x;
    for(int i=0;i<G[x].size();i++)
        if(!dfs(G[x][i])) return false;
    return true;
}
bool solve()
{
    for(int i=0;i<n*2;i+=2)
    {
        if(!mark[i] && !mark[i+1])
        {
            c=0;
            if(!dfs(i))
            {
                while(c>0) mark[s[--c]]=false;
                if(!dfs(i+1)) return false;
            }
        }
    }
    return true;
}
int main()
{
    freopen("hdu3062.in","r",stdin);
    freopen("hdu3062.out","w",stdout);
    while(~scanf("%d%d",&n,&m))
    {
        for(int i=1;i<=m;i++)
        {
            int a1,a2,c1,c2;
            scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
            Addedge(a1,c1^1,a2,c2^1);
        }
        if(solve()) printf("YES\n");
        else printf("NO\n");
        for(int i=0;i<n*2;i++)
            G[i].clear();
        memset(mark,false,sizeof(mark));
    }
    return 0;
}

以上知识为集训时训练中的图论算法，其他的算法（如网络流等）不在这个专题中，会在以后详细介绍
下面推荐几道练习题，并附上题解

poj1236 Network of Schools

Tarjan缩点后对缩点后新图扫每个强连通块的入度出度
对于子任务A：求需要给多少个学校发软件。即为求有多少个入度为0的点。因为对于对于每个入度不为0的点一定可以从一个其他点走到.
对于子任务B：求入度为0的点个数与出度为0的点个数的最大值，需要添多少条边才能形成使所有点都可以被某个点到达，所以对于每个出度为0的点，需要拓展一条出边，对于每个入度为0的点，需要拓展一条入边，为了减少拓展边数，可以将所有出度为0的点拓展出边到某个入度为0的点的上，最后答案即为 max（入度为0点数，出度为0点数）。

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <vector>
using namespace std;
struct apple
{
    int u,v;
    apple(int x,int y){u=x;v=y;}
};
int n,tot,index,color,ans1,ans2;;
const int inf=0x3f3f3f3f;
vector<apple> edge;
vector<apple> edge1;
vector<int> G[105];
vector<int> P[105];
int a[105],stack[105],DFN[105],LOW[105],in[105],out[105];
void Addedge(int u,int v)
{
    edge.push_back(apple(u,v));
    int m=edge.size();
    G[u].push_back(m-1);
}
void Addedge1(int u,int v)
{
    edge1.push_back(apple(u,v));
    int m=edge1.size();
    P[u].push_back(m-1);
}
int exist(int x)
{
    for(int i=1;i<=index;i++)
    {
        if(stack[i]==x) return 1;
    }
    return 0;
}
void tarjan(int x)
{
    DFN[x]=LOW[x]=++tot;
    stack[++index]=x;
    for(int i=0;i<G[x].size();i++)
    {
        int v=edge[G[x][i]].v;
        if(DFN[v]==0)
        {
            tarjan(v);
            LOW[x]=min(LOW[x],LOW[v]);
        }
        else if(exist(v)==1)
        {
            LOW[x]=min(LOW[x],DFN[v]);
        }
    }
    if(DFN[x]==LOW[x])
    {
        int t;
        color++;
        do
        {
            t=stack[index];
            stack[index]=0;
            index--;
            a[t]=color;
        }while(t!=x);
    }
}
int main()
{
    freopen("network.in","r",stdin);
    freopen("network.out","w",stdout);
    scanf("%d",&n);
    for(int u=1;u<=n;u++)
    {
        int v;
        while(scanf("%d",&v) && v!=0)
            Addedge(u,v);
    }
    for(int i=1;i<=n;i++)
        if(DFN[i]==0) tarjan(i);
    for(int i=0;i<edge.size();i++)
        if(a[edge[i].u]!=a[edge[i].v])
            Addedge1(a[edge[i].u],a[edge[i].v]);
    for(int i=0;i<edge1.size();i++)
    {
        int u=edge1[i].u,v=edge1[i].v;
        out[u]++;in[v]++;
    }
    for(int i=1;i<=color;i++)
    {
        if(!in[i]) ans1++;
        if(!out[i]) ans2++;
    }
    printf("%d\n",ans1);
    if(color!=1) printf("%d\n",max(ans1,ans2));
    else printf("0\n");
    return 0;
}

bzoj1823 满汉全席

2-sat 模板题，感觉和HDU3062无任何区别，翻译一下题意就可以发现了，每个材料可以做成满菜和汉菜，就相当于一真一假。处理方式同HDU3062

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <vector>
using namespace std;
bool mark[40005];
vector<int> G[40005];
int s[40005],c;
int t,n,m;
char getc()
{
    char ch=getchar();
    while(ch>'z'||ch<'a')ch=getchar();
    return ch;
}
void Addedge(int x,int xval,int y,int yval)
{
    x=(x-1)*2+xval;
    y=(y-1)*2+yval;
    G[x^1].push_back(y);
    G[y^1].push_back(x);
}
bool dfs(int x)
{
    if(mark[x^1]) return false;
    if(mark[x]) return true;
    mark[x]=true;
    s[c++]=x;
    for(int i=0;i<G[x].size();i++)
        if(!dfs(G[x][i])) return false;
    return true;
}
bool solve()
{
    for(int i=0;i<n*2;i+=2)
    {
        if(!mark[i] && !mark[i+1])
        {
            c=0;
            if(!dfs(i))
            {
                while(c>0) mark[s[--c]]=false;
                if(!dfs(i+1)) return false;
            }
        }
    }return true;
}
int main()
{
    freopen("bzoj1823.in","r",stdin);
    freopen("bzoj1823.out","w",stdout);
    scanf("%d",&t);
    while(t--)
    {
        scanf("%d%d",&n,&m);
        for(int i=1;i<=m;i++)
        {
            char c1,c2;
            int tmp1,tmp2,a1,a2;
            c1=getc();
            scanf("%d",&a1);
            c2=getc();
            scanf("%d",&a2);
            if(c1=='m') tmp1=1;else tmp1=0;
            if(c2=='m') tmp2=1;else tmp2=0;
            Addedge(a1,tmp1,a2,tmp2);
        }
        if(solve()) printf("GOOD\n");
        else printf("BAD\n");
        for(int i=0;i<n*2;i++)
            G[i].clear();
        memset(mark,false,sizeof(mark));
    }
    return 0;
}

poj3170

暴搜，从起点搜索每个woods，从骑士搜索每个woods，然后枚举每个woods，输出答案

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <queue>
using namespace std;
struct dot
{
    int x,y,val;
};
int w,h,ans=0x7fffffff;
int map[1005][1005],vist[1005][1005];
int sx,sy,ex,ey;
int b[1005][1005],k[1005][1005];
int dx[4]={0,1,0,-1},dy[4]={1,0,-1,0};
void bfsb()
{
    queue<dot> q;
    dot tmp;
    tmp.x=sx;tmp.y=sy;tmp.val=0;
    q.push(tmp);
    while(!q.empty())
    {
        dot u=q.front();q.pop();
        int x=u.x,y=u.y,val=u.val;
        for(int i=0;i<4;i++)
        {
            int newx=x+dx[i],newy=y+dy[i];
            if(newx>=1 && newx<=h && newy>=1 && newy<=w && map[newx][newy]!=1 && !vist[newx][newy])
            {
                tmp.x=newx;tmp.y=newy;tmp.val=val+1;
                vist[newx][newy]=1;
                if(map[newx][newy]==4) b[newx][newy]=val+1;
                q.push(tmp);
            }
        }
    }
}
void bfsk()
{
    queue<dot> q;
    dot tmp;
    tmp.x=ex;tmp.y=ey;tmp.val=0;
    q.push(tmp);
    while(!q.empty())
    {
        dot u=q.front();q.pop();
        int x=u.x,y=u.y,val=u.val;
        for(int i=0;i<4;i++)
        {
            int newx=x+dx[i],newy=y+dy[i];
            if(newx>=1 && newx<=h && newy>=1 && newy<=w && map[newx][newy]!=1 && !vist[newx][newy])
            {
                tmp.x=newx;tmp.y=newy;tmp.val=val+1;
                vist[newx][newy]=1;
                if(map[newx][newy]==4) k[newx][newy]=min(k[newx][newy],val+1);
                q.push(tmp);
            }
        }
    }
}
int main()
{
    freopen("bzoj1671.in","r",stdin);
    freopen("bzoj1761.out","w",stdout);
    scanf("%d%d",&w,&h);
    for(int i=1;i<=h;i++)
        for(int j=1;j<=w;j++)
        {
            scanf("%d",&map[i][j]);
            if(map[i][j]==2) sx=i,sy=j;
            if(map[i][j]==3) ex=i,ey=j;
        }
    memset(b,63,sizeof(b));
    memset(k,63,sizeof(k));
    bfsb();
    memset(vist,0,sizeof(vist));
    bfsk();
    for(int i=1;i<=h;i++)
        for(int j=1;j<=w;j++)
            if(map[i][j]==4) ans=min(ans,b[i][j]+k[i][j]);
    printf("%d",ans);
    return 0;
}
Hello_BABY_OvO
关注
  • 2
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
图论专题总结报告
weixin_48338324的博客
04-13 1054
图论专题总结报告 摘要 图论〔Graph Theory〕是数学的一个分支。它以图为研究对象。图论中的图是由若干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的线表示相应两个事物间具有这种关系。 图(Graph)可以用来表现多种类型的结构或系统，地图、社交网络、计算机网络联通、迷宫游戏等多种结构及系统都可以用图来表示。树是图论中应用最为广泛的一类图。在理论上，由于树的简单结构，常常是图论理论研究的“试验田”。在实际问题中，许多实际问题的图论模型就是
2020暑期专题1-图论1题解1
08-08
题目【2020暑期专题1-图论1题解1】涉及到如何判断一个有向图是否是强连通的。 **强连通图**是指在一个有向图中，任意两个节点都互相可达的图。换句话说，如果存在一条从节点A到节点B的路径，同时也存在一条从节点B...
模板一：图论
I_have_a_world的博客
05-27 517
目录 个人ACM模板总结 一、图论 （一）链式前向星 （二）最短路 1.单源最短路 1)dijkstra算法 2)SPFA 2.多源最短路 1)Floyd 3.传递闭包 4.最短路径树 1)最短路径树计数 2)去掉图中一条边之后最短路径树大小（dis之和）是否有变化 5.最短路计数 6.分层图最短路 7.k短路 写在最后 (三)最小生成树 1.基础算法： 1）克鲁斯卡尔：加n-1条边 2）prim：加n-1个点（不算第一个点） 3）Boruvka算法（结合prim
专题三：bfs、图论专题（1.cf）
qq_45812711的博客
12-31 247
其他 挑战程序设计竞赛 1.POJ 3259 Wormholes 这道题后来我又想了一个方法，只能说这个方法不是完全正确，还要因题而定。为什么这么说呢？我用的是Bellman-Ford找负圈，可以这么说，若存在负圈，且这个负圈和起点是连通的，则此法是正确的。可见，此题这个方法是可以的。这个方法很快，用邻接表也是很快很方便的，只用160ms。 #include<cstdio> #include<algorithm> #include<cstring> using nam
专题:CF图论杂题
weixin_30747253的博客
03-29 159
题目是来自HZW的博客(构造题我是各种不会...) Solved 1/1 A CodeForces 500A New Year Transportation Solved 1/1 B CodeForces 437C The Child and Toy Solved 1/2 C CodeForces 510C Fox And Na...
专题训练之图论
haoiyang的博客
03-14 204
文章目录一、图论是什么二、图论中的基本概念三、图的储存1.邻接矩阵2.邻接链表3.链式前向星四、最短路径问题1.Bellman-Ford算法（求单源最短路径）2.Dijkstra算法（求单源最短路径）3.Floyd算法（求各顶点之间最短路径）五、并查集六、本专题题解1.Cow Contest2.最短路3.六度分离 一、图论是什么 百度百科：图论〔Graph Theory〕是数学的一个分支。它以图为研究对象。图论中的图是由若干给定的点及连接两点的线所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系
leetcode(图论专题)
qq_46517733的博客
12-17 1693
图论1.导论2.编程题2.1 127. 单词接龙 1.导论 2.编程题 2.1 127. 单词接龙 字典 wordList 中从单词 beginWord 和 endWord 的 转换序列 是一个按下述规格形成的序列： 序列中第一个单词是 beginWord 。 序列中最后一个单词是 endWord 。 每次转换只能改变一个字母。 转换过程中的中间单词必须是字典 wordList 中的单词。 给你两个单词 beginWord 和 endWord 和一个字典 wordList ，找到从 beginWord 到
专题 图论
m0_52860713的博客
03-10 242
求最短路径 迪杰斯特拉算法1 /* 算法思路： 1.初始化距离 dist[1]=0,dist[i]=正无穷 2.集合s存当前已经确定最短距离的点 for i 1-n 找到一个不在s中且最短的t 将t放到s中 用t更新其他点的dist 时间复杂度O(n方) */ #include<iostream> #include<algorithm> #include<cstring> #include <climits&g
计算机科学——图论专题
Andy
06-15 4577
大二这年可谓是和图论亲密接触了一年，有时候真的被虐得很挫败，但彻底弄懂图论及其算法之后，又觉得收获颇丰。趁此期末考复习期间，将知识点和心得总结在博客上，一来是便于我将来查阅，二来是希望后来人能在此得到一些灵感。毕竟是本科生上的图论，不会像研究生学得那么深入，证明的要求也不会太高，这里就把我所学所得的倾囊倒出。
板子——图论专题
gov-T的博客
02-28 167
目录最短路dijkstraSPFA负环SPFA 最短路 dijkstra 特点 单源最短路，全是正权边。时间复杂度O(m logn)。 代码 #include<bits/stdc++.h> using namespace std; typedef long long ll; #define endl "\n" #define IOS ios::sync_with_stdio(false); cin.tie(0) #define inf 0x3f3f3f3f #define pii pair&
C++图论专题(form Alex_Wei
08-07
【C++图论专题】是针对C++编程者的一个图论知识的学习专题，涵盖了图论中的核心概念和算法。这个专题适合对C++有一定基础，理解了基础数据结构（如栈、二叉树、队列）的初学者，特别是那些需要在实际编程中灵活运用...
离散数学 图论专题讲义
12-09
这本"离散数学 图论专题讲义"是名牌大学授课专用教材，以PDF格式提供，为学习者提供了深入理解和掌握图论知识的宝贵资源。 在离散数学中，图论主要研究由顶点和边组成的图形结构，这些结构可以用来建模现实世界中的...
图论简明教程
04-03
全书共分11章，其中第1章回顾了图论所需的数学基础知识；第2章讲解了图论领域的各种基本概念；后面的8章讲解了几类特殊的图及应用，并给出了一些重要而常用的算法；最后一章讨论两个附加的专题：Ramsey理论和图支配...
数学建模图论模型专题
09-21
数学建模图论模型专题 最短路问题及算法 最小生成树及算法 旅行售货员问题
培训课件 -从0到1搭建培训管理体系.pptx
07-13
培训课件 -从0到1搭建培训管理体系.pptx
tensorflow-gpu-2.9.0-cp37-cp37m-win-amd64.whl.zip.(whl)
最新发布
07-14
使用时需去掉后缀.(whl)后再解压
JavaScript：ES6新特性深入解析
07-14
JavaScript：ES6新特性深入解析
Go：Go语言项目实战教程
07-14
Go：Go语言项目实战教程

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值