BZOJ1202 || 洛谷P2294 [HNOI2005]狡猾的商人【差分约束】

Time Limit: 10 Sec
Memory Limit: 162 MB

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个账本是假的。

题目分析

差分约束—学习笔记

考虑前缀和
s到t的收入为v，即 $sum[t]-sum[s-1]=v$
在s-1和t间连边权v相反的边即可

若无负环则为true

#include<iostream>
#include<cstdio>
#include<vector>
#include<algorithm>
#include<cstring>
#include<queue>
using namespace std;

int read()
{
    int f=1,x=0;
    char ss=getchar();
    while(ss<'0'||ss>'9'){if(ss=='-')f=-1;ss=getchar();}
    while(ss>='0'&&ss<='9'){x=x*10+ss-'0';ss=getchar();}
    return f*x;
}

int t;
int n,m;
int tot;
struct node{int v,dis,nxt;}E[500010];
int head[100010];
int d[100010];
bool vis[100010];
bool judge;

void intit()
{
    memset(head,0,sizeof(head));
    memset(d,0,sizeof(head));
    memset(vis,false,sizeof(vis));
    judge=false;
}

void add(int u,int v,int dis)
{
    E[++tot].nxt=head[u];
    E[tot].v=v;
    E[tot].dis=dis;
    head[u]=tot; 
}

void spfa(int u)
{
    vis[u]=true;
    for(int i=head[u];i;i=E[i].nxt)
    {
        int v=E[i].v;
        if(d[v]>d[u]+E[i].dis)
        {
            if(vis[v]||judge){ judge=true; break; }
            d[v]=d[u]+E[i].dis;
            spfa(v);
        }
    } 
    vis[u]=false;
}

int main()
{
    t=read();
    while(t--)
    {
        n=read();m=read();
        intit();
        for(int i=1;i<=m;i++)
        {
            int u=read(),v=read(),dis=read();
            add(u-1,v,dis);add(v,u-1,-dis);
        }
        for(int i=1;i<=n;i++)
        {
            spfa(i);
            if(judge) break;
        }
        if(!judge) printf("true\n");
        else printf("false\n");
    }
    return 0;
}