小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>=cXb-Xa<=-c, 农场a比农场b至多多种植了c个单位的作物,所以Xa-Xb<=c,农场a与农场b种植的作物数一样多,所以Xa==Xb,则Xa-Xb<=cXb-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的农场(差分约束)的更多相关文章

  1. P1993 小K的农场 && 差分约束

    首先第一篇讨论的是差分约束系统解的存在 差分约束系统是有 \(n\) 个变量及 \(m\) 个(如 \(x_{i} - x_{j} \leq a_{k}\) )关系组成的系统 差分约束解的求解可以转化 ...

  2. 洛谷P1993 小K的农场 [差分约束系统]

    题目传送门 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b ...

  3. 【BZOJ3436】小K的农场 差分约束

    [BZOJ3436]小K的农场 Description 背景 小K是个特么喜欢玩MC的孩纸... 描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了, ...

  4. P1993 小K的农场 差分约束系统

    这个题是一道差分约束系统的裸题,什么是差分约束系统呢?就是给了一些大小条件,然后让你找一个满足的图.这时就要用差分约束了. 怎么做呢?其实很简单,就是直接建图就好,但是要把所有条件变为小于等于号,假如 ...

  5. 小K的农场 差分约束

    题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b至少多种植了c个单位的作 ...

  6. BZOJ 3436: 小K的农场 差分约束

    题目链接: http://www.lydsy.com/JudgeOnline/problem.php?id=3436 题解: 裸的差分约束: 1.a>=b+c  ->  b<=a-c ...

  7. P1993 小K的农场

    P1993 小K的农场比较裸的差分约束,只是我判负环的时候sb了... 有负环意味着无解 #include<iostream> #include<cstdio> #includ ...

  8. 洛谷 P1993 小K的农场 解题报告

    P1993 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b ...

  9. 洛谷 P1993 小K的农场

    P1993 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b ...

随机推荐

  1. Linux安装配置JDK与卸载

    最近在Linux系统部署门户,安装Oracle,导入dmp,JDK等等,遇到一大堆问题,解决后特有一番小小成就感,哇哈哈!在这里记录一下遇到问题: 官网下载JDK压缩包( .tar.gz ):http ...

  2. AtCoder Grand Contest 016题解

    传送门 \(A\) 直接枚举最终的字母然后模拟就行了-- 就这数据范围还是别学我写的这种做法了-- const int N=105; char s[N];int las[26],mx[26],n,re ...

  3. Vic-软件测试-开始软件测试

    前言 大家好,我是 Vic,今天给大家带来开始软件测试的概述,希望你们喜欢 软件测试 软件测试的基本概念.方法.常用测试工具的使用 常用测试工具的使用性能自动化测试工具:jmeter.loadrunn ...

  4. java https

    1. 异常突现 在这普通的一天,我写普通的代码,却突然收到不普通的报警 javax.net.ssl.SSLHandshakeException: server certificate change i ...

  5. Windows系统清除占用的串口号列表批处理

    蛋疼总是无缘无故被占用 @echo off reg query "HKLM\SYSTEM\CurrentControlSet\Control\COM Name Arbiter" / ...

  6. Ubuntu16.04启动tomcat缓慢问题之解决方案

    问题信息: -May- ::] org.apache.catalina.util.SessionIdGeneratorBase.createSecureRandom Creation of Secur ...

  7. 信息论 | information theory | 信息度量 | information measures | R代码(一)

    这个时代已经是多学科相互渗透的时代,纯粹的传统学科在没落,新兴的交叉学科在不断兴起. life science neurosciences statistics computer science in ...

  8. 清理Windows.edb

    解决Windows.edb文件巨大的windows 10问题的另一个快速解决方法是删除Windows.edb文件. 步骤1:在任务管理器中终止SearchIndexer.exe --按Ctrl + A ...

  9. 一个完整的类用来读取OpenSSL生成的pem格式的x509证书(C#)

    internal static class CcbRsaHelper { private const string Begin = "-----BEGIN "; private c ...

  10. 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 ...