HDU 1531 King （差分约束）

题意：给出序列a的长度n，以及m个连续子序列的起始点及长度，对于每个连续子序列，给出其和与整数 ki 的大小关系，问是否存在序列a。

题解：差分约束
简单的差分约束问题，按照题目输入建立约束方程即可，然后跑spfa最长路。

由于我们用$d[i]$表示序列a前$i$个元素和，那么就有包含0的n+1个点，所以负环的判断条件是>n+1。还有就是我们把n+1个点全部push即可。

#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include<cstdio>
#include<string>
#include<cstring>
#include<algorithm>
#include<queue>
#include<stack>
#include<cmath>
#include<vector>
#include<fstream>
#include<set>
#include<map>
#include<sstream>
#include<iomanip>
#define ll long long
#define pii pair<int, int>
using namespace std;
int n, m, s, num, kk;
char str[11];
const int maxn = 111;
struct node {
    int v, nxt, w;
}edge[maxn << 2];
int vis[maxn], d[maxn], head[maxn], mark[maxn], k;
void add(int u, int v, int w) {
    edge[++k].nxt = head[u];
    edge[k].v = v;
    edge[k].w = w;
    head[u] = k;
}
bool spfa(int num) {
    queue<int>q;
    for (int i = 0; i <= num; i++) {
        vis[i] = mark[i] = 0;
        d[i] = -0x3f3f3f3f;
        q.push(i);  //起点未知 全部push
    }
    //q.push(s);
    //mark[s] = vis[s] = 1;
    //d[s] = 0;
    while (!q.empty()) {
        int u = q.front(); q.pop();
        vis[u] = 0;
        for (int i = head[u]; i; i = edge[i].nxt) {
            int v = edge[i].v, w = edge[i].w;
            if (d[v] < d[u] + w) {
                d[v] = d[u] + w;
                if (vis[v]) continue;
                vis[v] = 1;
                if(++mark[v] > num) return false;  //负环
                q.push(v);
            }
        }
    }
    return true;
}
int main() {
	while (~scanf("%d", &n) && n) {
        k = 0;
        memset(head, 0, sizeof(head));
		scanf("%d", &m);
		for (int i = 1; i <= m; i++) {
			scanf("%d%d%s%d", &s, &num, str, &kk);
            if (str[0] == 'g') add(s - 1, s + num, kk + 1);
            else add(s + num, s - 1, 1 - kk);
		}
        if (spfa(n + 1)) puts("lamentable kingdom");
        else puts("successful conspiracy");
	}
	return 0;
}