标签：King dist int 进队 si SPFA include inque define

题目链接

  题目大意：n个数的一个序列，m个条件，si, ni, oi, ki, 代表了序列中第si个数到第si+ni个数的和大于或小于ki，gt = 大于，lt = 小于
问是否存在相悖的约束。

op为gt时：sum[si+ni] - sum[si-1] >= ki+1

op为lt时：sum[si+ni] - sum[si-1] <= ki-1

  这道题卡了SPFA判负环需要的入队次数，我们只有当进队的次数" > N + 1"次才是负环！天呐！为什么呢？因为这道题还真是不一样，平时我们只需要" > N "是不是就可以了，但是这道题确实也是这样符合的，只是，这道题我们的"N"变成了( N + 1 )。

  但是这张图还有可能是一张不联通的图，我们这时候岂不是特别难去判负环了呀，所以我们的第N+1个点就是一个超级源点，用以去对每个点都链接起来之用。

#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define efs 1e-6
#define INF 0x3f3f3f3f
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
#define MAX_3(a, b, c) max(max(a, b), c)
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
const int maxN = 5e4 + 7, maxE = 2e5 + 7;
int N, M, cnt, head[maxN], dist[maxN], used[maxN], _UP;
struct node
{
    int val, id;
}a[maxN];
inline bool cmp(node e1, node e2) { return e1.val < e2.val; }
struct Eddge
{
    int nex, to, val;
    Eddge(int a=-1, int b=0, int c=0):nex(a), to(b), val(c) {}
}edge[maxE];
inline void addEddge(int u, int v, int w)
{
    edge[cnt] = Eddge(head[u], v, w);
    head[u] = cnt++;
}
queue<int> Q;
bool inque[maxN];
inline bool spfa(int st, int ed)
{
    memset(inque, false, sizeof(inque));
    //memset(dist, INF, sizeof(dist));
    for(int i=0; i<=_UP; i++) dist[i] = INF;
    //memset(used, 0, sizeof(used));
    for(int i=0; i<=_UP; i++) used[i] = 0;
    dist[st] = 0;
    while(!Q.empty()) Q.pop();
    Q.push(st); inque[st] = true; used[st]++;
    while(!Q.empty())
    {
        int u = Q.front(); Q.pop(); inque[u] = false;
        for(int i=head[u], v, w; ~i; i=edge[i].nex)
        {
            v = edge[i].to; w = edge[i].val;
            if(dist[v] > dist[u] + w)
            {
                dist[v] = dist[u] + w;
                if(!inque[v])
                {
                    if(++used[v] > N + 1) return true;
                    inque[v] = true;
                    Q.push(v);
                }
            }
        }
    }
    return false;
}
inline void init()
{
    cnt = 0;
    memset(head, -1, sizeof(head));
}
char op[5];
int main()
{
    while(scanf("%d", &N) && N)
    {
        scanf("%d", &M);    _UP = N + 1;
        init();
        for(int i=1, si, ni, ki; i<=M; i++)
        {
            scanf("%d%d%s%d", &si, &ni, op, &ki);
            if(op[0] == 'g') addEddge(si + ni, si - 1, -ki - 1);
            else addEddge(si - 1, si + ni, ki - 1);
        }
        for(int i=0; i<_UP; i++) addEddge(_UP, i, 0);
        if(spfa(_UP, 0)) printf("successful conspiracy\n");
        else printf("lamentable kingdom\n");
    }
    return 0;
}

标签：King,dist,int,进队,si,SPFA,include,inque,define
来源： https://blog.csdn.net/qq_41730082/article/details/96568697

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。