[洛谷 P1993]小K的农场 --- 差分约束 + spfa判环

最新推荐文章于 2024-02-04 21:22:03 发布

笑面蘑菇

最新推荐文章于 2024-02-04 21:22:03 发布

阅读量274

点赞数

CC 4.0 BY-SA版权

分类专栏：差分约束最短路

本文链接：https://blog.csdn.net/qq_27121257/article/details/82791523

最短路同时被 2 个专栏收录

13 篇文章

订阅专栏

差分约束

2 篇文章

订阅专栏

本文介绍了一种解决洛谷P1993问题的方法，通过差分约束建图和DFS版SPFA算法判断农场作物数量是否符合模糊信息条件，避免负环出现。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

传送门：洛谷 P1993

题目描述

小 $K$ 在 $M C$ 里面建立很多很多的农场，总共 $n$ 个，以至于他自己都忘记了每个农场中种植作物的具体数量了，他只记得一些含糊的信息（共 $m$ 个），以下列三种形式描述：

农场 $a$ 比农场 $b$ 至少多种植了 $c$ 个单位的作物，
农场 $a$ 比农场 $b$ 至多多种植了 $c$ 个单位的作物，
农场 $a$ 与农场 $b$ 种植的作物数一样多。

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

分析

本题仅分为两部分，建图+判负环

建图 — 差分约束
在一张的图上边 $(u, v, w)$ ,必定满足不等式 $\geq dis[v]$ ,对于本题而言，也有类似的关系：
令 $f [x]$ 表示农场 $x$ 的作物数量，则有

$\geq c \iff f[a] - c \geq f[b]$
$\leq c \iff f[b] + c \geq f[a]$
$\iff f[a] \geq f[b] \quad \& \quad f[b] \geq f[a]$
那么类似的，将 $a$ 、 $b$ 看做节点， $c$ 、 $- c$ 看做边权建图即可

判负环 — $d f s$ 版 $s p f a$
由于题目只要求是否可行，那么就只要判负数就可以了。
$d f s$ 版的判断依据：第二次访问该节点即存在负环
优化： $d i s$ 数组可以不用赋初值，直接为 $0$ 即可。可以减少没必要的迭代。
注意：图不一定联通，要 $f o r$ 一遍（不判实测 $70$ ）

代码

#include <cstdio>
#include <cstdlib>
#include <cstring>

#define IL inline

using namespace std;

IL int read()
{
    char c = getchar();
    int sum = 0 ,k = 1;
    for(;'0' > c || c > '9'; c = getchar())
        if(c == '-') k = -1;
    for(;'0' <= c && c <= '9'; c = getchar()) sum = sum * 10 + c - '0';
    return sum * k;
}

int n, m;

int to[20005], nxt[20005], val[20005];
int cnt, last[10005];
IL void add(int u, int v, int w)
{
    //printf("%d %d %d\n", u, v, w);
    to[++cnt] = v; nxt[cnt] = last[u]; val[cnt] = w; last[u] = cnt;
}

bool vis[10005];
int dis[10005];

IL bool dfs_spfa(int u)
{
    vis[u] = 1;
    
    for(int i = last[u], v; (v = to[i]); i = nxt[i])
    if(dis[u] + val[i] < dis[v])
    {
        dis[v] = dis[u] + val[i];
        if(vis[v] || dfs_spfa(v)) return 1;
    }
    
    vis[u] = 0;
    return 0;
}

int main()
{
    n = read(); m = read();
    
    for(int k, x, y, z; m; --m)
    {
    	k = read(); x = read(); y = read();
    	if(k != 3) z = read();
    	if(k == 1) add(x, y, -z); else
    	if(k == 2) add(y, x, z); else
    	if(k == 3) { add(x, y, 0); add(y, x, 0); }
    }
    
    int flag;
    for(int i = 1; i <= n; ++i)
    if(!vis[i])
    {
    	flag = dfs_spfa(i);
    	if(flag) break;
    }
    
    printf("%s\n", flag ? "No" : "Yes" );
    
    return 0;
}