【1】关键路径

在我的经验意识深处，“关键”二字一般都是指临界点。

凡事万物都遵循一个度的问题，那么存在度就会自然有临界点。

关键路径也正是研究这个临界点的问题。

在学习关键路径前，先了解一个AOV网和AOE网的概念：

用顶点表示活动，用弧表示活动间的优先关系的有向图：

称为顶点表示活动的网（Activity On Vertex Network），简称为AOV网。

与AOV网对应的是AOE（Activity On Edge）网即边表示活动的网。

AOE网是一个带权的有向无环图。

网中只有一个入度为零的点（称为源点）和一个出度为零的点（称为汇点）。

其中，顶点表示事件（Event），弧表示活动，权表示活动持续的时间。

通常，AOE网可用来估算工程的完成时间。

假如汽车生产工厂要制造一辆汽车，制造过程的大概事件和活动时间如上图AOE网：

我们把路径上各个活动所持续的时间之和称为路径长度，从源点到汇点具有最大长度的路径叫关键路径，在关键路径上的活动叫关键活动。

那么，显然对上图AOE网而言,所谓关键路径：

开始-->发动机完成-->部件集中到位-->组装完成。路径长度为5.5。

如果我们试图缩短整个工期，去改进轮子的生产效率，哪怕改动0.1也是无益的。

只有缩短关键路径上的关键活动时间才可以减少整个工期的长度。

例如如果制造发动机缩短为2.5天，整车组装缩短为1.5天，那么关键路径为4.5。

工期也就整整缩短了一天时间。

好吧！ 那么研究这个关键路径意义何在？

假定上图AOE网中弧的权值单位为小时，而且我们已经知道黑深色的那一条为关键路径。

假定现在上午一点，对于外壳完成事件而言，为了不影响工期：

外壳完成活动最早也就是一点开始动工，最晚在两点必须要开始动工。

最大权值3表示所有活动必须在三小时之后完成，而外壳完成只需要2个小时。

所以，这个中间的空闲时间有一个小时，为了不影响整个工期，它必须最迟两点动工。

那么才可以保证3点时与发动机完成活动同时竣工，为后续的活动做好准备。

对AOE网有待研究的问题是：

（1）完成整个工程至少需要多少时间？

（2）那些活动是影响工程进度的关键？

今天研究是实例如下图所示：

假想是一个有11项活动的AOE网，其中有9个事件(V1,V2,V3...V9)。

每个事件表示在它之前的活动已经完成，在它之后的活动可以开始。

如V1表示整个工程开始，V9表示整个共结束，V5表示a4和a5已经完成，a7和a8可以开始。

【2】关键路径算法

为了更好的理解算法，我们先需要定义如下几个参数：

（1）事件的最早发生时间etv(earliest time of vertex): 即顶点Vk的最早发生时间。

（2）事件的最晚发生时间ltv(latest time of vertex): 即顶点Vk的最晚发生时间。

　　也就是每个顶点对应的事件最晚需要开始的时间，超出此时间将会延误整个工期。

（3）活动的最早开工时间ete(earliest time of edge): 即弧ak的最早发生时间。

（4）活动的最晚开工时间lte(latest time of edge): 即弧ak的最晚发生时间，也就是不推迟工期的最晚开工时间。

然后根据最早开工时间ete[k]和最晚开工时间lte[k]相等判断ak是否是关键路径。

将AOE网转化为邻接表结构如下图所示：

与拓扑序列邻接表结构不同的地方在于，弧链表增加了weight域，用来存储弧的权值。

求事件的最早发生时间etv的过程，就是从头至尾找拓扑序列的过程。

因此，在求关键路径之前，先要调用一次拓扑序列算法的代码来计算etv和拓扑序列表。

数组etv存储事件最早发生时间

数组ltv存储事件最迟发生时间

全局栈用来保存拓扑序列

注意代码中的粗部分与原拓扑序列的算法区别。

