2.1.
最大完工时间问题
-
定理1 对于模型(1),工件按照pj非减的顺序(SPT)排列即为最优序列.
证 假设S1:π1→Ji→Jj→π2是满足pi≤pj的序列,交换工件Ji和Jj得到S2:π1→Jj→Ji→π2,π1和π2表示部分序列且π1中有r-1个工件,且第r个工件开工时间为t0.则有
故有
令
则0 < k≤1,m > 0.由引理1,2知0 < λ≤1,
所以Cj(S1)≤Ci(S2).工件Ji和Jj前面的工件在其交换位置后完工时间没有改变,工件Ji和Jj后面的工件在其交换位置后开工时间没有变小,所以工件按照pj非减的顺序(SPT)排列即为最优序.
2.2.
总完工时间问题
-
定理2 对于模型(2),工件按照pj非减的顺序(SPT)排列即为最优序.
证 类似于定理1,假设S1:π1→Ji→Jj→π2和S2:π1→Jj→Ji→π2.在pi≤pj的条件下只需证Cj(S1)≤Ci(S2)和Ci(S1)+Cj(S1)≤Ci(S2)+Cj(S2)即可.由定理1可知Cj(S1)≤Ci(S2),又pi≤pj,则
成立,故
即工件按照pj非减顺序(SPT)排列为最优序.
2.3.
加权总完工时间问题
-
注意到经典的WSPT序并不能产生模型(3)的最优序列.接下来利用WSPT序作为启发式算法,给出了最坏竞争比分析如下:
定理3 对于模型(3),将WSPT序排列所得序列和最优序列分别表示为π和π*,且在零时刻开工,则模型(3)的最坏竞争比分析为
且这个界是紧的.
证 记π:π(1)→π(2)→…→π(n)和π*:π*(1)→π*(2)→…→π*(n),设p[i]和pπ(i)表示π中第i个工件的正常加工时间和实际加工时间,p[i]*和pπ*(i)表示π*中第i个工件的正常加工时间和实际加工时间,则
进一步得
其中Cπ*为定理1中的最大完工时间.
由于0 < max{ra,b}≤1,0 < α(t)≤1,下面证明这个界是紧的.如果max{ra,b}=1(b→1)和α(t)=1,WSPT序即为模型(3)的最优序列,因此这个界是紧的.
尽管经典的WSPT序规则不能得到模型(3)的最优解,但可以证明加工时间和权重满足反一致关系时,模型(3)仍然可以得到多项式时间算法.
定理4 对于问题模型(3),当工件的正常加工时间和权重存在反一致关系即pi≤pj⇒wi≥wj时,按照$\frac{{{p_j}}}{{{w_j}}}$非减的顺序WSPT排列即为最优序.
证 若S1:π1→Ji→Jj→π2是满足$\frac{{{p_i}}}{{{w_j}}} \le \frac{{{p_j}}}{{{w_j}}}$的序列,交换工件Ji和Jj得一新序S2:π1→Jj→Ji→π2,π1中有r-1个工件,且第r个工件的开工时间为t0.则有
令
由引理1和引理3可知
故当满足反一致关系时按照$\frac{{{p_j}}}{{{w_j}}}$非减的(WSPT)排列即为最优序.
由定理4易知下面推论1成立.
推论1 对于问题模型(3),当工件的权重和加工时间成比例时,pj非减的排列顺序(SPT)即为最优序.
2.4.
最大延迟问题
-
类似可知经典的EDD序规则不能得到模型(4)的最优序列.为了得到当前问题的最坏竞争比分析,需要重新定义最坏竞争比函数为
其中dmax=max{dj|j=1,2,…,n},π和π*表示EDD序列和最优序列.
定理5 对于模型(4),将按照EDD序排列所得序列和最优序列分别表示为π和π*,在零时刻开工,则
且这个界是紧的.
证 记π:π(1)→π(2)→…→π(n)和π*:π*(1)→π*(2)→…→π*(n),设p[i]和pπ(i)分别表示π中第i个工件的正常加工时间和实际加工时间,p[i]*和pπ*(i)分别表示π*中第i个工件的正常加工时间和实际加工时间.
其中Cmax*为定理1中的最优时间表长.
由于0 < max{ra,b}≤1,0 < α(t)≤1,当max{ra,b}=1(b→1)和α(t)=1时EDD序即为模型(4)的最优序列,因此这个界是紧的.
尽管经典的EDD序规则不能得到模型(4)的最优解,但可以证明加工时间和工期满足一致关系时,当前模型仍然是多项式时间可解的.
定理6 对于模型(4),当正常加工时间和工期存在一致关系时,按照dj非减的顺序(EDD)排列即为最优序.
证 若S1:π1→Ji→Jj→π2是满足pi≤pj⇒di≤dj的序列,交换工件Ji和Jj得一新序S2:π1→Jj→Ji→π2,π1中有r-1个工件,且第r个工件的开工时间为t0.则有
由定理1,2可知max{Li(S1),Lj(S1)}≤max{Li(S2),Lj(S2)},Lmax(S1)≤Lmax(S2)成立,交换工件Ji和Jj最大工期不会变小,所以当满足一致关系时按照dj非减的顺序(EDD)排列即为最优序.
由定理6易知下面推论2和推论3成立.
推论2 对于模型(4),如果工件的加工时间都相同,工件按照dj非减的顺序(EDD)排列即为最优序.
推论3 对于模型(4),如果工件的工期都相同,工件按照pj非减的顺序(SPT)排列即为最优序.