tarjan算法的第一个问题

喷我的脸。。。。手写叠式开成BOOL,我一直在找错了。。。

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define maxn 100005 const int MOD=1000000007; using namespace std; struct node
{
int to,next;
}edge[maxn*3]; int dfn[maxn],low[maxn],head[maxn],a[maxn],s[maxn];
bool instack[maxn];
int cnt,n,m,c,top;
long long ans1,ans2; void add(int x,int y)
{
edge[cnt].to = y;
edge[cnt].next = head[x];
head[x]=cnt++;
} void tarjan(int x)
{
dfn[x]=low[x]=++c;
instack[x] = true;
s[++top]=x; for(int i=head[x];i!=-1;i=edge[i].next)
{
int tmp = edge[i].to;
if(!dfn[tmp])
{
tarjan(tmp);
if(low[x]>low[tmp])
low[x] = low[tmp];
}
else if(instack[tmp])
{
if(low[x]>dfn[tmp])
low[x] = dfn[tmp];
}
}
if(low[x]==dfn[x])
{
int t;
int minx = MOD,sum = 0;
do{
t = s[top--];
instack[t] = false;
if(a[t]<minx)
{
minx = a[t];
sum = 1;
}
else if(a[t] == minx)
sum++;
}while(t!=x);
ans1+=minx;
ans2=(ans2*sum)%MOD;
}
} int main()
{
int p,b;
while(scanf("%d",&n)!=EOF)
{
cnt = 0;
memset(head,-1,sizeof(head));
memset(instack,0,sizeof(instack));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(s,0,sizeof(s)); for(int i=1;i<=n;i++)
scanf("%d",&a[i]);
scanf("%d",&m);
for(int i=1;i<=m;i++)
{
scanf("%d%d",&p,&b);
add(p,b);
}
c = 0,top = 0,ans1 = 0,ans2 = 1;
for(int k=1;k<=n;k++)
{
if(!dfn[k])
tarjan(k);
} printf("%I64d %I64d\n",ans1,ans2);
}
return 0;
}

tarjan算法的基础是DFS。

我们准备两个数组Low和Dfn。Low数组是一个标记数组,记录该点所在的强连通子图所在搜索子树的根节点的Dfn值(非常绕嘴,往下看你就会明确)。Dfn数组记录搜索到该点的时间,也就是第几个搜索这个点的。依据下面几条规则。经过搜索遍历该图(无需回溯)和对栈的操作,我们就能够得到该有向图的强连通分量。

  1. 数组的初始化:当首次搜索到点p时。Dfn与Low数组的值都为到该点的时间。
  2. 堆栈:每搜索到一个点,将它压入栈顶。
  3. 当点p有与点p’相连时,假设此时(时间为dfn[p]时)p’不在栈中。p的low值为两点的low值中较小的一个。
  4. 当点p有与点p’相连时,假设此时(时间为dfn[p]时)p’在栈中。p的low值为p的low值和p’的dfn值中较小的一个。
  5. 每当搜索到一个点经过以上操作后(也就是子树已经所有遍历)的low值等于dfn值,则将它以及在它之上的元素弹出栈。这些出栈的元素组成一个强连通分量。

  6. 继续搜索(也许会更换搜索的起点,由于整个有向图可能分为两个不连通的部分)。直到所有点被遍历。

因为每一个顶点仅仅訪问过一次。每条边也仅仅訪问过一次。我们就能够在O(n+m)的时间内求出有向图的强连通分量。可是,这么做的原因是什么呢?

Tarjan算法的操作原理例如以下:

  1. Tarjan算法基于定理:在不论什么深度优先搜索中,同一强连通分量内的全部顶点均在同一棵深度优先搜索树中。也就是说,强连通分量一定是有向图的某个深搜树子树。
  2. 能够证明。当一个点既是强连通子图Ⅰ中的点,又是强连通子图Ⅱ中的点,则它是强连通子图Ⅰ∪Ⅱ中的点。
  3. 这样,我们用low值记录该点所在强连通子图相应的搜索子树的根节点的Dfn值。

    注意,该子树中的元素在栈中一定是相邻的,且根节点在栈中一定位于全部子树元素的最下方。

  4. 强连通分量是由若干个环组成的。

    所以,当有环形成时(也就是搜索的下一个点已在栈中)。我们将这一条路径的low值统一,即这条路径上的点属于同一个强连通分量。

  5. 假设遍历完整个搜索树后某个点的dfn值等于low值,则它是该搜索子树的根。

    然后,它的上方(它包含自己的)所有的元素都堆叠组成的强连接组件。

从上面的字母:http://www.cnblogs.com/saltless

