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

来源：互联网发布：网站流量统计软件编辑：程序博客网时间：2024/06/05 03:10

题目地址：POJ 1364

题意：n个数的一个序列，m个约数，si, ni, oi, ki, 代表了序列中第si个数到第si+ni个数的和大于或小于ki，gt 为大于，lt 为小于。问是否存在相悖的约束。

思路：

因为这个题目是单纯的大于或者小于，所以要变成大于等于或者小于等于，这样的话就在k值的基础上+1或者-1。所以就有了以下的约束。

设sum[i]为前i个数的和，那么就可以得到约束：si, ni, oi, ki

sum[0] = 0

oi为gt时：sum[si-1] - sum[si+ni] <= ki+1
oi为lt时：sum[si+ni] - sum[si-1] <= ki-1。

#include <stdio.h>#include <math.h>#include <string.h>#include <stdlib.h>#include <iostream>#include <sstream>#include <algorithm>#include <set>#include <queue>#include <stack>#include <map>using namespace std;typedef long long LL;const int inf=0x3f3f3f3f;const double pi= acos(-1.0);const double esp=1e-6;const int maxn=210;int n,m,cnt;int head[maxn];int dis[maxn];struct node{    int u,v,w;    int next;}edge[1000010];void add(int u,int v,int w){    edge[cnt].u=u;    edge[cnt].v=v;    edge[cnt].w=w;    edge[cnt].next=head[u];    head[u]=cnt++;}int Bellman_ford(int n){    int i,j;    memset(dis,0,sizeof(dis));    dis[1]=0;    for(i=1;i<=n;i++){        int flag=0;        for(j=0;j<cnt;j++){            int u=edge[j].u;            int v=edge[j].v;            if(dis[v]>dis[u]+edge[j].w){                dis[v]=dis[u]+edge[j].w;                   flag=1;                }            }            if(!flag) break;        }        for(i=0;i<cnt;i++){            if(dis[edge[i].v]>dis[edge[i].u]+edge[i].w)                return 0;        }        return 1;}int main(){    char str[10];    int u,v,w;    while(~scanf("%d",&n)){            if(!n) break;            scanf("%d",&m);            memset(head,-1,sizeof(head));            cnt=0;        while(m--){            scanf("%d %d %s %d",&u,&v,str,&w);            if(str[0]=='g'){                add(u+v,u-1,-w-1);            }            else{                add(u-1,u+v,w-1);            }        }        int ans=Bellman_ford(n);        if(ans)            puts("lamentable kingdom");        else            puts("successful conspiracy");    }    return 0;}

0 0