UVA11324 The Largest Clique

题目描述

给你一张有向图 \(G\),求一个结点数最大的结点集,使得该结点集中的任意两个结点 \(u\) 和 \(v\) 满足:要么 \(u\) 可以达 \(v\),要么 \(v\) 可以达 \(u\)(\(u,v\)相互可达也行)。

输入输出格式

输入格式:

第一行:测试数据组数\(T\),每组数据的格式如下:

第一行为结点数 \(n\) 和边数 \(m\) ,结点编号 \(1~n\)。

以下\(m\)行每行两个整数 \(u\) 和 \(v\) ,表示一条有向边 \(u->v\)。

输出格式:

每组数据输出最大结点集的结点数

输入输出样例

输入样例#1:

1
5 5
1 2
2 3
3 1
4 1
5 2

输出样例#1:

4

题解

首先,我们会想到\(Tarjan\)缩点,将缩成的点的\(siz\)大小当做点权。

因为缩完点之后就会是一个\(DAG\),所以可以跑DP。

这种题型有两种实现方式,\(topsort\)和记忆化搜索,代码中已注明。

转移就是\(dp[v]=max(dp[v],dp[u]+siz[v])\).

code:

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cctype>
#include<queue>
#define R register
#define ll long long
#define N 1005
#define M 50005
using namespace std;
template<typename T>inline void read(T &a){
char c=getchar();T x=0,f=1;
while(!isdigit(c)){if(c=='-')f=-1;c=getchar();}
while(isdigit(c)){x=(x<<1)+(x<<3)+c-'0';c=getchar();}
a=f*x;
}
int T,n,m,u[M],v[M],ru[N],siz[N],h[N],sta[N],low[N],dfn[N];
int top,num,tot,col[M],vis[N],dp[N],ans,cnt;
struct node{
int nex,to;
}edge[M];
inline void add(R int u,R int v){
edge[++tot].nex=h[u];
edge[tot].to=v;
h[u]=tot;
}
inline void Tarjan(R int x){
dfn[x]=low[x]=++num;
sta[++top]=x;vis[x]=1;
for(R int i=h[x];i;i=edge[i].nex){
R int xx=edge[i].to;
if(!dfn[xx]){
Tarjan(xx);
low[x]=min(low[x],low[xx]);
}
else if(vis[xx])low[x]=min(low[x],dfn[xx]);
}
if(dfn[x]==low[x]){
R int now=-1;
cnt++;
while(now!=x){
now=sta[top];
top--;
col[now]=cnt;
siz[cnt]++;
vis[now]=0;
}
}
}
inline void init(){
tot=num=top=ans=cnt=0;
memset(h,0,sizeof(h));
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
memset(vis,0,sizeof(vis));
memset(siz,0,sizeof(siz));
memset(sta,0,sizeof(sta));
memset(col,0,sizeof(col));
memset(ru,0,sizeof(ru));
memset(dp,-1,sizeof(dp));
}
inline void topsort(){
queue<int> q;
while(!q.empty())q.pop();
for(R int i=1;i<=cnt;i++)
if(!ru[i])q.push(i),dp[i]=siz[i];
while(!q.empty()){
R int x=q.front();q.pop();
for(R int i=h[x];i;i=edge[i].nex){
R int xx=edge[i].to;
dp[xx]=max(dp[x]+siz[xx],dp[xx]);
--ru[xx];
if(!ru[xx])q.push(xx);
}
}
}
inline int search(R int x){
if(dp[x]!=-1)return dp[x];
R int res=siz[x];
for(R int i=h[x];i;i=edge[i].nex){
R int xx=edge[i].to;
res=max(search(xx)+siz[x],res);
}
return dp[x]=res;
}
int main(){
read(T);
while(T--){
read(n);read(m);init();
for(R int i=1;i<=m;i++)
read(u[i]),read(v[i]),add(u[i],v[i]);
for(R int i=1;i<=n;i++)
if(!dfn[i])Tarjan(i);
tot=0;memset(h,0,sizeof(h));
for(R int i=1;i<=m;i++)
if(col[u[i]]!=col[v[i]])
add(col[u[i]],col[v[i]]),ru[col[v[i]]]++;
//记忆化搜索
for(R int i=1;i<=cnt;i++)
ans=max(ans,search(i));
//拓扑排序
topsort();
for(R int i=1;i<=cnt;i++)
ans=max(ans,dp[i]);
printf("%d\n",ans);
}
return 0;
}

