BZOJ.4727.[POI2017]Turysta(哈密顿路径/回路 竞赛图)
\(Description\)
给出一个n个点的有向图,任意两个点之间有且仅一条有向边。对于每个点v,求出从v出发的一条经过点数最多,且没有重复经过同一个点一次以上的简单路径。
n<=2000
\(Solution\)
竞赛图缩点后得到的拓扑图一定是一条链,因为竞赛图任意两点前后关系确定,所以只有一种拓扑序列
从前边强连通分量中的任意一点出来 都可以到达后边强连通分量的任意一点
因为竞赛图的每个强连通分量一定存在一条哈密顿回路
所以只需要求出每一个强连通分量的哈密顿回路,然后在链上走,把每个强连通分量的回路存起来中,最后按拓扑序从后往前输出即可
//4884kb 9220ms
#include <cstdio>
#include <cctype>
#include <vector>
#include <algorithm>
#define gc() getchar()
const int N=2005;
int n,dfn[N],low[N],id,cnt,bel[N],sk[N],top,nxt[N],dgr[N],pos[N];
bool mp[N][N],ins[N];
std::vector<int> scc[N];
inline int read()
{
int now=0;register char c=gc();
for(;!isdigit(c);c=gc());
for(;isdigit(c);now=now*10+c-'0',c=gc());
return now;
}
void Tarjan(int x)
{
dfn[x]=low[x]=++id, sk[++top]=x, ins[x]=1;
for(int i=1; i<=n; ++i)
if(mp[x][i])
if(!dfn[i]) Tarjan(i),low[x]=std::min(low[x],low[i]);
else if(ins[i]) low[x]=std::min(low[x],dfn[i]);
else ;//
if(low[x]==dfn[x])
{
++cnt;
do{
bel[sk[top]]=cnt, ins[sk[top]]=0, scc[cnt].push_back(sk[top]);
}while(x!=sk[top--]);
}
}
inline bool cmp(const int &a,const int &b){
return dgr[a]<dgr[b];
}
void Insert(int x)
{
sk[++top]=x;
for(int i=nxt[x]; i/*necessary(对于单独一个点)*/&&i!=x; i=nxt[i]) sk[++top]=i;
}
int main()
{
n=read();
for(int i=2; i<=n; ++i)
for(int j=1; j<i; ++j)
mp[j][i]=read(), mp[i][j]=mp[j][i]^1;
for(int i=1; i<=n; ++i)
if(!dfn[i]) Tarjan(i);
for(int l,r,sz,i=1; i<=cnt; ++i)
{
l=r=scc[i][0], sz=scc[i].size();
for(int tmp,j=1; j<sz; ++j)//从1个点开始 扩展成哈密顿路径
{
tmp=scc[i][j];
if(mp[tmp][l]) nxt[tmp]=l, l=tmp;
else if(mp[r][tmp]) nxt[r]=tmp, r=tmp;
else
{
for(int k=l; nxt[k]; k=nxt[k])
if(mp[k][tmp]&&mp[tmp][nxt[k]])//在当前路径上找 连向tmp同时tmp连向其后边节点的
{
nxt[tmp]=nxt[k], nxt[k]=tmp;
break;
}
}
}
r=0;
for(int j=l; j; j=nxt[j])
if(r)
{
for(int k=r,las=l; ; las=k,k=nxt[k])
{
if(mp[j][k])
{
nxt[las]=nxt[l];
if(las!=l) nxt[l]=r;
r=k, l=j;
break;
}
if(k==l) break;
}
}
else if(mp[j][l]) r=l, l=j;
nxt[l]=r;
}
for(int i=1; i<=n; ++i)//对每个强连通分量拓扑排序
for(int j=1; j<=n; ++j)
if(bel[i]!=bel[j]&&mp[i][j]) ++dgr[bel[j]];
for(int i=1; i<=cnt; ++i) pos[i]=i, dgr[i]/=scc[i].size();
//度数要除以size 因为连向强连通分量i的点会连向i中所有点(竞赛图) 而此时拓扑是要对强连通分量的入度排序
std::sort(pos+1,pos+1+cnt,cmp);
for(int i=1; i<=n; ++i)
{
top=0, Insert(i);//直接加入i这个强连通分量即可,走一遍回路,然后再从终点走到下一个强连通分量
//bel[i]中每个点一定都可以走到下一个强连通分量j,否则bel[i]和j就成了环(同一个强连通分量)了
for(int j=1; j<=cnt; ++j)//按照拓扑序添加scc(路径)
if(dgr[pos[j]]>dgr[bel[i]])
Insert(scc[pos[j]][0]);
printf("%d ",top);
for(int i=1; i<top; ++i) printf("%d ",sk[i]);
printf("%d\n",sk[top]);
}
return 0;
}
BZOJ.4727.[POI2017]Turysta(哈密顿路径/回路 竞赛图)的更多相关文章
- BZOJ 4727: [POI2017]Turysta
4727: [POI2017]Turysta Time Limit: 20 Sec Memory Limit: 128 MBSec Special JudgeSubmit: 117 Solved ...
- BZOJ4727 [POI2017]Turysta 【竞赛图哈密顿路径/回路】
题目链接 BZOJ4727 题解 前置芝士 1.竞赛图存在哈密顿路径 2.竞赛图存在哈密顿回路,当且仅当它是强联通的 所以我们将图缩点后,拓扑排序后一定是一条链,且之前的块内的点和之后块内的点的边一定 ...
- bzoj千题计划232:bzoj4727: [POI2017]Turysta
http://www.lydsy.com/JudgeOnline/problem.php?id=4727 竞赛图tarjan缩点后得到的拓扑图一定是一条链 因为竞赛图任意两点的前后顺序确定,只有一种拓 ...
- BZOJ 4726: [POI2017]Sabota?
4726: [POI2017]Sabota? Time Limit: 20 Sec Memory Limit: 128 MBSec Special JudgeSubmit: 301 Solved ...
- BZOJ 4726: [POI2017]Sabota? 树形dp
4726: [POI2017]Sabota? 题目连接: http://www.lydsy.com/JudgeOnline/problem.php?id=4726 Description 某个公司有n ...
- bzoj 4725 [POI2017]Reprezentacje ró?nicowe 暴力
[POI2017]Reprezentacje ró?nicowe Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 141 Solved: 67[Sub ...
- bzoj 4724 [POI2017]Podzielno 二分+模拟
[POI2017]Podzielno Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 364 Solved: 160[Submit][Status][ ...
- bzoj 4723 [POI2017]Flappy Bird 模拟
[POI2017]Flappy Bird Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 482 Solved: 196[Submit][Status ...
- ACM学习历程—BZOJ 2115 Xor(dfs && 独立回路 && xor高斯消元)
题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=2115 题目大意是求一条从1到n的路径,使得路径xor和最大. 可以发现想枚举1到n的所有路 ...
随机推荐
- 基于Python的机器学习实战:Apriori
目录: 1.关联分析 2. Apriori 原理 3. 使用 Apriori 算法来发现频繁集 4.从频繁集中挖掘关联规则 5. 总结 1.关联分析 返回目录 关联分析是一种在大规模数据集中寻找有趣 ...
- ROC,AUC,PR,AP介绍及python绘制
这里介绍一下如题所述的四个概念以及相应的使用python绘制曲线: 参考博客:http://kubicode.me/2016/09/19/Machine%20Learning/AUC-Calculat ...
- BIM 相关资料
BIM 相关资料:http://pan.baidu.com/share/link?shareid=919219072&uk=966240844
- mysql授权报错 ERROR 1819 (HY000): Your password does not satisfy the current policy requirements
授权用户时报错,ERROR 1819 (HY000): Your password does not satisfy the current policy requirements 原因为其实与val ...
- HTMl学习笔记02-编辑器
工欲善其事,必先利其器 使用专业HTML编辑器来编辑HTML,推荐使用Notepad++,中文界面. 在Notepad++安装完成后,点击文件>新建.语言>H中选择HTML 在新建的文件输 ...
- java注解优缺点
优点: 1.节省配置,减少配置文件大小 2.编译时即可查看正确与否,提高效率 缺点: 1.增加了程序的耦合性,因为注解保存在class文件中,而且比较分散 2.若要对配置进行修改需要重新编译 @aut ...
- RMAN-06059(转)
change archivelog all crosscheck;
- WebRTC服务器——Licode 环境搭建
WebRTC服务器--Licode 环境搭建 系统配置 阿里云服务器 Ubuntu 14.04.5 LTS Docker 环境搭建 在一台空的机器上搭建docker环境,先要安装docker,执行下面 ...
- 基于axios创建的实例使用axios.all,报错:this.$http is not a function,但请求成功
报以下错误: 原因: axios实例没有all这个方法,all是axios的静态方法 解决方法: 以下方法不是最好的,还没找到更好的解决办法,目前先这样解决.
- Storm的部署
配置方案如下 node1 Nimbus zookeeper node2 Supervisor zookeeper node3 Supervisor zookeeper node4 Supervisor ...