第11-15行 初始化全局变量etv数组。

第21行 就是讲要输出的拓扑序列压入全局栈。

第 27-28 行很关键，它是求etv数组的每一个元素的值。

比如：假如我们已经求得顶点V0的对应etv[0]=0;顶点V1对应etv[1]=3;顶点V2对应etv[2]=4

现在我们需要求顶点V3对应的etv[3]，其实就是求etv[1]+len<V1,V3>与etv[2]+len<V2,V3>的较大值

显然3+5<4+8，得到etv[3]=12，在代码中e->weight就是当前弧的长度。如图所示：

由此也可以得到计算顶点Vk即求etv[k]的最早发生时间公式如上。

下面具体分析关键路径算法：

1.  程序开始执行。第5行，声明了etv和lte两个活动最早最晚发生时间变量

2.  第6行，调用求拓扑序列的函数。

　　执行完毕后，全局数组etv和栈的值如下所示796，也就是说已经确定每个事件的最早发生时间。

3.  第7-9行初始化数组ltv，因为etv[9]=27，所以数组当前每项均为27。

4.  第10-19行为计算ltv的循环。第12行，先将全局栈的栈头出栈，由后进先出得到gettop=9。

　　但是，根据邻接表中信息，V9没有弧。所以至此退出循环。

5.  再次来到第12行，gettop=8，在第13-18行的循环中，V8的弧表只有一条<V8，V9>

　　第15行得到k=9，因为ltv[9]-3<ltv[8]，所以ltv[8]=ltv[9]-3=24，过程如下图所示：

6.  再次循环，当gettop=7，5，6时，同理可计算出ltv相对应的值为19，25，13。

　　此时ltv值为：{27，27，27，27，27，13，25，19，24，27}

7.  当gettop=4时，由邻接表信息可得到V4有两条弧<V4,V6>和<V4,V7>。

　　通过第13-18行的循环，可以得到ltv[4]=min(ltv[7]-4,ltv[6]-9)=min(19-4,25-9)=15

　　过程分析如下图所示：

　　当程序执行到第20行时，相关变量的值如下图所示。

　　比如etv[1]=3而ltv[1]=7表示（如果单位按天计的话）:

　　哪怕V1这个事件在第7天才开始也是可以保证整个工程按期完成。

　　你也可以提前V1时间开始，但是最早也只能在第3天开始。

8.  第20-31行是求另两个变量活动最早开始时间ete和活动最晚时间lte。

　　当 j=0 时，从V0顶点开始，有<V0,V2>和<V0,V1>两条弧。

　　当 k=2 时，ete=etv[j]=etv[0]=0

　　lte=ltv[k]-e->weight=ltv[2]-len<v0,v2>=4-4=0  此时ete == lte

　　表示弧<v0,v2>是关键活动，因此打印。

　　当 k=1 时，ete=etv[j]=etv[0]=0

　　lte=ltv[k]-e->weight=ltv[2]-len<v0,v1>=7-3=4  此时ete != lte

　　表示弧<v0,v1>并不是关键活动。如图所示：

说明：ete表示活动<Vk,Vj>的最早开工时间，是针对弧来说的。

但是只有此弧的弧尾顶点Vk的事件发生了，它才可以开始，ete=etv[k]。

lte表示的是活动<Vk,Vj>最晚开工时间，但此活动再晚也不能等V1事件发生才开始。

而必须要在V1事件之前发生，所以lte=ltv[j]-len<Vk,Vj>。

9.  j=1 直到 j=9 为止，做法完全相同。

最终关键路径如下图所示：

注意：本例是唯一一条关键路径，并不等于不存在多条关键路径。

如果是多条关键路径，则单是提高一条关键路径上的关键活动速度并不是能导致整个工程缩短工期、

而必须提高同时在几条关键路径上的活动的速度。

【3】关键路径是代码实现

本示例代码与算法有些不同，但是效果相同，都是为了达到一个共同目的：理解并学习关键路径算法。

