https://wenku.baidu.com/view/ce296043192e45361066f575.html   //仙人掌图基础知识3个判定条件

http://blog.csdn.net/yihuikang/article/details/7904347  //参考代码

题目:HDU 3594

Cactus

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 2042    Accepted Submission(s): 950

Problem Description
1. It is a Strongly Connected graph.
2. Each edge of the graph belongs to a circle and only belongs to one circle.
We call this graph as CACTUS.

There is an example as the figure above. The left one is a cactus, but the right one isn’t. Because the edge (0, 1) in the right graph belongs to two circles as (0, 1, 3) and (0, 1, 2, 3).

 
Input
The input consists of several test cases. The first line contains an integer T (1<=T<=10), representing the number of test cases.
For each case, the first line contains a integer n (1<=n<=20000), representing the number of points.
The following lines, each line has two numbers a and b, representing a single-way edge (a->b). Each case ends with (0 0).
Notice: The total number of edges does not exceed 50000.
 
Output
For each case, output a line contains “YES” or “NO”, representing whether this graph is a cactus or not.

 
Sample Input
2
4
0 1
1 2
2 0
2 3
3 2
0 0
4
0 1
1 2
2 3
3 0
1 3
0 0
 
Sample Output
YES
NO
 
#include<cstdio>
#include<cstring>
#include<iostream>
const int maxn=;
const int maxm=;
int index,n,tot,head[maxn],cnt[maxn],vis[maxn],dfn[maxn],low[maxn];
//dfn表示的是其在树中的深度,low表示其经过移动可达到的最大高度(最小深度)
bool flag;
struct Edge{
   int v,next;
}e[maxm];
void add(int u,int v) {
   e[tot].v=v;e[tot].next=head[u];head[u]=tot++;
}
void dfs(int u){
   int v;
   if(!flag) return;
   dfn[u]=low[u]=++index;
   vis[u]=;
   for(int i=head[u];i+;i=e[i].next){
    v=e[i].v;
    if(vis[v]==) {flag=false;return;}  //出现了横向边,性质1
    if(!vis[v]) {
        dfs(v);
        if(low[v]>dfn[u]) {flag=false;return;} //性质2,如果其子节点所能达到的最大高度小于父节点,那么子节点一定不能达到父节点,所以不是连通图
        if(low[v]<dfn[u]) {
            ++cnt[u];//经过u的环+1
            if(low[v]<low[u]) low[u]=low[v];//更新所能达到的最大高度。
        }
    }
    else if(low[v]<dfn[u]) {
        ++cnt[u];//经过u的环+1
        if(low[v]<low[u]) low[u]=low[v];//更新所能达到的最大高度。
    }
    if(cnt[u]>) {flag=false;return;} //性质3
   }
   vis[u]=;//以u为根节点 的子树访问完毕,如果再有访问的话就是横向边。
}
int main(){
   int _,u,v;
   for(scanf("%d",&_);_--;){
    scanf("%d",&n);
    tot=;
    for(int i=;i<=n;++i) {
        head[i]=-;
        vis[i]=cnt[i]=;
    }
    while(scanf("%d%d",&u,&v),u||v) add(u+,v+);
    flag=;
    index=;
    dfs();
    if(!flag|index<n) puts("NO");
    else puts("YES");
   }
}
 
 
BZOJ 1023

1023: [SHOI2008]cactus仙人掌图

Time Limit: 1 Sec  Memory Limit: 162 MB
Submit: 2670  Solved: 1109
[Submit][Status][Discuss]

Description

  如果某个无向连通图的任意一条边至多只出现在一条简单回路(simple cycle)里,我们就称这张图为仙人掌
图(cactus)。所谓简单回路就是指在图上不重复经过任何一个顶点的回路。

  举例来说,上面的第一个例子是一张仙人图,而第二个不是——注意到它有三条简单回路:(4,3,2,1,6
,5,4)、(7,8,9,10,2,3,7)以及(4,3,7,8,9,10,2,1,6,5,4),而(2,3)同时出现在前两
个的简单回路里。另外,第三张图也不是仙人图,因为它并不是连通图。显然,仙人图上的每条边,或者是这张仙
人图的桥(bridge),或者在且仅在一个简单回路里,两者必居其一。定义在图上两点之间的距离为这两点之间最
短路径的距离。定义一个图的直径为这张图相距最远的两个点的距离。现在我们假定仙人图的每条边的权值都是1
,你的任务是求出给定的仙人图的直径。

Input

  输入的第一行包括两个整数n和m(1≤n≤50000以及0≤m≤10000)。其中n代表顶点个数,我们约定图中的顶
