Sur les aspects théoriques et pratiques des compromis dans les problèmes d'allocation des ...

126 Pages·2017·1.97 MB·English

by  Abhinav Srivastav

Sur les aspects théoriques et pratiques des compromis
dans les problèmes d’allocation des ressources
Abhinav Srivastav
To cite this version:
Abhinav Srivastav. Sur les aspects théoriques et pratiques des compromis dans les problèmes
d’allocation des ressources. Géométrie algorithmique [cs.CG]. Université Grenoble Alpes, 2017.
Français. ￿NNT: 2017GREAM009￿. ￿tel-01681324v2￿
HAL Id: tel-01681324
https://theses.hal.science/tel-01681324v2
Submitted on 12 Jan 2018
HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est
archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents
entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non,
lished or not. The documents may come from émanant des établissements d’enseignement et de
teaching and research institutions in France or recherche français ou étrangers, des laboratoires
abroad, or from public or private research centers. publics ou privés.
THE`SE
Pour obtenir le grade de
DOCTEUR DE L’UNIVERSITE´ DE GRENOBLE
Spe´cialite´ : Informatique
Arreˆte´ ministe´rial:25mai2016
Pre´sente´epar
Abhinav Srivastav
The`se dirige´e par Oded Maler, Directeur de recherche, CNRS-Verimag
et codirige´e par Denis Trystram, Professeur, Grenoble INP
pre´pare´e au sein Laboratoire Verimag
et de L’ E´cole Doctorale Mathe´matiques, Science et technologies de
I’information, Informatique
Sur les aspects the´oriques et
pratiques des compromis dans les
proble`mes d’allocation des
ressources
The`se soutenue publiquement le 16 Fe´vrier 2017,
devant le jury compose´ de :
Monsieur Oded Maler
DirecteurdeRecherche,CNRS-Verimag,Directeurdethe`se
Monsieur Denis Trystram
Professeur,GrenobleINP,Grenoble,Co-Directeurdethe`se
Madame Marie-Christine Rousset
Professeur,Universite´ GrenobleAlpes,Pre´sidente
Monsieur Adi Rose´n
DirecteurdeRecherche,CNRSetUniversite´ ParisDiderot,Rapporteur
Monsieur Monaldo Mastrolilli
Professeur,SUPSI-Suisse,Rapporteur
Monsieur Seffi Naor
Professeur,InstitutdeTechnologieD’Israe¨l,Examinateur
Monsieur Daniel Vanderpooten
Professeur,Universite´ Paris-Dauphine,Examinateur
Monsieur Lothar Thiele
Professeur,ETH-Zu¨rich-Suisse,Examinateur

