LUOGU P2294 [HNOI2005]狡猾的商人(差分约束)
[传送门] (https://www.luogu.org/problemnew/show/P2294)
解题思路
差分约束。先总结一下差分约束,差分约束就是解决一堆不等式混在一起,左边是差的形式,右边是常量,然后要求差最小值最大值或判无解的算法。首先对于下面几个不等式来说:
X_2-X_3>=2\\
X_1-X_3<=1\\
X_0-X_2<=3
\]
现在我们要求\(X_1-X_3\)的最大值,我们观察第一个式子(其实哪个都行),第一个式子可以变\(X_0<=X_1+5\),这个形式不正是最长路的松弛操作吗。所以我们可以化作图论的模型,对于\(X_2-X_3>=2\)这样的式子,我们只需要在两边同时乘一个\(-1\),也就变成了\(X_2-X_3<=-2\)了。这样的话我们建图,\(X_1\)到\(X_3\)的最长路即为答案。最小值也同理,我们把所有式子化成\(>=\)的形式就行了。
然后有几个建图的技巧。对于\(X_a-X_b=c\)的形式,我们可以把它拆成两个式子:$ X_a-X_b<=c $ 和 $X_a-X_b>=c $,对于 $ X_a-X_b<c $,我们可以把它变成 $ X_a-X_b<=c-1$的形式。然后注意有的题让判无解,当求最短路的时候出现了负环时就一定无解,因为会不断松弛。因为有负边的存在,所以用 \(spfa\)。
说一下这道题,这道题比较巧妙。首先给的一堆\([l,r]\)的的收入,我们可以看做一个前缀和的形式。即\(sum[r]-sum[l-1]=k\),\(k\)是一个常数,这就变成上面差分约束的形式了,然后我们判断是否是假的,只需要建好图用\(spfa\)判负环。
代码
\(Atom\)写的,缩进有点奇怪。
#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<queue>
using namespace std;
const int MAXN = 105;
const int MAXM = 1005;
inline int rd(){
int x=0,f=1;char ch=getchar();
while(!isdigit(ch)) {f=ch=='-'?0:1;ch=getchar();}
while(isdigit(ch)) {x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
return f?x:-x;
}
int T,n,m,head[MAXN],cnt,num[MAXN],dis[MAXN];
int to[MAXM<<1],nxt[MAXM<<1],val[MAXM<<1];
bool vis[MAXN],flag;
queue<int> Q;
inline void add(int bg,int ed,int w){
to[++cnt]=ed,nxt[cnt]=head[bg],head[bg]=cnt,val[cnt]=w;
}
bool spfa(int S){
memset(vis,false,sizeof(vis));
memset(dis,0x3f,sizeof(dis));
memset(num,0,sizeof(num));
Q.push(S);dis[S]=0;vis[S]=1;num[S]=1;
int x,u;
while(!Q.empty()){
x=Q.front();Q.pop();
for(register int i=head[x];i;i=nxt[i]){
u=to[i];
if(dis[x]+val[i]<dis[u]){
dis[u]=dis[x]+val[i];
num[u]=max(num[u],num[x]+1);
if(num[u]>n) return false;
if(!vis[u]) {vis[u]=1;Q.push(u);}
}
}
vis[x]=false;
}
return true;
}
inline void init(){
memset(head,0,sizeof(head));
while(Q.size()) Q.pop();
cnt=0;flag=false;
}
int main(){
T=rd();
while(T--){
init();
n=rd();m=rd();int x,y,z;
for(int i=1;i<=m;i++){
x=rd(),y=rd(),z=rd();
add(y,x-1,z),add(x-1,y,-z);
}
for(int i=0;i<=n;i++)
if(!spfa(i)) {flag=true;break;}
puts(flag?"false":"true");
}
return 0;
}
LUOGU P2294 [HNOI2005]狡猾的商人(差分约束)的更多相关文章
- luogu 2294 [HNOI2005]狡猾的商人 差分约束
一个差分约束模型,只需判一下有没有负环即可. #include <bits/stdc++.h> #define N 103 #define M 2004 #define setIO(s) ...
- [luogu P2294] [HNOI2005]狡猾的商人
[luogu P2294] [HNOI2005]狡猾的商人 题目描述 输入输出格式 输入格式: 从文件input.txt中读入数据,文件第一行为一个正整数w,其中w < 100,表示有w组数据, ...
- BZOJ 1202: [HNOI2005]狡猾的商人( 差分约束 )
好像很多人用并查集写的... 前缀和, 则 sumt - sums-1 = v, 拆成2条 : sumt ≤ sums-1 + v, sums-1 ≤ sumt - v 就是一个差分约束, 建图跑SP ...
- P2294 [HNOI2005]狡猾的商人(差分约束)
P2294 [HNOI2005]狡猾的商人 对于每个$(x,y,w)$,连边$(x-1,y,w),(y,x-1,-w)$,表示前$y$个月的收益比前$x-1$个月的收益大$w$ 这样题目就转化为询问图 ...
- 洛谷P2294 [HNOI2005]狡猾的商人
P2294 [HNOI2005]狡猾的商人 题目描述 输入输出格式 输入格式: 从文件input.txt中读入数据,文件第一行为一个正整数w,其中w < 100,表示有w组数据,即w个账本,需要 ...
- 题解——洛谷P2294 [HNOI2005]狡猾的商人(差分约束)
裸的差分约束 dfs判断负环,如果有负环就false,否则就是true 注意有多组数据,数组要清空 #include <cstdio> #include <algorithm> ...
- 洛谷 [p2294] [HNOI2005] 狡猾的商人
差分约束做法 又是一道转换成前缀和的差分约束题,已知从s月到t月的收入w,设数组pre[i]代表从开始到第i个月的总收入 构造差分不等式 $ pre[s-1]-pre[t]==w $ 为了满足松弛操作 ...
- P2294 [HNOI2005]狡猾的商人
题目描述 输入输出格式 输入格式: 从文件input.txt中读入数据,文件第一行为一个正整数w,其中w < 100,表示有w组数据,即w个账本,需要你判断.每组数据的第一行为两个正整数n和m, ...
- Bzoj1202/洛谷P2294 [HNOI2005]狡猾的商人(带权并查集/差分约束系统)
题面 Bzoj 洛谷 题解 考虑带权并查集,设\(f[i]\)表示\(i\)的父亲(\(\forall f[i]<i\)),\(sum[i]\)表示\(\sum\limits_{j=fa[i]} ...
随机推荐
- yes - 不断输出一个字符串,直到杀死其为止
SYNOPSIS(总览) yes [OPTION]... [STRING]... DESCRIPTION(描述) 不断输出包括所有指定STRING(s)的一行,或者是`y'. --help 显示帮助并 ...
- IDEA 创建Spring cloud Eureka 注册中心
IDEA 创建Spring cloud Eureka 注册中心 一. 首先创建一个maven project Next之后填好groupId与artifactId,Next之后填好项目名与路径,点击F ...
- IconFont 图标的3种引用方式
第一步:进入阿里巴巴矢量图网站:http://www.iconfont.cn/ 阿里巴巴矢量图 第二步:搜索你分类的关键字---然后加入购物车,下载到本地,然后解压,会将合并后的字体文件及自动生成 ...
- Python 刷题知识点
if : elif : else : print('{0} \n{1} \n{2}' .format((a + b), (a - b), (a * b))) print(*[num**2 for nu ...
- Batch - call, start, goto 区别
参考(待整理): 批处理命令——call 和 start
- Ruby 数据类型
Ruby 数据类型 本章节我们将为大家介绍 Ruby 的基本数据类型. Ruby支持的数据类型包括基本的Number.String.Ranges.Symbols,以及true.false和nil这几个 ...
- 【Nginx】Nginx配置
序言 Nginx是lgor Sysoev为俄罗斯访问量第二的rambler.ru站点设计开发的.从2004年发布至今,凭借开源的力量,已经接近成熟与完善. Nginx功能丰富,可作为HTTP服务器,也 ...
- 绘制delphi窗体的标题栏
绘制delphi窗体的标题栏 按照设计,Delphi窗体的“标题”属性是由Windows负责绘制,标题栏在系统菜单旁边.如果你不想改变窗体的标题属性又想在窗体的标题栏添加一些自己的内容,你需要处理一个 ...
- sqoop简介和原理分析
Sqoop简介 Sqoop是一款开源的工具,主要用于在Hadoop(Hive)与传统的数据库(mysql.postgresql...)间进行数据的传递,可以将一个关系型数据库(例如 : MySQL , ...
- .Net Core 部署之一 《CentOS 从GitHub/Gitee 等源代码网站部署Web网站》
先看下楼主从某阿打折购买的渣渣服务器 lsb_release -a 一.安装dotnet-SDK 注册微软的服务 sudo rpm -Uvh https://packages.microsoft.co ...