点将从1到n编号。接下来一共有m行。代表m条路径。每行的开始有一个整数k(2≤k≤1000),代表在这条路径上
的顶点个数。接下来是k个1到n之间的整数,分别对应了一个顶点,相邻的顶点表示存在一条连接这两个顶点的边
。一条路径上可能通过一个顶点好几次,比如对于第一个样例,第一条路径从3经过8,又从8返回到了3,但是我们
保证所有的边都会出现在某条路径上,而且不会重复出现在两条路径上,或者在一条路径上出现两次。

Output

  只需输出一个数,这个数表示仙人图的直径长度。

Sample Input

15 3
9 1 2 3 4 5 6 7 8 3
7 2 9 10 11 12 13 10
5 2 14 9 15 10 8
10 1
10 1 2 3 4 5 6 7 8 9 10

Sample Output

8
9

HINT

对第一个样例的说明:如图,6号点和12号点的最短路径长度为8,所以这张图的直径为8。

【注意】使用Pascal语言的选手请注意:你的程序在处理大数据的时候可能会出现栈溢出。
如果需要调整栈空间的大小,可以在程序的开头填加一句:{$M 5000000},其中5000000即
指代栈空间的大小,请根据自己的程序选择适当的数值。
 
http://hzwer.com/4645.html  //参考代码
 
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const int inf=0x3f3f3f3f;
const int maxn=;
int n,m,cnt,ind,ans;
int last[maxn],deep[maxn],f[maxn];//f是其到子节点中最大路径长度
int low[maxn],dfn[maxn],fa[maxn];
int a[maxn<<],q[maxn<<],l,r;
struct edge{int to,next;}e[maxn<<];
void insert(int u,int v){
   e[++cnt].to=v;e[cnt].next=last[u];last[u]=cnt;
   e[++cnt].to=u;e[cnt].next=last[v];last[v]=cnt;
}
void dp(int root,int x){
   int tot=deep[x]-deep[root]+;
   for(int i=x;i!=root;i=fa[i]) a[tot--]=f[i];
   a[tot]=f[root];
   tot=deep[x]-deep[root]+;
   for(int i=;i<=tot;++i) a[i+tot]=a[i];//二倍的原因是单调队列简化需要(这个操作我不太会)
   //感觉很有道理的样子
   q[]=;l=r=;
   for(int i=;i<=*tot;++i){  //单调队列
      while(l<=r&&i-q[l]>tot/) ++l;//题干要求最短路,大于tot/2的要删掉
      ans=max(ans,a[i]+i+a[q[l]]-q[l]) ;//i-q[l]是在主路径上i到q[l]的最短距离,再加上各自的子树中的f
      while(l<=r&&a[q[r]]-q[r]<=a[i]-i) --r;  //观察通项就可以的出这个了
      q[++r]=i;
   }
   for(int i=;i<=tot;++i)
    f[root]=max(f[root],a[i]+min(i-,tot-i+)); //有环的子节点要特殊更新一下
}
void dfs(int x)
{
 low[x]=dfn[x]=++ind;
 for(int i=last[x];i;i=e[i].next)
  if(e[i].to!=fa[x])
  {
   if(!dfn[e[i].to])
   {
    fa[e[i].to]=x;
    deep[e[i].to]=deep[x]+;
    dfs(e[i].to);
    low[x]=min(low[x],low[e[i].to]);
   }
   else low[x]=min(low[x],dfn[e[i].to]);
   if(dfn[x]<low[e[i].to])
   {
    ans=max(ans,f[x]+f[e[i].to]+);
    f[x]=max(f[x],f[e[i].to]+);
   }
  }
 for(int i=last[x];i;i=e[i].next)//处理成环的子树
  if(fa[e[i].to]!=x&&dfn[x]<dfn[e[i].to])
   dp(x,e[i].to);
}
int main()
{
 scanf("%d%d",&n,&m);
 for(int i=;i<=m;i++)
 {
  int k,a,b;
  scanf("%d%d",&k,&a);
  for(int i=;i<=k;i++)
  {
      scanf("%d",&b);
   insert(a,b);a=b;
  }
 }
 dfs();
 printf("%d\n",ans);
 return ;
}

