bzoj4773: 负环
题解:
网上还有一种spfa+深度限制的算法
https://www.cnblogs.com/BearChild/p/6624302.html
是不加队列优化的spfa,我觉得复杂度上限是bellman-ford nm的,另外从每个点跑加上二分答案所以是n^2mlogn的
但实测的确是挺快的,可能是深度限制的原因
这题可以用倍增floyd
比较慢的就是二分+倍增floyd是n^3log^2n的
可以直接用找lca的思想,做到n^3logn
不太懂floyd的理论
两个矩阵算起来的时候要用新矩阵去更新的
c[i][j]=min(c[i][j],a[i][k]+b[k][j])这样做
然后卡了一下常(指针)
不过在bz上效果好像不是很明显
自己测试还是很明显得
不过windos下数组极慢,要用5.5s
linux下只用了2s,指针的win和linux下几乎相同都是1s
代码:
#include <bits/stdc++.h>
using namespace std;
#define rint register int
#define IL inline
#define rep(i,h,t) for (rint i=h;i<=t;i++)
#define dep(i,t,h) for (rint i=t;i>=h;i--)
const int INF=1e9;
const int N=;
char ss[<<],*A=ss,*B=ss;
IL char gc()
{
return (A==B&&(B=(A=ss)+fread(ss,,<<,stdin),A==B)?EOF:*A++);
}
template<class T>void read(T &x)
{
rint f=,c; while (c=gc(),c<||c>) if (c=='-') f=-; x=c^;
while (c=gc(),<c&&c<) x=(x<<)+(x<<)+(c^); x*=f;
}
int f[][N][N],t[N][N],t1[N][N],n,m;
int main()
{
freopen("1.in","r",stdin);
freopen("1.out","w",stdout);
read(n); read(m);
rep(k,,)
rep(i,,n)
rep(j,,n)
if (i!=j)
f[k][i][j]=INF;
rep(i,,m)
{
int x,y,z;
read(x); read(y); read(z);
if (f[][x][y]>z) f[][x][y]=z;
}
rep(i,,)
{
rep(i1,,n)
rep(i2,,n)
{
rint tmp=f[i-][i2][i1];
rint *p1=f[i-][i1];
rep(i3,,n)
{
rint *p3=f[i][i2];
rint p4=p3[i3];
rint p2=tmp+p1[i3];
if (p4>p2) p3[i3]=p2;
}
}
}
rep(i,,n)
rep(j,,n)
t[i][j]=f[][i][j];
int ans=;
dep(i,,)
{
rep(i1,,n)
rep(i2,,n)
t1[i1][i2]=INF;
rep(i1,,n)
{
rint (*g)=f[i][i1];
rep(i2,,n)
{
rint tmp=t[i2][i1];
rint *p3=t1[i2];
rep(i3,,n)
{
rint p1=p3[i3];
rint p2=tmp+g[i3];
if (p1>p2) p3[i3]=p2;
}
}
}
bool tt=;
rep(j,,n)
if (t1[j][j]<) tt=;
if (!tt)
{
ans+=<<i;
memcpy(t,t1,sizeof(t1));
}
}
if (ans+==) cout<<<<endl;
else cout<<ans+<<endl;
return ;
}
bzoj4773: 负环的更多相关文章
- bzoj4773: 负环(倍增floyd)
浴谷夏令营例题...讲师讲的很清楚,没看题解代码就自己敲出来了 f[l][i][j]表示i到j走2^l条边的最短距离,显然有f[l][i][j]=min(f[l][i][j],f[l-1][i][k] ...
- bzoj4773 负环 倍增+矩阵
题目传送门 https://lydsy.com/JudgeOnline/problem.php?id=4773 题解 最小的负环的长度,等价于最小的 \(len\) 使得存在一条从点 \(i\) 到自 ...
- 2018.11.09 bzoj4773: 负环(倍增+floyd)
传送门 跟上一道题差不多. 考虑如果环上点的个数跟最短路长度有单调性那么可以直接上倍增+floyd. 然而并没有什么单调性. 于是我们最开始给每个点初始化一个长度为0的自环,于是就有单调性了. 代码: ...
- BZOJ4773 负环(floyd+倍增)
倍增floyd求出经过<=2k条边时两点间最短路,一个点到自身的最短路就是包含该点的最小环.然后倍增找答案即可.注意初始时到自身的最短路设为0,这样求出的最短路就是经过<=2k条边的而不是 ...
- BZOJ4773: 负环(倍增Floyd)
题意 题目链接 Sol 倍增Floyd,妙妙喵 一个很显然的思路(然而我想不到是用\(f[k][i][j]\)表示从\(i\)号点出发,走\(k\)步到\(j\)的最小值 但是这样复杂度是\(O(n^ ...
- 【BZOJ4773】负环 倍增Floyd
[BZOJ4773]负环 Description 在忘记考虑负环之后,黎瑟的算法又出错了.对于边带权的有向图 G = (V, E),请找出一个点数最小的环,使得 环上的边权和为负数.保证图中不包含重边 ...
- 【BZOJ4773】负环 [SPFA][二分]
负环 Time Limit: 100 Sec Memory Limit: 256 MB[Submit][Status][Discuss] Description 在忘记考虑负环之后,黎瑟的算法又出错 ...
- UVA11090 Going in Cycle!! [spfa负环]
https://vjudge.net/problem/UVA-11090 平均权值最小的回路 为后面的做个铺垫 二分最小值,每条边权减去他,有负环说明有的回路平均权值小于他 spfa求负环的时候可以先 ...
- 【洛谷P3385】模板-负环
这道题普通的bfs spfa或者ballen ford会T 所以我们使用dfs spfa 原因在于,bfs sfpa中每个节点的入队次数不定,退出操作不及时,而dfs则不会 既然,我们需要找负环,那么 ...
随机推荐
- VS2017中用C#调试DLL
1.首先将DLL工程导入到包含C#应用程序工程的解决方案中 2.将DLL和C#工程都改为[Debug]模式 3.设置DLL工程属性,右键点击DLL工程,选择[属性],选择[常规],将[输出目录]改为C ...
- ranlib 作用
ar 命令用于更新,维护管理静态库. ranlib 命令用于 更新库的符号索引表. 当只执行了ar命令(用于更新)时, ld连接时会仍然报错,查找不到更新的变量或函数,此时需要用ranlib来更新库的 ...
- selenium——表单嵌套
<html> <iframe id="id-iframe" name="iframee1"> --切换表单 <html> & ...
- Java二维码生成与解码
基于google zxing 的Java二维码生成与解码 一.添加Maven依赖(解码时需要上传二维码图片,所以需要依赖文件上传包) <!-- google二维码工具 --> &l ...
- C# web Api ajax发送json对象到action中
直接上代码: 1.Product实体
- Navicat系列产品激活教程
准备 本教程可破解12.x版本,如果教程失效请联系我 # 19.1.11 破解暂时失效,请勿更新 (如已更新请卸载重新安装老版本,数据不会丢失 http://download.navicat.com/ ...
- C#结婚吧(if else if)
- /etc/rc.d/init.d/iptables: No such file or directory 错误原因
注:本文转载自cnblogs:一天学点的文章</etc/rc.d/init.d/iptables: No such file or directory 错误原因> RedHat Enter ...
- Confluence 6 修改站点的标识图片
你可以通过修改标识图片(Logos)来修改你 Confluence 站点的外观和感觉. 你可以修改: 站点标识图片(site logo) 为所有空间修改默认空间标识图片(default space l ...
- bat如何提取文本指定行的内容
背景:使用CTS框架运行完测试后,会在logs中生成devices_log和host_log,在results中生成相应的结果(报告).根据报告信息我们可以得知失败的用例,但是却不能知道为什么用例会失 ...