1 #include 
     
        2 #include "Stack.h"  3 #include 
      
         4 using namespace std;  5   6 #define  MAXVEX   10  7 #define  MAXEDGE  13  8   9 // 全局栈 10 SeqStack
       
         sQ2; 11  12 typedef struct EdgeNode 13 { 14     int adjvex;    // 邻接点域，存储该顶点对应的下标 15     int weight; // 边的权值 16     struct EdgeNode* next; // 链域 17 } EdgeNode; 18  19 typedef struct VertexNode 20 { 21     int inNum;    // 顶点入度值 22     int data;    // 顶点数值欲 23     EdgeNode* firstedge; // 边表头指针 24 } VertexNode, AdjList[MAXVEX]; 25  26 typedef struct 27 { 28     AdjList adjList; 29     int numVertexes, numEdges; // 图中当前顶点数和边数（对于本案例，已经存在宏定义） 30 } graphAdjList, *GraphAdjList; 31  32 // 构建节点 33 EdgeNode* BuyNode() 34 { 35     EdgeNode* p = (EdgeNode*)malloc(sizeof(EdgeNode)); 36     p->adjvex = -1; 37     p->next = NULL; 38     return p; 39 } 40 // 初始化图 41 void InitGraph(graphAdjList& g) 42 { 43     for (int i = 0; i < MAXVEX; ++i) 44     { 45         g.adjList[i].firstedge = NULL; 46     } 47 } 48 // 创建图 49 void CreateGraph(graphAdjList& g) 50 { 51     int i = 0, begin = 0, end = 0, weight = 0; 52     EdgeNode *pNode = NULL; 53     cout << "输入10个顶点信息（顶点 入度）:" << endl; 54     for (i = 0; i < MAXVEX; ++i) 55     { 56         cin >> g.adjList[i].data >> g.adjList[i].inNum; 57     } 58     cout << "输入13条弧的信息（起点 终点 权值）：" << endl; 59     for (i = 0; i < MAXEDGE; ++i) 60     { 61         cin >> begin >> end >> weight; 62         pNode = BuyNode(); 63         pNode->adjvex = end; 64         pNode->weight = weight; 65         pNode->next = g.adjList[begin].firstedge; 66         g.adjList[begin].firstedge = pNode; 67     } 68 } 69 // 打印输入信息的逻辑图 70 void PrintGraph(graphAdjList &g) 71 { 72     cout << "打印AOE网的邻接表逻辑图：" << endl; 73     for (int i = 0; i < MAXVEX; ++i) 74     { 75         cout << " " << g.adjList[i].inNum << " " << g.adjList[i].data << " "; 76         EdgeNode* p = g.adjList[i].firstedge; 77         cout << "-->"; 78         while (p != NULL) 79         { 80             int index = p->adjvex; 81             cout << "[" << g.adjList[index].data << " " << p->weight << "] " ; 82             p = p->next; 83         } 84         cout << endl; 85     } 86 } 87 // 求拓扑序列 88 bool TopologicalSort(graphAdjList g, int* pEtv) 89 { 90     EdgeNode* pNode = NULL; 91     int i = 0, k = 0, gettop = 0; 92     int nCnt = 0; 93     SeqStack
        
          sQ1; 94     for (i = 0; i < MAXVEX; ++i) 95     { 96         if (0 == g.adjList[i].inNum) 97             sQ1.Push(i); 98     } 99     for (i = 0; i < MAXVEX; ++i)100     {101         pEtv[i] = 0;102     }103     while (!sQ1.IsEmpty())104     {105         sQ1.Pop(gettop);106         ++nCnt;107         sQ2.Push(gettop); // 将弹出的顶点序号压入拓扑序列的栈108         if (MAXVEX == nCnt)109         {    //去掉拓扑路径后面的-->110             cout << g.adjList[gettop].data << endl; 111             break;112         }113         cout << g.adjList[gettop].data << "-->";114         pNode = g.adjList[gettop].firstedge;115         while (pNode != NULL)116         {117             k = pNode->adjvex;118             --g.adjList[k].inNum;119             if (0 == g.adjList[k].inNum)120                 sQ1.Push(k);121             if (pEtv[gettop] + pNode->weight > pEtv[k])122                 pEtv[k] = pEtv[gettop] + pNode->weight;123             pNode = pNode->next;124         }125     }126     return nCnt != MAXVEX;127 }128 // 关键路径129 void CriticalPath(graphAdjList g, int* pEtv, int* pLtv)130 {131     // pEtv  事件最早发生时间132     // PLtv  事件最迟发生时间133     EdgeNode* pNode = NULL;134     int i = 0, gettop = 0, k =0, j = 0;135     int ete = 0, lte = 0; // 声明活动最早发生时间和最迟发生时间变量136     for (i = 0; i < MAXVEX; ++i)137     {138         pLtv[i] = pEtv[MAXVEX-1]; // 初始化139     }140     while (!sQ2.IsEmpty())141     {142         sQ2.Pop(gettop); // 将拓扑序列出栈，后进先出143         pNode = g.adjList[gettop].firstedge;144         while (pNode != NULL)145         {    // 求各顶点事件的最迟发生时间pLtv值146             k = pNode->adjvex;147             if (pLtv[k] - pNode->weight < pLtv[gettop])148                 pLtv[gettop] = pLtv[k] - pNode->weight;149             pNode = pNode->next;150         }151     }152     // 求 ete, lte, 和 关键路径153     for (j = 0; j < MAXVEX; ++j)154     {155         pNode = g.adjList[j].firstedge;156         while (pNode != NULL)157         {158             k = pNode->adjvex;159             ete = pEtv[j]; // 活动最早发生时间160             lte = pLtv[k] - pNode->weight; // 活动最迟发生时间161             if (ete == lte)162                 cout << "
         
          << g.adjList[j].data << ",V" << g.adjList[k].data << "> :" << pNode->weight << endl;163             pNode = pNode->next;164         }165     }166 }167 void main()168 {169     graphAdjList myg;170     InitGraph(myg);171     cout << "创建图：" << endl;172     CreateGraph(myg);173     cout << "打印图的邻接表逻辑结构：" << endl;174     PrintGraph(myg);175 176     int* pEtv = new int[MAXVEX];177     int* pLtv = new int[MAXVEX];178 179     cout << "求拓扑序列(全局栈sQ2的值)：" << endl;180     TopologicalSort(myg, pEtv);181     cout << "打印数组pEtv(各个事件的最早发生时间)：" << endl;182     for(int i = 0; i < MAXVEX; ++i)183     {184         cout << pEtv[i] << " ";185     }186     cout << endl << "关键路径：" << endl;187 188     CriticalPath(myg, pEtv, pLtv);189     cout << endl;190 }191 /*192 创建图：193 输入10个顶点信息（顶点 入度）:194 0 0195 1 1196 2 1197 3 2198 4 2199 5 1200 6 1201 7 2202 8 1203 9 2204 输入13条弧的信息（起点 终点 权值）：205 0 1 3206 0 2 4207 1 3 5208 1 4 6209 2 3 8210 2 5 7211 3 4 3212 4 6 9213 4 7 4214 5 7 6215 6 9 2216 7 8 5217 8 9 3218 打印图的邻接表逻辑结构：219 打印AOE网的邻接表逻辑图：220 0 0 -->[2 4] [1 3]221 1 1 -->[4 6] [3 5]222 1 2 -->[5 7] [3 8]223 2 3 -->[4 3]224 2 4 -->[7 4] [6 9]225 1 5 -->[7 6]226 1 6 -->[9 2]227 2 7 -->[8 5]228 1 8 -->[9 3]229 2 9 -->230 求拓扑序列(全局栈sQ2的值)：231 0-->1-->2-->3-->4-->6-->5-->7-->8-->9232 打印数组pEtv(各个事件的最早发生时间)：233 0 3 4 12 15 11 24 19 24 27234 关键路径：235 
          
            :4236 
           
             :8237 
            
              :3238 
             
               :4239 
              
                :5240 
               
                 :3241 */
               
              
             
            
           
          
         
        
       
      
     