CF:Problem 427C - Checkposts良好的沟通 Tarjan算法的更多相关文章

  1. CF:Problem 427C - Checkposts强连通 Tarjan算法

    tarjan算法第一题 喷我一脸. ...把手写栈的类型开成了BOOL.一直在找错.. . #include<cstdio> #include<cstring> #includ ...

  2. [CF 191C]Fools and Roads[LCA Tarjan算法][LCA 与 RMQ问题的转化][LCA ST算法]

    参考: 1. 郭华阳 - 算法合集之<RMQ与LCA问题>. 讲得很清楚! 2. http://www.cnblogs.com/lazycal/archive/2012/08/11/263 ...

  3. ZOJ Problem - 2588 Burning Bridges tarjan算法求割边

    题意:求无向图的割边. 思路:tarjan算法求割边,访问到一个点,如果这个点的low值比它的dfn值大,它就是割边,直接ans++(之所以可以直接ans++,是因为他与割点不同,每条边只访问了一遍) ...

  4. 【小白入门向】tarjan算法+codevs1332上白泽慧音 题解报告

    一.[前言]关于tarjan tarjan算法是由Robert Tarjan提出的求解有向图强连通分量的算法. 那么问题来了找蓝翔!(划掉)什么是强连通分量? 我们定义:如果两个顶点互相连通(即存在A ...

  5. tarjan算法 POJ3177-Redundant Paths

    参考资料传送门 http://blog.csdn.net/lyy289065406/article/details/6762370 http://blog.csdn.net/lyy289065406/ ...

  6. HDOJ迷宫城堡(判断强连通 tarjan算法)

    Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)Total Submission( ...

  7. 【POJ 1330 Nearest Common Ancestors】LCA问题 Tarjan算法

    题目链接:http://poj.org/problem?id=1330 题意:给定一个n个节点的有根树,以及树中的两个节点u,v,求u,v的最近公共祖先. 数据范围:n [2, 10000] 思路:从 ...

  8. 强联通块tarjan算法

    http://poj.org/problem?id=1236第一问:需要几个学校存在软件,才能通过传递,使得所有的学校都有软件 用tarjan算法求出强联通分量后,将每个联通分量缩成一个点,那么问题1 ...

  9. 浅谈Tarjan算法

    从这里开始 预备知识 两个数组 Tarjan 算法的应用 求割点和割边 求点-双连通分量 求边-双连通分量 求强连通分量 预备知识 设无向图$G_{0} = (V_{0}, E_{0})$,其中$V_ ...

随机推荐

  1. 华夏互联与逐浪CMS旗下三款软件获著作权登记

     北京时间2014年7月24日消息: 上海逐一软件科技公司长下三款软件通过中国知识产权局登记,当中包含全新的CMS2 x2.0主产品.移动门户管理系统.云台管理系统. 除主产品CMS2 x2.0( ...

  2. 谈到一些传统的企业网站SEO问题领域

    在网络营销中的时间越长,有时候,企业网站还是有一些传统做法不解.也许,这是它的思想的局限.比如,我最近来到了一个新的工作环境中发现,虽然公司是专业从事传统渠道已经很不错了,但对于网络营销渠道还有改进的 ...

  3. Down to the TLP: How PCI express devices talk (Part II)

    http://xillybus.com/tutorials/pci-express-tlp-pcie-primer-tutorial-guide-2 Data Link Layer Packets A ...

  4. hdu 1150 Machine Schedule (经典二分匹配)

    //A组n人 B组m人 //最多有多少人匹配 每人仅仅有匹配一次 # include<stdio.h> # include<string.h> # include<alg ...

  5. Java虚拟机参数设置(转)

    今天在加载一幅图片时,eclipse报出如下错误: “Exception in thread "main" java.lang.OutOfMemoryError: Java hea ...

  6. python 架构简介(转)

    前言:   开发语言python  越来越火 ,作为开发比较火的语言,python 对网页等的支持也很好,当你想用python来写网页的时候你就要选择框架了.到底要选择呢什么样子的框架,最适合你的项目 ...

  7. TreeMap cannot be cast to java.lang.Comparable

    /** * Constructs a new, empty tree map, using the natural ordering of its * keys. All keys inserted ...

  8. Sonar相关汇总

    http://www.sonarqube.org/downloads/ http://docs.sonarqube.org/display/SONAR/Documentation/ 公司前段时间推动项 ...

  9. hdu 1426 Sudoku Killer ( Dancing Link 精确覆盖 )

    利用 Dancing Link 来解数独 详细的能够看    lrj 的训练指南 和 < Dancing Links 在搜索中的应用 >这篇论文 Dancing Link 来求解数独 , ...

  10. 我的MYSQL学习心得(一)

    原文:我的MYSQL学习心得(一) 我的MYSQL学习心得(一) 我的MYSQL学习心得(二) 我的MYSQL学习心得(三) 我的MYSQL学习心得(四) 我的MYSQL学习心得(五) 我的MYSQL ...