BZOJ 1202: [HNOI2005]狡猾的商人( 差分约束 )

好像很多人用并查集写的...

前缀和, 则 sum_t - sum_s-1 = v, 拆成2条 : sum_t ≤ sum_s-1 + v, sum_s-1 ≤ sum_t - v 就是一个差分约束, 建图跑SPFA..

想起之前codeVS某场月赛T1有些人用带权并查集..然而我是差分约束水过去的...

------------------------------------------------------------------------------

#include<cstdio>

#include<cstring>

#include<algorithm>

using namespace std;

const int maxn = 109;

struct edge {

int to, w;

edge* next;

} E[10000], *pt, *head[maxn];

void addedge(int u, int v, int w) {

pt->to = v; pt->w = w; pt->next = head[u]; head[u] = pt++;

}

int N, T, vis[maxn], d[maxn];

bool F;

void init() {

pt = E; F = true;

memset(head, 0, sizeof head);

for(int i = 0; i < N; i++) d[i] = 0;

}

void dfs(int x) {

vis[x] = T;

for(edge* e = head[x]; e; e = e->next) if(d[e->to] > d[x] + e->w) {

if(vis[e->to] != T)

d[e->to] = d[x] + e->w, dfs(e->to);

else

F = false;

if(!F) break;

}

vis[x] = -1;

}

int main() {

scanf("%d", &T);

while(T--) {

int m; scanf("%d%d", &N, &m); N++;

init();

while(m--) {

int l, r, w; scanf("%d%d%d", &l, &r, &w);

addedge(l - 1, r, w);

addedge(r, l - 1, -w);

}

for(int i = 0; i < N; i++) {

dfs(i);

if(!F) break;

}

puts(F ? "true" : "false");

}

return 0;

}

------------------------------------------------------------------------------

1202: [HNOI2005]狡猾的商人

Time Limit: 10 Sec Memory Limit: 162 MB
Submit: 2050 Solved: 985
[Submit][Status][Discuss]

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

HINT

Source