1 // Stack.h  2 // 顺序栈的实现  3 #pragma  once  4   5 #include 
     
        6 #include 
      
         7 #include 
       
          8 #define   STACKSIZE  100  9 using namespace std; 10 template
        
          11 class   SeqStack 12 { 13     private: 14         Type *data; 15         int  top; 16         int  size; 17     public: 18         SeqStack(int  sz = STACKSIZE); 19         ~SeqStack(); 20         SeqStack(const SeqStack
         
           &st); 21         SeqStack
          
            operator=(const SeqStack
           
             &st); 22 bool Push(const Type &item); 23 bool Pop(Type &item); 24 bool GetTop(Type &item); 25 bool IsEmpty() const; 26 bool IsFull() const; 27 void MakeEmpty(); 28 int StackLen(); 29 void PrintStack(); 30 }; 31 32 template
            
              33 SeqStack
             
              ::SeqStack(int sz) 34 { 35 size = sz > STACKSIZE ? sz : STACKSIZE; 36 data = new Type[size]; 37 assert(data!=NULL); 38 for (int i = 0; i < size; i++) 39 { 40 data[i] = NULL; 41 } 42 top = -1; 43 } 44 template
              
                45 SeqStack
               
                ::~SeqStack() 46 { 47 if (data != NULL) 48 { 49 delete []data; 50 data = NULL; 51 } 52 size = 0; 53 top = -1; 54 } 55 template
                
                  56 SeqStack
                 
                  ::SeqStack(const SeqStack
                  
                    &st) 57 { 58 size = st.size; 59 data = new Type[size]; 60 assert(data != NULL); 61 memcpy(data, st.data, (st.top + 1)*sizeof(Type)); 62 top = st.top; 63 } 64 template
                   
                     65 SeqStack
                    
                      SeqStack
                     
                      ::operator=(const SeqStack
                      
                        &st) 66 { 67 if (this != &st) 68 { 69 delete []data; 70 size = st.size; 71 data = new Type[size]; 72 assert(data != NULL); 73 memcpy(data, st.data, (st.top + 1)*sizeof(Type)); 74 top = st.top; 75 } 76 return *this; 77 } 78 template
                       
                         79 bool SeqStack
                        
                         ::Push(const Type &item) 80 { 81 if (top < size-1) 82 { 83 data[++top] = item; 84 return true; 85 } 86 else 87 { 88 return false; 89 } 90 } 91 template
                         
                           92 bool SeqStack
                          
                           ::Pop(Type &item) 93 { 94 if (top >= 0) 95 { 96 item = data[top--]; 97 return true; 98 } 99 else 100 {101 return false;102 }103 }104 template
                           
                            105 bool SeqStack
                            
                             ::GetTop(Type &item)106 {107 if (top >= 0)108 {109 item = data[top];110 return true;111 }112 return false;113 }114 template
                             
                              115 bool SeqStack
                              
                               ::IsEmpty() const116 {117 return -1 == top;118 }119 template
                               
                                120 bool SeqStack
                                
                                 ::IsFull() const121 {122 return top >= size - 1;123 }124 template
                                 
                                  125 void SeqStack
                                  
                                   ::MakeEmpty()126 {127 top = -1;128 }129 template
                                   
                                    130 int SeqStack
                                    
                                     ::StackLen()131 {132 return top + 1;133 }134 template
                                     
                                      135 void SeqStack
                                      
                                       ::PrintStack()136 {137 for (int i = top; i >= 0; i--)138 {139 cout << data[i] << " ";140 }141 cout << endl;142 }