Page - 28 - in Algorithms for Scheduling Problems
Image of the Page - 28 -
Text of the Page - 28 -
Algorithms 2018,11, 66
in (3).Hence, theequalities (4)hold, if thereexistblocksBrāBwith theequalitiesBr=Bār āŖB+r and
|Br|=2. Thissufļ¬ciencyproofcontains thedescriptionof Procedure2with thecomplexityO(n).
Necessary. If thereexistsat leastoneblockBrāB suchthatneithercondition |Br|= |Bār |=1nor
conditionBr=Bār āŖB+r , |Br|=2hold, thentheequality (3) isnotpossible forat leastone job Jki āBr.
Therefore, the inequalityPerOB(Ļk,T)<nholds foranypermutationĻkāS.
The lengthof the relativeperimeterPerOB(Ļk,T)maybeusedas a stabilitymeasure for the
optimalpermutationĻk. If thepermutationĻkāShas thenon-emptyoptimalityboxOB(Ļk,T)with
a larger lengthof therelativeperimeter thantheoptimalityboxOB(Ļt,T)has,Ļk =ĻtāS, thenthe
permutationĻkāSmayprovideasmallervalueof theobjective functionāCi thanthepermutation
Ļt. Onecanexpect that the inequalityāJiāJCi(Ļk,p)ā¤āJiāJCi(Ļt,p)holds formorescenarios p
fromthesetT thantheopposite inequalityāJiāJCi(Ļk,p)>āJiāJCi(Ļt,p).Next,weshowhowto
construct apermutationĻkā Swith the largestvalueof the relativeperimeterPerOB(Ļk,T). The
proofofTheorem4isbasedonProcedure3.
Theorem5. If the equality B1 = J holds, then it takesO(n) time to ļ¬nd the permutation Ļk ā S and
the optimality boxOB(Ļk,T)with the largest length of the relative perimeter PerOB(Ļk,T) among all
permutationsS.
Proof. SincetheequalityB1=J holds,eachpermutationĻkāS looksasfollows:Ļk=(Jk1, Jk2, . . . , Jkn),
where {Jk1, Jk2, . . . , Jkn}= B1. Due toLemma2, only job Jk1 mayhave the optimality segment (this
segment looksasfollows: [pLk1,u ā
k1 ])andonly job Jnmayhavethefollowingoptimalitysegment [lākn,p
U
kn ].
Thelengthuāk1āpLk1 of theoptimalitysegment [pLk1,uāk1] for the job Jk1 isdeterminedbythesecondjob
Jk2 in thepermutationĻk. Similarly, the length p
U
kn ā lākn of theoptimalitysegment [lākn,pUkn] for the job
Jkn isdeterminedbythesecond-to-last job Jknā1 in thepermutationĻk.Hence, tofindtheoptimalitybox
OB(Ļk,T)withthelargestvalueofPerOB(Ļk,T), it isneededtotestonlyfour jobs Jk1, Jk2, Jknā1 and Jkn
fromtheblockB1=J ,whichprovidethelargestrelativeoptimalitysegments for the jobs Jk1 and Jkn.
To this end, we should choose the job Jki such that the following equality holds:
pLki =minJksāB1 bU1āpLks
pUksāpLks . Then, ifB1\{Jki} =ā
,we shouldchoose the job Jkv such that the equality
pUkv =maxJksāB1\{Jki} pUksābL1
pUksāpLks holds. Then, ifB1\{Jki, Jkv} =ā
,weshouldchoosethe job Jki+1 suchthat
theequality pLki+1 =minJksāB1\{Jki,Jkv}p L
ks holds. Then, ifB1\{Jki, Jki+1, Jkv} =ā
,weshouldchoose the
job Jkvā1 suchthat theequality p U
kvā1 =maxJksāB1\{Jki,Jki+1,Jkv}p U
ks holds. Thus, todetermine the largest
valueofPerOB(Ļk,T), onehaseither to testasingle jobor to test two jobsor three jobsor tochoose
andtest four jobs fromtheblockB1,where |B1|ā„4, independentlyofhowlarge thecardinality |B1|
of the setB1 is. In theworst case, onehas to test atmost 4!= 24permutationsof the jobs chosen
fromthe setB1. Due to thedirect testingof the chosen jobs, one selects apermutationof |B1| jobs,
whichprovides the largest lengthof therelativeperimeterPerOB(Ļk,T) forall |B1|! permutationsĻk.
IfB1=J , theabovealgorithm(wecall it Procedure3) forļ¬ndingthepermutationĻkwiththe largest
valueofPerOB(Ļk,T) takesO(n) time. Theorem5hasbeenproven.
Remark2. If Ji āBrāB, then the job Jimustbe located eitheron the left side fromthecoreof theblockBr or
on the right side fromthis core inanypermutationĻk having the largest relativeperimeter of the optimality
boxOB(Ļk,T). Hence, job Ji mustprecede (or succeed, respectively) each job Jvā Bk. ThepermutationĻt
of the jobs fromtheblockBr obtainedusingProcedure3described in theproof ofTheorem5,where jobsBr are
sequenced, remains the same if job Ji āBrāBisadded to thepermutationĻt.
Lemma4. Let there exist twoadjacent blocksBrāBandBr+1āB, such that the equalityBrāBr+1=ā
holds. Thentheproblem1|pLi ⤠pi⤠pUi |āCi canbedecomposed into the subproblemP1with the set of jobs
J1 :=ārk=1Bk and the subproblemP2with the set of jobsJ2 :=āmk=r+1Bk =J \J1. The optimality box
28
back to the
book Algorithms for Scheduling Problems"
Algorithms for Scheduling Problems
- Title
- Algorithms for Scheduling Problems
- Authors
- Frank Werner
- Larysa Burtseva
- Yuri Sotskov
- Editor
- MDPI
- Location
- Basel
- Date
- 2018
- Language
- English
- License
- CC BY 4.0
- ISBN
- 978-3-03897-120-7
- Size
- 17.0 x 24.4 cm
- Pages
- 212
- Keywords
- Scheduling Problems in Logistics, Transport, Timetabling, Sports, Healthcare, Engineering, Energy Management
- Categories
- Informatik
- Technik