Description

刁姹接到一个任务，为税务部门调查一位商人的账本，看看账本是不是伪造的。账本上记录了n个月以来的收入情况，其中第i 个月的收入额为Ai(i=1,2,3...n-1,n)，。当 Ai大于0时表示这个月盈利Ai 元，当 Ai小于0时表示这个月亏损Ai 元。所谓一段时间内的总收入，就是这段时间内每个月的收入额的总和。刁姹的任务是秘密进行的，为了调查商人的账本，她只好跑到商人那里打工。她趁商人不在时去偷看账本，可是她无法将账本偷出来，每次偷看账本时她都只能看某段时间内账本上记录的收入情况，并且她只能记住这段时间内的总收入。现在，刁姹总共偷看了m次账本，当然也就记住了m段时间内的总收入，你的任务是根据记住的这些信息来判断账本是不是假的。

Input

第一行为一个正整数w，其中w < 100，表示有w组数据，即w个账本，需要你判断。每组数据的第一行为两个正整数n和m，其中n < 100，m < 1000，分别表示对应的账本记录了多少个月的收入情况以及偷看了多少次账本。接下来的m行表示刁姹偷看m次账本后记住的m条信息，每条信息占一行，有三个整数s，t和v，表示从第s个月到第t个月（包含第t个月）的总收入为v，这里假设s总是小于等于t。

Output

包含w行,每行是true或false,其中第i行为true当且仅当第i组数据，即第i个账本不是假的；第i行为false当且仅当第i组数据，即第i个账本是假的。

Sample Input

2
3 3
1 2 10
1 3 -5
3 3 -15
5 3
1 5 100
3 5 50
1 2 51

Sample Output

true
false

一道省选题。好吧，差分约束搞出来的，但是网上怎么都用的并查集啊？这道题只需要把条件设置为num[u-1]+w>=num[v] 和 num[u-1]+w<=num[v]即可，移项成为一道差分约束

PS：有些题解贼坑，对拍一下还以为是自己挂了，结果再拿几个题解对拍才发现是那个题解挂了，呵呵……

#include<cstdio>
#include<cstring>
using namespace std;
const int maxn = 110;
const int maxm = 3010;
struct edge {
	int v, w, next;
}e[maxm];
int cnt, n, m;
int head[maxn];
bool vis[maxn];
int dis[maxn];
void adde(const int &u, const int &v, const int &w) {
	e[cnt] = (edge) {v, w, head[u]};
	head[u] = cnt++;
}

bool SPFA(int u) {
	if(vis[u]) return 0;
	vis[u] = 1;
	for(int i = head[u]; i != -1; i = e[i].next) {
		int v = e[i].v;
		if(dis[v] > dis[u] + e[i].w) {
			dis[v] = dis[u] + e[i].w;
			if(!SPFA(v)) return 0;
		}
	}
	vis[u] = 0;
	return 1;
}
void getans() {
	memset(dis, 0x3f, sizeof(dis));
	memset(vis, 0, sizeof(vis));
	dis[n + 3] = 0;
	if(!SPFA(n + 3)){
		puts("false");
		return;
	}
	puts("true");
}

int main() {
	int t;
	scanf("%d", &t);
	while(t--){
		memset(head, -1, sizeof(head));
		cnt = 0;
		scanf("%d%d", &n, &m);
		for(int i = 0; i <= n; i++) {
			adde(n + 3, i, 0);
		}
		for(int i = 1; i <= m; i++) {
			int u, v, w;
			scanf("%d%d%d", &u, &v, &w);
			adde(u-1, v, w);
			adde(v, u-1, -w);
		}
		getans();
	}
	return 0;
}

Rockdu's Blog