P1993 小K的农场(差分约束)
题目描述
小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述:
农场a比农场b至少多种植了c个单位的作物,
农场a比农场b至多多种植了c个单位的作物,
农场a与农场b种植的作物数一样多。
但是,由于小K的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合。
输入输出格式
输入格式:
第一行包括两个整数 n 和 m,分别表示农场数目和小 K 记忆中的信息数目。
接下来 m 行:
如果每行的第一个数是 1,接下来有 3 个整数 a,b,c,表示农场 a 比农场 b 至少多种植了 c 个单位的作物。
如果每行的第一个数是 2,接下来有 3 个整数 a,b,c,表示农场 a 比农场 b 至多多种植了 c 个单位的作物。如果每行的第一个数是 3,接下来有 2 个整数 a,b,表示农场 a 种植的的数量和 b 一样多。
输出格式:
如果存在某种情况与小 K 的记忆吻合,输出“Yes”,否则输出“No”。
输入输出样例
输入样例#1:
3 3
3 1 2
1 1 3 1
2 2 3 2
输出样例#1:
Yes
说明
对于 100% 的数据保证:1 ≤ n,m,a,b,c ≤ 10000。
差分约束可以求解最短路和最长路。这道题也是差分约束的模板题。
根据:
农场a比农场b至少多种植了c个单位的作物,
农场a比农场b至多多种植了c个单位的作物,
农场a与农场b种植的作物数一样多。
建立条件。
由题可知,农场a比农场b至少多种植了c个单位的作物,所以Xa-Xb>=c
即Xb-Xa<=-c
, 农场a比农场b至多多种植了c个单位的作物,所以Xa-Xb<=c
,农场a与农场b种植的作物数一样多,所以Xa==Xb
,则Xa-Xb<=c
,Xb-Xa<=c
。
然后用SPFA。(不要连错了权值)
#include<bits/stdc++.h>
using namespace std;
const int maxn=11000;
const int inf=0x3f3f3f3f;
int n,m;
struct node{
int v,w;
node(){ }
node(int _v,int _w){
v=_v;
w=_w;
}
};
vector <node> g[maxn];
int dst[maxn];
queue <int> qu;
bool inq[maxn];
int cnt[maxn];
int add(int u,int v,int w){
g[u].push_back(node(v,w));
}
bool spfa(int u){
memset(dst,inf,sizeof dst);
// memset(cnt,0,sizeof cnt);
dst[u]=0;
qu.push(u);
inq[u]=1;
while(!qu.empty()){
u=qu.front();
qu.pop();
inq[u]=0;
for(int i=0;i<g[u].size();i++){
int v=g[u][i].v;
int w=g[u][i].w;
if(dst[v]>dst[u]+w){
dst[v]=dst[u]+w;
if(!inq[v]){
qu.push(v);
inq[v]=1;
cnt[v]++;
if(cnt[v]>n){
return 0;
}
}
}
}
}
return 1;
}
int main(){
cin >> n >> m;
for(int i=1;i<=n;i++){
add(0,i,0);
}
for(int i=0;i<m;i++){
int d,a,b,c;
cin >> d;
if(d==1){
cin >>a>>b>>c;
g[a].push_back(node(b,-c));
}else if(d==2){
cin >>a>>b>>c;
g[b].push_back(node(a,c));
}else{
cin >>a>>b;
g[a].push_back(node(b,0));
g[b].push_back(node(a,0));
}
}
if(spfa(0)){
cout << "Yes";
}else{
cout << "No";
}
return 0;
}
但实际上,它只能得到60分。四组TLE。。。
于是,就涉及到另外一个数据结构,双向队列。双向队列有队列和栈的性质。可以从两端入队,弹出。在这道题里,我们用if判断,在队列后端放入较大的值,前端放入较小的值分别用back和front访问最后一个元素和第一个元素。
#include<bits/stdc++.h>
using namespace std;
const int maxn=11000;
const int inf=0x3f3f3f3f;
int n,m;
struct node{
int v,w;
node(){ }
node(int _v,int _w){
v=_v;
w=_w;
}
};
vector <node> g[maxn];
int dst[maxn];
deque<int> qu;//双向队列
bool inq[maxn];
int cnt[maxn];
int add(int u,int v,int w){
g[u].push_back(node(v,w));
}
bool spfa(int u){
memset(dst,inf,sizeof dst);//初始化
// memset(cnt,0,sizeof cnt);
dst[u]=0;
qu.push_back(u);//双向队列的访问最后一个元素写法
inq[u]=1;
while(!qu.empty()){
u=qu.front();//双向队列的访问第一个元素写法
qu.pop_front();
if(dst[qu.front()]>dst[qu.back()]){
swap(qu.front(),qu.back());//交换
}
inq[u]=0;
for(int i=0;i<g[u].size();i++){
int v=g[u][i].v;
int w=g[u][i].w;
if(dst[v]>dst[u]+w){
dst[v]=dst[u]+w;
if(!inq[v]){
if(dst[v]<dst[qu.front()]){//判断,比较大小
qu.push_front(v);//插入队首
}else{
qu.push_back(v);//插入队尾
}
inq[v]=1;
cnt[v]++;
if(cnt[v]>n){
return 0;
}
}
}
}
}
return 1;
}
int main(){
cin >> n >> m;
for(int i=1;i<=n;i++){
add(0,i,0);
}
for(int i=0;i<m;i++){
int d,a,b,c;
cin >> d;
if(d==1){//连权值
cin >>a>>b>>c;
g[a].push_back(node(b,-c));
}else if(d==2){
cin >>a>>b>>c;
g[b].push_back(node(a,c));
}else{
cin >>a>>b;
g[a].push_back(node(b,0));
g[b].push_back(node(a,0));
}
}
if(spfa(0)){
cout << "Yes";
}else{
cout << "No";
}
return 0;
}
P1993 小K的农场(差分约束)的更多相关文章
- P1993 小K的农场 && 差分约束
首先第一篇讨论的是差分约束系统解的存在 差分约束系统是有 \(n\) 个变量及 \(m\) 个(如 \(x_{i} - x_{j} \leq a_{k}\) )关系组成的系统 差分约束解的求解可以转化 ...
- 洛谷P1993 小K的农场 [差分约束系统]
题目传送门 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b ...
- 【BZOJ3436】小K的农场 差分约束
[BZOJ3436]小K的农场 Description 背景 小K是个特么喜欢玩MC的孩纸... 描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了, ...
- P1993 小K的农场 差分约束系统
这个题是一道差分约束系统的裸题,什么是差分约束系统呢?就是给了一些大小条件,然后让你找一个满足的图.这时就要用差分约束了. 怎么做呢?其实很简单,就是直接建图就好,但是要把所有条件变为小于等于号,假如 ...
- 小K的农场 差分约束
题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b至少多种植了c个单位的作 ...
- BZOJ 3436: 小K的农场 差分约束
题目链接: http://www.lydsy.com/JudgeOnline/problem.php?id=3436 题解: 裸的差分约束: 1.a>=b+c -> b<=a-c ...
- P1993 小K的农场
P1993 小K的农场比较裸的差分约束,只是我判负环的时候sb了... 有负环意味着无解 #include<iostream> #include<cstdio> #includ ...
- 洛谷 P1993 小K的农场 解题报告
P1993 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b ...
- 洛谷 P1993 小K的农场
P1993 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b ...
随机推荐
- Linux安装配置JDK与卸载
最近在Linux系统部署门户,安装Oracle,导入dmp,JDK等等,遇到一大堆问题,解决后特有一番小小成就感,哇哈哈!在这里记录一下遇到问题: 官网下载JDK压缩包( .tar.gz ):http ...
- AtCoder Grand Contest 016题解
传送门 \(A\) 直接枚举最终的字母然后模拟就行了-- 就这数据范围还是别学我写的这种做法了-- const int N=105; char s[N];int las[26],mx[26],n,re ...
- Vic-软件测试-开始软件测试
前言 大家好,我是 Vic,今天给大家带来开始软件测试的概述,希望你们喜欢 软件测试 软件测试的基本概念.方法.常用测试工具的使用 常用测试工具的使用性能自动化测试工具:jmeter.loadrunn ...
- java https
1. 异常突现 在这普通的一天,我写普通的代码,却突然收到不普通的报警 javax.net.ssl.SSLHandshakeException: server certificate change i ...
- Windows系统清除占用的串口号列表批处理
蛋疼总是无缘无故被占用 @echo off reg query "HKLM\SYSTEM\CurrentControlSet\Control\COM Name Arbiter" / ...
- Ubuntu16.04启动tomcat缓慢问题之解决方案
问题信息: -May- ::] org.apache.catalina.util.SessionIdGeneratorBase.createSecureRandom Creation of Secur ...
- 信息论 | information theory | 信息度量 | information measures | R代码(一)
这个时代已经是多学科相互渗透的时代,纯粹的传统学科在没落,新兴的交叉学科在不断兴起. life science neurosciences statistics computer science in ...
- 清理Windows.edb
解决Windows.edb文件巨大的windows 10问题的另一个快速解决方法是删除Windows.edb文件. 步骤1:在任务管理器中终止SearchIndexer.exe --按Ctrl + A ...
- 一个完整的类用来读取OpenSSL生成的pem格式的x509证书(C#)
internal static class CcbRsaHelper { private const string Begin = "-----BEGIN "; private c ...
- TreeFrog Framework : High-speed C++ MVC Framework for Web Application http://www.treefrogframework.org
TreeFrog Framework : High-speed C++ MVC Framework for Web Application http://www.treefrogframework.o ...