更好的阅读体验

Portal

Portal1: Luogu

Description

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

  • 农场\(a\)比农场\(b\)至少多种植了\(c\)个单位的作物,

  • 农场\(a\)比农场\(b\)至多多种植了\(c\)个单位的作物,

  • 农场\(a\)与农场\(b\)种植的作物数一样多。

但是,由于小\(K\)的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合。

Input

第一行包括两个整数\(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\)一样多。

Output

如果存在某种情况与小\(K\)的记忆吻合,输出Yes,否则输出No

Sample Input

3 3
3 1 2
1 1 3 1
2 2 3 2

Sample Output

Yes

Hint

对于\(100\%\)的数据保证:\(1 \le n, m, a, b, c \le 10000\)。

Solution

我们用\(\mathrm{s[i]}\)表示\(i\)农场的作物数量,那么题目中的条件我们可以表示为:

  1. \(s[a] \ge s[b] + c\)

  2. \(s[b] \ge s[a] - c\)

  3. \(s[b] = s[a]\)

因为我们如果想让这道题用差分约束做,要把所有的约束条件都改为\(\le\)或者\(\ge\)的形式,但是此题的所有农场的做作物数都不能为负数,所以必须要用最长路解决。因此,我们可以改为:

  1. \(s[a] \ge s[b] + c\)

  2. \(s[b] \ge s[a] - c\)

  3. \(s[a] \ge s[b] + 0\)

  4. \(s[b] \ge s[a] + 0\)

  5. \(s[i] \ge 0\)

然后我们开始建边:

对于题目给出的\(a, b, c\)

  1. \(b \to a\)建一条权值为\(c\)的边;

  2. \(a \to b\)建一条权值为\(-c\)的边;

  3. \(a \to b\)建一条权值为\(0\)的边;

  4. \(b \to a\)键一条权值为\(0\)的边;

最后在\(0 \to i, i \in [1, n]\)建权值为\(0\)的边。

建完之后用\(\mathrm{SPFA}\)跑一遍最长路,顺便判断环就可以了。

Code

#include<iostream>
#include<algorithm>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<queue> using namespace std; const int INF = 0x3f3f3f3f, MAXN = 20005;
struct EDGE {
int to, nxt, val;
} edge[MAXN];
int n, m, u, v, opt, val, cnt, tot[MAXN], vis[MAXN], dis[MAXN], head[MAXN];
inline void addedge(int u, int v, int val) {//邻接表存图
edge[++cnt].to = v; edge[cnt].val = val; edge[cnt].nxt = head[u]; head[u] = cnt;
}
inline bool SPFA() {//SPFA最长路
priority_queue<int> Q;
memset(dis, -INF, sizeof(dis));
vis[0] = 1;
dis[0] = 0;
tot[0] = 1;
Q.push(0);
while (!Q.empty()) {
int u = Q.top();
Q.pop();
vis[u] = 0;
for (int i = head[u]; ~i; i = edge[i].nxt) {
int v = edge[i].to;
if (dis[v] < dis[u] + edge[i].val) {
dis[v] = dis[u] + edge[i].val;
if (!vis[v]) {
tot[v] = tot[u] + 1;
Q.push(v);
vis[v] = 1;
if (tot[v] > n) return 0;
}
}
}
}
return 1;
}
int main() {
scanf("%d%d", &n, &m);
memset(head, -1, sizeof(head));
for (int i = 1; i <= m; i++) {
scanf("%d", &opt);
if (opt == 1) {
scanf("%d%d%d", &u, &v, &val);
addedge(u, v, val);
} else
if (opt == 2) {
scanf("%d%d%d", &u, &v, &val);
addedge(v, u, -val);
} else {
scanf("%d%d", &u, &v);
addedge(u, v, 0);
addedge(v, u, 0);
}
}
for (int i = 1; i <= n; i++)
addedge(0, i, 0);//按题目的描述建边
if (SPFA()) printf("Yes\n"); else printf("No\n");
return 0;
}

