Luogu1993 小K的农场 (差分约束)

\(if \ a - b <= c, AddEdge(b, a, c)\)
Be careful, MLE is not good.

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
#include <cmath>
#define R(a,b,c) for(register int a = (b); (a) <= (c); ++(a))
#define nR(a,b,c) for(register int a = (b); (a) >= (c); --(a))
#define Fill(a,b) memset(a, b, sizeof(a))
#define Max(a,b) ((a) > (b) ? (a) : (b))
#define Min(a,b) ((a) < (b) ? (a) : (b))
#define Swap(a,b) ((a) ^= (b) ^= (a) ^= (b))

#define ON_DEBUGG

#ifdef ON_DEBUGG

#define D_e_Line printf("\n----------\n")
#define D_e(x) cout << (#x) << " : " << x << endl
#define Pause() system("pause")
#define FileOpen() freopen("in.txt", "r", stdin)

#else

#define D_e_Line ;
#define D_e(x) ;
#define Pause() ;
#define FileOpen() ;

#endif
using namespace std;
struct ios{
    template<typename ATP>inline ios& operator >> (ATP &x){
        x = 0; int f = 1; char ch;
        for(ch = getchar(); ch < '0' || ch > '9'; ch = getchar()) if(ch == '-') f = -1;
        while(ch >= '0' && ch <= '9') x = x * 10 + (ch ^ '0'), ch = getchar();
        x *= f;
        return *this;
    }
}io;

const int N = 20007;

struct Edge{
    int nxt, pre, w;
}e[N << 1];
int head[N], cntEdge;
inline void add(int u, int v, int w){
    e[++cntEdge] = (Edge){ head[u], v, w}, head[u] = cntEdge;
}

int vis[N], dis[N];
inline bool SPFA(int u){
    vis[u] = true;
    for(register int i = head[u]; i; i = e[i].nxt){
        if(dis[e[i].pre] > dis[u] + e[i].w){
            dis[e[i].pre] = dis[u] + e[i].w;
            if(vis[e[i].pre] || SPFA(e[i].pre)){
                return true;
            }
        }
    }
    vis[u] = false;
    return false;
}

int main(){
//FileOpen();
    int n, m;
    io >> n >> m;

    R(i,1,m){
        int opt;
        io >> opt;
        if(opt == 1){
            int x, y, w;
            io >> x >> y >> w;
            add(x, y, -w);
        }
        else if(opt == 2){
            int x, y, w;
            io >> x >> y >> w;
            add(y, x, w);
        }
        else if(opt == 3){
            int x, y;
            io >> x >> y;
            add(x, y, 0);
            add(y, x, 0);
        }
    }

    R(i,1,n){
        add(0, i, 0); // this sentence caused MLE !
        dis[i] = 0x3f3f3f3f;
    }

    if(SPFA(0) == false){
        printf("Yes\n");
    }
    else{
        printf("No\n");
    }
    return 0;
}

原文地址:https://www.cnblogs.com/bingoyes/p/11406299.html

时间: 2024-10-21 08:16:33

Luogu1993 小K的农场 (差分约束)的相关文章

P1993 小K的农场 &amp;&amp; 差分约束

首先第一篇讨论的是差分约束系统解的存在 差分约束系统是有 \(n\) 个变量及 \(m\) 个(如 \(x_{i} - x_{j} \leq a_{k}\) )关系组成的系统 差分约束解的求解可以转化为图中最短路的求解问题 对一个标准的差分约束式, 我们可以如下连边\[x_{i} - x_{j} \leq a_{k}\ \Rightarrow \ V(j\ ,\ i), w[j,i] = a[k]\] 对于一个不是那么标准的差分约数式, 我们可以做如下变形:\[x_{i} - x_{j} \ge

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

题目链接: http://www.lydsy.com/JudgeOnline/problem.php?id=3436 题解: 裸的差分约束: 1.a>=b+c  ->  b<=a-c  ->  d[v]<=d[u]+w  ->  建一条边从a到b,权值为-c 2.a<=b+c  ->  d[v]<=d[u]+w  -> 建一条边从b到a,权值为c 3.a==b  ->  d[v]<=d[u]+0&&d[u]<=d

bzoj3436: 小K的农场(差分约束)

3436: 小K的农场 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 1575  Solved: 690[Submit][Status][Discuss] Description 背景 小K是个特么喜欢玩MC的孩纸... 描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得 一些含糊的信息(共m个),以下列三种形式描述:农场a比农场b至少多种植了c个单位的作物,农场a比农场b至多 多种植了

bzoj3436: 小K的农场(差分约束)

3436: 小K的农场 题目:传送门 题解: 查分基础: t==1  a>=b+c t==2  b>=a-c t==3  a>=b+0 b>=a+0 跑最长路一A 代码: 1 #include<cstdio> 2 #include<cstring> 3 #include<cstdlib> 4 #include<cmath> 5 #include<algorithm> 6 using namespace std; 7 int

P1993 小K的农场

P1993 小K的农场 这个题,涉及到的知识点是差分约束. 差分约束,是用来判断不等式是否有解集和求出一组特解的一种方法. 具体是使用最短(长)路算法. 观察最短路算法,有一个类似与三角形三边关系的不等式. \[dis[a]+weight>=dis[b]\] 其中a与b之间直接连了一条边权为weight的边. 通过我们熟练地水做一系列最短路,我们一眼就能看出这是正确的. 那我们再来看一个不等式\(x_1-x_2<=c\),其中\(c\)为常数 变一个型 \[x_1<=x_2+c\] \[

洛谷 P1993 小K的农场

P1993 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b至少多种植了c个单位的作物, 农场a比农场b至多多种植了c个单位的作物, 农场a与农场b种植的作物数一样多. 但是,由于小K的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合. 输入输出格式 输入格式: 第一行包括两个整数 n 和 m,分别表示农场数目和小

P1993 小 K 的农场

P1993 小 K 的农场 题目描述 小 K 在 Minecraft 里面建立很多很多的农场,总共 n 个,以至于他自己都忘记了每个 农场中种植作物的具体数量了,他只记得一些含糊的信息(共 m 个),以下列三种形式描 述: 农场 a 比农场 b 至少多种植了 c 个单位的作物. 农场 a 比农场 b 至多多种植了 c 个单位的作物. 农场 a 与农场 b 种植的作物数一样多. 但是,由于小 K 的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种 植作物数量与他记忆中的所有信息吻合. 输

Luogu - 1993 小K的农场 【差分约束】

题目描述 小 K 在 Minecraft 里面建立很多很多的农场,总共 n 个,以至于他自己都忘记了每个 农场中种植作物的具体数量了,他只记得一些含糊的信息(共 m 个),以下列三种形式描 述: 农场 a 比农场 b 至少多种植了 c 个单位的作物. 农场 a 比农场 b 至多多种植了 c 个单位的作物. 农场 a 与农场 b 种植的作物数一样多. 但是,由于小 K 的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种 植作物数量与他记忆中的所有信息吻合. 输入输出格式 输入格式: 从

小K的农场(luogu P1993

题目传送门 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b至少多种植了c个单位的作物, 农场a比农场b至多多种植了c个单位的作物, 农场a与农场b种植的作物数一样多. 但是,由于小K的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合. 输入输出格式 输入格式: 第一行包括两个整数 n 和 m,分别表示农场数目和小 K 记忆中