POJ 1364 King(差分约束简单题 判环)

POJ 1364

题目大意

有n个变量$a_1...a_n$,有若干形如$(a_{s_i}+a_{s_i+1}+...+a_{s_i+n_i-1}+a_{s_i+n_i} >/< k_i)$的不等式，问你是否存在满足约束条件的一组解。

分析

原问题先做一个前n项和处理就变成了典型的差分约束了。

设$sum_i=a_1+a_2+...+a_i$

约束不等式就是：$sum_{s_i+n_i}-sum_{s_i-1}>/<k_i$

下标上处理注意一下，转换成$\ge \ k_i$需要+1

代码

#include<cstdio>
#include<iostream>
#include<cmath>
#include<cstring>
#include<cstdlib>
#include<queue>
#include<map>
#include<algorithm>
#include<set>
using namespace std;
const int INF=0x7fffffff;
int n,m;
int sum[105];
struct Edge
{
      int to;
      int next;
      int w;
}edge[1000];
int edgecount;
int head[105];
int dis[105];
int in[105];
int vis[105];
void Init()
{
      memset(head,-1,sizeof(head));
      edgecount=0;
}
void Add_edge(int u,int v,int w)
{
      edge[++edgecount].to=v;
      edge[edgecount].w=w;
      edge[edgecount].next=head[u];
      head[u]=edgecount;
}
bool Spfa(int s,int n)//返回0表示有环
{
      for(int i=0;i<=n;i++)
      {
            dis[i]=INF;
            vis[i]=0;
            in[i]=0;
      }
      queue<int>Q;
      dis[s]=0;
      vis[s]=1;//vis为1表示在队列里面
      in[s]=1;
      Q.push(s);
      while(!Q.empty())
      {
            int u=Q.front();
            Q.pop();
            for(int k=head[u];k!=-1;k=edge[k].next)
            {
                  int v=edge[k].to;
                  int w=edge[k].w;
                  if(dis[v]>dis[u]+w)
                  {
                        dis[v]=dis[u]+w;
                        if(!vis[v])
                        {
                              vis[v]=1;
                              Q.push(v);
                              in[v]++;
                        }
                        if(in[v]>n)return 0;
                  }
            }
            vis[u]=0;
      }
      return 1;
}
int main()
{
    int si,ni,ki;
    char oi[3];
    while(1)
    {
          Init();
          scanf("%d",&n);
          if(n==0)break;
          scanf("%d",&m);
          for(int i=1;i<=m;i++)
          {
                scanf("%d%d%s%d",&si,&ni,oi,&ki);
                if(oi[0]=='g')//>的情况
                {
                     Add_edge(si+ni+1,si,-(ki+1));
                }
                else if(oi[0]=='l')
                {
                      Add_edge(si,si+ni+1,ki-1);
                }
          }
          for(int i=0;i<=n;i++)
          {
                Add_edge(0,i,0);
          }
          if(Spfa(0,n+2)==0)cout<<"successful conspiracy"<<endl;
          else cout<<"lamentable kingdom"<<endl;
    }

    return 0;
}