『题解』洛谷P1993 小K的农场的更多相关文章

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

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

  2. 洛谷 P1993 小K的农场

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

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

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

  4. 洛谷P1993 小 K 的农场

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

  5. 题解—— 洛谷 p1993 小K的农场(差分约束&负环判断)

    看到题就可以想到差分约束 判断负环要用dfs,bfs-spfa会TLE 4个点 bfs-spfa #include <cstdio> #include <algorithm> ...

  6. 洛谷 P1993 小K的农场 题解

    每日一题 day55 打卡 Analysis 这是我们一次考试的T1,但我忘了差分约束系统怎么写了,所以就直接输出Yes混了60分 首先转化题目: 1:表示农场 a 比农场 b 至少多种植了 c 个单 ...

  7. 洛谷P1993 小 K 的农场(查分约束)

    /* 加深一下对查分约束的理解 建图的时候为了保证所有点联通 虚拟一个点 它与所有点相连 权值为0 然后跑SPFA判负环 这题好像要写dfs的SPFA 要不超时 比较懒 改了改重复进队的条件~ */ ...

  8. 洛谷P1993 小K的农场

    思路是差分约束+dfs版SPFA. 首先来思考差分约束的过程,将题目给出的式子进行转化: 农场a比农场b至少多种植了c个单位的作物, SPFA我们考虑跑最短路,那么要让SPFA中满足的式子就是if(d ...

  9. 洛谷P1993 小K的农场_差分约束_dfs跑SPFA

    Code: #include<cstdio> #include<queue> using namespace std; const int N=10000+233; const ...

随机推荐

  1. .Net Core AA.FrameWork应用框架介绍

    开发多年,一直在从社区获取开源的便利,也深感社区力量的重要性,今天开源一个应用基础框架AA.FrameWork,也算是回馈社区,做出一点点贡献,希望能够帮助类似当年入行的我. AA.FrameWork ...

  2. Linux内存描述之内存页面page–Linux内存管理(四)

    服务器体系与共享存储器架构 日期 内核版本 架构 作者 GitHub CSDN 2016-06-14 Linux-4.7 X86 & arm gatieme LinuxDeviceDriver ...

  3. 时间复杂度————被list.insert坑了

    今天被一个很简单的坑到了,还想了很长时间,insert 函数,真的知道它内部执行的操作吗? 开始其实是在看一本算法的书,书里面给了两段工作内容差不多的伪代码 第一段如下: data = [] whil ...

  4. js 判断对象是否为空

    利用JSON.stringify var objData = {};JSON.stringify(objData) ==="{}" // true 第二种用原声js 方法 Obje ...

  5. 本人亲测-SSM环境搭建(使用eclipse作为示例,过程挺全的,可作为参考)

    本人亲测-SSM环境搭建(使用eclipse作为示例,过程挺全的,可作为参考) 本人亲测-SSM环境搭建(使用eclipse作为示例,过程挺全的,可作为参考) 本人亲测-SSM环境搭建(使用eclip ...

  6. 章节十七章、2- 给执行失败的case截图

    一.案例演示 1.首先我们把截图的方法单独进行封装方便以后调用. package utilities; import java.io.File; import java.io.IOException; ...

  7. thinkphp5底层基类封装、内部类函数

    记录下thinkphp5自定义底层基类.内部类函数使用笔记 大部分笔记来自tp手册. 底层常用代码的封装 在控制器中基类的起着至关重要的作用,整个项目的代码安全,复杂程度,易读性都要看你项目的基类架构 ...

  8. Hadoop实战1:MapR在ubuntu集群中的安装

    由于机器学习算法在处理大数据处理的时候在所难免的会效率降低,公司需要搭建hadoop集群,最后采用了商业版的Hadoop2(MapR). 官网: http://doc.mapr.com/display ...

  9. SSH框架项目配置和启动的加载顺序及请求的执行顺序

    1:======配置和启动====== (1)配置web.xml 配置<context-param>,其中内容为Spring的配置文件applicationContext.xml.注意&l ...

  10. <学会提问-批判性思维指南>运用

    引子 这是我第二遍读此书,我认为并且希望这次阅读对我整个人生产生深远的影响.人一出生身上带着母体的抵抗力,大概6个月以后开始渐渐消失,靠自身的抵抗力活着.30岁前很多人会带着上天给的运气,终有一天,用 ...