08-图9 关键活动 (30 分)

假定一个工程项目由一组子任务构成，子任务之间有的可以并行执行，有的必须在完成了其它一些子任务后才能执行。“任务调度”包括一组子任务、以及每个子任务可以执行所依赖的子任务集。

比如完成一个专业的所有课程学习和毕业设计可以看成一个本科生要完成的一项工程，各门课程可以看成是子任务。有些课程可以同时开设，比如英语和C程序设计，它们没有必须先修哪门的约束；有些课程则不可以同时开设，因为它们有先后的依赖关系，比如C程序设计和数据结构两门课，必须先学习前者。

但是需要注意的是，对一组子任务，并不是任意的任务调度都是一个可行的方案。比如方案中存在“子任务A依赖于子任务B，子任务B依赖于子任务C，子任务C又依赖于子任务A”，那么这三个任务哪个都不能先执行，这就是一个不可行的方案。

任务调度问题中，如果还给出了完成每个子任务需要的时间，则我们可以算出完成整个工程需要的最短时间。在这些子任务中，有些任务即使推迟几天完成，也不会影响全局的工期；但是有些任务必须准时完成，否则整个项目的工期就要因此延误，这种任务就叫“关键活动”。

请编写程序判定一个给定的工程项目的任务调度是否可行；如果该调度方案可行，则计算完成整个工程项目需要的最短时间，并输出所有的关键活动。

输入格式:

输入第1行给出两个正整数N(≤100)和M，其中N是任务交接点（即衔接相互依赖的两个子任务的节点，例如：若任务2要在任务1完成后才开始，则两任务之间必有一个交接点）的数量。交接点按1~N编号，M是子任务的数量，依次编号为1~M。随后M行，每行给出了3个正整数，分别是该任务开始和完成涉及的交接点编号以及该任务所需的时间，整数间用空格分隔。

输出格式:

如果任务调度不可行，则输出0；否则第1行输出完成整个工程项目需要的时间，第2行开始输出所有关键活动，每个关键活动占一行，按格式“V->W”输出，其中V和W为该任务开始和完成涉及的交接点编号。关键活动输出的顺序规则是：任务开始的交接点编号小者优先，起点编号相同时，与输入时任务的顺序相反。

输入样例:

7 8
1 2 4
1 3 3
2 4 5
3 4 3
4 5 1
4 6 6
5 7 5
6 7 2

输出样例:

17
1->2
2->4
4->6
6->7

#include<cstdio>
#include<cstring>

const int maxn = 110;
const int INF = 1000000000;

int map[maxn][maxn],d[maxn];
int inDegree[maxn],outDegree[maxn];
int earliest[maxn],latest[maxn];

void init(int n);
int early_time(int n);
int max(int a,int b);
int min(int a,int b);
void late_time(int n,int flag);

int main()
{
    int n,m;
    scanf("%d%d",&n,&m);
    init(n);
    
    int u,v,w;
    for (int i = 1; i <= m; i++)
    {
        scanf("%d%d",&u,&v);
        scanf("%d",&map[u][v]);
        inDegree[v]++;
        outDegree[u]++;
    }
    
    int flag = early_time(n);
    
    if (-1 == flag)
    {
        printf("0");
    }
    else
    {
        printf("%d
",flag);
        late_time(n,flag);
        
        for (int i = 1; i <= n; i++)
        {
            if (earliest[i] != latest[i])
            {
                continue;
            }
            
            for (int j = n; j >= 1; j--)
            {
                if (map[i][j] >= 0 && 
                    earliest[j] == latest[j] &&
                    map[i][j] == latest[j] - earliest[i])
                {
                    printf("%d->%d
",i,j);
                }
            }    
        }    
    }    
    
    return 0;
}

void init(int n)
{
    for (int i = 1; i <= n; i++)
    {
        inDegree[i] = 0;
        outDegree[i] = 0;
        earliest[i] = 0;
        latest[i] = INF;
        
        for (int j = 1; j <= n; j++)
        {
            map[i][j] = -1;
        }
    }
}

int early_time(int n)
{
    int q[maxn];
    int front = -1;
    int rear = -1;
    int cnt = 0;
    
    for (int i = 1; i <= n; i++)
    {
        if (!inDegree[i])
        {
            q[++rear] = i;
        }
    }
    
    while (front < rear)
    {
        int now = q[++front];
        cnt++;
        for (int i = 1; i <= n; i++)
        {
            if (map[now][i] >= 0)
            {
                inDegree[i]--;
                earliest[i] = max(earliest[i],earliest[now] + map[now][i]);
                if (!inDegree[i])
                {
                    q[++rear] = i;
                }
            }
        }
    }
    
    int ans = 0;
    if (cnt != n)
    {
        ans = -1;
    }
    else
    {
        //ans = earliest[0];
        for (int i = 1; i <= n; i++)
        {
            if (ans < earliest[i])
            {
                ans = earliest[i];
            }
        }
    }
    return ans;
}

int max(int a,int b)
{
    return a > b ? a : b;
}

int min(int a,int b)
{
    return a < b ? a : b;
}

void late_time(int n,int x)
{
    int queue[maxn];
    int front = -1;
    int rear = -1;
    
    for (int i = 1; i <= n; i++)
    {
        if (!outDegree[i])
        {
            queue[++rear] = i;
            latest[i] = x;
        }
    }
    
    while (front < rear)
    {
        int now = queue[++front];
        
        for (int i = 1; i <= n; i++)
        {
            if (map[i][now] >= 0)
            {
                outDegree[i]--;
                latest[i] = min(latest[i], latest[now]-map[i][now]);
                if (!outDegree[i])
                {
                    queue[++rear] = i;
                }
            }
        }
    }
}