Re´sume´
Cette the`se est divise´e en deux parties. La premie`re partie de cette the`se porte sur
l’e´tuded’approchesheuristiquespourapproximerdesfrontsdePareto.Nousproposons
unnouvelalgorithmederecherchelocalepourre´soudredesproble`mesd’optimisation
combinatoire.Cettetechniqueestinte´gre´edansunmode`leope´rationnelge´ne´riqueou`
l’algorithme e´volue vers de nouvelles solutions forme´es en combinant des solutions
trouve´es dans les e´tapes pre´ce´dentes. Cette me´thode ame´liore les algorithmes de re-
cherche locale existants pour re´soudre le proble`me d’assignation quadratique bi- et
tri-objectifs.
Lasecondepartiesefocalisesurlesalgorithmesd’ordonnancementdansuncontexte
non-pre´emptif. Plus pre´cise´ment, nous e´tudions le proble`me de la minimisation du
stretchmaximumsuruneseulemachinepouruneexe´cutiononline.Nouspre´sentonsdes
re´sultatspositifsetne´gatifs,puisnousdonnonsunesolutionoptimalesemi-online.Nous
e´tudionsensuiteleproble`medeminimisationdustretchsuruneseulemachinedansle
mode`lere´centdelare´jection.Nousmontronsqu’ilexisteunrapportd’approximation
en O(1) pour minimiser le stretch moyen. Nous montrons e´galement qu’il existe un
re´sultat identique pour la minimisation du flot moyen sur une machine. Enfin, nous
e´tudionsleproble`medelaminimisationdusommedesflotsponde´re´sdansuncontexte
online.

Abstract
Thisthesisisdividedintotwoparts. Thefirstpartofthethesisdealswiththestudy
of heuristic based approaches for approximating Pareto fronts. We propose a new
DoubleArchiveParetolocalsearchalgorithmforsolvingmulti-objectivecombinatorial
optimizationproblems. Weembedour techniqueinto ageneticframeworkwhereour
algorithmrestartswiththesetofnewsolutionsformedbytherecombinationandthe
mutationofsolutionsfoundinthepreviousrun. Thismethodimprovesupontheexisting
Pareto local search algorithm for multiple instances of bi-objective and tri-objective
quadraticassignmentproblem.
Inthesecondpartofthethesis,wefocusonnon-preemptiveschedulingalgorithms.
Here,westudytheonlineproblemofminimizingmaximumstretchonasinglemachine.
Wepresentbothpositiveandnegativetheoreticalresults. Then,weprovideanoptimally
competitivesemi-onlinealgorithm. Furthermore,westudytheproblemofminimizing
averagestretchonasinglemachineinarecentlyproposedrejectionmodel. Weshow
that thereexists a polynomial timeO(1)-approximation algorithmfor minimizing the
averagestretchandaverageflowtimeonasinglemachine. Essentially,ouralgorithm
converts a preemptive schedule into a non-preemptive schedule by rejecting a small
fractionofjobssuchthattheirtotalweightsarebounded. Lastly,westudytheweighted
average flow time minimization problem in online settings. We present a mathematical
programmingbasedframeworkthatunifiesmultipleresourceaugmentations. Then,we
developedaschedulingalgorithm basedonthe conceptofduality. We showed thatour
algorithmisO(1)-competitiveforsolvingtheweightedaverageflowtimeproblemon
a setof unrelated machines. Furthermore, weshowed that ouralgorithm when applied
totheproblemofminimizing (cid:96) normsofweightedflowproblemonasetofunrelated
k
machines,isO(k)-competitive.

CONTENTS
1 INTRODUCTION 13
1.1 OurContributions 18
2 MULTI-OBJECTIVE OPTIMIZATION 21
2.1 Formalization 21
2.2 BoundsontheParetofront 22
2.2.1 Idealpoint 22
2.3 SolvingMulti-objectiveoptimizationproblem 24
2.3.1 QualityofApproximateParetofront 25
I ON MULTI-OBJECTIVE OPTIMIZATION 29
3 MULTI-OBJECTIVE OPTIMIZERS 31
3.1 LocalSearchforSingle-ObjectiveOptimization 31
3.2 LocalSearchforMulti-ObjectiveOptimization 35
3.3 EvolutionaryAlgorithmsforSingle-ObjectiveOptimization 36
3.4 EvolutionaryAlgorithmsforMulti-ObjectiveOptimization 39
4 DOUBLE ARCHIVE PARETO LOCAL SEARCH 43
4.1 ParetoLocalSearchAlgorithm 43
4.2 QueuedParetoLocalSearchAlgorithm 45
4.3 DoubleArchiveParetoLocalSearchAlgorithm 47
4.4 ExperimentalResults 49
4.5 ConclusionandFuturework 54
II ON NON-PREEMPTIVE SCHEDULING 55
5 INTRODUCTION TO SCHEDULING 57
5.1 Preliminaries 57
5.2 ResourceAugmentation 59
5.3 RelatedWorks 61
5.3.1 Resultswithoutresourceaugmentation 61
5.3.2 Resultswithresourceaugmentation 62
5.4 OurResults 63
6 SCHEDULING TO MINIMIZE MAX-STRETCH ON A SINGLE MACHINE 65
6.1 Introduction 65
6.2 ProblemDefinition 65
7
Contents
6.3 LowerBoundsonCompetitiveRatios 65
6.4 TheAlgorithm 67
6.5 AnalysisforMax-stretch 69
6.5.1 SomedefinitionandpropertiesrelatedtoWDA 69
6.5.2 DefiningOptimalScheduleanditsrelationtoWDA 71
6.5.3 Considerascenariowhere p ≤ p 71
y z
6.5.4 Considerascenariowhere p < p ≤ (1+α∆)p 72
z y z
6.5.5 Provingtheboundwhen(1+α∆)p < p 74
z y
6.6 Concludingremarks 78
7 SCHEDULING WITH REJECTION TO MINIMIZE STRETCH AND FLOW TIME 81
7.1 Introduction 81
7.2 Speedaugmentationv/sRejectionmodel 81
7.3 StructureandPropertiesofSRPTandanIntermediateSchedule 82
7.4 TheRejectionModel 84
7.5 Conclusion 87
8 ONLINE SCHEDULING TO MINIMIZE WEIGHTED FLOW TIME ON UNRE-
LATED MACHINES 89
8.1 Introduction 89
8.1.1 MathematicalProgrammingandDuality 89
8.1.2 GeneralizedResourceAugmentation 90
8.1.3 Ourapproach 91
8.2 ProblemDefinitionandNotations 92
8.3 LowerBound 92
8.4 SchedulingtoMinimizeAverageWeightedflowtime 94
8.4.1 LinearProgrammingFormulation 94
8.4.2 AlgorithmandDualVariables 95
8.4.3 Analysis 97
8.5 Conclusion 101
9 SCHEDULING TO MINIMIZED WEIGHTED (cid:96) -NORMS OF FLOW TIME ON
k
UNRELATED MACHINES 103
9.1 Introduction 103
9.2 ProblemDefinitionandNotations 103
9.3 LinearProgrammingFormulation 104
9.3.1 AlgorithmandDualVariables 104
9.3.2 Analysis 106
10 CONCLUSION 115
8
LIST OF FIGURES
Figure1.1 An example showing trade-offs in the cost space for a bi-
objectiveminimizationproblem 13
Figure1.2 Anexampleshowingconceptofdominanceinlocalsearchfor
bi-objectiveproblem(min f ,min f ). 15
1 2
Figure1.3 Anexampleshowing (ρ ,ρ )-approximationsolutionforbi-
1 2
objectiveproblem. Notethatthesolution f∗and f∗arethebest
1 2
valueswithrespectto f and f objectivefunction. 16
1 2
Figure2.1 Thesolutionspaceandthecorrespondingcostspace 22
Figure2.2 Anexampleshowingtrade-offsincostspaceforabi-objective
minimizationproblem 23
Figure2.3 The notion of ideal and nadir points in a bi-objective mini-
mization 24
Figure2.4 Outcomes of three hypothetical algorithms for a bi-objective
minimizationproblem. Thecorrespondingapproximationsets
aredenotedas A1,A2, and A3 25
Figure2.5 Theshadedregionofthecostspacecorrespondstothehyper-
volumeindicator 27
Figure3.1 AninstanceandafeasiblesolutionforTSPwith5cities. 32
Figure3.2 Example of local operator for above TSP problem with 5
cities. 33
Figure3.3 Exampleofafeasiblesolutionforknapsackproblemwith10
items 37
Figure3.4 One-point crossover for knapsack problem with 10 items
where X and X correspond to two individuals picked ran-
1 2
domly from a mating pool. Y and Y are two new solutions
1 2
formedaftertheapplicationofone-pointcrossover 39
Figure4.1 Anexampleof3-exchangepathmutationborrowedfrom[DT10].
The solution s(cid:48) and s(cid:48)(cid:48) form two cycles from which cycle
{2,3,5,7} israndomlychosen. Thethreepositions l , l and
1 2
l in cycle are used to decrease the distance between s(cid:48) and
3
s(cid:48)(cid:48). 51
Figure4.2 Median attainment surfaces for n = 50 with ρ = 0.25 (on
left)and ρ = 0.75(onright) 53
Figure4.3 Median attainment surfaces for n = 75 with ρ = 0.25 (on
left)and ρ = 0.75(onright) 54
9