題意：

安排計(jì)劃，有4種約束方式，給出你這些時(shí)間的n個(gè)約束..

　　如果計(jì)劃是可行的，求出每一件事發(fā)生的最早時(shí)間..否則輸出“impossible”..

　　

　　①. FAF a b a要在b完成后完成..

　　②. FAS a b a要在b開始前完成..

　　③. SAS a b a要在b開始前開始..

　　④. SAF a b a要在b結(jié)束前開始..

解題思路：由于每個(gè)點(diǎn)之間具有約束關(guān)系，可采用差分約束

SAS u,v ?S[u]>=S[v];
SAF u,v ?S[u]>=S[v]+D[v];
FAF u,v ?S[u]+D[u]>=S[v]+D[v];
FAS u,v ?S[u]+D[u]>=S[v];

AC:

#include <iostream> #include <cstdio> #include <queue> #include <cstring> #define INF 1e8 #define MAXN 10005 using namespace std;struct edge {int u,v,w,next; }E[200000]; int head[MAXN],ecnt,N,cas; int dis[MAXN],D[MAXN],cnt[MAXN]; bool vis[MAXN]; queue<int>Q;void Insert(int u,int v,int w) {E[ecnt].u=u;E[ecnt].v=v;E[ecnt].w=w;E[ecnt].next=head[u];head[u]=ecnt++; }void Init() {int i,u,v,w;char s[20];memset(head,-1,sizeof(head)); ecnt=0;for(i=1;i<=N;i++)scanf("%d",&D[i]);while(scanf("%s",s)!=EOF)//建圖{if(s[0]=='#') break;scanf("%d%d",&u,&v);if(strcmp(s,"SAS")==0)Insert(v,u,0);else if(strcmp(s,"SAF")==0)Insert(v,u,D[v]);else if(strcmp(s,"FAF")==0)Insert(v,u,D[v]-D[u]);elseInsert(v,u,-D[u]);}for(i=1;i<=N;i++)//保證每個(gè)點(diǎn)都被擴(kuò)展到Insert(0,i,0); }bool SPFA() {int i,u,v,w;while(!Q.empty()) Q.pop();memset(vis,false,sizeof(vis));memset(cnt,0,sizeof(cnt));for(i=0;i<=N;i++)dis[i]=-INF;Q.push(0);dis[0]=0;vis[0]=true;while(!Q.empty()){u=Q.front();Q.pop();vis[u]=false;cnt[u]++;if(cnt[u]>N) return false;for(i=head[u];i!=-1;i=E[i].next){v=E[i].v;w=E[i].w;if(dis[v]<dis[u]+w){dis[v]=dis[u]+w;if(!vis[v]){Q.push(v);vis[v]=true;}}}}return true; }void Solve() {int i;printf("Case %d:\n",cas++);if(!SPFA())printf("impossible\n");else{for(i=1;i<=N;i++)printf("%d %d\n",i,dis[i]);}printf("\n"); }int main() {cas=1;while(scanf("%d",&N),N){Init();Solve();}return 0; }

總結(jié)

以上是生活随笔為你收集整理的hdu 1534(差分约束)的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。