[传送门] (https://www.luogu.org/problemnew/show/P2294)

解题思路

  差分约束。先总结一下差分约束,差分约束就是解决一堆不等式混在一起,左边是差的形式,右边是常量,然后要求差最小值最大值或判无解的算法。首先对于下面几个不等式来说:

\[X_0-X_1<=5\\
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]狡猾的商人(差分约束)的更多相关文章

  1. luogu 2294 [HNOI2005]狡猾的商人 差分约束

    一个差分约束模型,只需判一下有没有负环即可. #include <bits/stdc++.h> #define N 103 #define M 2004 #define setIO(s) ...

  2. [luogu P2294] [HNOI2005]狡猾的商人

    [luogu P2294] [HNOI2005]狡猾的商人 题目描述 输入输出格式 输入格式: 从文件input.txt中读入数据,文件第一行为一个正整数w,其中w < 100,表示有w组数据, ...

  3. BZOJ 1202: [HNOI2005]狡猾的商人( 差分约束 )

    好像很多人用并查集写的... 前缀和, 则 sumt - sums-1 = v, 拆成2条 : sumt ≤ sums-1 + v, sums-1 ≤ sumt - v 就是一个差分约束, 建图跑SP ...

  4. P2294 [HNOI2005]狡猾的商人(差分约束)

    P2294 [HNOI2005]狡猾的商人 对于每个$(x,y,w)$,连边$(x-1,y,w),(y,x-1,-w)$,表示前$y$个月的收益比前$x-1$个月的收益大$w$ 这样题目就转化为询问图 ...

  5. 洛谷P2294 [HNOI2005]狡猾的商人

    P2294 [HNOI2005]狡猾的商人 题目描述 输入输出格式 输入格式: 从文件input.txt中读入数据,文件第一行为一个正整数w,其中w < 100,表示有w组数据,即w个账本,需要 ...

  6. 题解——洛谷P2294 [HNOI2005]狡猾的商人(差分约束)

    裸的差分约束 dfs判断负环,如果有负环就false,否则就是true 注意有多组数据,数组要清空 #include <cstdio> #include <algorithm> ...

  7. 洛谷 [p2294] [HNOI2005] 狡猾的商人

    差分约束做法 又是一道转换成前缀和的差分约束题,已知从s月到t月的收入w,设数组pre[i]代表从开始到第i个月的总收入 构造差分不等式 $ pre[s-1]-pre[t]==w $ 为了满足松弛操作 ...

  8. P2294 [HNOI2005]狡猾的商人

    题目描述 输入输出格式 输入格式: 从文件input.txt中读入数据,文件第一行为一个正整数w,其中w < 100,表示有w组数据,即w个账本,需要你判断.每组数据的第一行为两个正整数n和m, ...

  9. Bzoj1202/洛谷P2294 [HNOI2005]狡猾的商人(带权并查集/差分约束系统)

    题面 Bzoj 洛谷 题解 考虑带权并查集,设\(f[i]\)表示\(i\)的父亲(\(\forall f[i]<i\)),\(sum[i]\)表示\(\sum\limits_{j=fa[i]} ...

随机推荐

  1. 类 __init__的注意事项

    class Dog():  class类 后面的ClassName类名第一个字母一定要大写. def __init__(self,name,age):    注意init前后是英文格式下,前后都是两道 ...

  2. php导出csv并保存在服务器,返回csv的文件路径

    <?php namespace app\common\controller; use think\Controller; use think\Db; class Csv extends Cont ...

  3. JUC 一 线程池

    线程 线程,是程序执行的最小单元.线程是进程中的其中一个实体,是被系统独立调度和分派的基本单位 它可与同属一个进程的其它线程共享进程所拥有的全部资源. 一个线程可以创建和撤消另一个线程,同一进程中的多 ...

  4. StringUtils工具类常用api <转>

    该工具类是用于操作Java.lang.String类的. StringUtils类与String类的区别在于:此类是null安全的,即如果输入参数String为null,则不会抛出NullPointe ...

  5. 2017-3-7html基础

    一:<html><!--html文档的开始--> <head><!--头标签,html文档的开头,来描述html文档的信息,head之间的内容不会在浏览器中显 ...

  6. (转) MySQL中索引的限制

    转:http://book.51cto.com/art/200906/132459.htm 8.4.8  MySQL中索引的限制 在使用索引的同时,还应该了解MySQL 中索引存在的限制,以便在索引应 ...

  7. hdu多校第九场 1006 (hdu6685) Rikka with Coin 暴力

    题意: 有一些1毛,2毛,5毛,1块的钢镚,还有一些价格不同的商品,现在要求你带一些钢镚,以保证这些商品中任选一件都能正好用这些钢镚付账,问最少带多少钢镚. 题解: 对于最优解,1毛的钢镚最多带1个, ...

  8. Java-Idea-笔记:lombok、微信支付依赖

    ylbtech-Java-Idea-笔记:lombok.微信支付依赖 1. idea-install-lombok返回顶部 1.0. P:问题描述Idea每打开一个类文件,类名就标红,不影响运行,但g ...

  9. ionic:安装

    ylbtech-ionic:安装 1.返回顶部 1. ionic 安装 本站实例采用了ionic v1.3.2 版本,使用的 CDN 库地址: <link href="https:// ...

  10. C语言中static用法介绍

    C语言中static用法介绍     对于新手来说,很多东西的用法还不是很清楚,我们今天一起来看看C语言中static用法介绍     1.声明了static的变量称为静态变量,根据作用域的不同又分为 ...