【UVA11324】 The Largest Clique (Tarjan+topsort/记忆化搜索)的更多相关文章

  1. luogu3953 [NOIp2017]逛公园 (tarjan+dijkstra+记忆化搜索)

    先跑一边dijkstra算出从1到i的最短距离dis[i] 然后建反向边 从n开始记忆化搜索,(p,k)表示1到p的距离=dis[p]+k的方案数 答案就是$\sum\limits_{i=0}^{k} ...

  2. 『题解』UVa11324 The Largest Clique

    原文地址 Problem Portal Portal1:UVa Portal2:Luogu Portal3:Vjudge Description Given a directed graph \(\t ...

  3. UVA11324 The Largest Clique —— 强连通分量 + 缩点 + DP

    题目链接:https://vjudge.net/problem/UVA-11324 题解: 题意:给出一张有向图,求一个结点数最大的结点集,使得任意两个结点u.v,要么u能到达v, 要么v能到达u(u ...

  4. uva11324 The Largest Clique --- 强连通+dp

    给一个有向图G,求一个子图要求当中随意两点至少有一边可达. 问这个子图中最多含多少个顶点. 首先找SCC缩点建图.每一个点的权值就是该点包括点的个数. 要求当中随意两点可达,实际上全部边仅仅能同方向, ...

  5. UVA11324 The Largest Clique (强连通缩点+DP最长路)

    <题目链接> 题目大意: 给你一张有向图 G,求一个结点数最大的结点集,使得该结点集中的任意两个结点 u 和 v 满足:要么 u 可以达 v,要么 v 可以达 u(u,v相互可达也行). ...

  6. bzoj 1589: [Usaco2008 Dec]Trick or Treat on the Farm 采集糖果【tarjan+记忆化搜索】

    对这个奇形怪状的图tarjan,然后重新连边把图变成DAG,然后记忆化搜索即可 #include<iostream> #include<cstdio> using namesp ...

  7. 洛谷 2921 记忆化搜索 tarjan 基环外向树

    洛谷 2921 记忆化搜索 tarjan 传送门 (https://www.luogu.org/problem/show?pid=2921) 做这题的经历有点玄学,,起因是某个random题的同学突然 ...

  8. ZOJ3795 Grouping(强连通分量+缩点+记忆化搜索)

    题目给一张有向图,要把点分组,问最少要几个组使得同组内的任意两点不连通. 首先考虑找出强连通分量缩点后形成DAG,强连通分量内的点肯定各自一组,两个强连通分量的拓扑序能确定的也得各自一组. 能在同一组 ...

  9. LightOJ1417 Forwarding Emails(强连通分量+缩点+记忆化搜索)

    题目大概是,每个人收到信息后会把信息发给他认识的一个人如此下去,问一开始要把信息发送给谁这样看到信息的人数最多. 首先找出图中的SCC并记录每个SCC里面的点数,如果传到一个SCC,那么里面的人都可以 ...

随机推荐

  1. MAXOS 进程管理

    ps -ef|grep +程序名 注意进程名区分大小写 linux上进程有5种状态:1. 运行(正在运行或在运行队列中等待)2. 中断(休眠中, 受阻, 在等待某个条件的形成或接受到信号)3. 不可中 ...

  2. 基于HTML5的RDP访问实战

    基于HTML5的RDP访问实战 1.安装guacamole   2.下载源码   3.安装服务端 安装报错 错误   参考 http://www.remotespark.com/html5.html ...

  3. ubuntu14.04 64 位 vmware tools 问题2

    当提示说open-vm-tools版本太低时可以这样解决 0.使用最新版本12.5的vmware player. 1.sudo apt-get autoremove open-vm-dkms open ...

  4. C++获取字符串长度数

    strlen,获取到的是字节数,中文占两个字节. 如何获取字符数,无论中文英文,标点符号,都按一个字符计算呢?这里提供其中的一个方法.那就是通过MultiByteToWideChar函数,将CStri ...

  5. xStream完美转换XML、JSON(转)

    xStream框架 xStream可以轻易的将Java对象和xml文档相互转换,而且可以修改某个特定的属性和节点名称,而且也支持json的转换: 前面有介绍过json-lib这个框架,在线博文:htt ...

  6. html传参数 js工具类

    var QueryUtils = { GetQueryString: function (name) { var reg = new RegExp("(^|&)" + na ...

  7. wireshark问题

    上一篇wireshark编译成功了,生成了相应的wireshark.exe,dumpcap.exe等可执行文件(这些文件都是可以运行的),编译工具用的是VS2010,但是新生成的文件和文件夹中没有找到 ...

  8. configparser模块读写ini配置文件

    在自动化测试过程中,为了提高脚本的可读性和降低维护成本,将一些通用信息写入配置文件,将重复使用的方法写成公共模块进行封装,使用时候直接调用即可. 这篇博客,介绍下python中利用configpars ...

  9. Ubuntu16 apt-get更换为阿里源

    1.备份系统自带源 mv /etc/apt/sources.list /etc/apt/sources.list.bak 2.修改/etc/apt/sources.list文件 vim /etc/ap ...

  10. HDU 4586 Play the Dice (数学,概率,等比公式,极限)

    题意:给你一个n面的骰子每个面有一个值,然后其中有不同值代表你能获得的钱,然后有m个特殊的面,当你骰到这一面的时候可以获得一个新的机会 问你能得到钱的期望. 析: 骰第一次     sum/n 骰第二 ...