In this thesis we approach several problems with approximation algorithms; these are feasibility problems as well as optimization problems. In Chapter 1 we give a brief introduction into the general paradigm of approximation algorithms, motivate the problems, and give an outline of the
thesis. In Chapter 2, we discuss two algorithms to approximately generate a feasible solution of the mixed packing and covering problem which is
a model from convex optimization. This problem includes a large class of
linear programs. The algorithms generate approximately feasible solutions
within O(M(ln M+epsilon^{-2} ln epsilon^{-1})) and
O(M epsilon{-2} ln (M epsilon^{-1}))iterations,respectively,whereineachiterationablockproblemwhichdependsonthespecificapplicationhastobesolved.Bothalgorithms,appliedtolinearprograms,canresultincolumngenerationalgorithms.InChapter3,weimplementanalgorithmfortheso−calledmax−min−resourcesharingproblem.Thisisacertainconvexoptimizationproblemwhich,similartotheprobleminChapter1,includesalargeclassoflinearprograms.Theimplementation,whichisincludedintheappendix,isdoneinC++.WeusetheimplementationinthecontextofanAFPTASforStripPackinginordertoevaluatedynamicoptimizationofaparameterinthealgorithm,namelythesteplengthusedforinterpolation.Wecompareourchoicetothestaticsteplengthproposedintheanalysisofthealgorithmandconcludethatdynamicoptimizationofthesteplengthsignificantlyreducesthenumberofiterations.InChapter4,westudytwocloselyrelatedschedulingproblems,namelynon−preemptiveschedulingwithfixedjobsandschedulingwithnon−availabilityforsequentialjobsonmidenticalmachinesunderthemakespanobjective,wheremisconstant.Forthefirstproblem,whichdoesnotadmitanFPTASunlessP=NP,weobtainanewPTAS.Forthesecondproblem,weshowthatasuitablerestriction(namelythepermanentavailabilityofonemachine)isnecessarytoobtainaboundedapproximationratio.Forthisrestriction,whichdoesnotadmitanFPTASunlessP=NP,wepresentaPTAS;wealsodiscussthecomplexityofvariousspecialcases.Intotal,theresultsarebasicallybestpossible.InChapter5,wecontinuethestudiesfromChapter4wherenowthenumbermofmachinesispartoftheinput,whichmakestheproblemalgorithmicallyharder.Schedulingwithfixedjobsdoesnotadmitanapproximationratiobetterthan3/2,unlessP=NP;hereweobtainanapproximationratioof3/2+epsilonforanyepsilon>0.Forschedulingwithnon−availability,werequireaconstantpercentageofthemachinestobepermanentlyavailable.Thisrestrictionalsodoesnotadmitanapproximationratiobetterthan3/2unlessP=NP;wealsoobtainanapproximationratioof3/2+\epsilon$ for any epsilon>0. With an interesting argument, the approximation ratio for both problems is
refined to exactly 3/2. We also point out an interesting relation of scheduling with fixed jobs to Bin Packing. As in Chapter 4, the results are in a certain sense best possible.
Finally, in Chapter 6, we conclude
with some remarks and open research problems
In this thesis we approach several problems with approximation algorithms; these are feasibility problems as well as optimization problems. In Chapter 1 we give a brief introduction into the general paradigm of approximation algorithms, motivate the problems, and give an outline of the
thesis. In Chapter 2, we discuss two algorithms to approximately generate a feasible solution of the mixed packing and covering problem which is
a model from convex optimization. This problem includes a large class of
linear programs. The algorithms generate approximately feasible solutions
within O(M(ln M+epsilon^{-2} ln epsilon^{-1})) and
O(M epsilon{-2} ln (M epsilon^{-1}))iterations,respectively,whereineachiterationablockproblemwhichdependsonthespecificapplicationhastobesolved.Bothalgorithms,appliedtolinearprograms,canresultincolumngenerationalgorithms.InChapter3,weimplementanalgorithmfortheso−calledmax−min−resourcesharingproblem.Thisisacertainconvexoptimizationproblemwhich,similartotheprobleminChapter1,includesalargeclassoflinearprograms.Theimplementation,whichisincludedintheappendix,isdoneinC++.WeusetheimplementationinthecontextofanAFPTASforStripPackinginordertoevaluatedynamicoptimizationofaparameterinthealgorithm,namelythesteplengthusedforinterpolation.Wecompareourchoicetothestaticsteplengthproposedintheanalysisofthealgorithmandconcludethatdynamicoptimizationofthesteplengthsignificantlyreducesthenumberofiterations.InChapter4,westudytwocloselyrelatedschedulingproblems,namelynon−preemptiveschedulingwithfixedjobsandschedulingwithnon−availabilityforsequentialjobsonmidenticalmachinesunderthemakespanobjective,wheremisconstant.Forthefirstproblem,whichdoesnotadmitanFPTASunlessP=NP,weobtainanewPTAS.Forthesecondproblem,weshowthatasuitablerestriction(namelythepermanentavailabilityofonemachine)isnecessarytoobtainaboundedapproximationratio.Forthisrestriction,whichdoesnotadmitanFPTASunlessP=NP,wepresentaPTAS;wealsodiscussthecomplexityofvariousspecialcases.Intotal,theresultsarebasicallybestpossible.InChapter5,wecontinuethestudiesfromChapter4wherenowthenumbermofmachinesispartoftheinput,whichmakestheproblemalgorithmicallyharder.Schedulingwithfixedjobsdoesnotadmitanapproximationratiobetterthan3/2,unlessP=NP;hereweobtainanapproximationratioof3/2+epsilonforanyepsilon>0.Forschedulingwithnon−availability,werequireaconstantpercentageofthemachinestobepermanentlyavailable.Thisrestrictionalsodoesnotadmitanapproximationratiobetterthan3/2unlessP=NP;wealsoobtainanapproximationratioof3/2+\epsilon$ for any epsilon>0. With an interesting argument, the approximation ratio for both problems is
refined to exactly 3/2. We also point out an interesting relation of scheduling with fixed jobs to Bin Packing. As in Chapter 4, the results are in a certain sense best possible.
Finally, in Chapter 6, we conclude
with some remarks and open research problems