码迷,mamicode.com
首页 > 其他好文 > 详细

POJ - 1364 King (差分约束系统)

时间:2015-08-05 10:40:57      阅读:148      评论:0      收藏:0      [点我收藏+]

标签:

题目大意:给出N个不等式,让你判断一下这些不等式是不是都成立
给出的样例形式如下
u v gt c 或者 u v lt c
表示第u项到第u+v项的和大于(小于)c

解题思路:设d[i]为前i项和
假设给出的是大于不等式,也就是u v gt c
那么可得不等式d[u + v] - d[u - 1] > c,变化的d[u -1] - d[u + v] <= -c - 1
如果给出的是小于的,那么就更好办了
得不等式d[u + v] - d[u -1 ] < c
变化的 d[u + v] - d[u -1] <= c -1
依此构图,如果出现环的话,就表示不等式不可能都成立
但这题有一点就是,没有源点,所以要自己构造一个源点,和所有点的距离为0,接着SPFA

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
#define N 110
#define M 510
#define INF 0x3f3f3f3f

struct Edge{
    int to, next, dist;
}E[M];

int n, m, tot;
int head[N], d[N], cnt[N], q[N];
char sign[10];
bool inq[N];

void AddEdge(int u, int v, int dist) {
    E[tot].to = v;
    E[tot].dist = dist;
    E[tot].next = head[u];
    head[u] = tot++;
}

bool SPFA(int s) {
    for (int i = 0; i <= s; i++) {
        d[i] = INF; 
        cnt[i] = 0;
        inq[i] = 0;
    }

    d[s] = 0;
    int front = 0, rear = 0;
    q[rear++] = s;

    while (front != rear) {
        int u = q[front++];
        if (front >= N)
            front = 0;

        inq[u] = false;

        for (int i = head[u]; i != -1; i = E[i].next) {
            int v = E[i].to;
            if (d[v] > d[u] + E[i].dist) {
                d[v] = d[u] + E[i].dist;
                if (!inq[v]) {
                    inq[v] = true;
                    if (++cnt[v] > s)
                        return true;

                    q[rear++] = v;
                    if (rear >= N)
                        rear = 0;
                }
            }

        }
    }
    return false;
}

void init() {
    memset(head, -1, sizeof(head));
    tot = 0;

    scanf("%d", &m);
    int u, v, f, Max = -INF;
    for (int i = 0; i < m; i++) {
        scanf("%d%d%s%d", &u, &v, sign, &f);
        if (sign[0] == ‘g‘) {
            AddEdge(u + v, u - 1, -f - 1);
        }
        else {
            AddEdge(u - 1, u + v, f - 1);
        }
        Max = max(Max, u + v);
    }

    for (int i = 0; i <= Max; i++) {
        AddEdge(Max + 1, i, 0);
    }

    if (!SPFA(Max + 1)) 
        printf("lamentable kingdom\n");
    else
        printf("successful conspiracy\n");
}


int main() { 
    while (scanf("%d", &n) != EOF && n) {
        init();
    }
    return 0;
}

版权声明:本文为博主原创文章,未经博主允许不得转载。

POJ - 1364 King (差分约束系统)

标签:

原文地址:http://blog.csdn.net/l123012013048/article/details/47292001

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!