bzoj1093【ZJOI2007】最大半联通子图
题意:http://www.lydsy.com/JudgeOnline/problem.php?id=1093
sol :一开始理解错题意了QAQ,还莫名其妙写挂了QAQ,调了半天
首先显然一个强联通分量肯定要么都属于最大半联通子图,要么都不属于
所以先用tarjan缩点,重建后得到一个DAG
之后我们可以发现,得到的答案一定是一条链,所以要求最长链的长度和数量
直接dp即可,记得判重(我挂了好久QAQ)
#include<iostream>
#include<algorithm>
#include<cstdio>
#include<cstring>
using namespace std;
const int Mx=;
int n,m,p,maxn,ans,cnt,tag,top;
int dfn[Mx],low[Mx],val[Mx],belong[Mx],stk[Mx];
int in[Mx],f[Mx],g[Mx],vis[Mx];
bool instk[Mx];
int tot,head1[Mx],head2[Mx],nxt1[*Mx],ver1[*Mx],nxt2[*Mx],ver2[*Mx];
void add1(int x,int y)
{
nxt1[++tot]=head1[x];
ver1[tot]=y;
head1[x]=tot;
}
void add2(int x,int y)
{
nxt2[++tot]=head2[x];
ver2[tot]=y;
head2[x]=tot;
in[y]++;
}
void tarjan(int x)
{
dfn[x]=low[x]=++cnt;
stk[++top]=x,instk[x]=;
for(int i=head1[x];i;i=nxt1[i])
{
int y=ver1[i];
if(!dfn[y])
tarjan(y),
low[x]=min(low[x],low[y]);
else if(instk[y])
low[x]=min(low[x],dfn[y]);
}
if(low[x]==dfn[x])
{
int now=;tag++;
while(now!=x)
{
now=stk[top--];
instk[now]=;
val[tag]++;
belong[now]=tag;
}
}
}
void rebuild()
{
tot=;
for(int x=;x<=n;x++)
for(int i=head1[x];i;i=nxt1[i])
{
int y=ver1[i];
if(belong[x]!=belong[y])
add2(belong[x],belong[y]);
}
}
void dp()
{
int l=,r=;
for(int i=;i<=tag;i++)
{
if(!in[i]) stk[r++]=i;
f[i]=val[i],g[i]=;
}
while(l!=r)
{
int x=stk[l++];
for(int i=head2[x];i;i=nxt2[i])
{
int y=ver2[i]; in[y]--;
if(!in[y]) stk[r++]=y;
if(vis[y]==x) continue;
if(f[x]+val[y]>f[y])
{
f[y]=f[x]+val[y];
g[y]=g[x];
}
else if(f[x]+val[y]==f[y])
g[y]=(g[x]+g[y])%p;
vis[y]=x;
}
}
}
int main()
{
scanf("%d%d%d",&n,&m,&p);
for(int i=,x,y;i<=m;i++)
{
scanf("%d%d",&x,&y);
add1(x,y);
}
for(int i=;i<=n;i++) if(!dfn[i]) tarjan(i);
rebuild(); dp();
for(int i=;i<=tag;i++)
{
if(f[i]>maxn) maxn=f[i],ans=g[i];
else if(f[i]==maxn) ans+=g[i],ans%=p;
}
printf("%d\n%d\n",maxn,ans);
return ;
}
bzoj1093【ZJOI2007】最大半联通子图的更多相关文章
- bzoj1093 [ZJOI2007]最大半联通子图 缩点 + 拓扑序
最大半联通子图对应缩点后的$DAG$上的最长链 复杂度$O(n + m)$ #include <cstdio> #include <cstring> #include < ...
- 【BZOJ1093】[ZJOI2007]最大半联通子图(Tarjan,动态规划)
[BZOJ1093][ZJOI2007]最大半联通子图(Tarjan,动态规划) 题面 BZOJ 洛谷 洛谷的讨论里面有一个好看得多的题面 题解 显然强连通分量对于题目是没有任何影响的,直接缩点就好了 ...
- [bzoj 1093][ZJOI2007]最大半联通子图(强联通缩点+DP)
题目:http://www.lydsy.com:808/JudgeOnline/problem.php?id=1093 分析: 首先肯定是先把强联通全部缩成一个点,然后成了一个DAG 下面要知道一点: ...
- BZOJ1093 [ZJOI2007]最大半连通子图 【tarjan缩点 + DAG最长路计数】
题目 一个有向图G=(V,E)称为半连通的(Semi-Connected),如果满足:?u,v∈V,满足u→v或v→u,即对于图中任意 两点u,v,存在一条u到v的有向路径或者从v到u的有向路径.若G ...
- BZOJ1093: [ZJOI2007]最大半连通子图(tarjan dp)
题意 一个有向图G=(V,E)称为半连通的(Semi-Connected),如果满足:?u,v∈V,满足u→v或v→u,即对于图中任意两点u,v,存在一条u到v的有向路径或者从v到u的有向路径.若G' ...
- BZOJ1093 [ZJOI2007]最大半连通子图
Description 一个有向图G=(V,E)称为半连通的(Semi-Connected),如果满足:?u,v∈V,满足u→v或v→u,即对于图中任意两点u,v,存在一条u到v的有向路径或者从v到u ...
- bzoj1093[ZJOI2007]最大半连通子图(tarjan+拓扑排序+dp)
Description 一个有向图G=(V,E)称为半连通的(Semi-Connected),如果满足:?u,v∈V,满足u→v或v→u,即对于图中任意两点u,v,存在一条u到v的有向路径或者从v到u ...
- bzoj1093: [ZJOI2007]最大半连通子图 scc缩点+dag上dp
一个有向图G=(V,E)称为半连通的(Semi-Connected),如果满足:?u,v∈V,满足u→v或v→u,即对于图中任意两点u,v,存在一条u到v的有向路径或者从v到u的有向路径.若G'=(V ...
- 【tarjan 拓扑排序 dp】bzoj1093: [ZJOI2007]最大半连通子图
思维难度不大,关键考代码实现能力.一些细节还是很妙的. Description 一个有向图G=(V,E)称为半连通的(Semi-Connected),如果满足:?u,v∈V,满足u→v或v→u,即对于 ...
- BZOJ1093 ZJOI2007最大半连通子图(缩点+dp)
发现所谓半连通子图就是缩点后的一条链之后就是个模板题了.注意缩点后的重边.写了1h+真是没什么救了. #include<iostream> #include<cstdio> # ...
随机推荐
- phalcon中find 最常用
1 官网:http://docs.iphalcon.cn/reference/models.html#finding-records 2 具体操作实例 数据: mysql> select * f ...
- 2017年9月22日作业 c++算术运算符 自增 自减 逻辑运算符 位运算符 条件运算符(三元运算符)
作业1: c++算术运算符试题,分析下面程序的输出结果是什么 //第一个: int x=8999;int value=x*1000/1000; //第二个 int x=8999;int value=x ...
- oracle 多行数据合并一行数据
在工作中遇见的oracle知识,多行合并成一行,记录一下 1.取出需要的数据,代码: (SELECT to_char(m.f_meetdate, 'yyyy-MM-dd'), decode(nvl(m ...
- 简单的Maven+SpringMVC
一.SpringMVC非注解编程 1:修改pom.xml文件(相当于非Maven项目的导入jar包) <!-- https://mvnrepository.com/artifact/org.sp ...
- dom 添加删除节点
//找到 div1 var div1 = document.getElementById("div1"); //创建 一个 p标签 var p = document.createE ...
- 四、Shell 数组
Shell 数组 数组中可以存放多个值.Bash Shell 只支持一维数组(不支持多维数组),初始化时不需要定义数组大小(与 PHP 类似). 与大部分编程语言类似,数组元素的下标由0开始. She ...
- base64转图片上传
不成功,但是有一定的借鉴性 /** * @param base64Codes * 图片的base64编码 */ function sumitImageFile(base64Codes){ consol ...
- Nginx读书笔记
... upstream proxy_svrs { server http://192.168.1.1:8001/uri/; server http://192.168.1.2:8001/uri/; ...
- HTML5/CSS3 第三章页面布局
页面布局 1 页面组成 2 布局相关的标签 <div></div> 定义文档中的分区或节 <span></span> 这是一个行内元素,没有任何意义 & ...
- 四 python并发编程之协程
一 引子 本节的主题是基于单线程来实现并发,即只用一个主线程(很明显可利用的cpu只有一个)情况下实现并发,为此我们需要先回顾下并发的本质:切换+保存状态 cpu正在运行一个任务,会在两种情况下切走去 ...