【HDOJ1534】【差分约束+SPFA】

http://acm.hdu.edu.cn/showproblem.php?pid=1534

Schedule Problem

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 2196    Accepted Submission(s): 994
Special Judge

Problem Description

A project can be divided into several parts. Each part should be completed continuously. This means if a part should take 3 days, we should use a continuous 3 days do complete it. There are four types of constrains among these parts which are FAS, FAF, SAF and SAS. A constrain between parts is FAS if the first one should finish after the second one started. FAF is finish after finish. SAF is start after finish, and SAS is start after start. Assume there are enough people involved in the projects, which means we can do any number of parts concurrently. You are to write a program to give a schedule of a given project, which has the shortest time.

 

Input

The input file consists a sequences of projects.

Each project consists the following lines:

the count number of parts (one line) (0 for end of input)

times should be taken to complete these parts, each time occupies one line

a list of FAS, FAF, SAF or SAS and two part number indicates a constrain of the two parts

a line only contains a '#' indicates the end of a project 

 

Output

Output should be a list of lines, each line includes a part number and the time it should start. Time should be a non-negative integer, and the start time of first part should be 0. If there is no answer for the problem, you should give a non-line output containing "impossible".

A blank line should appear following the output for each project.

Sample Input

3 2 3 4 SAF 2 1 FAF 3 2 # 3 1 1 1 SAF 2 1 SAF 3 2 SAF 1 3 # 0

 

Sample Output

Case 1: 1 0 2 2 3 1 Case 2: impossible

题目大意：给一堆工作所需花费的时间，然后给出工作的顺序【即某些工作要在另一些工作开始之后才能开始，有些工作在另一些工作结束之后才能开始，有些工作在另一些工作结束之后结束，有些工作要在另一些工作开始之后结束..】求怎样安排每个工作的开始时间可以使每件工作尽早结束。

题目分析：定义D【I】表示工作 I 的开始时间，T【I】为 工作 I 的花费时间，则可以根据这些先后顺序列出不等式，然后建图，确保连通，跑一遍SPFA即可

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
struct edge{
    int to;
    int next;
    int len;
}qwq[100005];
queue<int>pq;
int edge_cnt=0,    n,t[10005],head[100005],in[100005],stk[100005],dist[100005];
bool spfa()
{
    while(!pq.empty())
    {
        pq.pop();
    }
    pq.push(0);
    in[0]++;
    stk[0]=1;
    while(!pq.empty())
    {
        int qaq=pq.front();pq.pop();
        stk[qaq]=0;
        for(int i = head[qaq];i!=-1;i=qwq[i].next)
        {
            int v=qwq[i].to;
            if(dist[v]<dist[qaq]+qwq[i].len)
            {
                dist[v]=dist[qaq]+qwq[i].len;
                if(!stk[v])
                {
                    pq.push(v);
                    in[v]++;
                    stk[v]=1;
                    if(in[v]>n+1){
                        return false;
                    }
                }
            }
        }
    }
    return true;
}
void add(int x,int y,int z)
{
    qwq[edge_cnt].to=y;
    qwq[edge_cnt].next=head[x];
    qwq[edge_cnt].len=z;
    head[x]=edge_cnt++; 
}
int main()
{
    scanf("%d",&n);
    int case1=1;
    while(n)
    {
        memset(head,-1,sizeof(head));
        memset(dist,-1,sizeof(dist));
        dist[0]=0;
        memset(in,0,sizeof(in));
        memset(stk,0,sizeof(stk));
        edge_cnt=0;
        for(int i = 1 ;i <= n ; i++)
        {
            scanf("%d",&t[i]);
        }
        char ss[50];
        int a,c;
        scanf("%s",ss);
        while(ss[0]!='#')//FAS, FAF, SAF and SAS. 
        {
            scanf("%d%d",&a,&c);
            if(ss[0]=='S')
            {
                if(ss[2]=='S')
                {
                    add(c,a,0);
                //    cout << c << a << "0
";
                    //cout << ss[6]<<"   "<<ss[4]-'0' <<  "0" <<endl;
                }
                else
                {
                    add(c,a,t[c]);
                //    cout << c << a <<t[c]<<endl;
                //    cout << ss[6]<<"   "<<ss[4]-'0' << t[ss[6]-'0']  <<endl;
                }
            }
            else 
            {
                if(ss[2]=='S')
                {
                    add(c,a,-t[a]);
                    //cout << c << a <<-t[a]<<endl;
                //    cout << ss[6]<<"   "<<ss[4]-'0' << -t[ss[4]-'0']  <<endl;    
                }
                else
                {
                    add(c,a,-t[a]+t[c]);
                //    cout << c<<a <<-t[a]+t[c]<<endl;
                    //cout << ss[6]<<"   "<<ss[4]-'0' << -t[ss[4]-'0']+t[ss[6]-'0'] <<endl;    
                }
            }
            for(int i = 1 ; i <= n ; i++)
            {
                add(0,i,0);
            }
            scanf("%s",ss);
        }
        printf("Case %d:
",case1++);
        if(!spfa())
        printf("impossible
");
        else
        for(int i = 1 ; i <= n ;i++)
        {
            printf("%d %d
",i,dist[i]);
        }
        printf("
");
        scanf("%d",&n);
    }
    return 0;
 }