仙人掌图判定及求直径HDU3594 BZOJ1023的更多相关文章

  1. HDU 3594 Cactus 有向仙人掌图判定

    题意 给出一个有向图,并给出仙人掌图的定义 图本身是强连通的 每条边属于且只属于一个环 判断输入的图是否是强连通的. 分析 杭电OJ上的数据比较弱,网上一些有明显错误的代码也能AC. 本着求真务实的精 ...

  2. hdu 3594 Cactus /uva 10510 仙人掌图判定

    仙人掌图(有向):同时满足:1强连通:2任何边不在俩个环中. 个人理解:其实就是环之间相连,两两只有一个公共点,(其实可以缩块),那个公共点是割点.HDU数据弱,网上很多错误代码和解法也可以过. 个人 ...

  3. 【bzoj1023】仙人掌图

    [bzoj1023]仙人掌图 题意 给一棵仙人掌,求直径. \(n\leq 100000\) 分析 分析1:[Tarjan]+[环处理+单调队列优化线性dp]+[树形dp] 分开两种情况处理: ①环: ...

  4. 【BZOJ1023】仙人掌图(仙人掌,动态规划)

    [BZOJ1023]仙人掌图(仙人掌,动态规划) 题面 BZOJ 求仙人掌的直径(两点之间最短路径最大值) 题解 一开始看错题了,以为是求仙人掌中的最长路径... 后来发现看错题了一下就改过来了.. ...

  5. bzoj千题计划113:bzoj1023: [SHOI2008]cactus仙人掌图

    http://www.lydsy.com/JudgeOnline/problem.php?id=1023 dp[x] 表示以x为端点的最长链 子节点与x不在同一个环上,那就是两条最长半链长度 子节点与 ...

  6. BZOJ1023:[SHOI2008]cactus仙人掌图(圆方树,DP,单调队列)

    Description 如果某个无向连通图的任意一条边至多只出现在一条简单回路(simple cycle)里,我们就称这张图为仙人掌图(cactus). 所谓简单回路就是指在图上不重复经过任何一个顶点 ...

  7. BZOJ1023: [SHOI2008]cactus仙人掌图(仙人掌dp)

    Time Limit: 1 Sec  Memory Limit: 162 MBSubmit: 3467  Solved: 1438[Submit][Status][Discuss] Descripti ...

  8. BZOJ1023:[SHOI2008]仙人掌图——题解

    http://www.lydsy.com/JudgeOnline/problem.php?id=1023 Description 如果某个无向连通图的任意一条边至多只出现在一条简单回路(simple ...

  9. BZOJ1023[SHOI2008]cactus仙人掌图 【仙人掌DP】

    题目 如果某个无向连通图的任意一条边至多只出现在一条简单回路(simple cycle)里,我们就称这张图为仙人掌 图(cactus).所谓简单回路就是指在图上不重复经过任何一个顶点的回路. 举例来说 ...

随机推荐

  1. Leetcode2 两数相加 Python

    给出两个 非空 的链表用来表示两个非负的整数.其中,它们各自的位数是按照 逆序 的方式存储的,并且它们的每个节点只能存储 一位 数字. 如果,我们将这两个数相加起来,则会返回一个新的链表来表示它们的和 ...

  2. Codeforces Round #561 (Div. 2) A. Silent Classroom(贪心)

    A. Silent Classroom time limit per test1 second memory limit per test256 megabytes inputstandard inp ...

  3. 图论--二分图最佳完美匹配(KM模板)

    #include <iostream> #include <cstring> #include <cstdio> using namespace std; cons ...

  4. muduo网络库源码学习————Timestamp.cc

    今天开始学习陈硕先生的muduo网络库,moduo网络库得到很多好评,陈硕先生自己也说核心代码不超过5000行,所以我觉得有必要拿过来好好学习下,学习的时候在源码上面添加一些自己的注释,方便日后理解, ...

  5. undef用法

    #undef的语法 定义:#undef 标识符,用来将前面定义的宏标识符取消定义. 整理了如下几种#undef的常见用法. 1. 防止宏定义冲突在一个程序块中用完宏定义后,为防止后面标识符冲突需要取消 ...

  6. Blazor一个简单的示例让我们来起飞

    Blazor Blazor他是一个开源的Web框架,不,这不是重点,重点是它可以使c#开发在浏览器上运行Web应用程序.它其实也简化了SPA的开发过程. Blazor = Browser + Razo ...

  7. System.Linq.Dynamic字符串转委托

    以前一直想着有没有一个方法能够把字符串直接转化成函数的,刚好有需求就找了下,还真有. 微软地址:https://docs.microsoft.com/en-us/previous-versions/b ...

  8. 关于MySQL数据库的卸载

    首先对于MySQL这款数据库来讲,不能简单的卸载就草草了事,我们首先在mysql的文件下面找到my.ini这个文件, 在其中找到mysql数据库所产生的data文件,这个文件一般在c盘的一个隐藏目录下 ...

  9. 消息队列高手课 -笔记-Kafka高性能的几个关键点

    总结下kafka 高性能的几个关键点是: 1:使用批量处理的方式 去提升系统的吞吐能力 2:基于磁盘文件高性能的顺序读写的特性来设计存储结构 3:利用操作系统的PageCache 来缓存数据  减少I ...

  10. 【Hadoop离线基础总结】Hadoop High Availability\Hadoop基础环境增强

    目录 简单介绍 Hadoop HA 概述 集群搭建规划 集群搭建 第一步:停止服务 第二步:启动所有节点的ZooKeeper 第三步:更改配置文件 第四步:启动服务 简单介绍 Hadoop HA 概述 ...