New Jersey Institute of Technology Digital Commons @ NJIT

Dissertations Electronic Theses and Dissertations

Spring 5-31-2005

Algorithms and complexity analyses for some combinational optimization problems

Hairong Zhao New Jersey Institute of Technology

Follow this and additional works at: https://digitalcommons.njit.edu/dissertations

Part of the Computer Sciences Commons

Recommended Citation Zhao, Hairong, "Algorithms and complexity analyses for some combinational optimization problems" (2005). Dissertations. 722. https://digitalcommons.njit.edu/dissertations/722

This Dissertation is brought to you for free and open access by the Electronic Theses and Dissertations at Digital Commons @ NJIT. It has been accepted for inclusion in Dissertations by an authorized administrator of Digital Commons @ NJIT. For more information, please contact [email protected].

Copyright Warning & Restrictions

The copyright law of the United States (Title 17, United States Code) governs the making of photocopies or other reproductions of copyrighted material.

Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or other reproduction. One of these specified conditions is that the photocopy or reproduction is not to be “used for any purpose other than private study, scholarship, or research.” If a, user makes a request for, or later uses, a photocopy or reproduction for purposes in excess of “fair use” that user may be liable for copyright infringement,

This institution reserves the right to refuse to accept a copying order if, in its judgment, fulfillment of the order would involve violation of copyright law.

Please Note: The author retains the copyright while the New Jersey Institute of Technology reserves the right to distribute this thesis or dissertation

Printing note: If you do not wish to print this page, then select “Pages from: first page # to: last page #” on the print dialog screen

The Van Houten library has removed some of the personal information and all signatures from the approval page and biographical sketches of theses and dissertations in order to protect the identity of NJIT graduates and faculty. ABSTRACT

ALGORITHMS AND COMPLEXITY ANALYSES FOR SOME COMIAOIA OIMΙΖΑΤΙOΝ OEMS

by aig Cao

The main focus of this dissertation is on classical combinatorial optimization problems in two important areas: scheduling and network design. In the area of scheduling, the main interest is in problems in the master-slave model.

In this model, each machine is either a master machine or a slave machine. Each job is associated with a preprocessing task, a slave task and a postprocessing task that must be executed in this order. Each slave task has a dedicated slave machine. All the preprocessing and preprocessing tasks share a single master machine or the same set of master machines. A job may also have an arbitrary release time before which the preprocessing task is not available to be processed. The main objective in this dissertation is to minimize the total completion time or the makespan. Both the complexity and algorithmic issues of these problems are considered. It is shown that the problem of minimizing the total completion time is strongly NP-hard even under severe constraints. Various efficient algorithms are designed to minimize the total completion time under various scenarios. In the area of network design, the survivable network design problems are studied first. The input for this problem is an undirected graph G = (V, F), a nonnegative cost for each edge, and a nonnegative connectivity requirement u for every (unordered) pair of vertices u, v. The goal is to find a minimum-cost subgraph in which each pair of vertices u, v is joined by at least u edge ()-disjoint paths. A Polynomial Time Approxi- mation Scheme (PTASs) is designed for the problem when the graph is Euclidean and the connectivity requirement of any point is at most 2. PTAs or Quasi-PTASs are also de- signed for 2-edge-connectivity problem and connectivity problem and their variations in weighted or weighted planar graphs. e e oem o cosucig geomeic au-oea saes wi ow cos a oue maimum egee is cosiee e is esu sows a ee is a geey agoim wic cosucs au-oea saes aig asymoicay oima ous o o e maimum egee a e oa cos a e same ime e a eicie ago- im is eeoe wic is au-oea saes wi asymoicay oima ou o e maimum egee a amos oima ou o e oa cos ALGORITHMS AND COMPLEXITY ANALYSES FOR SOME COMIAOIA ΟΤΙΜΙΖΑΤΙΟΝ OEMS

by Haring Chaco

A Dissertation Submitted to the Faculty of New Jersey Institute of Technology in Partial Fulfillment of the Requirements for the of Doctor of Philosophy in Computer Sciences

Department of Computer Science

May 2005 Coyig © 5 y aig Cao A RIGHTS RESERVED APPROVAL PAGE

ALGORITHMS AND COMPLEXITY ANALYSES FOR SOME COMIAOIA ΟΤΙΜΙΖΑΤΙΟΝ OEMS

aig ao

ose eug isseaio Co-Aiso ae isiguise oesso o Comue Sciece ew esey Isiue o ecoogy

Au Cuma isseaio Co-Aiso ae Associae oesso o Comue Sciece ew esey Isiue o ecoogy

eis O Commiee Meme ae oesso o Comue Sciece ew esey Isiue o ecoogy

Wociec ae Commiee Meme ae oesso o Comue Sciece ew esey Isiue o ecoogy

Cio Sei Commiee Meme ae oesso o Iusia Egieeig a Oeaios eseac Coumia Uiesiy BIOGRAPHICAL SKETCH

Author: aig Cao Degree: oco o iosoy Date: May 5

Undergraduate and Graduate Education:

• oco o iosoy i Comue Sciece ew esey Isiue o ecoogy ewak 5

• Mase o Comue Sciece eiig Uiesiy o oss eecommuicaios eiig Cia 1997 • aceo o Comue Sciece aiyua Uiesiy o ecoogy Sai Cia 199

Major: Comue Sciece

Presentations and Publications:

Y eug a ao "Miimiig Mea owime a Makesa o Mase-Sae Sysems" Journal of Parallel and Distributed Computing, accee o uicaio Y eug a Cao "Miimiig Mea owime o Mase-Sae Macies" Pro- ceedings of the 2004 International Conference on Parallel and Distributed Processing Techniques and Applications, o 939-95 A Cuma M Gigi A Sissoko a Cao "Aoimaio Scemes o Miimum -Ege-Coece a ecoece Sugas i aa Gas" Proceedings of the 15th Annual ACM-SIAM Symposium on Discrete Algorithms, ages 9 - 9 A Cuma a Cao "au-oea Geomeic Saes" Discrete and Computational Geometry, o 3 7-3 A Cuma a Cao "au-oea Geomeic Saes" Proceedings of the 19th ACM Symposium on Computational Geometry, pp. 1-10, 2003. Y eug a Cao "ea-ime Sceuig Aaysis" Final report to Federal Avi- ation Administration, 3

iv A Cuma A ige a Cao "oyomia-ime Aoimaio Scemes o e Euciea Suiae ewok esig oem " Proc. of the 29th International Col- loquium on Automata, Languages and Programming (ICALP'02) , 973-9 A ege A Cuma M Gigi a Caco "Aoimae Miimum ecoece Su- gas i Weige aa Gas" submitted. A Cuma W ae Wag a Cao "A iea-ime Agoim o 3-a Coo- ig o -egua igas" submitted. A ege M Gigi a aig Cao "A We-Coece Seaao o aa Gas" submitted. Y uo Y eug a Cao "Comeiy o wo ua Cieia Sceuig o- ems" submitted. Y uo Y eug a Cao "i-cieia Sceuig oems ume o ay os a Maimum Weige aiess" submitted. Y eug a Cao "Miimiig oa Comeio ime i Mase-Sae Sysems" submitted.

ao "Suiae ewok esig a au oea Saes" iie ak a Los Alamos National Laboratory, Mac 5 Cao "Miimiig Mea owime a Makesa o Mase-Sae Sysems" iie ak a INFORMS Annual Meeting, Ocoe Cao "au oea Saes a ei Aicaios" DIMACS Light Seminar: Theoretical Computer Science, IMACS Cee uges Uiese Mac Cao "Aoimaio Scemes o Miimum -Ege-Coece a ecoece Su- gas i aa Gas" eseaio a SODA 2004, ew Oeas auay ao "au-oea Geomeic Saes" DIMACS Workshop on Computational Ge- ometry, IMACS Cee uges Uiesiy oeme

ν This dissertation is dedicated to my parents. Their support, encouragement, and constant love have sustained me throughout my lf

vi ACKNOWLEDGMENT

I have been very lucky to have two great advisors during my graduate study in NJIT — Joseph Leung and Artur Czumaj. Without their support, patience and encouragement, this dissertation would not exist. I sincerely thank Joseph Leung for bringing my attention to the field of computa- tional complexity and scheduling theory in the first place. I am grateful for his generous support during my study. I thank him for spending a great deal of valuable time giving me technical and editorial advice for my research. I am deeply indebted to Artur Czumaj, who is not only an advisor, but also a mentor and a friend. I am grateful to him for teaching me much about research and scholarship, for giving me invaluable advice on presentations and writings among many other things, for many enjoyable and encouraging discussions with him. My thanks also go to the members of my dissertation committee, Cliff Stein, Tennis

Ott and Wojciech Rytter, for reading previous drafts of this dissertation and providing many valuable comments that improved the contents of this dissertation. I must also thank my coauthors, Artur Czumaj, Joseph Leung, Michelangelo Grigni, Wojciech Rytter, Andre

Berger, Andrzej Linger, Xin Wang, Yumei Duos and Papa Sissokho. It her been such a wonderful experience to work with each of them. Although I have not even had a chance to meet some of them, each her taught me a great deal about research and about writing research.

I am also grateful to my colleagues, Haibing Li, Yumei Duos and Xin Wang for nu- merous interesting and good-spirited discussions about research. The friendship of Jingx- uan Liu, Binghu ZZhang, Hong ZZhao, Yayi Du, Sen Chang, Min Chang, Chang Liu, Thou Hoang, is much appreciated. They have given me not only advice on research in general, but also valuable suggestions about life, living and job hunting, etc. I must give my thanks to my best friends in my life, Qingrui Ping, Li Gab, Xiangping Wei. They are more than

vii ies ey ae a o my amiy oug ey ae a away om me ei suo is a- ways wi me ei sicee cae o me a my amiy is a easue o my ie I ak Maya McCou o e us i me a o e gea aice we I eee i e mos as I wou ike o ak my usa Wei Mao o is uesaig a oe uig e as ew yeas is suo a ecouageme wee i e e wa mae is isseaio ossie I gie my eees gaiue o my aes o ei eess oe a suo wic oie e ouaio o is wok I aso ak my eaes oe a sise o ei oe a o akig cae o my aes uig my asece

is wok is suoe i a y S Ga ΜΙ-315 a y AA Ga 1-C-AW I

viii TABLE OF CONTENTS

Chapter Page

1 INTRODUCTION 1

1.1 Machine Scheduling Problems 2

1.2 Network Design Problems 5

1.3 Outline 9

PART I: SCHEDULING PROBLEMS IN MASTER-SLAVE MODEL 12 2 COMPLEXITY OF SCHEDULING PROBLEMS IN MASTER-SLAVE MODEL 13

2.1 Master-slave Model 13

2.2 Applications of Master-slave Model 14

2.3 Scheduling Problems in Master-slave Model: Definitions and Notations . 16 2.4 Previous Work 18

2.5 New Results: Complexity of Scheduling Problems in Master-slave Model 20

3 OPTIMAL AND APPROXIMATION ALGORITHMS: SPECIAL CASES . . 30 3.1 Optimal Algorithms for Σ C Caoica a Oe eseig Sceues 30 3.2 Approximation Algorithms for Σ C: Canonical Schedules 31 3.3 Approximation Algorithms for No-wait-in Makespan 40

4 APPROXIMATION ALGORITHMS: GENERAL CASES 48

4.1 Preliminaries 48

4.2 New Results and Techniques 50 4.3 Single-master 51 4.3.1 Canonical Preemptive Schedules 51

4.3.2 Non-canonical Preemptive Schedules 54

4.3.3 Arbitrary Release Times 56

4.4 Multi-master 57

4.4.1 Non-canonical Preemptive Schedules 57 4.4.2 Arbitrary Release Times 59

i AE O COES (Coiue Cae age 4.5 Distinct Preprocessing and Postprocessors Masters 63 4.6 Converting Preemptive Schedules into Non-preemptive Schedules 66

4.6.1 Single Master and Multi-Master Systems 68

4.6.2 Distinct Preprocessors and Preprocessors 70

4.7 Linear Programming: Distinct Preprocessors and Preprocessors 73 4.7.1 m1 = m2 = 1 74

4.7.2 m1>1 and m2>1 76

PART II: NETWORK DESIGN PROBLEMS 79

5 POLYNOMIAL-TIME APPROXIMATION SCHEMES FOR THE EUCLIDEAN SURVIVABLE NETWORK DESIGN PROBLEM 80 5.1 Introduction 80

5.1.1 Related works 80

5.1.2 New Contributions 81

5.2 Definitions 82

5.3 Steiner Minimum Problem 87

5.4 Filtering for SMT 88 5.4.1 First Filtering Property 90 5.4.2 Second Filtering Property 99

5.4.3 Complexity of SMT-Filtering 101

5.5 Lightening for SMT 102 5.6 Searching for SMT 107 5.7 Polynomial-Time Approximation Scheme for SMT 109 5.8 {0, 1 2}-Connectivity Problem 110 51 igeig o { 1 }-Εge-Coeciiy 110 5.8.2 Dynamic Programming for {0, 1 2}-Edge-Connectivity 111 5.9 Extensions 115

χ AE O COES (Coiue Cae age 51 Auiiay Caims 11 AOIMAIO SCEMES O MIIMUM -EGE-COECE A ECOECE GAS I AA GAS 11 1 Ioucio 11 Cus a -EC yes 1 3 aa Seaaos 1 e -EC Agoim 1 5 e -ECSS Agoim 131 51 yes o (-C -Sae aa Gas 13 5 ecusie ecomosiio 13 53 yamic ogammig 1 7 AOIMAIO SCEMES O MIIMUM ecOECE SAIG GAS I WEIGE AA GAS 13 71 Ioucio 13 711 eae esus 13 71 ew Coiuios a eciques 1 7 EAS o e -ECSS oem 1 73 Augmee aa Saes 17 7 Saes a -C Sugas 15 75 Aoimaio Scemes o e -EC a -CSS oems 15 7 Eesios o e {1 }-Coeciiy oem 15 AU-OEA GEOMEIC SAES 157 1 Ioucio 157 11 eious esus 157 1 ew Coiuios 159 eimiaies 11

i AE O COES (Coiue Cae age

1 Mees eoem a Is Cosequeces 11 3 k-ee au-oea Saes o ow egee a ow Ce 1 31 Aayig e Maimum egee 13 3 Ue ou o e Ce o Saes Geeae y e k-Geey Agoim 1 Eicie Cosucio o au oea Saes 1 1 asic Auiiay oeies 19 Suicie Coiios o eig a k-ee au-oea Sae 17 3 Eicie Cosucio o k au-oea Sae 17 9 COCUSIOS 1 91 Sceuig oems 1 9 ewok esig oems 17 EEECES 19

i IS O AES

ae age

1 ew esus o Sige-Mase Sysem 51 ew esus o Mui-Mase Sysem A Sceues ae o-Caoica . . . 51 3 ew esus o isic eocesso a osoceso Sysem m1 = m = 1 5

ew esus o isic eocesso a osoceso m1 > 1 a m 1 . 5 LIST OF FIGURES

Figure Page

2.1 An illustration of the optimal schedule in the proof of Theorem 2.5.2.. . . . 22 2.2 An illustration of the optimal schedule in the proof of Theorem 2.5.4...... 24

2.3 An illustration of the optimal schedule in the proof of Theorem 2.5.5...... 25

3.1 Illustration of Algorithm 1 40

3.2 Illustration of Algorithm 2 43

3.3 Illustration of the proof of Theorem 3.3.3. 43 4.1 Convert a preemptive schedule into a non-preemptive schedule 70

5.1 Dissection of a bounding cube in 87

5.2 Illustration of connectivity type construction 112 5.3 Illustration to the proof of Lemma 5.10 1 116

6.1 The three different types of the separator. 126

6.2 Type of a (2-VC, P)-safe graph used in the 2-VC Algorithm 142

7.1 A non-simple face fin H, a chord e, and walks P i and 148

7.2 (a ace o (oa wi co c a Ρ (o a cos emoe om S by the chord move at c (dotted). (b) Face f with a face-edge e (dashed) crossed by five chords from S. 151

8.1 Ay S o ois i Β1 a mus ae weig a eas Ω(k ), while the MST has weight O (1) 160

8.2 The 2-Gap-Greedy Algorithm 173 9.1 Light spanners do not always exist 190

9.2 Greedy algorithm does not always find light spanners of planar graphs . . . . 190

Div CHAPTER 1

INTRODUCTION

A comiaoia oimiaio oem is cocee wi seecig om amog a iie se o ossie souios e oe a maimies o miimies a ceai ucio e so- cae oecie ucio Suc oems ae o gea imoace ecause a age ume o acica oems i aious ies ca e omuae as comiaoia oimiaio oems o eame ieoy coo e sceuig o ies i eie mauacuig aciiies aig commuicaio i aic ewoks iig e soes o me eiae as i aic o commuicaio ewoks ec Eesie sueys o eae aicaios o comiaoia oimiaio ae gie i [9] [] ecause o is imoace comiaoia oimiaio as aace a gea ea o eseac eo a as eeiece a aicuay as eeome uig e as ew ecaes Gie ay seciic oimiaio oem o iees e is quesio a aises is wee ee eiss a eicie (oyomia-ime agoim Wie some oems i is aea ae eaiey we uesoo a ae kow eicie agoims may oes ae iacae yicay -a eg sceuig oems aiioig oems So ue e wiey eiee assumio a Ο ee is o oe o geig oyomia ime agoims o soig ese oems owee ey age isaces o ese oems equey aise i acice us oe is oce o ook o agoims a u i oyomia ime a oeuy eu a eas- oica souio Suc agoims ae cae approximation algorithms. A aoimaio agoim is cae a aoimaio agoim o a oem fl, i o ay isace I o fl, i aways eus a souio wi aue a me (a eas o maimiaio oems α imes e oima e aue α is cae e approximation ratio o e performance ratio o

e agoim O couse oe oes a c is as cose o 1 as ossie owee i us ou

1 2 that different NP-hard problems exhibit different approximability properties. Some prob- lems, e.g. the knapsack problem, allow a polynomial-time approximation scheme (ETAS); i.e., a family of algorithms {,,4 ε } suc a o eac ie ε {λ ε } runs in time poly- nomial in the size of the input and produces a (1 + ε -aoimaio O e oe a some oe oems ae iisic imiaios o aoimaio o eame ee is o EAS o e geea aeig saesma oem uess =

This dissertation focuses on classical combinatorial optimization problems in two important areas: scheduling and network design. Not surprisingly, mre of these prob- lems have been or will be shown in this dissertation to be NP-hard. Thus, various constant approximation algorithms or approximation schemes are designed throughout the disserta- tion.

1.1 Machine Scheduling Problems Scheduling is an intensively studied class of discrete optimization problems. Scheduling problems are motivated by the allocation of limited resources to jobs over time, subject to some constraints. It is a decision-making process with the goal of optimizing one or more objectives. The resources and jobs can take on many different forms. The resource can be machines in a workshop, runways at an airport, processing units in a computing envi- ronment. The jobs can be operations in a workshop, takeoffs and landings of air planes or computer programs. Standard scheduling requirements include: a job cannot be processed by two or more machines at a time, or a machine cannot process two or more jobs at the same time. Depending on the type of scheduling system, specific constraints should be sat- isfied. For example, jobs may have different release times and deadlines, different jobs may have different priorities, a job may not be allowed to preempt other jobs, etc. The objective can also take on many different forms; e.g., minimizing the makespan (the maximum com- pletion time among all jobs) or the total completion time or the maximum response time, 3 or maximizing the number of on time jobs. For an extensive introduction into the theory of scheduling, see, e.g., [7], [22], [76], [96].

Although scheduling problems may concern different types of resources, many of them can be modeled as scheduling jobs on machines. A schedule specifies, for each time instant, the set of jobs executing at that instant, and the machines on which they are executing. Depending on the properties of the jobs, the number and type of machines, and the optimization goal, there are various problems under different models. In the simplest model, there is a single machine and n jobs, each of which is ready at time 0 and must be executed without interruption. In a complex model, there are different types of machines; each job has several tasks which have to be executed on different machines and may be in certain order. These models are known as shop models. In the open shop model, there is no restriction on the order of the tasks. In the flow shop model, each job has exactly one task that needs to be processed in each machine, and the tasks of each job must follow the same order. In the job shop model, each job has its own ordering of the tasks, and several tasks can visit the same machine.

Sceuig oems i mase-sae moe Scheduling problems in the master-slave model was recently introduced by Sahni [104]. In this model there are n jobs and m ma- chines. Each job is associated with a preprocessing task, a slave task and a preprocessing task that must be executed in this order. Each machine is either a master machine or a slave machine. While the preprocessing and reprocessing tasks are scheduled on the master machine, each slave task is scheduled on a dedicated slave machine.

The master-slave model is closely related to the two-machine flow shop model with transfer lags. In this flow shop model, each job j has two operations: the first operation is scheduled on the upstream machine and the second operation is scheduled on the down- stream machine. The interval or time lag between the finish time of the first operation and 4 the start time of the second operation must be exactly or at least t o . If the lib's are large enough such that all of the first operations finish before the start of any second operation, then the flow shop problem is equivalent to the problem of scheduling on a single machine with time lags and two tasks per job, subject to the constraint that all of the first opera- tions are scheduled first. The latter problem is identical to the single-master master-slave scheduling model.

The master-slave model finds many applications in parallel computer scheduling and industrial settings such as semiconductor testing, machine scheduling, transportation maintenance, etc.; see [ 104], [ 106], [ 105], [115]. For example, suppose there is a main thread running on one processor whose function is to prepare data then fork and initiate new child threads that do the computations on different processors. After the computation of a child thread, the main thread collects the computation results and performs some processing on the results. Here, each child thread can be seen as a job with three tasks: the thread initiation and data preparation is the preprocessing task, the computation is the slave task and the preprocessing of the results from the computation is the preprocessing task.

The main objective in this dissertation is to minimize the total completion time or makespan under various scenarios. First, it is shown that many of the problems are GNP- hardy in the strong sense. Then some special cases are considered. It is assumed that (1) there is a single master, (2) all jobs have the same release time 0, same preprocessing task length a and same preprocessing task length c; i.e. the jobs are different from each other only by their slave tasks, (3) no preemption is allowed. Optimal or approximation algorithms are developed for some problems in this case. Finally, more general cases are considered. A job can have an arbitrary release time and arbitrary processing time. There can be one or more masters. The problem can be online or offline. Efficient approximation algorithms are developed to minimize the total completion time in various settings. These are the first general results for the total completion time problem in the master-slave model. 5

Furthermore, these algorithms are shown to generate schedules with small makespan as well.

1 ewok esig oems The problem of network design is concerned with connecting a collection of sites into a

"good" network that satisfies some desired properties. Problems of this type arise in ap- plications in VLSI design, telecommunication, clustering, robotics, , and dis- tributed systems. In all these areas, it is often important to construct high quality networks. From the topology point of view, typical quality measures of networks include the surviv- ability (resistance to failures) of the network, its stretch factor (dilation), minimum and maximum degree, and its diameter. The goal is to minimize the cost of the network that satisfy certain required properties. This dissertation focuses on the survivability and stretch factor of the network.

Survivability. In some applications such as communication network design, VLSI de- sign, networks must be able to withstand the failure/deletion of one or several links or nodes. This requirement leads to survivable network design problems.

Networks and their quality can be modeled by graphs. The sites correspond to ver- tices (points), and the connections can be represented by edges. In the suiae ewok esig oem the input is an undirected graph G = (V, F), a nonnegative cost for each

edge, and a nonnegative connectivity requirement Tu for every (unordered) pair of vertices u, v. The goal is to find a minimum-cost subgraph in which each pair of vertices u, v is joined by at least r, disjoint paths between v and u. In the edge-connected version of the problem the paths must be internally vertex-disjoint and in the edge-connected version of the problem the paths must be edge-disjoint.

In many applications of this problem, often regarded as the most interesting ones

[41, 53], the connectivity requirement function is specified with the help of a one-argument ucio wic assigs o eac ee is coeciiy ye „ E Ν e o ay ai o

eices u Ε e coeciiy equieme e „ is simy gie as mi{u „} oice

a i aicua is icues e Stnr tr prbl [97] i wic „ Ε { 1 } o ay ee E I aso icues e mos wiey aie aia o e suiaiiy oem i wic „ Ε { 1 } o ay ee Ε (see eg [53 91 113] I e coeciiy equiemes ae uiom ie „ = ( 1 o eey ai o eices u a e is is e cassica k-coeciiy oem A ese oems meioe aoe ae we kow -a ga oems u- emoe ese oems ae ee sow o e MaS-a o geea gas [3 35] is imies a ee is o oe o a EAS i geea (uess = u a EAS cou si eis o secia cases Iee ase o e amewok o Auoa [3] a EAS was ou [5 ] o e oem o iig a miimum-cos ee (o k-ege coece saig suga i comee Euciea gas i oue imesio is isseaio coceaes o eicie cosucio o goo aoimaios o e aoe oems e aim is o eeo ASs o some secia cass o gas seci- icay e geomeic gas a aa gas oowig e ieaue is issea- io aos e saa simiicaio o e coeciiy equiemes ucio a is eac ee as a coeciiy ye „ a e coeciiy equieme ug„ is simy mi{% „} I e geomeic esio o e suiae ewok esig oem e iu is a comee Euciea ga e eices ae ois i a e cos o eac ik is equa o e Euciea isace ewee is eois (wic is a goo aoimaio i may aicaios sice oe e "isaaio" a e "seice" cos is ougy ooioa o e eg o e ik [91] e is oyomia-ime aoimaio scemes (AS o asic aias o e suiae ewok esig oem i Euciea gas ae esee is a EAS is escie o e Seie ee oem wic is e suiae ewok esig oem wi „ Ε { 1 } o ay ee e e EAS is eee o e wiey 7 aie use wee Ε { 1 o ay ee iay i is sow a e eciques yie aso a EAS o e muiga aia o e oem wee e icoeciiy

equiemes saisy Ε { 1 } a k = (1 e e -ege-coeciiy a icoece oems o aa gas ae cosiee gie a aa ga i e miimum cos saig suga a is - ege coece a ecoece eseciey o weige aa gas aoi- maio scemes ae esige o o e miimum -ege-coeciiy oem a e miimum icoeciiy oem o uig i oyomia ime o weige aa gas Quasi-oyomia ime Aoimaio Scemes ae esige o e -ege co- eciiy oem a icoece oem Some oe aiaios ae aso cosiee

Sec aco e G e a weige ga a e a saig suga o G e stretch factor o H is e smaes osiie suc a o ay ai o eices a (u G ( wee ( a G (u ae e weigs o e soes a isace ewee e eices a i a G eseciey e ga is cae a - spanner o G I G is e comee Euciea ga e G (u is simy e Euciea isace i o a e ga is simy cae a sae o aiioay e mai measue o quaiy o saes ae e number of edges, maximum degree, a total cost. I is coe i ay Euciea sace wi cosa o eey osiie cosa ε oe ca cosuc i ( ogτι ime a (1 + -sae i wic eey ee as cosa egee a wose oa cos is i e oe o e cos o e MS o e iu oi se [5 55]; a ese ous ae asymoicay oima (See aso [1 15 9 3 31 1] o oe eae esus o saes o a aiaiy weige ga G Aioe e a [1] esige a sime geey agoim a comues a sae o G o ay 1 I e case o planar gas i is sow i [1] a is sae as weig w ( (1 -I- /( - 1 MS (G wee MS (G is e weig o a miimum saig ee i G Saes ae imoa sucues a oie a sase o ecoomic eesea- io o a gie ga ey wee iouce y eeg a Scae [93] i e coe o isiue comuig a ae y Cew [] i e coe o comuaioa geome- y Saes ae may aicaios i ooics ga eoy ewok ooogy esig isiue sysems; e ece O ( og -ime EAS o Euciea AS [111 is ea- iy ase o e use o saes a so is e ece EAS o Euciea icoeciiy [] Saes ae aso ey eesiey use i ece aaces o ooogica issues i a-oc ewoks (see eg [ 5 1] a e eeece eei Suey eosiios [ 15 3 7 9 11] coai a eesie esciio o saes a ei aicaios Saes ae aso eaiy use y e aoimaio scemes i is isseaio o e geomeic esio o e suiae ewok esig oem e ASs wok o e geomeic saes o e iu eices (o e suse o e iu eices o e -ege coeciiy oem a icoeciiy oem i weige aa gas e aoi- maio scemes aso ee i a cucia way o e ew cosucio o light spanners o weige aa gas au-oea saes ae aua eesios o saes o gas esisa o ege a ee emoa ey wee iouce y ecoouos e a [3] Suc gas coai short paths ewee eac ai o eices even after removing a vertex or an edge. I [3] a [] seea agoims ae ee oose o cosuc geomeic au-oea saes wi ow cos a oue maimum egee u oe o em cou aciee e oima ous i maimum egee a oa cos a e same ime e mai oe oem e is wee ee eis au-oea saes aig goo ous o o e maimum egee a e oa cos is isseaio gies e is cosucio o ee a ege au-oea sa- es aig oima ous o o maimum egee a oa cos a e same ime I is sow a ee is a geey agoim a o ay 1 a ay o-egaie iege k cosucs a au-oea saes i wic eey ee is o egee (k a wose 9

oa cos is ( imes e cos o miimum saig ee; ese ous ae asym- oicay oima A eicie agoim is esige o i au-oea saes wi asymoicay oima ou o e maimum egee a amos oima ou o e oa cos ase o a ew suicie coiio o a ga o e a au-oea sae

1.3 Outline e isseaio coais wo as a I is eicae o sceuig oems i mase- sae sysems e ew esus ae oi wok wi eug wic aea i [79 ] ese esus ae esee i ee caes I Cae e mase sae moe a some o is aicaios ae is iouce e e oems goig o e suie ae eie iay e ew comeiy esus ae esee e comeiy esus sow a may makesa a oa comeio ime oems wi o wiou cosais ae -a i e sog sese us e oowig wo caes coceae o aoimaio agoims Cae 3 cosies secia cases o e oems i mase sae moe wic assume a (1 ee is a sige mase ( a os ae e same eease ime same eocessig ask eg a a same eocessig ask eg c; ie e os ae iee om eac oe oy y ei sae asks (3 o eemio is aowe is i is oe a i ee ae caoica a oe eseig cosais e i O ( og ime oe ca i a oima sceue a miimies e oa comeio ime we a ; = a a ci = c o a 1 i a a c Ae a aoimaio agoims ae eeoe o e caoica oa comeio ime oem a e o-wai-i makesa oem eseciey Cae cosies e geea cases o oa comeio ime oem Eicie aoimaio agoims ae eeoe o miimie e oa comeio ime i aious seigs ese ae e is geea esus o e oa comeio ime oem i e 1 mase-sae moe uemoe ese agoims ae sow o geeae sceues wi sma makesa as we e seco a o is isseaio is eicae o ewok esig oems I Cae 5 e ASs o e geomeic esio o e suiaiiy oems ae esee is icue e is EAS o e Seie ee oem e {O 1 coeciiy oem a e muiga aia { 1 k-ege coeciiy oem e esus o is cae ae ee uise i [7] a ey ae oi wok wi A Cuma a A ige Caes a 7 cosie e coeciiy oem a is aiaios i aa gas I Cae e ASs o e -ege-coece a coeciiy oem i weige aa gas ae escie Cae 7 iscusses e weige aa gas is a AS is esee o e oem o iig miimum-weig -ege-coece saig suga wee uicae eges ae aowe e a ew geey sae co- sucio o ege-weige aa gas ae gie is cosucio augmes ay co- ece suga Α o a weige aa ga G o a (1 + -sae o G wi oa weig oue y weig(Α/ε ase o is sae quasi-oyomia ime aoimaio scemes ae eie o e oems o iig e miimum-weig -ege-coece o ecoece saig suga i aa gas Aoimaio scemes ae aso e- sige o e miimum-weig 1--coeciiy oem wic is e aia o e su- iae ewok esig oem wee eices ae ouiom (1 o coeciiy cosais Cae coais oi wok wi A Cuma M Gigi Sissoko a a- eas i [] Cae 7 coais oi wok wi A ege A Cuma a M Gigi i [9] Cae eses wo ew esus aou ee a ege au-oea saes i Euciea saces is i is sow a a geey agoim a o ay 1 a ay o- egaie iege k cosucs a au-oea sae i wic eey ee is o egee

(k a wose oa cos is ( imes e cos o miimum saig ee; ese ous ae asymoicay oima e e coiuio is a eicie agoim o cosucig 11 goo au-oea saes A ew suicie coiio o a ga o e a au-oea sae is eeoe Usig is coiio oe ca esig a eicie agoim a is au-oea saes wi asymoicay oima ou o e maimum egee a amos oima ou o e oa cos iay Cae 9 summaies e coiuios o e isseaio Some ossie eesios a uue eseac iecios ae aso emake A I

SCEUIG OEMS I MASE-SAE MOE CHAPTER 2

COMPLEXITY OF SCHEDULING PROBLEMS IN MASTER-SLAVE MODEL

1 Mase-sae Moe The master-slave model was recently introduced by Sahni [104]. I this model, each job has to be processed sequentially in three stages. In the first stage, the preprocessing task runs on a master machine; in the second stage, the slave task runs on a dedicated slave machine; and in the last stage, the reprocessing task again runs on a master machine, possibly different from the master machine in the first stage. The preprocessing, slave and

reprocessing tasks and task times of job i are denoted by chit, bib and cif, respectively. It is assumed that ai > 0, bi > 0 and ci > 0.

A job may have a release time F i > 0, i.e., Hai cannot start until r.i Without loss of geeaiy oe ca assume a mi η = Uess sae oewise a os ae assume o have the same release time. There are two cases when arretrary release time is present. The first case deals with offline problems, i.e., the release times and processing times of all jobs are known in advance. The second case deals with online problems, i.e., no information of a job i is given until it arrives at Ti , and when it arrives, all parameters about job i is given.

The quadruple (ri, Hai, bib, cif) is used to denote job I For simplicity, if Fi = 0, one can use the triplet (at, bib, ci) to represent job I. Each machine is either a master machine or a slave machine. The master machines are used to run preprocessing and/or reprocessing tasks, and the slave machines are used to run slave tasks, one slave machine for each slave task. In a single-master system, there is a single master to execute all preprocessing tasks (a tasks) and preprocessing tasks (c tasks). In a multi-master system, there are more than one master, each of which is capable of processing both a tasks and c tasks. Finally, in some systems, there are distinct

13 1 preprocessing masters (preprocessors) and preprocessing masters (preprocessor), which are dedicated to process a tasks and c tasks, respectively.

The master-slave model is closely related to the flow shop model. The system which has a single preprocessor and a single preprocessors can be seen as a two-machine flow shop with transfer lags. In this flow shop model, each job j has two operations: the first operation is scheduled on the upstream machine and the second operation is scheduled on the downstream machine. The interval or time lag between the finish time of the first operation and the start time of the second operation must be exactly or at least I j . If the li's are large enough such that all of the first operations finish before the start of any second operation, then the flow shop problem is equivalent to the problem of scheduling on a single machine with time lags and two tasks per job, subject to the constraint that all of the first operations are scheduled first. The latter problem is identical to the single-master master- slave scheduling model.

When there are more than one preprocessing and reprocessing masters, the master- slave model can be seen as a two-stage hybrid flow shop with transfer lags. In this sense, the single master case can be regarded as a three-stage hybrid flow shop where the first and the last stage has a single machine and the second stage has n machines. Hybrid flow shop is often found in electronic manufacturing environment such as IC packaging and make- to-stock wafer manufacturing. In recent years, hybrid flow shop has received significant attention, see [ 12], [75], [78] and [ 112].

2.2 Aicaios o Mase-sae Moe The master-slave model finds many applications in parallel computer scheduling and in- dustrial settings such as semiconductor testing, machine scheduling, transportation main- tenance, etc. Some of them are listed in the following. For more applications, see [ 104], [106], [105] and [115]. 15

Seea aicaios o e mase-sae moe ae ou i aae comue sceu- ig Α commo aae ogammig aaigm ioes e use o a mai comuaioa ea wose ucio is o eae aa e ok a iiiae ew ci eas a o e comuaios o iee ocessos Ae e comuaio o a ci ea e mai ea coecs e comuaio esus a eoms some ocessig o e esus ee eac ci ea ca e see as a o wi ee asks e ea iiiaio a aa ea- aio is e eocessig ask e comuaio is e sae ask a e eocessig o e esus om e comuaio is e eocessig ask e mase-sae aaigm aso as aicaios i ceai semicouco esig oeaios I e case o u-i oeaios cis ae suec o ema sess o a eee eio o ime e woe ocess o eac ci cosiss o ee ases is a iiia u-i oeaio is accomise y maiaiig e oe a a cosa emeaue wie oweig u e ci e u-i imes o eac ci ae seciie y e cusome a us ie a ioi e i e seco ase e ci coos o o a seciie amou o ime a ees o e eg a iesiy o e iiia u-i eio I e as ase e ci is suec o a ia u-i oeaio I is aicaio e u-i oe coesos o e mase macie e wo u-i asks coeso o eocessig a eocessig a e cooig eio coesos o e sae ask Sice e u-i oeaios ae ea e e o e oucio ocess sceuig is ciica i eemiig oe-ime eiey a ouu eomace o e eie comay Iusia aicaios o e mase-sae aaigm icue e case o cosoia- os a eceie oes o mauacue quaiies o aious iems e acua mauac- uig is oe y a coecio o sae agecies I is eame e cosoiao is e mase macie a e sae agecies ae e sae macies e cosoiao ees o asseme e aw maeia eee o eac ask oa e ucks a wi eie is mae- ia o e sae macies a eom a isecio eoe e cosigme eaes A o ese wok eog o eocessig ask e sae macies ee o wai o e aia o 16 the raw material, inspect the received goods, perform the manufacture, load the goods on- to the trucks for delivery, perform an inspection as the trucks are leaving. These activities together with the delay involved in getting the trucks to their destination (i.e., the consol- idator) represent the slave work. When the finished goods arrive at the consolidator, they are inspected and inventoried. This represents the preprocessing.

It is easy to see that all of the above examples generalize to multi-master systems or distinct preprocessing and reprocessing master systems.

2.3 Scheduling Problems in Master-slave Model: Definitions and Notations

Given a set of jobs in the master-slave system and a schedule S of the jobs, two jobs i and j are said to overlap in S if the master machine is working on the preprocess- ing/preprocessing task of job i while a slave machine is working on the slave task of job j. Note that there may be several jobs overlapping with a given job I.

The completion (or finish) time of job i in a schedule S is the time when the post- processing task ci finishes. The completion time of i in S is denoted by Cif (5) . If 5 is clear from the context, Cif, instead of Ci (5) , is used. The makespan of S is the earliest time when all the tasks have been completed. The makespan of S is denoted by C ma (5), or Ama if S is clear from the context. The total completion time of S, denoted by A(S), is the sum of the completion times of all n jobs, i.e.,

Makespan and total completion time are two common objectives to minimize. The problems of finding a schedule that minimizes the makespan and total completion time are referred to as the makespan (Aka.) problem and total completion time (Σ A5) problem, re- seciey Α sceue a miimies Ama o Σ C ; is usually denoted by S*. Throughout this dissertation, Aπίaχ and A* are used to denote the minimum makespan and the minimum total completion time, respectively.

Α non-preemptive schedule is one that schedules each task without interruption.

Note that in such a schedule, it is still possible that there is an interval between the finish 17 time of ail and the start time of bib, or the finish time of bib and the start time of cif. How- ever, without loss of generality, one can always assume that b i is scheduled immediately as soon as ai completes. In a preemptive schedule, a job running on one machine may be interrupted for some time, and later resumed on possibly a different machine. Both non- preemptive and preemptive schedules have some applications. In the consolidators exam- ple, non-preemptive schedules are more realistic than preemptive schedules. On the other hand, in the parallel computer scheduling example, preemptive schedules are as realistic as non-preemptive schedules. Α o-eemie sceue S is order preserving if for any two jobs i and j such that ai completes before a3 , cmustno-wait-inschedulei3 alsoΑ is complete one before c such that each slave task must be scheduled immediately after the corresponding prepro- cessing task finishes and each preprocessing task must be scheduled immediately after the corresponding slave task finishes. In other words, once a job starts, it will not stop until it finishes. It is easy to see that a no-wait-in schedule must be non-preemptive.

Α canonical schedule on the single master system is one such that all the prepro- cessing tasks complete before any preprocessing tasks can start (Note that the definition of canonical schedule is slightly different from the one given in [104]). In the multi-master system, a canonical schedule is one that is canonical on each master. Both canonical and non-canonical schedules have some applications. In the consolidators example, canonical schedules make sense while non-canonical schedules do not. On the other hand, in the par- allel computer scheduling example, non-canonical schedules make sense while canonical schedules do not. It is easy to see that if all jobs have the same release time, one can always arrange a schedule to be canonical without increasing the makespan. Thus, in order to minimize the makespan in this case, one only needs to focus on canonical schedules. However, this is not true if one wants to minimize ΣΡ C3 . In fact, the ratio of the total completion time of the best canonical schedule versus that of the best non-canonical schedule can be arretrarily 1

age Cosie e eame (τι —1 ieica os (1 ε 1 a oe o ( ε 1 wee ε is a aiay sma osiie ume e oima caoica sceue as oa comeio

ime O (3 wie e oima o-caoica sceue as oa comeio ime O (

eious Wok So a e mai eseac eos o e mase-sae moe ae o makesa miimiaio assumig a os ae e same eease ime As oe eoe i is suicie o ocus o caoica sceues o e makesa oecie i is case e geea makesa oem wiou cosais as ee sow o e -a y Ke a awi [9] Sai [ 1] sowe a e o-wai-i makesa oem is -a i e oiay sese ee we ee is oe eseig cosai e aso gae a O (i og -ime agoim a soes e oe eseig makesa oem Sai a aiakaakis [1] oose seea cosa aoimaio agoims o e makesa oem i e sige-mase a mui-mase sysems o e geea oem wiou ay cosais ey gae a -aoimaio agoims o e sige mase sysem a a aoimaio agoims o e mui-mase sysems ue agoims wee gie y aiakaakis [ 115] we ee ae m1 eoces- sos a m eocesso e m = ma{mι m} e gae aoimaio agoims wi a wos-case ou o — m o e makesa oems wi o cosai o wi e cosais o oe eseig ow so is a cassica moe a as ee suie o a og ime e m e e ume o sages o e makesa oem oso [5] eeoe a O (τι og ime oima agoim we m = e oem ecomes -a we m 3 I is case a [5] esee a (1 + ε -aoimaio agoim o ay ie osiie ε o e oa comeio ime oem i is -a i e sog sese ee i m = a eemio is aowe [33] Goae a Sai [] eeoe a aoimaio agoim o is oem i e -sage ow so moe e aoimaio aio o ei agoims is 19 m e ; e e oa ocessig ime o a oeaios o o Ι e agoim sceues e os i oeceasig oe o A a eac sage y a caeu aaysis oogeee e a 11] sowe a is agoim as aoimaio aio β / (α + β wee eoes e miima ocessig ime o a asks a β eoes e maima ocessig ime o a asks I e os ae iee weigs Scu [1] oaie a aoimaio agoim wi eomace guaaee o m (o m + 1 i case o aeay eease ime o oa weige comeio ime ase o iea ogammig We ee ae moe a oe macie i eie o o sages e moe is cae a eie o yi ow so o makesa a oa comeio ime miimiaio oems ae -a ee i eemio is aowe; see [57] a [33] ee a aiak- aakis [7] eeoe euisics o makesa miimiaio wi aoimaio aio o - 1 / ma{mι m} wee m1 a m ae e ume o macies i sages 1 a eseciey ase o iea ogammig Scu [1] oaie a aoimaio ago- im wi eomace guaaee o 3m (o 3m + 1 i case o aeay eease ime o e oa weige comeio ime wee m is e ume o sages us i m = i is a aoimaio i e case o ieica eease imes a a aoimaio i e case o aeay eease imes o e wo-sage ow so wi ase ags moe some eseac as ee oe mos o wic is aou makesa miimiaio eAmico [] oe a e makesa oem is -a ee i eemio is aowe a eac sage as oy oe macie ae u oogeee a esa 111] sowe a e oem is -a ee i a asks ae ui eg is is i coas o e ac a e oem is soae i oyo- mia ime we ee is o ase ags y e aoe iscussio is moe is e same as e mase-sae moe we e eocessig a eocessig mases ae isic us e euisics gie i [ 115] o e mase-sae moe aso wok ee ie is kow aou e oa comeio ime miimiaio oem 20

2.5 New Results: CompleDity of Scheduling Problems in Master-slave Model is some eious comeiy esus o e makesa oem is segee e some ew esus o e oa comeio ime oem ae eeoe ase o e e- su om 111] I is sow a may oems ae sogy E-a ee wi some cosais e mai esus ca e summaie as oows

• e makesa oem is sogy E-a ee i α; = cif = 1 o 1 < i < n a oy o-wai-i sceues ae cosiee

• e oe eseig a o-wai-i makesa oem is -a i e sog

sese ee i a1 = ci o a 1 i

• e oa comeio ime oem is E-a i e sog sese ee i (i a e eocessig a eocessig asks ae ui ime (ii oy caoica o o- wai-i o caoica a o-wai-i sceues ae cosiee

• e oe eseig a o-wai-i oa comeio ime oem is -a i e

sog sese ee i ai = ci o a 1 i

I is suicie o oe e aoe esus i e sime case a sige mase a a os ae e same eease ime oowig is a eoem aou C ma oem i a wos- acie ow so wi eays wic was ecey oe y Yu e a [11]

Theorem 2.5.1 (See Theorem 21 and Corollary 221121]) h fl hp prbl Ί11 Aii = 11 Aa is strongly NP-hard, even if exact delays are required.

y e iscussio i Secio 1 e aoe eoem immeiaey imies e o- owig eoem

Theorem 2.5.2 The makespan problem in master slave system with ai = ci = 1 for all 1 < I < is strongly NE-hard, even if there is no-wait-in constraint. 1 Proof: e ouie o e oo o is eoem is gie eow as i is eea o e iscussio o e oa comeio ime oem ae e eucio is amos e same as i e oo o eoem 1 i [11] u o eac o i isea o aig a ag 1 ewee is wo asks i ow as a sae ask i wic mus sa ae e eocessig ask a iis eoe e eocessig ask e eocessig a eocessig asks ae eome o e same mase macie isea o wo macies o esue e same agume goes oug e i = +i Y o eac o i wee Y = - (ma + a is e ume o os i e isace o e wo-macie ow so wi eays e ou o e makesa is aso icease y Y e oo o eoem 1 i [11] use a eucio om e 3-aiio oem wic is kow o e sogy -comee; see [3]

Usig e same agume as i [11] oe ca sow a i ee is a caoica sceue S wi makesa ess a o equa o e S mus ae e oowig o- eies (1 e makesa o S is eacy ( S is a o-wai-i sceue a e iis imes o e os ae + 1 See igue 1 o a iusaio o e sceue o e mase macie Aso i ca e sow a ee is a souio o e 3-aiio oem i a oy i ee is a sceue S wi makesa eacy ❑ e aoe esu ca e use o sow a e oa comeio ime oem is aso sogy -a

Theorem 2.5.3 The total completion time problem with a;, = c f = 1 for all 1 < i < is strongly NP-hard, even if (1) only canonical schedules are considered, or (2) only no-wait- in schedules are considered, or (3) canonical and no-waited-in schedules are considered.

Proof e eucio is si amos e same as aoe e oy ieece is a ow oe asks e quesio is ee a sceue o e asks wi oa comeio ime a mos This completes the proof. σ

The above theorem implies that the total completion time problem is NE-hard in the strong sense even if preemption is allowed. Observe that the optimal schedule S for the constructed instance in the proof of Theorem 2.5.2 is not order preserving, so the above results are not applicable to order preserving scheduling problems. In the following, the complexity of no-wait-in makespan and no-wait-in total completion time problem with the constraint of order preserving will be considered. Both problems will be shown to be GNP- hardy in the strong sense by a reduction from the partition problem.

eoem 5 The problem of minimizing the order preserving and no-wait-in makespan is strongly NP-hard, even if a = ci for 1 < i < n.

oo To reduce an instance of partition problem to an instance of the scheduling problem, one first create two types of jobs. This include (1) 3m partition jobs: Ai = cif = xi and (2) 2m separation os Ai = ci = Β + 1 a

problem is to determine whether there is an order eseig a o-wai-i-sceue suc a Cma m(3Β + Ceay e eucio can be done in polynomial time. igue An illustration of the schedule on the master machine for the instance reduced from 3- partitions in Theorem 2.5.4. Jobs 1,2 and 3 are partition jobs, jobs 3m + 1 and 3m + 2 are separation jobs.

If there is a solution to the partition problem, then one can schedule the separation jobs in any order without overlapping, and for each group of partition jobs corresponding to a partition subset, schedule their preprocessing tasks fully overlapping with the slave task of one separation job and the postprocessing tasks fully overlapping with slave task of the separation job immediately following the previous one. See Figure 2.2 for an illustration of the schedule. It is clear that the schedule is order preserving and no-wait-in and C max = m(3Β + ow suose e sceuig oem as a souio; ie ee is a oe

eseig a o-wai-i sceue S suc a Ama m(3Β + 2). Since only no-wait- in schedules are considered and since AA = ci i for any two separation jobs i and 5 a

which means that all the partition jobs must fully overlap with the separation jobs. For eac aiio o i Β i 3Β + eeoe eac aiio o i mus oea wi eacy wo aace seaaio os i e sceue S ecause Β/ ai = ci Β/ at most three preprocessing and/or preprocessing tasks of the partition jobs overlap with one separation job. Since there are 2m separation jobs only, there must be exactly three preprocessing or preprocessing tasks fully overlapping with each separation job. For each separation job j, bib = Β us e ieges coesoig o e ee eocessig o eocessig asks a oea wi i ae a oa eacy Β ece e aiio

oem as a souio Π

eoem 55 h prbl f nzn th rdr prrvn nd n-t-n ttl - pltn t trnl -hrd vn f a1 = f fr 1 n. Figure 2.3 An illustration of the schedule on the master machine for the instance reduced from 3- partitions in Theorem 2.5.5. Jobs 1, 2 and 3 are partition jobs, jobs 3m + 1 and 3m + 2 are medium jobs and job 5m + 1 is a large job.

Proof: As in the previous proof, the reduction is from partition problem. First three types of jobs are created for the scheduling problem: (1) 3m ll jb ai = ci = χ a

Let

If the partition problem has a solution, then schedule the jobs as follows: first sched- ule the medium jobs in any order without overlapping; schedule any three small jobs that correspond to the three integers in the same partition subset fully overlapping with two ad- jacent medium jobs; finally, schedule the large jobs after the medium jobs one by one in any order without overlapping. See Figure 2.3 for an illustration of the schedule. One can easily verify that the schedule is an order preserving and no-wait-in schedule. To bound the total completion time, the total completion time of each type of jobs is calculated sepa- rately. Without loss of generality, suppose that the medium jobs are scheduled in the order of 3m + 1, 3m + 2, ... , 5m. Since the medium jobs are scheduled one by one from time

wiii oea e α comeio ime o α11 meium iς is

Similarly, the total completion time of all large jobs is

Now consider the total completion time of the small jobs. Suppose that the small jobs corresponding to the partition subset X is, 1 m, are 51, and j3; furthermore, suppose that Si is scheduled before 5 which is scheduled before j3. Suppose that these jobs overlap with two consecutive medium jobs 3m + 2j — 1 and 3m + 2j. Let Cji denote the completion time of the small job Then

Similarly, one can get

and 7

Therefore, the total completion time of all lobs is

Now, suppose there is an order preserving and no-wait-in schedule of all these jobs

One need to show that there is a solution to the partition prob- lem. Let S* be such a schedule with the smallest total completion time. Some observations about S* are listed as follows.

First, a3 = cbibi for any two jobs i and j that are both medium jobs or large jobs. Therefore, i and j can not overlap with each other in S*. For the same reason, a large job can not overlap with a medium job in S*, nor can it overlap with a small job. Hence, overlapping can only occur between the small jobs or between the small and medium jobs.

Next, because AA = cia/4i for any= small job 1, 1 < i < 3m, there are at most three small preprocessing/preprocessing tasks that can overlap with the slave task b; of a medium job j. Since 2a

Finally, there are two other properties of S*.

• Large jobs are scheduled after all medium jobs finish in S*.

As shown above, the large jobs can not overlap with the medium jobs and small jobs.

Suppose that some medium jobs and small jobs are scheduled between two large

jobs. Then one can modify the schedule by moving the first large job so that it is scheduled immediately before the second large job. Since no small or medium jobs can overlap with the large jobs, this movement will not affect the feasirelity of the schedule, i.e., it is still an order preserving and no-wait-in schedule. However, the

new schedule has a smaller total completion time which contradicts the assumption

that S* is optimal.

• Exactly three small jobs overlap with a medium job in S .

It is clear that a small job can not be scheduled after a large job; otherwise, one can

interchange them without increasing the total completion time. Similarly, a small job

can not be scheduled between two medium jobs. Therefore, a small job can only be scheduled either before all medium and large jobs or fully overlapping with medium

jobs.

Suppose there is a preprocessing task ai of a small job i which is scheduled before any medium or large jobs in S Then, Therefore, every small job must overlap with exactly two adjacent medium jobs in

S*. Since there are 2m medium jobs and 3m small jobs, there must be exactly three

preprocessing tasks or three preprocessing tasks overlapping with a medium job.

For any medium job j, there are exactly three small jobs overlapping with it in S*.

Because b5 = a, the sum of the preprocessing or reprocessing tasks of the three small jobs overlapping with j is exactly a, which means that the corresponding three integers have a total exactly a. Thus, the partition problem has a solution.

Ο CHAPTER 3

OPTIMAL AND APPROXIMATION ALGORITHMS: SPECIAL CASES

This chapter considers special cases of the total completion time minimization problem and

no-wait-in-makespan problem. It is assumed that (1) there is a single master, (2) all jobs have the same release time 0, same preprocessing task length a and same reprocessing

task length c; i.e., the jobs are different from each other only by their slave tasks, (3) no

preemption is allowed. It is proved that in this case if there are canonical and order preserv-

ig cosais e i Ο ( og ime oe ca i a oima sceue a miimies

e oa comeio ime we A;, = a and cif = c for all 1 < i < n and a < c. After that, some approximation algorithms are developed for the canonical total completion time

problem and the no-wait-in makespan problem.

3.1 Optimal Algorithms for Σ C Canonical and Order Preserving Schedules It has been shown in Chapter 2 that minimizing total completion time is strongly NP-hard,

even under severe constraints. This section shows that there is a special case that admits a polynomial time algorithm.

Theorem 3.1.1 h prbl f nzn th nnl nd rdr prrvn ttl - pltn t n b lvd n Ο ( og t f ail = a nd C1 = fr 1 n nd a < C.

Proof: The proof is by showing that a canonical schedule S that schedules the pre-

processing tasks in nondecreasing order of the processing times of the slave tasks gives an optimal order preserving schedule.

o ay o i e πι denote the rank of job i in S*; i.e., a is e πι-th task scheduled in S*. Because only canonical schedules are considered, the earliest possible time to start

30 11

; By the definition of canonical schedules, c ι will be scheduled before c ; . Thus, S* is order preserving.

The next step is to show that S* has the minimum total completion time among all

canonical and order preserving schedules. Suppose there is another canonical and order

preserving schedule S that is optimal. Suppose the jobs in S are in the order of 1, 2, ... ,

n, and there are two jobs i and i + 1 such that b ι > b +1 e ei iis imes i S e Cι

a C ±1, respectively. By interchanging them, one can get new finish times Ci and C^+1 and all the other jobs have the same finish times as before. One can show that Ci < C1+1

and Ci±1 < C1. Thus, the new schedule has total completion time no larger than before.

By repeatedly interchanging jobs, one will arrive at the schedule S*. ❑

Note that Sahni [ 104] showed that when a = A, ct = c and a = c, scheduling jobs in nondecreasing order of the processing times of the slave tasks also minimizes the makespan.

If a> c, then the canonical schedule that schedules the jobs in nondecreasing order

of the processing times of the slave tasks is still order preserving but may not be optimal.

The complexity of the problem of finding an optimal canonical and order preserving sched-

ule when a> c is not known at the present time. However, we will show in the next section that scheduling the jobs in nondecreasing order gives a 4-approximation.

3 Aoimaio Agoims o Σ C Caoica Sceues This section considers canonical schedules only. So a schedule in this section always means

a caoica sceue e goa is o miimie e oa comeio ime we aι = a a

cι = c o a i Consider n jobs all of which have preprocessing time a and postprocessing time c.

Each job i has a slave task b1 e S e a caoica sceue o ese os e π(S

eoe e ak o o i i S; ie ai is e π (S- eocessig ask a is ocesse 32

Let ri (S = ma (ay π(S • a + i) be the ready time of cif; i.e., at time i (S) the master machine will schedule ci if it finishes the postprocessing tasks that are ready earlier than

c.i Let S* be the canonical schedule of these ii jobs with minimum total completion time

Given a subset G of the ii jobs, let S denote the schedule that minimizes among all schedules of the ii jobs. Let CMG be the sum of the completion time of the jobs from G in SGG The next lemma gives a lower bound of the total completion time of the optimal schedule S*. This lemma is useful for later analysis.

emma 31

oo First since only canonical schedules are considered, the earliest possible time to schedule a preprocessing task is tea. Hence, the best possible schedule is one that first executes a preprocessing task at ha, and thereafter the remaining reprocessing tasks, one after another without any idle time. Thus, 33 σ

The next two lemmas show that there are some special cases that can be solved by a polynomial time algorithm.

Lemma 3.2.2 If max i bib < (rib - 1) • min( a, c), then any canonical schedule is an optimal schedule.

For job j , the following can be derived.

ri (S) = max(na, 2a + j ma(τιA ( + ( —1 mi a c ay + c = Ci

Therefore, c7 will start immediately after c;, completes at tic+ c. Similarly, one can prove

scheduling jobs in nondecreasing order of the processing times of the slave tasks.

Proof: Let S be a schedule that schedules jobs in nondecreasing order of the processing

imes o e sae asks e ιτi (S) = i. Because bib > (n — 1 ) a, r i (S) = max (n a, is +

bib).i = id + b

that the master machine can schedule ci at ri and finish at ri + c by the time c1±1 becomes 34

By (3.2), S is an optimal schedule.

order of the processing times of the slave tasks, then the total completion time is 51. But if the jobs are scheduled in the order of , 3 and one can get a smaller total completion time of 50.

The next theorem gives a bound of the worst schedule versus the best schedule.

eoem 3 Let S be a schedule that schedules jobs in an arbitrary order. If a < c, then

be the completion times in S. Let j be the last job that finishes before the first idle time. The jobs will be divided into two subsets G1 and G as follows. e a a e os a iis eoe e i G Ι y assumio o ay k k E G1 and Ck(S = Arta + 2c. By (3.1), the total completion time of the jobs in G1 in any schedule can not be smaller than that in S. Thus, Σ k G Ck(S = C 1 Let the remaining jobs k> j be in G Then, for any job k in G one can derive 35 It is unknown whether the bounds in the above theorem are tight or not. For the case that a = c = 1, there are examples approaching the 3 bound. If n = 5, let the If bs are used to represent the jobs, then the optimal order of the

with total completion time 40, while the worst scheduling order is o6, 5, 4, 3, 2) with total completion time 50. If n = 9, let the b's be 4,5,6,... ,12. The optimal order is (8, 9,10,12,5, 11, 7, 4, 6) with completion time 126, while the worst order is o12, 11, 10, 9, 8, 7, 6, 5, 4) with total completion time 162.

Now consider simple algorithms that improve upon the previous bounds. The next two theorems show that if the jobs are scheduled in nondecreasing order of the processing times of the slave tasks, then one can obtain better bounds.

eoem 3 Suppose a> c. Let S be a schedule that schedules jobs in nondecreasing

oo Suppose b1 < b < ... < ba-,. Since S schedules the jobs in this order, for any

1 < i < n, i = maxona, is + bi). Therefore, r1 τ ±1 , which implies that Ci Ci+ι Let j be the last job that finishes before the first idle time. The jobs will be divided into two subsets G1 and G2 as in the proof of Theorem 3.2.4. Let j and all the jobs that finish before j be in G1. By the above analysis, k E G1 if and only if k < 5. Because there is no idle time before j finishes, Cc oS) = n a + kc for all k < 5. Thus, ΑΡ k G Ι Cc oS = C 1

The remaining jobs are in G2. Since there is idle time before ci +ι sas we ae

By assumption, a > c and bi+2 < bi+2. Therefore, It is clear that the schedule obtained by scheduling jobs in nondecreasing order of the processing times of the slave tasks must be an order preserving schedule. Since the optimal canonical and order preserving schedule can not have a total completion time smaller than n α + non + 1)c, the above bound also applies to canonical and order preserving schedules. 3

Cooay 37 Given jobs such that ';, = a and cf = c for all 1 < i < Suppose that a c. Then, in O on log n) time, one can find a canonical and order preserving schedule with total completion time at most á of the minimum among all canonical and order preserving schedules.

The case a < c is considered next.

eoem 3 Suppose a < c. Let S be the schedule that schedules jobs in nondecreasing order of the processing times of the slave tasks. Then

oo Suppose that b1 < b < ... < ba. Let S be the schedule that schedules jobs in this order. The jobs are divided into groups according to their completion times. Those jobs that complete before the first idle interval are in G0. Those jobs that complete after the first interval and before the second idle interval are in G1. Those jobs that complete after the second interval and before the third idle interval are in G and so on. Suppose there ae m + 1 gous e e umes o os i ese gous e χ , ..., m respectively.

39

y assumption, byi+1 < b 1 . Therefore, Cui+1 σS yi a+ ooa+i 1 +c) < y k a+ Cif 1 (SGi ) . Sice ee is o ie ime ewee os o Gi ue S o ay oe o Ε Gi i mus e

ue a Ci (S = C 1 1 σS + σ5 — yi — 1)c. Thus,

✓i+i C5 σS = [C y+1o5 + σ — yi — 1ε]

iEGi k-1+ 1 ✓i+i Σ [yi α + Ci1oSGi +o—yi-1ε]

i =Χyία+Σ[Ci1oSG i + (k — 1 )c] k=1

= κ; • yi a + C

Therefore, π Απ Σ cccs = Σ Cocos + Σ Σ Cc(s k-1 kEGO k-1 cEGi m C + Σ (CMG. + Ft ia =1 k m m k=1 = Σ ci + Σ Σίμι k-1 i-0 ίσο η m k=1 Σ ckos+ Σ Σχi a k=1 k-1 k- π 1 m 2 Σckos + ΣΧι a 1 - k c-1π CcoS* ) + 1τι a = Σ c=1 us

a Σπ CkoS 1+ π1τ < 1 + Ζη a < 1 + 1 Σκ=1 CcoS Σκ-1 CcoS ηa + i ηση + 1 c + < ά 3 π 7 a i a ε e k kksS 33 Aoimaio Agoims o o-wai-i Makesa I this section two algorithms will be proposed to minimize the makespan of no-wait-in schedules in the special case; i.e. at = a and cif = c for all i. The first algorithm is for the case when a? c, while the second algorithm is for the case when a < C Agoim 1- a > c

1. Sort the jobs in nondecreasing order of the processing times of the slave tasks. Sup- pose the sorted jobs are in the order of 1, 2, ... , n.

2. Schedule task a1 at time 0, b1 at time a and c i at time a + b1.

3. Repeat until all jobs are scheduled (see Figure 3.1):

Suppose the jobs 1, 2, ... , i - 1 have been scheduled. Find the first idle interval

[ K before Ci_2 such that K - K = a, schedule at at t2 on the master machine,

iaton the slavemaster+ machine machine. and If cifno atsuch idle

interval exists, schedule Hai at time

eoem 331 Let S be a schedule produced by Algorithm 1 for a given set of jobs with preprocessing tasks a and preprocessing tasks c and a > c. Then S is a feasible no-wait-in schedule, and 1 I is suicie o sow a ae e os 1 i —1 ae sceue e ieas

So eey ask ci sas ae e ask c _i comees wic meas a e iea [K(i

c(A + c mus e ie

I ee is o ie ime eoe a( e is is oiousy ue Oewise ee mus e some ie ieas eoe K o ( y e agoim e eg o eac ie iea

eoe K ( mus e ess a a; aiioay ee ae wo yes o ieas ose a oea wi is a ose a ae ewee Ci a c (i + 1 o some i wee 1 i - e I eoe e oa eg o is ye o ie ieas a 1 eoe e oa eg o e seco ye o ie ieas ecause oy o-wai-i sceues ae cosiee e is ye o ie ieas ae ieiae ee i a oima sceue ee ae a mos ( - 1 ie ieas o e seco ye a o wic ae smae a a ece 2m, and m+i = 4m. The optimal schedule schedules job 2m + 1 first, and all other jobs completely overlapping with m±i . The ratio between the algorithm and the optimal solution for this instance is 1 + which approaches 2 when m is large enough. Note that Algorithm 1 actually produces order preserving schedules. Since the minimum order preserving and no-wait-in makespan cannot be smaller than the minimum no-wait-in makespan, one can obtain the following corollary.

Corollary 3.3.2 Let S be a schedule produced by Algorithm 1 for a given set f n jobs with preprocessing tasks a and reprocessing tasks and a > c. Then S is an order preserving and no-wait-in schedule and

Algorithm 2- a < c

1. Sort the jobs in nondecreasing order of the processing times of the slave tasks. Sup- pose the sorted jobs are in the order of 1, 2, ... ,

2. Schedule task a1 at time 0, 1 at time a and c1 at time a + 1

3. Repeat until all jobs are scheduled (see Figure 3.2): igue 33 Iusaio o e oo o eoem 333 e ie iea ewee ci a c; as eg ess a a; e ie iea ewee a k+ a ak+ as eg ess a c - a a e ie iea ewee ak±m a c +ι as eg ess a C

e mase macie I o suc ie iea eiss sceue a i a ime C_ ι ; a

eoem 333 Let S be a schedule produced by Algorithm 2 for a given set of jobs with preprocessing tasks a and reprocessing tasks c and a c Then S is a feasible no-wait-in schedule, and

oo Oe ca use a simia agume as i e oo o eoem 331 o sow a S is a easie o-wai-i sceue

Cosie e ime we o k + 1 is goig o e sceue y e agoim e

os 1 k ae ee sceue a is ime ecause a ka is sceue eoe ci

Suose a Mc ( + 1 - C5 a e i = C5 a K = C5 + a e K M c ( + 1 us [1 K is a ie iea wose eg is equa o a Accoig o e aoe

iequaiy K + k+ι CC y e agoim aκΡ+ wi e sceue y o wic

coaics e assumio a uk+ is sceue ae Mc ( + 1 K eeoe i

mus e ue Mc ( + 1 — C5 a I oe wos e ie iea as eg ess a a wic is ess a c

ee is a sige ask ak± sceue ewee C5 a Mc ( + 1

y e aaysis i Case 1 ak+ mus e sceue immeiaey ae C5 us e

e i = C5 + a a K = ( + 1 Cosie e ime we e o k+ is sceue

y assumio ak+ is sceue ae K Sice [1 K is a ie iea y e

agoim ee ae oy wo ossie easos a ak± is o sceue uig e iea (1 e eg o e ie iea is ess a a o ( K — a u

e assumio a c eeoe i o cases

3 ee ae seea a asks ak+ ak±m sceue ewee C 5 a Mc ( + 1

As i Γαse _ e ask fl mιιs e sceue immeiaey ae G _ A ee ae 45

is cosie e eg o e ie iea ewee a (k + + a a o (k + + 1 wee 1 m-1 Wiou oss o geeaiy suose a is iea as eg

us y e agoim e ask ak++ mus e sceue a o eoe 1; a is

wic meas a

o e iea [(ack + m + a a( + 1 oe ca use e same agume as i Case o sow a e eg o e ie ime uig is eio is ess a c

ow oe ca ou e eg o e iea [Mc (1 o ( e iea cosiss o ee yes o smae ieas (i e ieas occuie y a asks (ii e ieas occuie y c asks a (iii ie ieas

Suose a ai a q ae e a asks sceue eoe c (1 e ee ae

( —1 — q a asks sceue uig e iea [M c (1 oe ( eeoe e oa eg o e ye (i ieas is ( — 1 — q a eca a i is assume a C i o ( C1± 1

So e ume o c asks uig e iea [M c (1 a is i a e oa eg o e ye (ii ieas is ic y Cases 1 a 3 e eg o e ie iea ae eac a ask is a mos c

Sice ee ae ( - 1 - q asks uig e iea [Mc (1 a ( e oa eg o e ie ieas ae ese a asks is a mos ( — 1 — qc I ee is o a ask ewee C; and C5±1 for 1 < n i-i then there is an idle interval between Cj and Cj +2 with length at most a. Since there are i jobs that finish before t α ( e oa eg o e ie ieas

ewee e os C a C+ wi o a ask ewee em a 1 5 i — 1 is at most 7

τ τ 1 Α1 Αι Γ• ι ι

ratio between the algorithm and the optimal solution can approach 2 arbitrarily closely.

Note that Algorithm 2 produces schedules that are order preserving. Since the min- imum order preserving and no-wait-in makespan cannot be smaller than the minimum no- wait-in makespan, Theorem 3.3.3 implies the following corollary.

Cooay 33 Let S be a schedule produced by Algorithm 2 fora given set of n jobs with preprocessing tasks a and preprocessing tasks c and a c Then S is an order preserving and no-wait-in schedule and CHAPTER 4

APPROXIMATION ALGORITHMS: GENERAL CASES

In this chapter, the total completion time minimization problem will be considered under various scenarios. This includes single-master systems, multi-master systems, and distinct preprocessing and reprocessing master systems. Since the problem is strongly NP-hard, the focus will be on approximation algorithms. For each type of system, both the case when all jobs have the same release time and the case when the jobs have different release times will be considered. Algorithms are designed to approximate the best preemptive or non-preemptive schedules in these cases. The organization of this chapter is as follows. In

Sections 4.3 - 4.5, algorithms are designed to minimize total completion times of preemp- tive schedules. Section 4.3 is devoted to the single-master case, Section 4.4 is devoted to the multi-master case, and Section 4.5 is devoted to the case of distinct preprocessor and

preprocessors. In Section 4.6, conversions from preemptive schedules into non-preemptive schedules will be considered. In section 4.7, linear programming relaxation approach is applied to systems with distinct preprocessor and preprocessors.

4.1 Preliminaries An ι -pprxtn algorithm for makespan (or total completion time) is an algorithm that for any set of jobs generates a schedule S whose makespan (or total completion time) is at most x times the optimal makespan (or total completion time). It is an (α β - approximation algorithm if it is an approximation algorithm for makespan and at the same time a approximation algorithm for total completion time. For a schedule S, if

then S is said to be an (cc, β -sceue The Shortest-Processing-Time (SPAT) rule, which always runs the job with the least processing time, and the Shortest-Remaining-Processing-Time (SRPT) rule [107, 111],

48 9 which always runs the job with the least remaining processing time, are two well-known algorithms for minimizing total completion time. Usually, the SPT rule is used to generate non-preemptive schedules, while the SPT rule is used to generate preemptive schedules.

Suppose each job consists of a single task. If all jobs are available at time 0, then the SPT rule is optimal for total completion time in the single-machine or multi-machine environ- ment. If the release times are arretrary, then the SPT rule is optimal for a single machine and it is a 2-approximation (see 195]) in the multi-machine environment.

In this chapter, both rules will be adapted for the problems in master slave model.

Both are applied to generate preemptive schedules. A scheduling decision is made when an a task or a c task completes so that a master machine becomes free, or when a new a task or a c task becomes available. At any such time instant, the SPAT rule schedules, from the set of available tasks (including those that have been preempted but have not yet completed), the one with the smallest processing time. Depending on how one chooses from the set of available jobs, one can obtain the SPT rule and the SPC C rule. Specifically, in the SPTQ rule, preemption occurs only among the a tasks and the preemption is based on the length of AA. In the SPTc rule, preemption occurs only among the c tasks and the preemption is based on the length of ci On the other hand, the SPT rule schedules, from the set of available tasks, the one with the smallest remaining processing time. Similarly, one can define the SRPTa rule and the SRPTa rule. Both the SPAT rule and the SRPTa rule may generate schedules with migration when there are multiple machines, i.e., after interrupted on one machine, a task is resumed on a different machine. In this chapter, the jobs are frequently sorted in certain nondecreasing order of some parameters xi of job i e.g. xi = cif. For convenience, in this chapter xi < x) is used as long as Fib comes before x in the sorted order, even though it may be the case that xi = x. As in the previous chapters, one can always assume that the b tasks are scheduled immediately when they become available. Thus one can focus on the schedule of a tasks and c tasks only. 5

ew esus a eciques eemie eaaio a iea ogammig eaaio ae wo imoa eciques o geig cosa-aco aoimaios o oa comeio ime o o-eemie sce- ues; see [95 59 1 5 19 1] Mos o ese agoims wok y is cosucig a eae souio eie a eemie sceue o a iea ogammig eaaio ese eaaios ae e use o oai a oeig o e os a e os ae is sceue (ie o uoce ie ime i is oe Moe aou ese meos wi e iscusse i Secio e aaage o e eemie eaaio is a usuay ee ae ey eicie agoims o geeae oima o ea-oima sceues I mos cases ese agoims (o eemie a o-eemie ca e imemee o u i a oie asio see [95] a [59] e iea ogammig eaaio owee is moe ime cosumig a ca oy e imemee o u i a oie asio O e oe a i oies ee aoimaio guaaies i some cases uemoe e meo usuay woks ee i oe was o oimie e oa weige comeio ime; see [59 1 5 19 1] o aoaces wi e use i is cae I a cases eicie agoims ae is eeoe o geeae eemie oie o oie sceues wi goo aoimaio ese sceues ae sow o ae sma makesa as we e y ayig e ieas i [95] a [1] o e mase sae moes ese eemie sceues ca e coee i- o o-eemie sceues wi ceai egaaio i e quaiy o aoimaio I e case we ee ae isic eocessig mases a eocessig mases iea ogammig eaaio is aso use I is sow a o-eemie sceues oaie i is way someimes ae ee eomace guaaies a ose oaie y e e- emie eaaio aoac e esus ae summaie i aes 1 3 a wee e is e ase o aua ogaim 51

Table 4.1 ew esus o Sige-Mase Sysem

Table 4.2 ew esus o Mui-Mase Sysem A Sceues ae o-Caoica

4.3 Single-master is secio assumes a ee is a sige mase Caoica sceues ae suie is a e o-caoica sceues iay e case we os ae iee eease imes

4.3.1 Canonical Preemptive Schedules is wo owe ous o e oa comeio ime i caoica sceues ae eeoe Suose ee ae os 1 o caoica sceues wee eemio is aowe o o oe ca eie e oowig owe ou 5

ae 3 ew esus o isic eocesso a eoceso Sysem ma = m = 1

ae ew esus o isic eocesso a eocesso m1 1 a m 1

wic assumes a ee is o ie ime i e sceue a a e c asks ae sceue i asceig oe o ei egs Aoe owe ou is

wic assumes a os ae sceue i iceasig oe o e Ai a a e asks a e c asks ae sceue immeiaey ae ey ae aaiae iay e oowig iia owe ou wic is simy e summaio o a e ocessig imes os o ay sceue

is oows om e oseaio a C ; c ; + ; + c Summig ; om 1 o gies e esu i (3 53

In canonical schedules, all the a tasks are scheduled first. Since all the a tasks are aaiae a ime Ο a e c asks cao sa ui a e a tasks finish, there is no need to preempt the a tasks. Hence, only a c task can be preempted by another c task in this case.

Agoim Caoicas PTA : Schedule the a tasks in an arretrary order without preemp- tion. After all the a tasks finish, schedule the available c tasks by the SPA rule.

eoem 31 Alrth Cnnl-SΡΤ generates a (2,2) canonical preemptive sched- ule in O (n log n) time.

oo Let Ca denote the time a; completes. Then at time t) = max(A, (C a + b)), all the a tasks finish and the c; is available to be scheduled. Since Cai < A, it must be

ue a Α + . According to the algorithm, if there is another available task cif that hasn't finished at time ti and cif < c;, then c; has to wait until cif finishes. Also, during the execution of c;, if there is another task cif < c; that becomes available, then cif preempts C .

In both cases, it is said that c5 is delayed by cif. Let C; be the completion time of c; in the

sceue geeae y Agoim Caoica-SΡΤ . Then,

where the last inequality comes from the lower bounds (4.1) and (4.3). The above armroximatioii ratio is tight. Consider this example: for 1 < i < n — 1,

The optimal canonical schedule schedules a1 a a_ι first and then followed by a . The total completion time is about (n + 1) a However, if one schedules aa1 first followed by a1 a_ ι then the total completion time is about Ana. (For this example, the optimal preemptive schedule has the same total completion time as the optimal non-preemptive schedule.) 5 I as ee sow i [ 1] a ay caoica sceue wiou eemio is a - aoimaio o makesa Sice eemio amog e c asks ca o icease e makesań e sceue geeae y Agoim CaoicasΤc as makesań a mos wo imes e oima

Suose e os i Se ae aage i iceasig oe o e s a e os i 5 ae aage i eceasig oe o e s I [ 1] i was sow a e caoica sceue i wic e a asks o S ι ae sceue eoe e A asks o S as makesań a mos 3/ imes e oima sceue I e a

asks ae sceue i is oe i Agoim Caοica-SΤ c e oe si ges a 3/- aoimaio o makesań sice eemio o e aaiae c asks wi o icease e makesań

Cooay 3 There is an O ( og time algorithm that generates a (3/ canonical preemptive schedule.

oe a we eemio occus agoim Caoica-SΤc uses SA ue i- sea o e S ue is is o e uose o aaysis oy I acice oe ca use e S ue o ge a ee aoimaio o oa comeio ime

3 o-caoicas eemie Sceues I is moe e A asks a e c asks ca e sceue aeaiey A owe ou o e C ca e oaie y assumig a e asks ae eg

Agoim o-caoicas Q+c o ay wo os i (a + c; (ci -1- c1 e

o caayciii imec; ae isaiA e o mase ae ige ioiy a a ocesso is ee o assigme assig e aaiae ask wi e iges ioiy I a ew ask ecomes aaiae a as ige ioiy a e cuey uig ask e ew ask eems e cuey uig ask oo Sice a e a asks ae eay a ime ee is o ee o a a ask o eem aoe ask us eemio occus oy ewee a ige ioiy c ask a a

owe ioiy c ask o a owe ioiy a ask e C as eoe e comeio ime o a i e sceue geeae y Agoim o-caoicasa +c I oe o e a asks is

eeme y a c ask e Ca wou e ++caia; Σαi+ciα ecause o eemio

Ccaoyasia eeay eaye iy some ige ioiy c asks I oe wos c a + ci a + c=+ecomes3oa Ae imeask aaiaeCc Accoig o e agoim co ca oy e eaye y a ask ci suc a ai + ci a + c oe a i ci

eays a i wi o eay co agai us oe ca ou e comeio ime C

o ou e makesa o e sceue ick e as o suc a co is sceue immeiaey we i is eay Suc a o aways eiss sice e o i wi e iges

ioiy aways saisy is cieio e e iea Ι ι = [ Ca a e iea ae 33 Aiay eease imes When arbitrary release times are present, it is not meaningful to have canonical schedules any more. Thus, only non-canonical schedules will be considered. The lower bound (4.4) still holds for this case. Let R = Σ r1 . Then, a trivial lower bound for the minimum total completion time of any schedule is

UGι G 1υι1 i-uguiiiiiiii 1U1- ιιυιιι 1-3 C I a±c ιιυικ s IΗU υιιιν11UI ιAUU1 111C C1C1 C time of a job. So, one can still apply Algorithm non-canonical-SPT a±c when jobs have arretrary release times. Unlike the case when all jobs have the same release times, in this case, a higher priority a task may also delay a lower priority a task or c task.

eoem 3 Algorithm Non-canonical-SPT± generates a (2,2) preemptive online sched- ule for a single-master system even when the jobs have arbitrary release times.

oo One can first bound the total completion time of the schedule generated by

Algorithm Non-canonical-SPT a±c . Let Cas be defined as before. Then, 57

where the last inequality comes from the fact that the two sets of tasks delaying a and c;

are disjoint, and they all have higher priority than a ; and c;. Similarly, one can bound the total completion time

To bound the makespan, one picks the last job 5 such that c5 starts immediately after it is

To conclude the proof, note that Algorithm Non-canonicalsPTa+c schedules jobs in an online fashion. ❑

4.4 Mui-mase This section assumes that there are m? 2 masters, each of which is capable of processing both the a tasks and the c tasks.

1 o-caoica eemie Sceues 58

Algorithm FAM-SPTa+c (1) Assign the jobs in order of n, n — 1, ... , 1 using FAME

(First Available Machine, see [ 106]) rule: associate each machine i with a variable A i .

Initially all machine are available and AA = Ο Pick the next unassigned job n and assign it to the machine i with the smallest T and after the assignment Ti is increased by an amount of ail + ci Repeat this procedure until all jobs are assigned. (2) Apply Algorithm Non- canonical-SPTa+c to each master machine to schedule the jobs assigned to it

Theorem 4.4.1 Algorithm FAM-SPTa+c generates a (2,2) preemptive schedule for multi- master systems without migration when all jobs have release time Ο

Proof: Without loss of generality, we may assume that n = mk for some integer 2.

Otherwise, one can add dummy jobs with a = bi = ci = Ο For convenience, one can reindex the jobs assigned to each machine p in the form of (p, q) such that c( ,q) + c( , q ) <

c(,q) + C(, q+l) . A lower bound of the total completion time comes from the fact that

Algorithm FAME ΡΤα+c is optimal if b ( , q = for every job (p, q) . 59

Suppose the job with the maximum completion time among all jobs is assigned to machine p. Let t be the last job assigned to p. If there is no idle time on machine p, then the makesuan is

4.4.2 Arbitrary Release Times Offline schedule without migration In this case, one can still apply Algorithm

FAM-SPTa+c. However, note that to assign jobs to machines, Algorithm FAM-SPT a+c requires that one has full knowledge of all the jobs at the beginning. Thus, Algorithm FAM-SPT a+c is an offline algorithm. One can comrene the arguments in Sections 4.3.3 and 4.4.1 to get the following theorem. 60

Theorem 4.4.2 Algorithm ΑΜ-S±, generates a o2, 2) offline preemptive schedule with- out migration for multi-master systems when jobs have arbitrary release times.

Now consider the makespan. Suppose the job with the maximum completion time among all jobs is assigned to machine p. Let l' be the last job on machine p so that Al is scheduled immediately after it is ready. Define C a , as before. Then the machine p is busy Online schedule with migration I is case oe ca ay Agoim o-caoica-

Sa+c o mui-mase sysems oe a i a ew ask ecomes aaiae a oe o moe cuey uig asks ae owe ioiy a e ew ask e e ask wi e owes ioiy wi e eeme

Theorem 4.4.3 Algorithm non-canonical-SPT+ generates a (3 online preemptive sched- ule with migration on multi-master systems when jobs have arbitrary release times.

Proof : e oo ees aoe owe ou o mui-mase sysems Cosie e

o m mases e S e a oima sceue o ese os e saig om ime

o eac ime ui i ai o Ci is sceue i is ui o some macie e oe ca sceue 1 /m o e ask o e sige mase i e same ime ui I is easy o see a e cosai o eease ime ae esee a a e iea ewee e iis ime o ai a e sa ime o ci is eie e same o icease us oe oais a ai sceue o e isace I o e sige-mase sysem eeoe

wic is a owe ou o e oigia isace eie y (i ai i i

e Ca eoe e comeio ime o i i e sceue geeae y Agoim

o-caoica-Sa+c Ae α is eease a i i may e eaye y oe asks wi

ige ioiy eoe i comees a is a i o i ca eay a oy i ai + i a5 + C5 I is easy to see that there is no idle time on any machine during the interval

cj) ); otherwise, ail would have completed earlier. Furthermore, only tasks with higher priority than n can be scheduled during this interval. At time = C a + 5 the task c5 becomes ready. Similarly, there is no idle time on any machine during the interval and only tasks with higher priority than n can be scheduled uig is iea oe a e ask ses i e ieas 1ι a Ι ae isoi e 11i ί and 11 1 eoe e egs o Ιι a 1 eseciey e i mus e ue a 1Ι1( + (Ι1

Σaί+cίιι;+ci (a + ci/m Thus, one can bound the completion time C 5 as follows:

For the makespan of the schedule, let k be the job with the maximum completion time among all jobs. Let 1 be the last job among all jobs so that A 1 is scheduled immediately after it is ready. Define C a, as before. Then, all machines must be busy during the intervals The total length of the two intervals 63

4.5 Distinct Preprocessing and Preprocessing Masters Ι is secio e moe wi isic eocessig mases a eocessig mases wi e iscusse iee om e eious cases ee a ci ask ca oy e eeme y aoe a ask a a c ask ca oy e eeme y aoe c ask I a cases

Agoim SΤa SΡc wi e aie o oai a eemie sceue

Algorithm SRPTa SPTa : Sceue e aaiae a asks usig e SPTa ue o e e-

ocessig mase Sceue e aaiae c asks usig e SA ue o e eocessig mase e ma a m eoe e umes o eocessig mases a eocessig mases eseciey is e sime case m1 = m = 1 wi e suie

Theorem 4.5.1 Alrth SA-SΤς nrt (3, 2) nln prptv hdl hn

= l = 1 nd e fr ll n.

Proof: is cosie e oa comeio ime e C e e ime di iises i a oima sceue e

e e e ue ιιι es i e scπeUυe υ [1eυ Dye guim K α 1 a iIce ai 1a

e SPTa ue is oima i = c = Agoim SΡΤα SPA mus ae e miimum

C a; amog a ossie sceues a is

us e oa comeio ime is a mos

The length of each interval is at most Cm . Therefore, the makespan is

eoem 5 Algorithm Sa SA generates a (4,2) preemptive schedule with mi- gration when m> > 1, ml > 1 and η = for all n .

oo Since all a tasks are available at time 0, then the Sa rule is the same as the

SPA rule. As mentioned before, the SPA rule is optimal when the b tasks and the c tasks have zero length; that is, it minimizes the total completion time of the a tasks. Let C 1 be the finish time of ai in an optimal schedule, and let C a; be the finish time of ai in the schedule generated by Algorithm S SA Then, as in the case of in = m2 = 1, a owe ou o e oa comeio ime is 65

Theorem 4.5.3 Algorithm SRPTa -SPTa generates a (3 preemptive schedule with mi- gration when m> > 1, ml > 1 and η > 0 for all 5.

Proof: e C e e comeio ime o ι i a oima sceue As i e as secio oe ca ge

e Ca e e comeio ime o a; i e sceue geeae y Agoim S SA

As meioe eoe e S ue is a -aoimaio we ; = c; = Ο us i mus ue a 66

4.6 Converting Preemptive Schedules into Non-preemptive Schedules As mentioned before, non-preemptive schedules can be obtained by converting preemptive schedules. Our approach is based on the techniques introduced by Phillips et al. in [95], and improved by Checker et al. in [16]. For completeness, their approaches are described in the following. The model studied in [95] consists of one or more identical machines and n jobs. For this model, a general approach of converting a preemptive schedule S into a none-

presumptive schedule S' has been given in [95]. The idea is to form a list of jobs in in- creasing order of their completion times in S and then list schedule the jobs in this list one by one, respecting their release times. Let 2Cj and C; denote the completion time of job n in S and S', respectively. Sup- pose the jobs are indexed such that Ci < C1±1. Then they showed that C' < 2C for a single machine environment and C) < 3Ci for a multi-machine environment. Let

OmO.iii The = result maxi is based on the observations that (1) Cif > rm, (2)

Σi-1Σi-1C>ini/mi1 the i single-machine e mui-macie case, case and C weemachine i is the processing time of job n, (3) C) < Om + Σi-1 Ai if there is one if there are two or more machines. These results im-

y a i 5 is a β-aoimaio o oa comeio ime e S is a β-aoimaio

o oa comeio ime i e sige-macie eiome a a 3 β-aoimaio o total completion time in the multi-machine environment. In addition, this conversion also yields an online non-preemptive algorithm if the preemptive schedule can be generated on- line: simply simulate the algorithm for preemptive schedule, start a job n if n completes in the preemptive schedule or put it in the waiting queue if the machine is busy. 7

Later, Chekuri et al. [ 16] improved the above results for total completion time. They designed a deterministic O on ) time offline algorithm such that the schedule obtained has total completion time at most e ti 1.58 times that of the preemptive schedule. They also gave a randomized online algorithm which generates schedules having expected completion time e times that of the preemptive schedule. The difference between the two approaches i [1] a [95] is ow o oai e is o os Gie S a a aamee Ε o1] e

A (S e λ-οi o e e ime we i (a λ-acio o o is comee Isea of forming a list based on A i o5 ow om a is ase o A oS Α -sceue is a oe- esumie sceue oaie y is sceuig os i iceasig oe o Ae oS ossiy introducing idle time to account for the release times. It is easy to see that the algorithm given by [95] is a b-scheduler with b = 1. It is also clear that a b-schedule can be made to be an on-line algorithm if the underlying preemptive algorithm is an on-line algorithm.

e mai esu i [ 1] is a o eac gie isace ee eiss a e es λ such that the b-scheduler has total completion time at most e times that of S. and has makespan at most o1 + b) times that of S. One can obtain such a b-scheduler by finding the best b in O (n ) time offline deterministically; or one can obtain, through a randomized on- line algorithm, a schedule whose expected total completion time is at most e e times that of S and whose makespan is at most o1 + b) times that of S. In the multi-machine case, Chakrabarti et al. [ 14] showed that the convert procedure given in [95] has a bound of 7/3 for total completion time, instead of 3 times that of S. The following sections describe how to convert preemptive schedules generated in

Sections 4.3-4.5 to non-preemptive schedules. The difficulty of the conversion in the master slave model is that one needs to respect not only the release time of A 1, 1 < i n, but also respect the constraint that the interval between the finish time of ail and the start time of i has length at least bi. 68

4.6.1 Single Master and Multi-Master Systems First consider the single master systems.

Theorem 4.6.1 In O (n ) time, one can obtain a o2 , ee^) non-preemptive canonical sched- ule when there is a single master and η = 0 for all 5.

Proof: Let S be a preemptive canonical schedule of jobs obtained by applying

Corollarybeaca the partial the 4.3.2. schedule Let S of S during the interval (0, A], and S partial schedule of S a during the interval oA, A ka,] .

Clearly Sac contains all a tasks only. By the Algorithm Canonical-SPT a, there is no preemption in Sac. Let C a e e comeio ime o α; I is easy o see a e aia schedule S a contains all c tasks only and it can be seen as a preemptive schedule of n tasks on a single machine where each task 5 has a "release time" maxoA, C as +b) and processing time c.

Theorem 4.6.2 In O o log n) time, one can obtain a (3, 4) online non-preemptive sched- ule when there is a single master and r ; > 0 for all job 5

oo Let S be a non-canonical preemptive schedule S. One can get a reschedule S', b = 1 similarly as [95] : (1) Sort all tasks (both a tasks and c tasks) in increasing order of their completion times. (2) List schedule these tasks on the master machine, with the constraint that each task a; must start after 3 a e iea ewee e ime α; iises and the time c; starts is at least b). 9

For the purpose of analysis, one can visualize the above procedure as follows (see

Figure 4.1): For each task, a; or c , remove all but the last scheduled piece of the task.

Suppose the last piece of a and c ; have length Ba and ka respectively. Now process the tasks one by one in the scheduling order of their last pieces in S. If the current task is a,

complete its last piece by inserting an extra piece with length (a5 - ka immediately after

the last piece of a5 ; at the same time push backward in time all the last pieces of the tasks

which finish after a; in S by an amount of (a5 - a I the task is c;, complete its last

piece by inserting an extra piece with length (c; — Ca) immediately after the last piece of

c5 ; at the same time push backward in time all the last pieces of the tasks which finish after

c; in S by an amount of (C ; — C 3 ). Let the schedule be S". It is easy to see that during

this process, the two constraints, (a) each task A M is scheduled after η and (b) the interval

between the time AM finishes and the time c ; starts is at least b;, are not violated. Thus S"

is still a feasible schedule.

Now one pushes all jobs forward in time as much as possible without changing the order of the tasks, or violating the constraints (a) and (b) mentioned above. The result

is exactly the schedule S'. Since a task c ; can only be moved back by processing times

associated with tasks finished earlier than c; in S, we have A; < 2A 5 and A) < A; +

Σ (a1 + i) < A5 -1- Ak , where A5 is the completion time of c; in S'. This implies that if one takes the (2, 2) non-canonical schedule in Theorem 4.3.4, then one can get a (3, 4) non-preemptive schedule. Furthermore, it can be implemented online if the preemptive schedule is online. ❑

The following theorem shows how to get offline non-preemptive schedules for

multi-masters systems. It is not known how to obtain an online non-preemptive schedule.

eoem 3 When there are multi-masters, one can obtain a (4,4) non-preemptive of- fline schedule.

oo e S e e (-sceue geeae y Agoim ΑΜ-S αΡ+a. Then S has no migration. One can obtain the non-preemptive schedule S' by converting the schedule 7

o eac macie seaaey i e same way as escie i e oo o eoem us e oa comeio ime o S is a mos wo imes a o S Sice S is a - aoimaio o oa comeio ime S is a aoimaio o oa comeio ime

o e makesa C; C5 + maim ι Δ1 wee Δί is e oa eg o e a asks a e c asks assige o macie i I Secio i as ee sow a Δία C us

C; Co + maim Ai C5 + Aka Sice S is aoimaio o makesa S is a aoimaio o e makesa is cocues e oo ❑

isic eocessos a eocessos is susecio cosies e case we ee ae ma eocessos a m eocesso

oo e S e e (3 -sceue geeae y Agoim Sa SΡAa Sice =o Ο

o a ee is o eemio o e sige eocesso e Ca; e e comeio ime o αα i S o ge a o-eemie sceue oe ca i e sceue o e a asks a o e coesio simy o e sige eocessos usig eacy e aoac gie i [ 1] 71

esecig e "eease ime" o ask c (C a + y oowig eacy e same agume σ

We e eease imes ae aeay oe ees o o e coesio caeuy so as o make sue a e ieece ewee e iis ime o a a e sa ime o c3 is a

eas 3

prpιv ntn nt r n ntn non-prpv rt n xp prr-

oo e S e e (3 -sceue geeae y Agoim SΡA α SΡAa e Ci e e comeio ime o o i S e C a e e comeio ime o ai i S e coesio cosiss o wo ses is oe ca emoe e eemios amog e a asks o ge e es (oie esceue o e a asks o e sige eocesso y usig e aoac o [1] e C e e ew comeio ime o a e oe mus ae

Ci e e Ca; ow i e sceue o a asks a emoe e eemios amog e c asks o ge a esceue o e c asks wee = 1 a make sue e iea ewee C a e sa ime o c; is a eas ; o eac o i 7

us S is a ( + o-eemie oie sceue Simiay as i [161, oe ca aso ge a oie sceue wose eece eomace is ( + i is cocues e oo O

eoem In O ( og time, one can obtain a ( 1/3 non-preemptive schedule when rb = 0 for all n, m1 1 and m? 1

oo e S e e ( -sceue geeae y Agoim SΡAα SΡAa Sice a os ae e same eease ime o eemio occus o e eocessos ow i e sceue o e a asks e C a e e comeio ime o ai i S e ask c ca e see as a ask wi eease ime (C + e coesio is eome o e eocesso usig e aoac gie i [95] suec o e cosai a cc ca o sa eaie a is "eease ime" (C a; + e e y [ 1] e oa comeio ime o S is a mos

imes a o S ie S is a 3 -aoimaio o oa comeio ime

eoem 7 In O ( og time, one can obtain a (5 13 non-preemptive online sched- ule when m> > 1 and ml > 1

oo e S e a ( 3-sceue geeae y Agoim SΡΤα SΡAa e coesio cosiss o wo ses is we use e aoac o [95] o emoe eemios amog e a asks o ge a = 1 sceue o e a asks esecig e eease imes o e a asks e

C e e ew comeio ime o a y e esu o [ 1] oe mus ae ow i e sceue o e a asks Eac ask cc ca e see as a ask wi e oe ca emoe eemios amog e c asks o ge a esceue o e 73 c asks wee = 1, a make sue a e iea ewee A a e sa ime o c5 is a eas 5 o eac o 5

4.7 Linear Programming: Distinct Preprocessors and Preprocessor As meioe eoe aoe imoa aoac o -a sceuig oems is o omuae e oem as a iea ogammig oem is meo as e aaage a i aso woks o oa weige comeio ime owee is isaaage is a i akes eaiey og ime o oai a souio I is secio aoimaio agoims ae esee o e case we ee ae isic eocessig a eocessig ocessos Eac o is aowe o ae a weig we e asis o e aoimaio agoims i is secio is a iea ogammig eaaio a uses as aiaes e comeio imes o e A asks a e c asks o eac ask eie Ca; a Ci o e e comeio ime o Ai a ci eseciey e oa weige comeio ime miimiaio oem ca e omuae as oows e iicuy wi e aoe caaceiaio is e so-cae "isucie" cosais (1-(13 wic ae o iea iequaiies a cao e moee usig iea iequa- iies Isea oe ca use a cass o ai iequaiies o ay easie sceues (maye eemie iouce y Queyae [9] a Woosey [119] Suose a se o asks

eoe y 1 ae sceue o a sige macie e 3 e e ocessig ime o a A; e e comeio ime o i ay easie sceue e e oowig i- equaiy is ai o ay suse C Ν

e key o e quaiy o e aoimaio eiig om e aoe eaaios is e oowig emma Queyae [9] as sow a e iea ogam wi cosais (1 is so- ae i oyomia ime ia e eisoi agoim; e key oseaio is a ee is a oyomia ime seaaio agoim o e eoeiay age cass o cosais gie y (1 I ou moe oe ca ay e aoe cosais o e eocessig mase a e eocessig mase eseciey

Algorithm List-Schedule-Guided-by-LP-Single-Master: is oai a oima sou- io o e iea ogam ome y (9 (1 (11 (15 a (1 eoe e comeio ime o e os y ςι Cti e oe ca om a sceue y sceuig o e a asks a e c asks i iceasig oe o C ue e coiio a A ca o sa ui a e iea ewee e sa ime o c; a e iis ime o a is a eas ; ie c; ca o sa ui ; iises

Theorem 4.7.2 Suppose that m1 = m = 1 Then Algorithm List-Schedule-Guided-by- LP-Single-Master produces a (3,5)-schedule when all jobs have the same release time and ( 6)-schedule when each job has an arbitrary release time. Furthermore, the a tasks and the c tasks complete in the same order.

Proof : e S e e sceue oaie y Agoim is-Sceue-Guie-y--

Sige-Mase e Ca1 e e comeio ime o a; i S y e way e a asks ae 7

'1k since the latest time the preprocessor be- comes oust' is makk ιeτ e me comeio ime o o 5 i S ecause e c asks are scheduled in the same order as the a tasks, it is possible that c; can not start even af- ter b; finishes at C a; + b; . This is because c;_ι may o ae comee ye owee e

ime a c ; needs to wait after it is ready is at most max k

Thus, if all jobs have the same release times, then C ; < 6 C; ; otherwise, C, < 6 C; . This implies that S is a 6-approximation for total completion time when r ; = Ο o a 5 a a 6-approximation when η Ο is is so ee i eac o 5 as a weig For the makespan, Agoim is-Sceue-Guie-y--Mui-Mase First obtain an optimal solu- tion to the linear program given by (4.9), (4.10), (4.11), (4.18) and (4.19). Denote the completion time of the jobs by A ι , ... , Aa. Schedule both the a tasks and the c tasks one by one in nondecreasing order of j under the condition that: a can not start until Ti , and the interval between the finish time of a and the start time of c; is at least bj. In other words, c; can not start until ; finishes.

eoem 7 Suppose that ma > 1 and ml? 1 Then Algorithm List-Schedule-Guided- by-LP-Multi-Master produces a (4, 6)-schedule when all jobs have the same release time and (6, 7)-schedule when each job has an arbitrary release time.

oo Let S be the schedule obtained by Algorithm List-Schedule-Guided-by-LP-Multi-

Master. Let Ca5 be the completion time of task aj in S. By the way the a tasks are 7

e c asks ae sceue i e same oe as e a asks i is ossie a c; ca o sa ee ae ; iises a CQ5 + ; ecause c5_1 may o ae comee ye owee e

ime a c; ees o wai ae i is eay is a mos mak 5{k + Σk5_ι ck/m us A II

EWOK ESIG OEMS CHAPTER 5

POLYNOMIAL-TIME APPROXIMATION SCHEMES FOR THE EUCLIDEAN

SURVIVABLE NETWORK DESIGN PROBLEM

5.1 Introduction is cae cosies e geomeic esio o e survivable network design problem. e iu eices ae assume o e ois i W a e cos o eac ik is equa o e Euciea isace ewee is eois (wic is a goo aoimaio i may aicaios sice oe e "isaaio" a e "seice" cos is ougy ooioa o e eg o e ik [91] e ocus is o wo mos asic aias o e geomeic suiae ewok esig oem (1 SM oem i wic „ Ε {1 } o ay Ε a ( { 1 -ee- a

-ege-coeciiy oem i wic Ε { 1 o a E oe a SM oem is a secia case o { -ee- a -ege-coeciiy oem e agumes oie y Gsce eta!. [53] (see aso [91 113] sugges a e seco secia case i e aoe moes we may aicaios o e suiaeiy oem eg e oem o esigig suiae ie eeoe ewoks [91 113] I e case o ie commuicaio ewoks o eeoe comaies ewok ooogies wi coeciiy equiemes i { 1 oie a aequae ee o suiaeiy o e isiguise cea oes o coeciiy ye Simy mos aiues usuay ca e eaie eaiey quicky a as saisica suies ae eeae i is uikey a a seco aiue wi occu o ei uaio

5.1.1 Related Works ee as ee a o o eseac o e suiae ewok esig oem yicay e eseac aesses eie acica euisics a agoims (see eg [1 5 51 53 53 91 113] o e geea oem o aeay ewoks (see eg [3 37 1

80 81 117] o e oem esice o ey seciic ewoks I aicua e esu ue o ai [] gies a oyomia-ime aoimaio agoim o e ege-coece suiae ewok esig oem (o arbitrary connectivity requirements). Aso

oyomia-ime aoimaio agoims o aeay ewoks i e case τu Ε { 1 o eey u ae ee ecey esee [3 37] ee is o oe goo oyomia- ime aoimaio agoim seciaie o e geomeic esio o e suiaiiy oem ece e case we Ε {1 } o eey [97] I „ E {1 } o eey a U = { Ε = 11 e oe ca easiy sow a a miimum saig ee o U guaaees e aoimaio aio o i ay meic sace (a us i aicua i ay Euciea sace Imoay i is case e geomeic suiaeiy oem is a geeaiaio o e cassica Euclidean (complete) Steiner tree problem (see eg [ 3 97 11] e Euciea (comee Seie ee oem o a iie se o ois S i Ι is o cosuc a miimum eg ee wose ee se cosiss o a ois i S a ossiy some oe ois i us e ae oem ca e egae as a suiae ewok esig oem o a iiie ee omai ie = a = 1

o ay Ε S a = oewise y e ceeae esus ue o Auoa [3] a Mice [9] (see aso [11] e Euciea (comee Seie ee oem amis a oyomia- ime aoimaio sceme o ay cosa

5.1.2 New Contributions

e frt plnl-t pprxtn schemes (PTAs) ae esige o e wo aoe- meioe asic aias o e geomeic suiae ewok esig oem

is e simes case i wic Ε {1 } o ay ee Ε V is cosiee a is e Seie ee oem A agoim is esige suc a a o ay cosa a ay cosa ε i eus a Seie ee wose cos is a mos (1 + imes age a e miimum e agoim us i ime O ( og n) . o geea a ε is uig ime is 82

e e case we „ Ε {1 } o ay ee E is cosiee; is is e cassica oem iesigae oougy y Giisce a Moma t l [5 51 5 53 91 113] e agoim o e Seie ee oem is eee o esig a agoim a o ay cosa a ay cosa ε eus a ga saisyig a e ee (o ege eseciey coeciiy equiemes a aig e cos a mos (1 -1- imes

e miimum e agoim us i ime O ( og ii We a ε ae aowe o ay aeaiy is uig ime is ( ogi (/ε °( + ( (/είνε°(11 iay osee a e eciques yie aso a ASs o e muiga aia wee e ege-coeciiy equiemes saisy Ε { 1 k a k = (1 A e oyomia-ime aoimaio scemes i is ceae oow a aoac simia o ose use i e ece As o iig AS (comee Seie ees a miimum-cos icoece saig suga i Euciea gas see [3 11] ow- ee ee ae may imoa ieeces a make e ew esus sigiicay moe comicae is o a oe as o ea wi e esicio o e Seie ois o e se gie prr (uike i e miimum-cos Euciea (comee Seie ees oem i wic Seie ois ae aowe o e ay ois i uemoe oe as o ea wi ouiom coeciiy equiemes e susaia ieeces a comicaios oc- cu i e so cae ieig ase a seacig ase (yamic ogammig A e ASs ae aomie a aciee e omise aoimaio guaaees a uig ime o e aeage owee a ese agoims ca e rndzd i a way simia o a use y ao a Smi i [11] e eaomiaio esees e uig ime o ( og o cosa a ε

5 Definitions oowig ae some oaios a eiiios o Euciea (geomeic gas a wi e use i is cae 3 A Euclidean ga wic equey wi e cae i is cae a graph, is a ai G = (P, E), wee P is a se o ois i a Euciea sace i a Σ is a suse o e ais o ois i P. Eey Euciea ga is weige a e cre o ege ( y is equa o e Euciea isace ewee ois a y e cre of the graph is e sum o e coss o is eges Aiioay Euciea muiga wic ae as Euciea gas u may coai aae eges ae aso cosiee Cosisey wi e eiiio e eges o a Euciea ga o muiga G = ( Σ ae i oe-o-oe coesoece wi e saig-ie segmes (i coecig e icie eices (Suc gas ae equey cae saig-ie gas i e ieaue Someimes o ecica easos i is aso aowe o bend some eges A e ege ewee a ai o ois i P wi e ieiie wi a straight-line path (a a cosisig o saig-ie segmes coecig e ois Saes o geea gas ae ee eie i Cae 1 I is cae geo- meic saes o a se o ois ae cosiee

Definition 5.2.1 (Geometric spanners) Let P be a set of points in A graph G on P is called a geometric sae of ? 1, if for any pair of points q E there exists a path in G from p to q of length at mre t times the Euclidean distance between p and q

Sice oy geomeic saes ae cosiee o simiciy a geomeic sae is simy eee o as a sae e oowig esu is oe i [51 1

Lemma 5.2.2 [56] Let P be a set of points in Ι ί where d ntnt t ε b n positive constant. Then, there exists an O ( og )-time algorithm that finds a (1 + t - spanner of having constant maximum degree and the total cre of order of the minimum of P.

1 oice a e agoims use i emma 5 ae i e so-cae ea AM moe wic is e ageaic ecisio ee moe eee wi iiece aessig [5] I oe assumes e ageaic ecisio ee moe e e uig ime wi e y a aco o og / og og age [5]

For arbitrary nd ε th rnnn t f th lrth U

nd th rltn (1 + ε -pnnr f Ρ h x dr ppr bndd b εε and the total cre upper bounded by d,ε times the cre of the minimum spanning tree of P, where

Τε = (/° and εε = (/°

Iomay is eiiio says a i ee eiss a ege ewee υο a o e ay a o icuig (υ ν mus ae eg geae a • 1w 1

emma 5 ([3] If a set of line segments Σ in d-dimensional space satisfies the ( - leapfrog property where t > 1 thn th ht f Σ w(MS where w(MS th r f n pnnn tr nntn th ndpnt f Σ h ntnt plt in the 0- notation depends on and

eiiio 55 (Seie ees Let P ι be a set of points in Rd . A Euclidean tree is called a Seie ee of Ρ1 if its vertex set includes all the points Ρ1 All the vertices of a Steiner tree of Ρ 1 outside P are called its Seie ois If the Steiner points are restricted to a point set P, the tree is called a Seie ee o Ρ a wi esec o Ρ and the points in P are called Seie oi caiaes

eiiio 5 (Euciea (comee Seie ees Let be a set of points in The Euciea (comee Seie miima ee of Ρ is a Steiner tree of P having the minimum cre. 85

Definition 5.2.7 (Steiner minimum trees (SMT)) Let Ρ = Ρο U Ρι be a point set in the

Euclidean space A Stnr tr f Αι with respect to o having the minimum cre will be called a Seie miimum ee (SM of P with respect to o

Osee e ieece ewee e eiiio o Euciea (comee Seie ee a Seie miimum ee; i is cae e aeiaio SMU is use oy o eoe a Seie miimum ee As meioe eoe e ocus i is cae is o e aia o e oem we S Ε { 1 } o ay Ε Α is oem is cae e {0, 1, vertex- or -edged- biconnectivity oem eeig o wee e ege-coece o e ege-coeciiy esio o e oem is cosiee (oice a e { 1, ee- a -icoeciiy

oem icues e SM oem i wic S Ε {1 } o ay Ε (see eiiio 57 uemoe oe ca eea e agumes use i [] (wic wee aso use eaie i [3 Secio 3] o sow a i meic saces { 1 wo-ege-coeciiy a { 1 ege-coeciiy ae esseiay equiae (e agumes i [] a [3] wee gie oy o icoeciiy s wo-ege-coece

Lemma 5.2.8 Let o Pι Ρ be any three sets of points in a metric space. Let Η be a multigraph with the vertex set Po U ι U Α such that for any pair of vertices E i and

E there are at least mi{i i edge-disjoint paths from Z to n Η hn n lnr t n n trnfr Η into a graph G without increasing the total cre such that for any pair of vertices Ε i and Ε Α there are at least mi{i internally vertex-disjoint paths form Z to in G

Proof : Iiiay se G = Η a a sequece o moiicaio wi e eome o asom G o ge e equie oeies I is easy o see a i Ε o U Ρ1 e ga G aeay as e equie oeies wi esec o eeoe oe oy as o ea wi ois u Ε Ρ a o wic ae i e same wo-ege-coece comoe o G I is sige comoe is aso a ock i is oe; oewise ick ay wo eges ( a ( w suc 86 a a w ae i iee ocks i oe wos is a aicuaio oi eace eges ( a ( w y ( w ow a w wi e i e same ock y e iage iequaiy e cos o e ew ock wi o e age a e sum o e oe wo ocks Oe oes is eaceme ui a ois o Ρ ae i e same ock e emoe a aae eges om e ga a G ecomes a ga as a cos o geae a a o

H, a o ay ai o eices Ε ; a Ε j ee ae a eas mii } ieay ee-isoi as om o i G Usig saa eciques is asomaio ca e eome i ime iea i e ume o eges i ❑

is emma aows oe o coceae oy o e 1 }-ege-coeciiy o- em a o aow e ouu o e gie i a om o a muiga

Partitioning the space. A imoa comoe o e aoimaio agoims i is cae is a aiioig sceme iouce y Auoa i [3] a ae eee i [5 ]

Definition 5.2.9 (Dissection, 2ary tree) Given a set S of points in 1" d, a ouig o of S is the smallest d-dimensional axis-parallel cube A d containing the points in S A ( ayS[3](seeis the recursive issecioFigure 5.1) partitioning of of the cube into smaller sub-cubes, called egios Each egio A of volume > 1 is recursively partitioned into

regions (U/2)d . A 2ary tree (for a given 2 d-αr dtn tr h rt corresponds to A and whose other non-leaf nodes correspond to the regions containing at least two points from S (see Figure 5.1). For a non-leaf node of the tree corresponding to a region R, its children in the tree correspond to the 2d regions that partition R in the dissection.

For any d-vector a = (ii αά hr ll α r ntr a1 < A, the

sie issecio [3, 25] of a set of points in the cube A d in Ii is the dissection of

the set in the cube ( A) in obtained from b trnfrn h pnt Ε to

D + a. A aom sie issecio of a set of points in a cube A d in is an shifted Figure 5.1 issecio o a ouig cue i (e a e coesoig -ay ee (ig I e ee e cie o eac oe ae oee om e o ig o/e squae oom/e squae oom/ig squae a o/ig squae

I is cae a secia cass o geomeic gas wi esec o a gie issecio [] wi aso e suie

Definition 5.2.10 (r-locally-light graphs) A graph is -ocay-ig [26] with respect to a shifted dissection if for each region in the dissection there are at mre edges having exactly one endpoint in the region. The crossings on the border of the region generated by these edges are called relevant crossings.

e mai easo o ioucig is cass o gas is a wie i is λίΡ-a o soe e { 1 }-ee- o -ege-coeciiy oem (o ee e miimum-cos Seie ee oem o aiay Euciea gas oe ca sow ow o soe is oem eiciey o -ocay-ig gas i Secio 5

5.3 Steiner Minimum Tree Problem I e aem o oie a eicie aoimaio sceme o e { 1, ege-coeciiy oem i Euciea gas e SMU oem wi e cosiee is e ew aoac ca e see as a comiaio o e aoac o Auoa [3] a ao a Smi [11] ee- oe o esig a EAS o e S oem wi e aoac o Cuma a ige [] developed to design a BETAS for k-connectivity problems. The new algorithms is based on efficient implementations of the following three procedures.

ieig Let Ρ and Ρ1 be sets of points in and let be any positive real number. Find

a subset of o that satisfies the following two properties:

• The cost of the SMUT of P, with respect to is at most 1 + times the cost of

th SMU f Ρ 1 with respect to Ρ

• The cost of the minimum spanning tree o U Ρ 1 is upper bounded by times

the cost of the minimum spanning tree of Ρ1 where is a function of d and

t only will be set to 20(d4)/t014)).

igeig Let Ρ and Ρ 1 be sets of points in and let be any positive number. Let G

be any (1 + t -pnnr of Ρ U Ρ 1 satisfying the so called ( 1 + t -lpfr property

f56] for 1 < 1 + Modify G to obtain an r-locally-light graph with the vertex

set Ρ U ι tht h t brph Stnr tr f Ρ 1 with respect to Ρ whose cost

is at most (1 + 2 times the cost of the SMUT of Ρ 1 with respect to Ρ

Seacig Let Ρ and Ρ1 be sets of points in and let r be any positive integer. Let G

b n r-lll-lht rph n Ρο U Ρ1 Find a minimum-cost Steiner tree of Ρ 1 with

respect to Ρ that is a subgraph of G.

5 ieig o SM

I this section it will be shown how to perform the filtering phase efficiently. First it will be droved that the following algorithm finds a subset X of Ρ that satisfies the required filtering 89

o eac ege e o e sae wose cos ecees e i 1 - acio o e cos o miimum saig ee o 13 1 cicumscie a -imesioa a a(e wi e

cee a e mie o e a o aius (e equa o ρ /ε imes e eg o e

ege wee Ρ is a ucio eeig oy o Ρ =

3 e Y e a suse o o a icues a ois coaie i e cosuce as a ossiy some oe ois i Ρ ο a isace a mos (e om e cee o suc a a (e

o eac a (e eie a (eciiea -imesioa cue Coe o sie eg 8 oe a is coceic wi e a oe Wii eac cue Coe iouce a gi

wi ieacig e ε /( Δ A wee Δ is e ou o maimum egee o ay MS o ois i imesio e se e iiiay emy eeaey i e iceasig eg oe o e eges e o S assig eac oi Ε Y associae wi a aoe o e coses oi o e gi Coe o eac gi oi i Coe i ee is a eas oe oi Ε Y assige o i a oe suc a oi o

Lemma 5.4.1 (SMT Filtering) For any point sets o nd ι n and any positive real nbr ε th bt of o satisfies the filtering property.

I oe o oe emma 51 Oe as o oe a e se ς o oaie i e aoe cosucio saisies e oowig wo oeies

1 e cos o e SM o Ρ ι wi esec o is a mos 1 + ε imes e cos o e SM o Ρ 1 wi esec o Ρ

e cos o e miimum saig ee o U Αι is ue oue y °Ν/εoς

imes e cos o e miimum saig ee o Ρ1

I e oowig e se is is sow o saisy e is oey a e i is sow o saisy e seco oey e oo is ae og a wi e esee i a geea om a ca eeuay e use i some ue aicaios 9 51 is ieig oey e oo ees a coue o auiiay emmas oowig is a saa esu aou e ue ou o e cos o e miimum saig ees coaie i a imesioa a (o a oo see eg [77]

emma 5 Let P be a set of points in contained in a dndimensional ball of ra- dius Then, the minimum spanning tree of P has cre upper bounded by - 1-1/ (-1 (1__1/ In particular, if and then the cre of the MST of P is upper bounded b Τn1-1 /d. ❑

e seco emma gies a ue ou o e maimum egee i a miimum saig ee (a a SM o a oi se i

emma 53 [1] Let P be a set of i points in Rd . Then, any minimum spanning tree of

P has maximum degree Δ upper bounded by A = ( where c is an absolute constant.

Ο

om ow o Δ wi e use o eoe e ue ou o e maimum egee o ay miimum saig ee o a se o ois i (oug we wi o use i e oaio e eeece o ow a sime emma wi e oe wic sows some asic oey o SMU (wic os aso o MS a as i saes a i geea i aiay coece gas

emma 5 Let Ρ and P 1 be disjoint point sets in Rd . Let G be any graph connected with respect to P1 (for example, a spanner on Ρ 1 ) and let be an SMUT of P1 with respect t Ρσ . Let and be any two points in 1 and let A be the shortest path in G between

Z and Let e be any edge in T of lnth £. If after removal of e from T, points Z and v are in different connected components of the resulting forest, then at least one edge on the pth Ρν is not shorter than f. 91 oo e oo is y coaicio Suose ae emoa o e om A wo suees

A1 a Al wi Ε A1 a Ε A2 ae oaie a suose a a eges o /3 i G ae soe a Sice a ae i iee suees e ee mus eis a ege

Cy-suceΤυν oassumio a e C ya Ε Τ1 A ιCy1 y Ε eeoe

Τι + Al + y oms a Seie ee o Ρ 1 wi esec o Ρ wose cos is smae a e cos o A u is coaics e assumio a Τ is a SM o Ρ1 wi esec o o ❑

e emma is cocee wi as coaiig o ois om Ρ1 Ι wi e sow a i a case i ay SM ay coceic a o a sigy smae aius as e ume o Seie ois ue oue y { oice a a simia emma is use y ao a Smi i [11] a e oo is is cae uses may ieas om [11] e mai ieeces ae cause y e ac a i is cae e Seie ees cosiee ae e ee se i a suse o o U P 1 wie e oo i [11] woke o o = Rd. is imies amog oe a ao a Smi cou use may we kow oeies o suc Seie ees (o eame i a case e maimum egee i a miimum-cos Seie ee is 3

emma 55 Let o nd ι b n djnt pnt t n R . t Ι nd Ι b n t concentric d-dimensional balls in d of radius 1 and S 1, respectively. Then for any SMUT of P1 with respect to o if Idο1containsthn Ιι ntn no points t rfrom P

(16 e Δ = 2( Steiner points, i.e., SMUT points from Ρ

oo is i a SM o Ρ 1 wi esec o o a eoe i y A e Δ eoe e maimum egee o Seie ois i e SM (oice a emma 53 esues a

Δ C o ceai cosa A Ι ca e assume wiou oss o geeaiy a eey Seie oi is o egee a eas 3 ece aso e ume o ois i ι wic wi e eoe y n, is igge a e ume o Seie ois e s eoe e ume o

Seie ois coaie i Ι ; ι ; e goa is o oe a s < (16 e Δ 9 of places where A touches the border of i.e., the number of edges that have exactly one endpoint contained in a Next, let S denote the number of Steiner points contained in

and let denote the portion of Τ contained in Note that by assumption, for any

Pick any R and R* such that S < R < R* < 1 oice a i Ν e

Ν a ece e emma is oe So suose a Ν , and thus

2d• Observe that since coais o ois om Ρ 1 , contains S Steiner points, and all Steiner points ae o egee a eas 3 us Ν S + 2 > S (This follows from the fact that coais a eas S "internal" nodes of degree at least 3 and

"leaves" which are of degree 1.) Furthermore, notice that the length of is at least

(R* — R) • S On the other hand, coais a eas S Steiner points and additional N points on its border. Therefore, by Lemma 5.4.2,

Recall that Ν o = Ν 1 eeoe oe ca comie e iequaiy Δ • S that holds for all 0 < R < 1 with a e iequaiies aoe o oai

eeoe sice ι oe ca ge

A more general form o is esu is sae as oows 93

Since Δ - S for any 0 < R < 1, one can apply the claim above to obtain the following bound

oice a i S ι _ ι δ Δ o ay iege 1 11 e (y emma 53 e emma is oe eeoe oe ca assume a S ι ι ό Δ a ece e ue ou aoe ca e simiie o ge

First filtering property of set Y Now Y will be proved to satisfy the first property. Sim- ilarly as in the proof of Lemma 5.4.5, some of the arguments are similar to those used by Rao and Smith [101] in their ETAS for the Euclidean (complete) Steiner tree problem. This time, however, the differences caused by the fact that Rao and Smith worked with Ρρ = are even bigger. Therefore, most of the details of the following proof are completely new. 94

hn thr b rph Η f G tht nntd th rpt t vrt n

nd h r ppr bndd b (1 + ε t th nnr Stnr tr f ι th rpt t Ρ

Proof: e e e SMU o Ρ 1 wi esec o Ρ I ca e assume wiou oss o geeaiy a eey Seie oi i is o egee geae a e aoac is o cosuc e suga Η o G usig e oowig wose oceue

1 o eey ege i wi Ε Y U i Η coais e soes a i G ewee a

Ae Se 1 Η may e iscoece wi esec o Ρ 1 ; make Η coece y aig aiioa eges aig oa miimum weig

I is easy o see a e oaie ga Η is coece wi esec o Y U i (a so wi esec o eices i Ρ 1 oo Wa wi e oe eow is a is cos is ue oue y (1 + ε imes e cos o e oo cosiss o wo as ecause o e sae oey e ga Η oaie i Se 1 as is cos ue oue y (1 + ε imes e cos o e eges use i is se eeoe wa eay as o e oe is a e seco a o ga Η as a ue ou suc a e oa cos o Η is oue y (1 + ε imes e cos o 95

eseciey I e oowig i wi e sow a (assumig u ςΙ Y U Ρ1 ee mus e a ege Cy i a eas oe o u a wose eg is geae a o equa o /k

• is i wi e sow a i is imossie a a e same ime a eges i u ae

o eg smae a /k S SM u coais a oi C Ε Ρ 1 a is coaie i B2 a S M coais a oi y Ε i a is coaie i B2 (A equiae case is we is ecage wi a is we a eges i ae o eg smae a /k S ΜΤΣ coais a oi C Ε i a is coaie i B2 . a S M coais a oi y E ι a is coaie i

I a eges i u ae o eg smae a /k e u is coaie i B2 . Sice a y ae iscoece ae emoa o ege emma 5 imies a S as a eas oe ege e o a soes a ewee a y wose eg e is a eas ε

ow i wi e sow a a A χ y cao ae a ee ousie ±ε • Iee i

a wee o coaie i 1(± Y e ee wee a oi i A χy a is o

coaie i Β ±ε • e eg o e a A χ± is o soe a II + i u is coaics e eiiio o e sae ecause e eg o y is assume o e ue oue y 1 + ε/ imes e eg o Cy a oe ca easiy sow (see eg emma 511 a

So ow i is kow a a A χy mus e coaie i (+ε r • is i aicua

meas a ege e is coaie i Β (±ε . • oice a e eois o ege e eog

o i eeoe y e cosucio o se Y a e ois om Ρ a ae coaie i e a oe (aig e cee a e mioi o e a aius A • ιeΙ/ε eog o Y ow sice e eg o e is geae a o equa o £ e aius o oe is a

eas A Εεε Sice A Επε = (3 + osee a oe coais e eie a Β 9

Therefore points Z a mus eog o Y U Ρ 1 is is a contradiction, because it is

assumed that Z Y U P i .

• Otherwise, there either mus e eges i eac o u a of lengths greater than or

equa o εk o S SMu mus coai o oi om 1 a is coaie i o

SMa1 is mus coaie coai i o oi om Ρ

Cosie e case we S ΜΤΣ coais o oi om Ρ 1 a is coaie i

Then, either A is coaie i Β o ee is a ege i u o eg geae a

o equa o εk is sow a u cao e coaie i Β Iee i A wee

coaie i A e wou=SeieAEk o1 ecoai moe a ΙΤυ

ois O e oe a i is kow a Β coais o ois om Ρ1 i 5ΜA υ

y emma 55 is yies a coaicio ece u cao e coaie i Β

is i u imies a oe o u a say u mus coai a ege o eg geae a o equa o /k

us oe ca cocue a ee is a ege y i u wose eg is geae a e cos o ege wi e "cage" o Cy i Se 1 o e cosucio o

e Κ1 e e se o eges i Τ aig o eois i Y U ι a e Κ eoe e se o e emaiig eges i Τ Eick ay ege e i a eoe is cos y A Osee a e may e cage o y a most 2 (2 Lk — 1) <4 k "so" eges oice ue a e cos o eac suc a so ege is upper bounded y A εε o1 k (Iee y cosucio a so ege o eg Ε is charged to edge e only i A 1 Ε kεε eeoe e oa cost of all edges in A charged to e is upper bounded by ε A. Furthermore, notice that only the edges in Κ ae cage i this way. This imies a e oa eg o a eges i Κ is ue oue y ε imes e oa cos o Τ

e Η 1 eoe e subgraph of Η obtained in Step 1 and Η eoe e suga o Η oaie i Se o the construction. Notice that the subgraph of A iuce y e 97 eges i Κ is a oes ick ay ee τ i is oes a e e e se o eices i τ eogig o C Y U 1 Ceay τ is a Seie ee o I is we kow a e cos o a miimum saig saig ee o ay se o ois (i ay meic sace is ue oue y wice e cos o e SMU eeoe e cos o a miimum saig ee o

is ue oue y wice e cos o τ ece sice e cos o Η is ue oue y

e sum o e coss o miimum saig ees o oe a ees τ i Κ e cos o Η is ue oue y wice e cos o e eges i Κ y e iscussio aoe e oa

eg o a eges i Κ is ue oue y ε imes e oa cos o us e cos o is ue oue y ε imes e oa cos o

o summaie e ga cosiss o ga Η 1 a y e sae oey e cos o Η1 is ue oue y o1 + imes e oa cos o y ou agumes aoe e cos o Η is ue oue y ε imes e oa cos o is imies a e oa cos o Η is ue oue y o1 + ε imes e oa cos o A a ece yies

e oo o e emma ❑

First filtering property of se emma 5 gies "amos" a suse o o we wa o oai i e ieig ase owee e so oaie se Y oes o ae o saisy e seco ieig oey a is a e cos o a miimum saig ee o Y U i is ooioa o e cos o a miimum saig ee o ι e oem is a i ee ae oo may ois i Y ee e cos o e miimum saig ee o Y ca e aiay age eeoe o iesigaios oe ca coose a suse o Y a is oaie y a "sasikaio" o Y Oe ca sigy moiy e oo o emma 5 o oai e oowig esu

Lemma 5.4.7 Let Αρ and P be two point sets in Let S be an (1 + spanner of Ρ1 . For each edge e of the spanner whose cre exceeds the Α 1 fraction of the cre of minimum spanning tree of Α 1 lt Coe be the ball with the center at the midpoint of e and with the radius equal to ρ /ε tn the length of the edge e where A = 0( 3) • For each 98 ball Β oe let Ye be the subset of o consisting of all points that are contained in it. Let e

Then, there is a subgraph H of G that is connected with respect to vertices in i and whose cost is upper bounded by (1 + 2 ε + (1 times the minimum-cost Steiner tree of P1 with respect to o.

Proof: e oo is a sig moiicaio o e oo o emma 5 eeoe oy e aces wee a oo as o e moiie wi e eee Suose is a ee o e ey so eges e o S e as oe a e ses

Υλι ed iuce y em ae ee ceae Oe oows e agumes om e oo o emma 5 Oe ees o moiy

em oy we ee is a a A a is coaie i C +ε a eeoe ee is a ege e o eg geae a o equa o £ a is coaie i Ι+ε Τ a as is o eois i 13 1 Ι is case e coaicio wi o e oaie as i e oo o emma 5 owee osee a sice e eg o e is ess a o equa o ( + S a sice e a oe coais a (a ece o ois ae i Ye ee mus

ei eoi i w a eseciey I is easy o see a eac suc a moikaio may icease e cos o e ga y a mos

eeoe e cosucio o ca e moiie as oows

1. o eey ege i wi u Ε Χ U 1 coais e soes a i G ewee a

Oewise o eey oe ege i i ee is a ege e i S (a ece wi

o eois i Ρ 1 suc a a eog o Y e e ick e coses ois 99

W Ε Χ o a eseciey e moiy y moig a eges icie o a o ae ei eoi i w a eseciey I ay ew ege as o eois i U i e o as i Se 1

3 Aewas Η may e si iscoece wi esec o 1 ; make Η coece y aig aiioa eges aig oa miimum weig

Oe ca ay e same agumes as i e oo o emma 5 o sow a e cos o e eges i Η ceae i Ses 1 a 3 is ue oue y (1 + imes e miimum- cos Seie ee o 1 wi esec o Α O e oe a y e agumes aoe e oa cos o e moikaios eome i Se is ue oue y wic is i ε imes e miimum-cos Seie ee o ι wi esec o A o oai e caime esu i emais o moe a e ois i Χ o e eges e wose coss o o ecee 1 I- o e cos o e miimum saig ee o i o a eoi o e Suc moemes ca icease e oa cos o G y (sice e oa ume o eges i e sae is (/ε °( ime mum saig ee wic wi iceasig 1 Ι is aiaiy sma i comaiso o e cos o a miimum Seie ee o ι wi esec o A ❑

e oowig is immeiae cooay o emma 57

5 Seco ieig oey I oe o oe a se Χ saisies e seco ieig oey e oowig emma wi e oe is

emma 59 Let A and ι be two point sets in Let S be an (1 + spanner of ι r h d e of the spanner whose cost exceeds the 113, ( = fraction of the cost of 1 minimum spanning tree of P 1 , let B oe) and oe be the balls with the center at the midpoint

of e and with the radius equal to le E/ε and • e • E/ε respectively, where A = (3 For each ball oe let YS be the subset of consisting of all points that are contained in it, and let Y be any subset of o containing all points in Y and possibly some other points contained in the ball oe Let Bed be any subset of Y D such that (i) if y E YS — e then that there is C E e such that 1y e ε/( E and (ii) if C, y E e then

Icy > Ie ε /( A ‚/ Let B = USES BSI Then, there is a spanning tree of B U ι whose total cost is upper bounded by _ (A/ • (ο ( Ρ/ε3 -1 °/ε° times the cost of the spanner S

oo is a saig ga Τ o U ι wi e cosuce is o a Τ coais a miimum saig ee o 1 e o eey ege e E S we i a miimum saig

ee ea o e (o coeio i SI is ueie i wi e eae as a emy se coec i o ay o e eois o ege e a a e oaie ee o I is easy o see a so

eie ga is a saig ee o U 1 eeoe e cos o e miimum saig ee o U ι is ue oue y e cos o Τ a eeoe e aeio wi e ocuse o esimaig e cos o Τ

i a aiay egeg i Sy oe aS i Εy1 e - 11/( e A uemoe a ois i SI ae coaie i a a o aius ue oue y Ice ρ/ε is immeiaey imies a e sie o SI is ( (νΗ Eá/ε3 ece y emma 1 5 e cos o e is (1e E/ε • (ο ( Eá/ε 3 eeoe i ΜSΤ(ι eoes e cos o e miimum saig ee o ι a y cοsτ (S e cos o e sae S oe ca oai e oowig ue ou o e oa cos o d-1 MS(ι + Σ(eA/ • (ο ) d-1 < (A/ε • (οο COSS ES 11

Sice saisies e wo oeies o e = a ay o e aoe emma

e ee is a saig ee o U 1 wose oa cos is ue oue y Ι imes e cos o e sae S eca a e is uu uo me sae ose cos is oue y ε ε = (/ imes ΜSΤ(ι oe ca easiy see a e cos o Miimum Saig ee o U i is oue y aε = (2°(ί1 /ε°( ) • (/°( = Ο(°(ι1 /ε°( imes e cos o Miimum Saig ee o

ι Μsτ(ι

53 Comeiy o SMU ieig is secio sows ow o imeme SM ieig ase e cosucio o e se escie aoe as ee seciay ue o eae a ekie imemeaio e oowig emma wi e oe is

emma 51 h fltrn lrth fr SMU n b plntd t dtrn th t n t (d/ε ° • n oge hr n = 1Α U i

oo y emma 5 Se 1 ca e imemee i ime (/ °(ι 1+ (• ιog ii o imeme Ses 3 ie o eemie e se Y oe ca use a coe aa suc-

ue o pprxt pnt ltn n l bll ue o Ιyk a Mowai [7] o a gie aoimaio aco c 1 a a gie ea ey esige a saic aa sucue o a se o ois S C cae (c -E suc a o ay oi q Ε R', i S coais a oi wii isace om q e (c τEE ouus a oi q E S a is omise o e wii a isace a mos c om q Iyk a Mowai [7 eoem 3] sow a ee is a agoim o ( τEE (i e Euciea -imesioa meic a ae a O(ISI ° -ime eocessig aciees ( quey ime oe a i e agoim aoe e coss o e sae eges om wic e as oigiae a io a ogai- mic ume o ieas o e om [ o k± a wee o is ei miimum cos (wic is owe oue y e cos o e miimum saig ee o 1 oe i 1 o ee- 13

emak 55 h prprt f th ntrtn n 551 tht th btnd rph Η has Αρ U Ρι as its vertex set. This distinguishes it from previous constructions, e.g., (3, 101), where

rltd rph Η lld t rbtrr pnt td ΑΒ U ι h prprt rtl n th approximation of SMUT and other connectivity problems (in contrast to, e.g., ASP approximation).

Indd pp tht Η h vrtx pnt q Ρσ U ι hh tnvrtx n Η nd tht Η

ntn tr t b prnd t Stnr tr fr Ρ (r t bt hn f th dr f q in

T is very high, it might be impossible to remove q from T to obtain a tree of the cost as good (or

lt d th t f (n ntrt AS n prt f Ρ n b l dfd t btn

S n Ρ tht n t nr Obrv tht th ntrtn ll t e the edges, that

n d btn t pnt x nd n Ρ pth f trht-ln nt btn x nd the discussion at the beginning of Section 5.2.

ow e mai ieas ei e oo emma 551 wi e iscusse As meioe is emma uses (amos iecy esus aeay eeoe i [] eeoe e esus esee ee ae gie wiou oos eoem 31 om [] is e key ecica eoem i a ae

emma 553 [] Let and be any positive but otherwise arbitrary realms (that is, they may depend also on other parameters). Let k be an arbitrary positive integer. Let P be an arbitrary point set in Rd. Let G be a spanner for P that has n (o °( edges, has total cost COS (G and that satisfies the ( 1 + t nleapfrog property, where 1 < t < 1 + t. Choose a shifted dissection uniformly at random. Then, one can modify G to rph Η with vertex set P such that

• there exists a knedgenconnected multigraph Μ hh pnnn brph f Η with possible parallel edges (of multiplicity at most k whose expected cost (over the 102

o a e cee ois o sae eges aig cos i e iea [ 1 o i+1 o a e quey i wi a e ois i Ρ e ime eee o e cosucio o e ogaimic ume o PLEB aa sucues is (og o imes e ume o sae eges (wic is

εε = ιι (oe a e ime eee o e o queies is (Ιοg 11 o1 (

17] ece e oa ime equie i Ses a 3 is ( (o ( og τι Osee a uig e cosucio o Y oe ca aso ise eac oi accoue o Y io a is coesoig o e smaes a i eogs o (aoimaey y ocessig e (og ii E queies wiou iceasig e asymoic ime eomace ese iss ae useu i e imemeaio o Se Simy o eac o e as oe a o eac oi i e coesoig is Aoe oe cecks wee o o e oi ae ouig o o e eaes oi o e gi Coe is aeay make If o oe maks e gi oi a a o I is easy o see a i is way Se ca e imemee i

ime ((o °ί • τι ❑

5.5 Lightening for SMUT o e igeig ase e amewok eeoe i [] wi e use o asom sa- es io -ocay-ig gas maiaiig coeciiy oeies the minimum-cost k-edge-connected multigraph spanning where MST (P) denotes

the cost of the minimum spanning tree of P

Moreover, the modification can be performed in time 0(d 3 • • og + • (°c +

(/ °k ❑

Remark 5.5.4 Notice that the original theorem in [26] the soncalled "isolation property" of the spanner was required. However, the proof of that theorem can be easily modified to spanners satisfying the "leapfrog property" (see [56] for a precise definition). The reason of this change is that in [26] the authors were using the spanner construction due to Aryan e a [5]. Unfortunately, it has been shown (see, e.g., [56]) that there is a serious flaw in the construction due to Aryan e a The only known existing construction of "optimal" spanners is due to Gudmundsson e a [56], see Lemma 5.2.2. This construction satisfies the leapfrog property and therefore we gave a modified version of Theorem 3.1 from [26].

Remark 5.5.5 Some brief intuitions why the leapfrog property is required (and why it can replace the isolation property) in the proof of Lemma 5.5.3will be given here . As it is shown in [25, Lemma 2.3] (a predecessor paper of [26]), with a very little cost increase one can transform any spanner (or any k-edge-connected multigraph) into a graph that is "almost" r-locally-light. By "almost" it is meant that the number of "short" relevant crossings is at most / where a "short" crossing of a facet of side length A is of the length O(Va • A However, the number of longer crossings may be significantly larger. But if the input spanner satisfies the leapfrog property then one can show that the number of "long" relevant crossings is small. This allows to prove that the construction leads to an r-locally-light graph. 105

Remark 5.5.6 Actually, Lemma 5.5.3 requires that the input points are slightly "perturbed" and are soncalled "well-rounded." This modification of the input points is used in all pa- pers following Aroma's framework (see, e.g., [3, 26, 101]). It requires to move all input points (by a very tiny vector) to a certain grid in Rd. Although formally this step is very

Remark 5.5.7 Finally notice that the key feature of the construction in Lemma 5.5.3 is that th btnd rph Η h t vrtx t h th prprt tht dtnh t from previous construction, for example, as in [3, 101]. This property is not required if one wants to find an approximation, for example, for ASP, but it is critical when dealing with the SMUT problem and other connectivity problems. Indeed, suppose tht Η n new point q P and this vertex is a cut-vertex in Η and suppose that Η contains a certain tree T that we would like to use as a Steiner tree for P (or its subset). Then, if the degree of q in this tree is very high, then it might be impossible to remove q from T to obtain a tree of the cost as good (or almost as good) as the cost of T . (Notice that this is easy to be done in the case of TSP, as in [3, 101], because ASP on a superset of P can be easily modified to obtain a TSP on P without any cost increase.) Additionally, this construction allows to e the edges, that is, an edge between two points C and y in P is a path of straight-line segments between C and y, see the discussion at the beginning of Section 5.2.

Keeig i mi e emaks aoe oice a e oo o emma 553 is acuay muc soge e oo o emma 553 is eome y a sequece o emoas o ceai eges om a iseig ew eges o G e iea ei iseig e eges is a ey ae equie o kee e same coeciiy o e oaie ga as o G is oes o mea oy goa coeciiy u aso e oca oe (u o coeciiy k eeoe e oo (wiou ay moiicaio o emma 553 eas o e oowig muc soge esu (a is sae ee wiou a oo 106

Lemma 5.5.8 t ε nd b be any positive but otherwise arbitrary realms (that is, they may depend also on other parameters). Let k be an arbitrary positive integer. Let Α be an arbitrary point set in Rd. Let G be a (1 + 2 t)-spanner for P that has (/°ί edges, has total cost COST (G), and that satisfies the (1 + 2 t, t) -leapfrog property, where 1 < t < 1 + t. Choose a shifted dissection uniformly at random. Then, one can modify G to a graph Η with vertex set P such that

• there exists a multigraph Μ hh pnnn brph f Η th pbl prlll

edges (of multiplicity at most k) such that

1. for every pair of points x, y in P, if there are r edge-disjoint paths between C

and y in G then there are at least minfry , kl edge-disjoint path between C and y in Μ

2. the expected cost of M (over the random choice of the shifted dissection) is

) times the minimum-cost multigraph span-

ning satisfying th bv property 1, where MST(P) denotes the cost of the

minimum spanning tr f 107

5.6 Searching for SMUT e aoac i e Seacig ase is o ay yamic ogammig o i a oima Seie ee i a -ocay-ig ga

Lemma 5.6.1 Let Α and ι be sets of jointly n points in d and let r be any integer. Let

G be an r-locally-light (with respect to a certain given shifted dissection) graph on P U ι

Then, in time Οίτι • r° (ld Τ n n fnd n-t Stnr tr A of P 1 with respect t Ρσ that is a subgraph of G

is emma is oe y sowig ow o use yamic ogammig o i a miimum-cos Seie ee Τ o ι wi esec o Α I wi e sow a e uig ime o e cosucio is O(i • (άΓ e yamic ogammig oceue is esse- iay e same as e oe use i EAS agoims o S a e Euciea comee Seie ee oems ue o Auoa [3 101], u o e sake o comeeess i is esee ee i eais I sou e meioe ee a ike [3 5 11] i e yamic ogammig oceue e iu is assume o e a we-oue oi se wic is oe y eua- io o e oigia ois ike meioe eoe o simiciy o eseaio i wi e egece is eie e suoem i a egio R o e issecio Let S be a set containing m relevant crossings on the facets of R. Given a partition (Si 5 Ski 1 k m of S, find a minimum-cost steiner forest that (i) consist of k trees, (ii) the i-th tree -; of the forest contains all the crossings (called portals in [3, 101]) in S as their leaves, and (iii) all the trees of the forest collectively contain all points Ε ι in this region. I o suc oes eiss o is aiio is aiio is sai o e invalid. e ee A is ou i a oom-u asio is a miimum-cos Seie oes o eac ea egio is ou e e miimum cos oess o eac o-ea egio y comiig e oima souios o is ci egios e A we ae ookig o is e miimum-cos oes o e oo egio 108

1 o e suoems o a ea egio ee is a mos oe oi i e egio e comuaio is iia oe ca easiy comue e oima souio i ( ee ae ee cases eeig o e ume a ye o e oi

• o oi eeoe o eea cossigs a a e oes is emy a e cos is aways Ο

• Oe oi Ε Α ι ee ae oy seea ways o aiio o S a ae ai a mus e coaie i oe o e ee wic makes e oa cos o e oes o e aiio miimum

• Oe oi Ε Α Amos e same as e seco case ece a ee is a Seie caiae so is o equie o e coaie i e oes Secikay we k = m e oima souio is a oes wi m ees eac coaiig oy oe cossig a e oa cos is

o eac maima sequece o egios 1 e suc a o i = 1 q - 1,

R±1 is e oy ci egio o i a as ois i i e miimum cos oes wii

1 ca e easiy comue om a wii e us y eeig e ae aog e

eges a coss e aces o e

3 o e suoems aisig om a o-ea egio wi moe a oe oi i i i wi e sow a oe ca comue a is oima souios eac wi esec o a

aicua aiio o e cossigs i ime (ο(

Eac oes i ae egio is a comiaio o oess om is ci egios

1 Rl,... Red eseciey So e miimum-cos oes i ca e ou y eu- meaig a comiaios o oess om is ci egio e comiaio is oe oug oeaig cossigs o e sae aces o ci egios I ee is o mismace cossigs a oes i e ae egio is oaie is oes aso e- ies e cossigs se S o e oe o a a aiio o S o a secik se S 19

a a secik aiio o S ee may e may comiaios coeso o i oe ees o i e oe a gies e miimum cos oes

oe a i a cossig sae y wo ci egios is eea o oe ci u o o aoe a is ee is a ege wic comes om a oi ousie e egio ges oug oe o is ci a es i aoe ci e comiaio is si ai e segme o e ege i e ome ci is o icue i e comuaio o e ci u i ees o e ae o e cos o e ae egio

ee ae ( oess o eac ci egio so e ime comeiy o comiaio

is Ο( (

o a sie issecio i as O( ea egios wi a oi i i a as oy ( o-ea egios wi moe a oe oi i em so e ime comeiy o e woe oem is O ( • °1

5.7 Polynomial-Time ApproDimation Scheme for SMT ow i wi e sow ow o comie a e agumes om Secios 5 — 5 o oai a EAS o e Euciea SMU oem e iu o e oem cosiss o wo ses Ρ

wi csρec ιο o wιιυSC 1S 155 iimIi o equa ιο 1 -1- ε imes me miimum

is ay emma 51 o i a suse o o aig e omise oeies

(wi t = á ε e ake a (1 + -sae G o U i a ay emma 551 o moiy G i oe o oai a -ocay-ig ga Η a as as a suga a Seie ee o 1 wi esec o wose cos is ue oue y (1 -- imes e cos o e SM o ι wi esec o iay ay emma 51 o i a miimum-cos Seie ee o ι wi esec o a is a suga o Η a ouu i is eas o e oowig eoem 11

eoem 571 There is a polynoiiiial-time approximation scheme for the Steiner Mini- mum Problem in Euclidean space In particular, for any sets of points nd Ρ1 n ‚

one can find a Steiner tree of P th rpt t Ρο h t t t 1 -1- ε t th n For constant nd t th rιτnη t f th lrth O ( og Ο

5 1 coeciiy oem Oe ca ee e agoim om e eious secio o oai a oyomia-ime a- oimaio sceme o e { -Coeciiy oem i Euciea gas Acuay secia aeio as ee ai o ese e agoim o e SM oem i a om eeae o icue e 1 coeciiy oem ue o emma 5 oe may cosie oy e 1-ege-coeciiy oem a aow e ouu o e gie i a om o a muiga e agoim uses simia ee ases as e agoim o e SMU oem e ieig ase is esseiay e same as o e SMU oem ece a oe woks o e sae o Ρ ι U Ρ ow i oe o i a Y Simiay e igig ase is esseiay e same as o e SM oem see Secio 51 Seacig ase is e oy ase a is comeey iee a ae icky u si oe ca imeme is ase ekiey y usig e iea o connectivity type o e muiga wii a egio o e issecio e eaie esciio o e yamic oceue a e oo o is coecess is i Secio 5

51 igeig o 1 -Ege-Coeciiy o 1-ege-coeciiy oe ca ague aaogousy as i e oo o e igeig emma o SM Remark 5.8.2 The arguments above can be also easily modified to include the Lightening

Lemma for arbitrary f0,1, ... , 21-edge-connected in the same time complexity.

5.8.2 Dynamic Programming for {0, 1,2)-Edge-Connectivity The goal of searching ase o 1 1-ege-coece is usig yamic ogammig

o soe e oowig oem e = Ρ U ι U e a we-oue oi se i Ι; where P1 is e se o ois wose coeciiy equieme is i Gie a aiay sie issecio e G e a Euciea ga o a is -ocay-ig wi esec o is issecio i e miimum-cos { 1 1-ege-coece muiga Η o Ρ o wic e iuce ga is a suga o G eoe esciig e oceue o yamic ogammig some eiiios wi e iouce is o ay egio o e issecio ae uicaig some o e eges o G a multigraph within is e a o e muiga coaie wii esuig om e emoa o a eges a coss u ae o eoi isie (see igue 5 (a- e muiga wii as wo yes o ois ose om wic wi e cae e input Figure 5.2 Iusaio o coeciiy ye cosucio (a Α a o ga G isie a egio R, (b) a multigraph M within R, (c) contraction of two-edge-connected components in M and (d) contraction of paths in M pnt a ose eie y e cossigs o e eges wi e oe o P, wic wi e cae e brdr pnt e iea o connectivity type iouce i 15 ] wi e use ee u iee a moe sue caaceiaios ae eee e connectivity type o a muiga is e ("seuo"-oes oaie y e oowig ses (See igue 5 o a iusaio

• Coacig eac maima wo-ege-coece comoe i e muiga iuce y is o-ea eices o a sige ee a associae a coeciiy equieme wi is ee wic equas o e maimum coeciiy equieme amog a eices o e comoe

• Coacig eac maima a comose o iu a/o coace ois o e- gee wo io e sige edge with e eois eig e is a e as ee a e a a associaig with eac eoi o e ew ege e coeciiy e- quieme equa o e maimum coeciiy equieme amog a e ois o e a

I ca ae a a "leaf" in such a seuo-oes ae wo eges coecig i wi is aes(us ee ae ossie cyces o eg wo is eais e ame "seu- oess" is issue sa e ignored and e oaio sa e sigy ause y caig suc "seuo- oess" as oes i e coiuaio 113

om e eiiio aoe i is kow a a coeciiy ye is a oes a wo muiga ae sai o ae e same coeciiy ye i e oess ae isomoic o a egio wi a mos eea cossigs eac oes oaie om a muiga wose iuce ga is e ga wii e egio as a mos eaes us ess a ( eices so ee ae a mos (11 suc oess a eeoe ee ae a mos ( co- eciiy yes

Dynamic programming. e yamic ogammig oceue wi eemie o eac egio a o eac ossie coeciiy ye e miimum-cos muiga o is ye wii e egio

1 o eac ea egio eac ossie muise S o a mos cossigs o e aces o e egio sice ee is a mos oe oi i e egio e miimum-cos mui- ga o eac coeciiy ye coesoig o S ca e easiy comue i ime

ike yamic ogammig i SMU o eac maima sequece o egios 1

sucisaqi+1i e as a oy ois o ci i = egio1 q o — 1 i i e miimum cos muiga o eac coeciiy ye wii 1 ca e easiy

comue om ose wii e i cosa ime Sice ee ae (1 coeciiy yes so e oa ime eee is O (

3 e e ay oe o-ea egio e Q ι Q Q e a aiay

coeciiyeseciey e yesese o coeciiy e ci egios 1 yes(seoo-oess ae comie oug e oeaig cossigs a e eim- iae ese eices om e esuig ga a a sige o oue eges cossig e commo aces a ese eices I a cossig o a commo ace is a eea cossig i oe ci egio u o i e oe e e comiaio is ai I a ai ga is oaie om e comiaio e is coeciiy ye is comu- e y eomig e ecessay coacio y eumeaig a comiaios e 11

miimum-cos o eac coeciiy ye a is coesoig muiga i ca e ou

e oa uig ime o e comiaio coacio is oiousy iea i e o- a sie o ese coeciiy types, a is ( Sice ee ae a mos (( °ίτ

iay ae e miimum-cos muiga o eac coeciiy ye o e oo egio is comue e oima muigas o e oigia oem ca e easiy ou y us akig e oe wi miimum cos amog ose coeciiy yes wic cosis o a ee wi only oe ee aig coeciiy equieme o

a some isoae eices eogig o Ρ

Correctness of the dynamic programming. ow a skec wi e gie o oe a e muigas oaie saisies e coeciiy equiemes a as miimum cos is e muiga wi e sow o mee e coeciiy equieme o eac iu oi is is oiousy ue i oe ooks a coeciiy ye o is muigas ou I is a

ee ogee wi some ois o Ρ so a ois o Ρ1 U ae coece uemoe oy oe ee aig coeciiy equieme o is meas a ois eog o Ρ ae coaie i a wo-ege-coece comoes eesee y is ee e i wi e oe a its cos is miimum amog a suc muigas I is eoug o sow a e souio is oima i eac egio ie i eac egio e muigas o e souio wii it has miimum cos amog a muiga wii is egio aig e same coeciiy ye is ca e oe y coaicio Suose e souio is o oima i some egios ake ay suc a egio a e owes ee eace e muigas i is egio o e souio y e oima souio aig 115

e same coeciiy ye i is egio I is easy o see a a ew muigas saisyig e coeciiy equiemes u wi owe cos a e souio is oaie u is is coaic o e ac a e souio as miimum cos amog a muigas aig e e same coeciiy ye

59 Eesios 1 A e agumes om Secio 5 ece e yamic ogammig a ca e eas- iy geeaie o icue 1 -d-nntvt fr ltrph ega- ig e yamic ogammig oe ca comie e yamic ogammig o e ege-coeciiy om [5] wi e meo o eaig wi ouiom coec- iiy equiemes us e aia o e geomeic suiaiiy oem wee e ege-coeciiy equiemes saisy „ E 1 k} a k = (1 amis aso a ASs e uig ime is owee sigikay geae a ( og oug i is si oyomia o cosa a

Usig e same agumes as i [3] oe ca ee e ASs o icue oe meics as we

3 e As cou e aso eee o a iiie omai o Seie caiae ois

(eg i Ρσ = Χ1 oe as e Euciea comee Seie oem oie oe ca eemie e se Y (o is goo aoimaio as as as caime i emma 51 Figure 5.3 Iusaio o e oo o emma 511 (a A eame o iu coiguaio (

ays Αχ Αν a Α (c Cosucio o υ (oice a e same cosucio is ai ee we ΑΖ oes o ie ewee A a Α ν

5.10 AuDiliary Claims

Lemma 5.10.1 Let and be any positive real numbers and let and be two concentric dndimensional balls of radius r and R, respectively. If and u are points contained in Β and is not contained within of B R then

Proof: is oice a i is suicie o oe e emma o d = uemoe i is easy o see a i is eoug o cosie e case we a u ae o e ouay o (oewise oe cou moe e iage Δ ( u o ae a u o e ouay o wie si aig o coaie within a is o e ouay o (oewise oe cou moe o e ouay o wiou cagig I Ί a wi eceasig II + ui ow see igue 53 o a iusaio o e emaiig o e oo aw ee

ays ΑΧ Au a ΑΑ om e cee o oug ois u a eseciey (see

igue 53 (b)). eie a y o e e ois o e iesecio o e ouay o a ΑΧΕ Au eseciey e e the oi o e ay ΑΙ a ies o e ouay o (See igue 53 (c o a iusaio y e Saes eoem 117 ow cosie e quaiaea o (see igue 53 (c Sice e segmes a C ae aae o is a aeoi uemoe ( = ( CHAPTER 6

APPROXIMATION SCHEMES FOR MINIMUM 2-EDGE-CONNECTED AND RECONNECTED GRAPHS IN PLANAR GRAPHS

6.1 Introduction is cae cosies aoimaio agoims o e mos asic case o e suiae ewok esig oem i wic e esuig suga sou e esisa o e emoa o a single ege o ee Se wo cassica oems cosiee ee ae o i a mi- imum -ege-coeciiy (-C saig suga (a -ECSS o a -ee-coece (-C o ecoece saig suga (a -ECSS o aa gas As meioe eoe ese oems ae ma-S-a [5] ee o uweige gas o we uicae eges ae aowe; eeoe oe ca o eec a SASs u is oes o ecue a AS o esice casses o gas i aicua a ESAS eiss o o oems i geometric graphs of cosa imesio [5] Se goa i is cae is o esig ASs o e wo oems i aa gas May oyomia ime aoimaio agoims ae aeay kow o ese o- ems see e suey [7] a moe ece aaces [ 19 39 7] I uweige gas e es cuey kow aoimaio aios ae / o -ECSS oem [] a a /3 o e -ECSS oem [ 11] o o oems i weige aa gas e es kow sueoeia-ime aoimaio guaaee is si [73 9] A ese aoimaios ae aciee y oyomia-ime agoims wokig o geea weige gas Sis cae describes a AS o e miimum -ege-coeciiy oem a a AS o e miimum ecoeciiy oem o o uweige aa gas Moe geeay we e aa ga as ege weigs e agoims aoimaey soe e miimum-cos oems i ime 1 wee Ύ is e aio o e oa ege cos o e

118 119 oimum souio cos Sis is a AS we γ is oue; oe a γ is oue (y 3 we e ege weigs ae uiom Se ew geea aoac esemes e aoimaio scemes o meic-S i aa gas [ 7 ] I uses a seaao eoem ieacica ecomosiio a yamic ogammig Se ew seaao is ow-cos cyces i a aa ga so a ae coacig ose cyces (a commiig ei eges o e aoimae souio e emaiig ga as a ogaimic sie ee seaao Usig is e iu ga G is ecusiey iie io ieces omig a ecomosiio ee Τ o ogaimic e Eac iece as a ogaimic ume o "oa" eices coecig i o e es o G o eac iece oe ca eumeae a e iee ways a some suga o G (ousie is iece may iuece e coeciiy cosais wii is iece Sese ae cae e

xtrnl tp o e iece a oe ca sow a e ume o suc yes is a sime eoeia i e ume o oas o eac iece i Τ a o eac eea ye oe mus i a ea miimum cos suga o e iece so a ogee wi e eea ye ca mee e goa coeciiy cosais Sese oems ae soe y yamic ogammig wokig u Τ om e eaes o e oo G I e oowig -C eoes "-ege-cοece" -EC eoes "-ee-coece" (o iicoece -EC eoes "-ege-cοece saig suga" -C e- oes "-ee-coece saig suga" a c ( eoes e oa ege cos o a suga Se mai esus ae summaie i e oowig wo eoems 1

As emake aoe eac caime agoim is a EAS we e aio y = c(G/O is oue I aicua Seoems 11 a 1 imy a AS o e nlhtd mi- imum -ege-coeciiy a e miimum icoeciiy oems

I e oowig Seoem 11 wi e iscusse is e e ew ieas equie o Seoem 1 wi e esee Sougou e cae i is assume a gas ae uiece wiou se-oos u ossiy wi aae eges Eac ege e as a

oegaie cos ce ; a suga o mio ieis ege coss om is ae ga a c( eoes e oa ege cos o Η 121

A cycle as o eeae ee u i may cosis o wo eices oie y wo

e eges o A Ae coacio se-oos ae iscae u aae eges ae eaie A minor o ga G is a ga oaie om G oug a seies o suc ege coacios a ege/ee eeios

Definition 6.2.1 A eaiio of a set is a pair of nonemply subsets S1 S } such that Si US =Α and S e Π S = Q.

Suppose ti and are (k—EC, P) -types of two graphs sharing the vertex subset P;

Iuiiey e (k-EC -ye escies ow Α is cosse y ege cus usig ess a k eges Usuay oy e ye we G is (k-EC, P)-safe is ieesig meaig a a ege cus o G o cossig P use a eas k eges Se eeace o suc yes o e k-EC oem oows om is sime caim

Se i coiio aoe ca e aeiae y sayig a H 1 a H2 (o 1 a e ye o Hl, o ice esa ae compatible. 1

1 o eac ossie ye oe o a suga o G1 i a mm-cos (k-EC -sae sa-

ig sugas o G comaie wi i

o eac ossie ye o a sugas o G i a mm-cos (k-EC -sae sa-

ig suga 1 o G1 comaie wi l

3 Cosie a ais o 1 om Se 1 a om Se k eu e mm-cos comaie ai

A simia aoac is use i e EAS o Seoem 11 I is ecessay o ae i a- icua a oyomia ou o e ume o isic suga yes cosiee is eee Oe may succicy eese e (k-EC -ye o G y a smae ga (G wic co- ais Ρ a as e same ye I aicua a mio o G coais as og as o ee o P is eee o wo eices o P ae coace ogee I e secia case o k = oe ca cosuc (G om G y ayig e o- owig ues ui oe ay

1 I a cyce C as a co (a ege e ¢ E (C coecig wo eices o C eee e co

I a cyce C as a mos oe ee i coac C o a oi

3 I a ee ¢ as egee coac i wi a eigo

Se coecess o e aoe oows om e oseaio a a -ege cus a 1-ege cus o ae iaia ue e aoe ues oe a i G is aa e so is (G Aso -sae e so is ( G o e aicaio cosiee i is cae oe ees o cosie e siuaio wee G is emee i a isk wi e eices o Α o

e ouay I e e wo emmas e sie o (G a e oa ume o ossie (k-EC -yes iuce y suga o G ae oue

emma 3 Suppose G (—ΣC -f plnr rph bddd n th d th the vertices of P on the disk boundary. Then ( G is a planar graph embedded in the same way, with 0(113 1) vertices. 13

oo y cosieig e ee ues use o om ( i is aso a aa (k—EC - sae ga emee i e isk wi o e ouay Eey iea ace o ( as a eas wo oas I as eacy wo oas oe aws a ac e isie ewee ose wo oas I as 3 oas oe aws a cyce o acs wii coecig e oas Sese acs om a oueaa ga Α o e oas Oe ca caim a Α as o aae eges Suose isea a wo oas q Ε Ρ ae coece y wo aae acs c1 a coi om aces 1 a Sice a aces mus ioe a eas wo oas oe ca coose ii a a cosecuie a so a 1 a sae a eas oe ege ow cosie e a o (G aw ewee Ι a a i as o cyces (y ue k a is coece so i is a ee ecause ( is (k—EC -sae i is a a om o q y ue 3 i mus e a ege iecy ewee a q u e i is a co ewee 1 a so i sou ae ee eee y ue 1 Seeoe Α is a sime oueaa ga o ee se so i as ess a 1 acs ue i oe a acs om e oue aces o ( (ose aces oue y a segme o e ouay ee ae a mos ee aae acs e ai o oas eeoe a mos 11 acs o eac Ε is egee i (G is a mos e ume o aace acs; eeoe e sum o e egee o i ( oe a Ε is a mos = 111 ow i oe eases eac oa a a iiiesima eigooo aou i e ga ( is asome io a oes (y ue k wi eaes a a iea eices o egee a eas 3 (y ue 3 Se ( as ess a eices o i o i oe wos ( as ess a 131 1 eices oea ❑

emma With and embedded as in the previous lemma, the number of distinct

oo e e a suga o coaiig y immig oe ca make i (k—EC -sae wiou cagig is (—EC -ye I e eious oo i is sow a (G ca e escie y a aa oes wi a mos 1 eaes iea eices 124 o egee a eas ee a eac ea aee y some Ε wee e aes o a gie ae o cosecuie eaes y saa ee couig eciques ee ae (11 suc

6.3 Planar Separators Suppose oe ees o aoimaey soe e -ECSS oem i a aa ga G em- ee on a see I a ow-cos sime cyce C i G ca e ou e oe may iie the problem into suoems y coacig C Sis oows om wo oseaios

Fact 6.3.2 When C is contracted, the sphere pinches into two spheres kissing at the new contracted vertex (a cut-point). Therefore the 2-ECSS problem in G/C is equivalent to two disjoint 2-ECSS problems, one on h sphere.

Sherefore o aoimaey soe e -ECSS oem i G oe may coac C a a- proximately soe e wo ieee -ECSS suoems Se i e eges o ose two solutions ack o G a a e eges o C Se oaie ga is a -ECSS i G. The additive eo o is souio (e ieece ewee is cos a e oima cos is at most the sum o e eos o e wo suoems us c (C Oe ca o aways uckiy i a ig cyce wic oes a goo eoug o o seaaig G eeoe a moe geea ki o seaao comiig cyces wi a Jordan cut is cosiee a oa cu o G is a cose oa cue i e emeig of G that does not coss (iesec e ieio o ay ege Gie a oa cu eey ege is either in the interior o e eeio o u ose eices a aces iesece y J ae o coue i eie e ieio o e eeio o Se oowig eoem is om [ 1] wic is a moikaio o Mies aa se- aao eoem as aeay use o e aa AS [ 7 9 1] 125

Theorem 6.3.3 Let G be a connected planar graph on n > 3 vertices embedded in the plane. Suppose G has non-negative weights on its vertices, edges and faces, and non- negative costs on its edges. Let W be the total light of the graph and let M be its total cost and assume that no edge has weight more than (3/W Then, for any positive integer k one can find a subgraph of G and a closed Jordan curve J in O( time such that:

1. F is the union of at most two vertex-disjoint simple cycles (maybe none). The total cost of the edges on each cycle is at most M/k If contains two cycles and then i( C i(

2. h ntrr f Β nd th xtrr f Α (f th xt bth hv ht t t W/

3. Denote by G th bddd rph tht rlt ftr dltn th ntrr f Β nd th exterior of Α (f they exist) and contracting each cycle in t vrtx f ht Ο Then is a Jordan curve through the new contracted vertices, which intersects edges of G only at their endpoints. The interior and exterior of J both have weight at most (3/W

4. The set of vertices of G on has size (k

Se ee ossie yes o e seaao (accoig o e ume o cyces i ae iusae i igue 1 oe a i is ecessay o assume a eac ege weigs a mos (3/W I a ga as a ege e a as weig age a (3/W a as cos eceeig M/k e o suc seaao wou eis ecause o is ig cos e cao e o ay o e cyces i a ue o is ig weig i cao e i e coace ieio o Β o i e coace eeio o ece e is aso a ege i G a ay oa cue i e coace ga G as e eie i is ieio o eeio a so wou o saisy e i oey 11-

igue 1 Se ee iee yes o e seaao I e is wo cases e oa cue is cose ae e coacio

We e aoe eoem is aie Q is sai o e e se o ew 1 portal eices iouce y e seaao Se oigia ga G as ee iie io a mos ou as o weig a mos (3/W e ieio o e cyce eoe y G (wi coace

e eeio o e cyce A eoe y G A (wi A coace e ieio o a e eeio o e G1 eoe Q ogee wi e suga o G ieio o a e G

eoe Q ogee wi e suga o G eeio o I is way G1 U G = G Ε(G1 Ε(G = Ο, a ν(G1 Π ν(G = Q I e ieie emeig o G1 (o G a eices o Q aea o a sige ew ace wic is cae a portal face; e o aces a iesece ae goe We soig -EC i G oe wi see a e suoems i GA a G ecome ieee -ΕCSS oems u e suoems i G1 a G ae eee ecause ey sae Q

e -ECSS Agoim

e G e e iu wic is a emee aa -ECSS ga wi eices o-egaie ege coss a a aamee Se agoim assigs weig 1 o eac ee a weig Ο o eac ace y eisig aoimaio agoims oe esimaes ΟΡ(G e i "Α" is esee 1 eoe a oas i a ga ew o o A ooe ecomosiio ee is ui om G as oows Eac oe o soes a emee aa ga G wic as ege coss ee/ace weigs a some isi- guise suse Α o "oa" eices Se oo o soes G ise wi o oas Eac oe o as a mos ou cie eie iuciey as oows e G e e ga soe a a oe o a e W e is oa ee/ace weig

I W is ( e is oe is a ea o Oewise ay Seoem 33 o aiio G io a mos ou ieces (ieio o a eeio o A a G1 G eac o oa weig a mos (3/W coacio oa eices om G emai as oas i eac iece wee

ey aea; e gas G1 a Gl eac ge a mos k ew oas e se Q. I G1 a Gl, assig a weig o W/(1 o eac ew oa a weig W/1 ό o e ew oa ace y e Seaao Seoem e ume o ew oas oaie i is ase is a mos k

us e weig o eac o G1 a G2 is a mos W -Ik- ( 1 ΙίW + i W = s W I e ga GA a G assig e ew (o-oa ee weig 1 a a e e emaiig eices ae e same weig as i G Sice eac ci as weig a mos cosa acio o e weig o e ae e ee as e O (og a sie O ( og uemoe i G is k-ege coece y e seaao oeies eac G i is (k-EC -sae y e cosucio Α is e se o oas i G wic ae ee iouce y some oa cu u o ye cu o y a cyce coacio o aoe oa cu ow cosie e ume o oas a aces o e smae gas Sice G A a G o o ae ew

oas a oa aces oe ees cosie G1 a G2 oy Se cosucio esues a

e oas a G1 a Gl ieie om G ae aways eaie a e ew oas i e eices o a e ieie oa aces ae aways eaie a e ew oa ace

Sis imies a i G1 a Gl, eey oa as weig a eas W a eey oa ace

as weig a eas i6 W Sice G1 a G2 eac as weig a mos s W oe ca cocue a G1 a G2 eac coais a mos 1 oas a a mos 13 oa aces Eac oa 128

ace coais a oe mae y a oa cu a some aceso o G i Τ oe a a oa cu mig cu (simy acoss a eisig oa ace i wic case some o oas may aea o e ew oa ace u is si cous as a sige oa ace O i ems o a emeig o a see wi oes a o oes cosse y e oa cu isaea wi segmes o ei ouaies icooae io e oe ew oe ouay G is coece ia o e es o Go (eay a ice a coace esio o G wic ca e emee as isoi ieces oe i eac oa ace o G Seeoe e (k—EC -yes imose o y e es o Go ecomoses io ieee yes oe i eac oa ace o G y ayig emma k o eac oa ace oe may ou a eumeae e °e11 = °(Y/ε ) iee (—EC -yes a may e imose o y e es o Go Ca is is e is o external types o G I is moe ekie aoug o esseia i eac eea ye o G is eesee as a aa ga o sie 1 (see emma k3 emee i e oa aces o G I aicua a e oo o Τ e iu ga G as o oas a eeoe i as e "emy" eea ye o aig comue Τ a ese eea ye iss oe may ow eie a se o suoems a ee o e aoimaey soe

Definition 6.4.1 For G n Τ (th prtl t nd n xtrnl tp t fr G the suo- em (G is this: find a mm-cost (2—EC, P)-safe spanning subgraph H of G which is compatible with t, or else declare that (G, t) is infeasible (no such

Ceckig easieiy is sime us ceck wee is comaie wi G ise Se o- a ume o suoems (oe a coices o G a is °1 " a e suoem (G is e oigia -ECSS oem Se suoems wi e aoimaey soe saig a e eaes o Τ a iisig a e oo Usig yamic ogammig e souios ae soe o aoi ecomiaio I e ase case G is a ea o Τ a as sie = ( Se eumeaie meo ca e aie ase o io-aa seaaos [5] o eacy soe suc su- 19 oems i ( " = °(Ύ/ε ime (is may e egae as a coiuaio o ou meo usig oa cus wiou cyce coacios Oewise G is o a ea a as u o ou cie i Τ as ou y Seo- em 33 Se eea ye is ecomose io ieee eea yes oe o eac oa ace o G

e G c eoe eie G A o G a e Mc e e suye o iuce y e oa

aces o G ooku e souio e o e suoem (G c c a i e eges o He a e eges o C o e a o e aoimae souio Η o e (G suoem

ow cosie e wo emaiig cie G1 a Gl. As i Seoem 33 e G e wa is e o G ae e (u o wo cyces ae coace a ei ieio o eeio is ice; so G1 U Gl = G e eoe e eea ye iuce y i e oa

aces o G o kowig e oima coice o eea yes i a o G1 a Gl, oe ees o y em a Sa is o eey ai (1 wee suoems (G1 a

(G wee ou easie oe ookus ei souios Η 1 a Η a ceck wee = Η1 U Η is comaie wi Se ceaes comaie ou ae ake a is eges ae ie ack o G Sese eges o ogee wi e C a Η eges meioe eaie comise e aoimae souio Η o e (G suoem Aoug G is o acuay associae wi a oe o Τ oe a oe ca si seak sesiy o e (G suoem as eie aoe I ac i wou e a sime mae o eomuae as a eay ee icuig G a eac iea oe o Τ oe wou eie ic oe cyce o ay a oa cu

Aaysis Se aoe agoim soes °ίΥ/ε suoems eac i iO(y/C ime so e

oa uig ime is °(Y/ε Cosie a easie suoem (G y aaiy ecomoses io iee- e yes i eac oa ace a ese aces cao coss a cyce; eeoe eac cyce- ice suoem (G c c a e emaiig suoem (G ae a easie ak- 13 ig e eea ye o G1 iuce y G U as oe we see a (G1 o is easie Su- osig (y iucio a e agoim ou some souio Η 1 o (G1 1 e Η1 U iuces a eea ye o G suc a (G is aso easie Seeoe y iucio u e agoim is some souio o eac easie (G suoem ow suose Η is e souio a e agoim is o a easie suoem (G eie e rrr o (G as e ieece ewee e cos A ( a e miimum ossie cos o eac ice cyce C (u o wo y acs 31 a 3 suoem (G wi iei e eo o ( e us a aiioa aiie eo o a mos c (C Ae icig cyces e emaiig eo o (G is a om (G eca _ _ _ _ _ Cie e ukow oima souio o (G e eoe e eea ye o G1 iuce y ( Γ G U a simiay e eoe e eea ye Se (Gi i as e oima souio Gi (o i = 1 a ( is a comaie ye ai cosiee y e agoim; i ese wo suoems ae soe oimay e souio cos wou e A ( Seeoe e eo o (G is a mos e sum o e eos o (G1 a (G ee oug oe mig o acuay i e es souio usig is ai Seeoe eo ems simy a a a oa cu Seeoe e oa eo o e oo oem (G is a mos e sum o c(C oe a cyces coace i Ι is easy o see a o ay ee o e oa ege cos o a ee is a mos A( G Seeoe e oa ege cos o a cyces coace o a ee is O (A (Go /k Summig oe a O (og ees o e oa eo om a ees o Τ is O ((A (Go /k og y a aoiae coice o e eaig coa 1eiiσ i is is a mos • ΟΡΤ(G Seeoe e ia souio as cos a mos oig Seoem 11 131

5 e -CSS Agoim Se mai iea o e k-ECSS agoim is simia o e k-ECSS agoim Gie e iu ae ga G e seaao eoem is aie o ecomose G ieacicay io sma ieces o eac iece yes ae use o eumeae e iee ways a e "es" o e ga may iuece e coeciiy cosais wii is iece Se yamic ogammig is use o aoimaey i e miimum suga comaie o eac ye o eac iece Simiay oe ca oe a e ume o eea yes o eac iece is a sime eoeia i e ume o oas (emma 5 yieig e same uig ime aaysis Agai e oy souce o eo is i e weig o e seaaig cyce eges yieig e same eo aaysis owee ee ae some iicuies eeig oe om usig e same ecique o soe e -ECSS oem Se icie ikuy is cyce coacio I e -ECSS agoim e ecomosiio ye eiiio a yamic ogammig ae a eome o e mios o G a i is sow a is is sukie u i is o oge easoae o coac e cyces i e k-ECSS oem ecause is cages e oem (i aicua i may iouce a ase ee Seeoe o eac oe i Τ a ai o gas ae ke e comesse suga G as eie i e k-ECSS agoim a is coesoig

nprd suga G a is e suga o G iuce y a eices wic aea (ae cyce coacios as some ee i G As eoe e seaao eoem is si aie o G a e ecomosiio o G is oaie auay u e ye a yamic ogammig wi e eie o G Se ucomesse ga G aso coais oa eices a oa aces wic ae e esages o e oas a oa aces i G Secikay e e e oa cu we e seaao eoem is aie o G e e a ee o I is mae o a sige ee o G e is a ew oa a wi e coaie i e suga o G Oewise is mae o may eices wic ae o a seies o cyces i G e a mos k o ese eices wi e seciie as ew oas o G Sese wo eices ae wee e oa cu 13 wou iesec G i e cyces eesee y ae ucoace Sus ee ae si (k oas i G Eac oa aeas o some oa ace i G coesoig o e oa aces o G a e oa aces ieiy wee "e es o G" wou aea i e emeig

Se eges o eac seaaig cyce wi aea i G as hrd d wic ae commie o e ia souio as i e -ECSS agoim Se oio o yes mus aso e eeeoe i e icoece coe so a oe may agai use yes o caaceie e ossie coueas o a ucomesse ga; is is e oi o emma 5k eow o coeiece yes ae simy eesee as gas (ae a asac cu aes eesee y gas as i Secio k oowig is a eiiio aaogous o "(k-EC -sae" gas

51 yes o (k-C -Sae aa Gas

eiiio o e ye Se eiiio o ye is oeaioa a i is oiee owas

emmas 5k a 5 eow e = ( £ H e ay (-C -sae ga (oes o ae o e aa wi a isiguise oa se Α a a isiguise se o a eges Ετ Se ye ( o is eie y eomig a seies o oeaios o See igue k o a iusaio 133

1 e e e ga cosisig a oas o a a e eges o E om cosuc a simiie ga wic is a oes ome y a coecio o (ossiy coece sas

(a A eices o ae icue i

( Eey oa o is make as a pr-prtl

(c o eac ee q ΦΑ i i is a ee o a e ee o a isoae ege

i mak i as a sue-oas i

( o eac ock o (a ock wi a eas wo eices ceae a ew ee

i as a pr-prtl a coec y a ege e sue-oas o eey ee i e ock

(e Assig isic Is o a sue-oas

eace e suga o y e ga a emoe ose eices a ae o Ι a ae aace oy o a sue-oas (oice a e emoe eices ae a coece oy o eices o a a ock o Η e e oaie ga e 11

3 o eac ock o a is o a ige i i as eacy wo eices a oes o coai a sue-oas coac i io a sige ee

eea e oowig wo oeaios ui oe ay

(a emoe a cos i ay cyce o ii

( o eac a π o Γ wi o sue-oas as iea eices a a iea

eices wi egee eacy ntrt π o a ege wi e same e eices as Π

Noice a simiaiy o is cosucio o e saa cosucio o cuee-ees see eg [3] 134

5 e H' e e ga oaie ae Ses 1- Se ye ( is a ga wi some eices labeled (aig Is ese ae eices coesoig o sue-oas a wi e cae oa oes I is cosuce om as oows

(a A eac cuee i o ( a ee o C as a vertex i ( I i is a sue-oas i e i is a oa-oes i ( wi e I o

( o eac ock i a oes o coai ay sue-oa coac i o a ee i ( Sis ee i ( is eee as a block-vertex.

(c o eac ock i H' coaiig eacy oe sue-oas coac is ock o a ock-ee I e ock is o a ige a is o a cuee i e is ock-ee is a oa oe i ( wi e I o

( Coec a ock-ee y a ege i ( o eac cuee aace o i o o e eices o e ige i e ock-ee is oaie om e ige i H'.

(e I a ock as wo o moe sue-oa e kee e ock i ( as i is i

( iay o eac a π o ( wi o oa-oes as iea eices a a iea eices wi egee eacy contract π o a sige ege wi e same e eices as π

oe e coce o super-portals ca e aie o ay ga a coais oas a a eges a i is comeey eemie y e oa se a e a ege se o H.

Properties of the types. Some asic oeies o e yes ae ise ee is o a e ume o aes o ( is ieica o e ume o sue-oa o Secoy

oice a e ye ( is uiquey eie e 1 a e wo (-C -sae gas o e same ee se a wi e same se o oas a a eges Se 1 a 135 ae sai o ae th tp i ( 1 a ( ae ieica wi esec o ei Is Siy a eices a ae o oa-oes ae egee a eas 3 e oice a i H is ecoece a e oa se a a eges ae emy e ( coais a sige ee (ock-eices iay i is easy o see a e coecios amog oas i H ae esee a esee y e coecios o oa oes i (G Sese oeies ca e summaie i e oowig emma

Lemma 6.5.2 t G nd H b t (-C -f rph tht hv th t f prtl

P nd th t f hrd d Ε t t ( b th tp f H. hn fr n pnnn

brph G f tht ntn ll hrd d n Ε ( nd t ( hv th t f prtl-nd th rpt t I nd G U H bnntd f nd nl f ( U (G

-d nntd nd th tvrt f (G U ( r tvrt f t ( r (G

r th pr prtl rltn fr ntrtn f hrd bl dfnd n th tp

e H e a couea o G wi e same se o oas a a eges i U H is icoece e is sai o e comaie wi (G o ceck wee is comaie wi ( y e aoe emma i is eoug o ceck wee ( U ( is -ege coece a e eices o ( G U ( ae cueices o (G o ( o sue- moas eeseig a ocks o G a H.

e e ume o yes secikay e ume o xtrnl tp o (-C )- saegaspln is cosiee e G e a (-C -sae ae ga wi a a ege se Ε a a oa ace se e e sue-oas se o G eemie y a E. e Ps .

I H e a couea o G a ca e emee i 3 e e ye (G o H is sai o e a eea ye o wi esec o Se ocus wi e o e couea H o G

a aso is (-C -sae a saes e same se o sue-oas S (ie H a G ae e same se o oas a a eges Se e ye ( is cae a eea ye o wi esec o S a Se goa is o sow a e ume o eea yes o G wi

a is Η is aw o e ae suc a a eices a eges o Η ae coaie i e oa aces (icuig e ouaies o a aces i 136

esec o S a is sma a is i is oy eoeia i SI Se oowig emma sows a ye o a ae ga Η ca aways maiai some ooogy o Η

Lemma 6.5.3 t Η = ( E be a planar graph with a set of portals P C that is embedded on the plane. Then, one can draw t(H) on the plane such that t(H) is planar and each portal node of t(H) is drawn at the same location as one of the corresponding portals in Η

Proof: Eey sige oeaio eome o Η wie cosucig ( saisies is

oey a ece ay sequece o suc oeaios saisies i oo ❑

oowig is e e mai emma ouig e ume o yes

Lemma 6.5.4 Let G = (G EG be a (2-VC, P)-safe plane graph with a hard edge set

a super-portal set P S and a portal face set G is embedded in a way such that all super portals of P S will be on the border of the portal faces if the graph consisting of all portals and hard edges is replaced with a as in the definition of type. Then the number of external types of G with respect to P S and F induced by (2-VC, P)-safe graphs is at most ίιρ1

Proof: e Η e ay (-C -sae ae ga a as sue-oa se a is emee i o eac oa ace i e e suga o Η emee i i e Ai .

ecause Η is ae Ai is isoi wi Η 5 o i Coesoigy e suga o ( i iee aces ae aso isoi ece e ye o e suga i eac ace ca e cosiee ieeey

i ay ace i Ε a e suga Η 1 o Η i i e is ye e i ow cosie

e sucue o i Se eices i i wose egee is a mos oe ae goig o e cae as leaves. Α ea mus e a oa oe o ecause a eices a ae o oa oes ae egee a eas 3 y e cosucio o ( Secoy ee may e some aae eges

4Α prtl nd n t( rrpnd t n prtl b th hrd d r prd 137 i i wic mus e ewee wo oa oes (sue-oas ecause oewise i wi e coace accoig o Se a- o e eiiio I i coais a ock e e ock mus e a cyce Sis is ecause y assumio a emma 53 a oa oes ae o

e ouay o i us ca o e isie a ock u ae Se 1-3 o ee wi emai isie e cyce uemoe y cosucio o i eac suc cyce i i coais a eas wo oa oes a a o-oa eices o e cyce mus ae egee a eas 3

o e uose o couig oe ca asom i io a oes wi oy 1(3i1 eaes I oe eases eac oa oe a a iiiesima eigooo aou i e a

oes wi e oaie wi a iea oes ae egee a eas 3 wi o I assige

Se eaes coeso o oas-oes ey ae e same I as e coesoig oa-

oes I ca e caime a e ume o e eaes is (Α 1 5 Sus ee ae a mos

°e1311) suc oess

ece e ume o yes i i ace i is oe o e 0(1P10 ecause i a ae ieee o i Ο e oa ume o ossie eea yes wi esec o Α a

e ( e a ai soe i a oe o Τ wee Μ is e ucomesse (-C Α-

saeaeΑ a a gaaeea ege Suose ye se Ε Ε ase a oa se o Ε is sai o e comaie wi i (I U is -ege coece a e cueices o (I U ae cueices o (I o o sue-oas eeseig a ocks y emma 5 e ume o ossie eea yes is eemie y e ume o sue-oas o Μ ow i wi e sow a e ume o sue-oas i eac suga oaie om seaao eoem is (k y eiiio e ume o sue- moas o Ε is a mos e ume o oas i i us e ume o seaaig cyces (a cyces a e cueices ewee ese cyces ecause e e o e ecomosiio

e oeaio ca e see as wo ses is eak e cyces a e oas o e cyce y easig oy e eigooo o e cyce ege us oe ges a mos 1Ρ1Ι ew eaes a e oaie ga is a oes wi iea eices egee a eas ee ece ose oa oes eeoe e ume o eges o e oes is ( 11 o make a oa oes e eaes oe ca o e same oeaio o e iea oa oes a ges e ia oes 13

ee is a mos (og1 a a eac oe a mos "cyces" ae iouce 6 the number of hard "cyces" is a mos (ogii ece e ume o sue-oas o ΕΙ is (k +

(og1 = (k y emma 5 Ε as a mos (1 = a(Υ/ε eea yes

5 Recursive Decomposition In is secio a oceue is esee o ui a ecomosiio ee T i a way suiae o soe e k-ECSS oem i aa gas Se oceue is simia as o e k-ECSS oem owee a eac oe o T, a ai o gas ae ke e comesse suga G as eie i e -ECSS agoim a is coesoig uncompressed suga G I

e oo e iu ga G a G = C ae soe e e a osiie ea i ceai k = Θ((γ/ og o e es o is secio e G a C e e ai o gas soe a some oe o T. G as a se o oas a se o oa aces F a a se o a eges Se Seaao Seoem is aie o e comesse ga G o oai u o wo cyces Τ a a oa cu aig a mos k eices Sis ecomoses C (eiciy a G (imiciy io a mos 4 smaller graphs:

• For each cyce C in Υ ake e suga o C coaie isie (ousie i e cyce is A C ogee wi e cyce C Oe ca coac C o a sige ee (a eges icie o ay ee o C ae ow icie o e ew ee wi a se-oos emoe a ca e esuig ga Cc Assig weig 1 o e ew ee

ee ae no new oas i G u Gc may iei some o oas a oas aces om C Se weig o Cc is a mos W, wee W is e weig o G

• e G e eie as i e Seaao Seoem Oe ees o eie wo oe com- esse gas G1 a C a ae e ieio a e eeio o e oa cu i G eseciey A eices i ae ae o e se o oas o G1 a G A- iioay e agoim assigs e weig o W o eac ew oa a weig

i W o e ew oa ace us e weig o eac o C1 a G is a mos W

ey may o e sime cyces i I{ u a se o cyces gue ogee 139

Wie G is ecomose eiciy e ecomosiio o C is oaie imiciy Coesoig o C Cc wic is C c u o cyces ae coace esies e eges o C wi e ew a eges i C c

eoe eiig C1 a C wic coeso o C1 a C eseciey oe ees o is eie e ew oas Ιuiiey ese ae e eices wee e oa cu wou iesec e ucomessio ga C e e a oa o e oa cu Ι is mae o a sige ee o C e ise is a ew oa o C Oewise is mae o may eices wic ae o a seies o cyces i C Cosie ose eges E a ae icie o some ee o some o ese cyces a ae i e ieio o i G Assume i is o emy; oewise cosie ose eges i e eeio o i C e e e e emos ege i E o e ie emeig Suose e is icie o wic is o oe o e cyces Se wi e esigae as a ew oa i C Ι ee ae eges o E o icie o ick e igmos ege e i e emeig Suose e is icie o wic is o oe o e cyces Se is aso esigae as e ew oa Ι is way o eac ew oa mae o a cyce i C a mos ew oas ae eie

ow C1 a G wou e e gas isie a ousie eseciey wi o cyce coace ue ey wi o oy iei some o oas a a eges om G u aso ae a e ew a eges a oas eie as aoe Aiioay esies

e ieie oa aces o C1 a C ae a ew oa ace y e Seaao Seoem a e eiiio o (-C -sae i is easy o see

a i C is (-C13-sae e Cc a C1 a C ae aso (-C -sae wi esec o ei oas ow cosie e ume o oas a aces As o e -ECSS y e way o seig e weig o ew oas a ew oa aces oe ca sow a G1 a G eac coais a mos 1k oas a a mos 13 oa aces Se ume o oa aces i C1 a G ae e same as a o G1 a G u e ume o oas i G1 a G may

e age ecause wo oas i C1 a C may e mae o a sige oa i G1 a 1

Gl. owee ese oas mus e o e cyces i G1 a Gl ou y e Seaao Seoem Eac ime e Seaao Seoem is aie a mos "cyces" (aso cae a cyces ae iouce i e ucomessio ga C 7 O e oe a eac ime e ecusie ca euces e weig o e ga y a cosa aio us e e o e ecusio is a mos (og ece e ume o a "cyces" is a mos (og

Seeoe e ume o oas i C 1 a C is a mos e ume o oas o G1 a

Gl us (og ie (k e ume o sue-oas o C1 o Cl is a mos e ume o oas i em us e ume o a cyces a e cueices ewee ese cyces wic is (k + (og = (k Sice C1 a Cl ae cosa ume o oa aces y emma 5 ey ae a mos k = ° ε￿ eea yes eac Simiay i ca e sow a C c as cosa ume o oa aces (k sue-oas a °ί É eea yes wi esec o Ας a is oa aces

53 yamic ogammig Ae e ecomosiio e e se o e agoim is usig yamic ogammig o soe e oem e C e a ae ga wi a isiguis se o a eges A suga Η o G is sai o e consistent i is a saig suga o G a coais a a eges o C Se suoems ae eie as oows a e goa is o soe e suoems aoimaey

As eoe e oa ume o suoems oe a coices o C a is (k =

°(Y/ε Se suoem (C is e oigia k-ECSS oem wee o is emy a

7Τey may o e sime cyces i G u e gue wi a se o oe cyces om eious ecusie cas 11

G is e iu ga wi o oas a o a eges Eac ee i G as weig 1, eac ace a ege as weig Ο As o e -ECSS oem e oems associae wi e eaes wee e comesse C as sie Ν = (k ae cosiee is A a eges o G ae icue i e souio o (G Se suoem isace ae soe eacy i ° (?Ν = °(Ύ/ε ime y ayig io-ao Seoem [5] o C (eiciy a G (imiciy e (G e a suoem associae wi a iea oe o A ase o e souios o e suoems associae wi e cie oes Suose e oem isace o e cie o C CA C C1 a Gl, ae ee soe

e G c eese eie GA o GB. e (C e e suga o a is iuce y e sue-oas o Gc Se miimum suga Ec o Gc comaie wi ye (C ca e ou y ookig u e souio o e oem isace o Gc e = — (C Se souio ]I o (C ca e ou y comiig e souios o (C1 o a (C2 wee oe U = Se EcisU aoimaey ΕΙ e miimum cosise suga o C o eea ye

Analysis of the algorithm As e agoim o -ECSS e oy souce o eo comes om e cyces i e e seaao ie e a eges Usig simia aaysis oe ca sow a y seecig a aoiae cosa i k = ((γ/og e eo is a mos imes e oima o e ime comeiy e ime se i e ecomosiio ase is maiy o e u o e Seaao Seoem wic is aie a mos Ο ( og imes so e oa

ime is (11 og 1t). I e yamic ogammig ee ae 1Y/ε suoems eac ca e soe i (Y/ε ime So e uig ime o e woe agoim is υ οίγ/ε Sis oes Seoem 1 1 CHAPTER 7

APPROXIMATION SCHEMES FOR MINIMUM RECONNECTED SPANNING

GRAPHS IN WEIGHTED PLANAR GRAPHS

7.1 Introduction I is cae e aoimaio agoims o e k-ECSS a k-ECSS oem i a- eay weige aa gas ae suie A saa eaaio o e k-ECSS o-

em is aso cosiee wic is o i a miimum weig -ECSS saig b-lt rph (-ECSS o C meaig a a ege o G ca e use muie imes i (cose- quey is weig is aso coue muie imes i H). Aoe cassica eesio is e 1--nntvt prbl eac ee is assige a coeciiy ye „ Ε f1, } e oem is o i a miimum weig saig suga suc a o ay ai o eices

u E ee ae a eas u = miu „} ege-isoi o ee-isoi as ewee a Se 1--ege-coeciiy is eoe y { 1}-EC a 1--ee-coeciiy y { 1}-EC Se eae 1--ege-coeciiy oem wee eac ege may e use moe a oce is aso cosiee

7.1.1 Related Results A e oems meioe aoe ae ee eesiey suie i e ieaue Sice a ese oems ae -a e mai eseac as ee eoe o esigig ekie a- oimaio agoims see e suey [7] a moe ece aaces [19 39 7] I geea oe wou ee o esig a AS owee a e oems cosiee i is cae ae ma-SE-a [5] Seeoe ey o o ae a AS uess Ρ = u is oes o ecue a EAS o esice casses o gas iee i e eious cae i as ee sow a ee ae As o o k-ECSS a -ECSS oems i htd plnr rph as I ac e aoimaio scemes o i Cae a-

143 7.1.2 New Contributions and Techniques

Eflkient aoimaio scemes o a e aoe meioe oems i weige aa graphs will e esee Sese aoimaio agoims ee i a cucia way o e new cosucio o lht pnnr o aa gas e C e a weige ga e ( eoe e weige soes a isace ewee e eices a i C A pnnr o G is a saig suga Η o G suc a A ( ν s • AGE ( o a A sae oies a aoimae eeseaio o e soes a meic (1-coeciiy i C u i may e muc ige a G Aδe e a 111 esige a sime geey agoim a o a aiay ga G comues a sae Η o G o ay s 1 I e case f plnr gas i is sow i [1]

is ous e aio w(/O i ems o us s I a weige gas i a ga amiy ae saes wi suc a ou o ω(/O (eeig oy o s), e e amiy is sai o ae lht pnnr o is oem ig saes ae kow o e ey 15 useu o soig aious oimiaio oems o gas o eame aa gas ae ig saes o meic-S e is se i e meic-S AS o weige aa gas [] is o eace e iu ga wi a accuae eoug s-saes (usig [1] us eeciey ouig w(G /O o e emaie o e agoim Saes ae aso use i comee geomeic gas o esig eicie As o geomeic S a eae oems [11] a o esig As o e -ege a -ee-coeciiy oems [ 7] y comeig e sae cosuce i [1] wi e aa seaao ecomosi- io aoac ue o aaye ecoece gas i Cae i wi e sow a oe ca esig a EAS o e eECSS oem a a AS o e { 1}-ECSSM oem owee is aoac o eacig e iu ga wi a s-saes ais o e eECSS a -CSS oems Se easo is a a sae oes o ae o e ecoece us e sae may o coai e oima o a ea oima souio i mos cases auay oe may ik o use ig flt-tlrnt saes (see eg i [] wic ae suga a esis as s-sae ee ae eeig a cosa ume o eices o eges U- ouaey is coce is o useu o weige aa gas sice sime eames sow a ig au-oea saes o o eis i weige aa gas o ee o a sige ege eeio o soe e oem meioe aoe e mai coiuio is escie a ew geey sae cosucio wic ouces a ig aa sae wi ceai esiae oeies Secikay gie a weige aa ga G a coece saig suga

A o G a 1 i comues a s-saes o G coais A as a suga a Sus i e agoim is e wi α- aoimae souios o e aious coeciiy oems i a weige aa ga G e a Ο (α/(s — 1 -aoimaio o a oem is oaie wee is a s- scae o G a e same ime uemoe oe ca sow a wie ee o coai 1 a (1 + -aoimae souio S e ume o eges o S "cossig" eac ace o (emma 7 is oue

Ogaiaio is a EAS o e eECSSM oem is esee i Secio 7 Sis secio coais aso a esciio o e mai agoimic aoac use i ou aoi- maio scemes wic is a comiaio o e use o saes a ecusie aoac ie y a aia o e aa seaao eoem a yamic ogammig e i Secios 73 a 7 e ew cosucio o saes is escie a e secia oeies o e saes ae iscusse I Secio 75 quasi-oyomia aoimaio scemes o

7 EAS o e EECSSM oem e G e a coece weige ga A eECSSM o G is a saig su-muiga o G i wic eges ca ae some muiiciy a i wic eey ai o eices is coece y a eas wo ege-isoi as oe a G may o ae ay muie eges a a I a ege is use muie imes i is weig aso coiues muie imes o e weig o Sice i ee es o use a ege moe a wice oe may ca

a ege muiiciies a wo oowig is a AS o is oem wic us i ° ( Ι/ε ime uses oy eges om H. Suose S is a oima - ECSSM i G wi w(e = O ow S is moiie suc a i uses oy eges om H. o eac ege e o S o i H, emoe e a a a soes a om H o oa weig a mos s • wee We e a is ae e eges ae ae wi muiiciy u cae a wo Se esu o a ese moikaios is aoe -ECSSM S usig oy eges om H, eac ege use a mos wice wi w(S s • O e e agoim aies e eECSS aoimaio agoim om Cae o e ga H', wic is H wi eac ege uicae I summay oe ca ge e oowig eoem

Theorem 7.2.1 t ε nd lt G be a connected lighted planar graph with vertices.

There is an algorithm running in t 1 Ο(1 /ε 2) tht tpt -ECSSΜf G whose weight is at most (1 + t) times the minimum.

Why this technique fails for other problems: Se aoe ecique oes o wok o oe oems cosiee i is cae ecause i ese oems we ae o aowe o uicae eges om G i e ouu ga Isea ou aoimaio scemes mus cosie e ossiiiy a e ea-oima S ees some "ea" eges om ousie e sae I Secios 73 a 7 a ew ye o ig aa saes ae eeoe a e ume a aageme o ose ea eges ousie e sae ae imie

7.3 Augmented Planar Spanners I is secio a ew geey agoim is esee o cosuc s-sae i weige aa gas esemig e saa geey agoim [1] o geea gas us as i e saa agoim e agoim akes a coece weige ga G a a aamee s > 1, a ouces a sae Uike e geea agoim ou G mus e aa a o eac ege e o G o i i is guaaee a s • wee is a eas e eg o 148

Figure 7.1 Α o-sime ace i a co e a waks ι a Α some a i e ace o coaiig e Se ew agoim is aso oie wi a i agume a "see" saig suga A coaiig eges a mus aea i H. I Secio 7 A wi e use o eoce some ecoeciiy oeies i e sae

Suose G is a weige pln rph (a is a emee aa ga a H is a suga A hrd e o H is a ege o G o i H. oe a H a e iei emeigs

om G o eac co e Y (e is eie o e e eg o e soes wak coecig e eois o e aog e ouay o e ace o H coaiig e Moe ecisey i e eois o e ae iscoece i e eie w(e = +oo Oewise e coecs wo eices i a comoe o H, a e is emee i some ace o is comoe Se ouay o is a cycic wak o (oiee eges wi oa weig w(; oe a a cu-ege may aea wice i e ouay (oce e oieaio a is weig wou e cou wice i w( Simiay a cu-ee may aea muie

imes Se ege e sis e ouay sequece io wo waks Α a Α o coecig e eois o e wi w( +w(Ρ = w( ow eie we (e = mi(w( ω(Α (see igue 71 Gie G s a A as aoe = υgme(G A is comue as oows 149

add e to Η return H

like the general greedy spanner algorithm [1], except that WHO replaces Ad.

Theorem 7.3.1 Let G be a weighted plane graph, s > 1, and B a spanning subgraph of

G. Then H = HZgment( G, s, A) is an spanner of G. If H is connected, then w(H) < (1 +2/(s - 1)) - w(H).

Proof : To show that H is an spanner it suflkes to show that each edge of G is s- approximated in For e not in H, at the moment it was rejected it must be the case that we (e) < s - weed). Note that W H (e) may only decrease after that, so Ad (e) < Ed (e) < s - wee) at the end of the algorithm. For the second part one needs to show that the weight of all edges in H u not A is at most (2/(s - 1)) - w(A). Suppose e is such an edge; then e is not a cut edge in H since H is a connected spanning subgraph. Sherefore e is bounded by two distinct faces. Let H be either face bounding e. First one can claim that w(H) > (1 + s) - w(e). To see this, consider the last edge e' added to H whose boundary consists of a path P plus e Sice e 150

7.4 Spanners and 2-EC subgraph Suose a weige ae eECSS ga G is gie wee e goa is o i a (1 + - aoimae -eECSS is oe ca cosuc a auiiay suga as oows

Gie a ace i H*, e cos o ae e eges o G emee isie is ace accoig o Gs emeig A Aface-edge e o is a asac ege coecig wo eices o ; uike a co a ace-ege is o ecessaiy a ege o G (I eices aea moe than once o oe mus seciy wic aeaaces is e eois o e Se ace ege e is said o crosses a co c i c is a co o e same ace ei eois ae isic vertex aeaaces o a ey aea i cycic "ecec" oe aou e ouay o Note that e may be embedded isie so e iesecs oy e cosse cos Suose S is a eEC i G a a ege c o S is o i H*. Se c is a co o some ace o H*. e Α e e a i coecig e eois o c suc a w (Ρε • w (c Se e chord move at c is e oowig moikaio o 5 a

o S a e eges o a a wee o aeay i S a emoe om S ay cos isie the cycle c U Ας (see igue 7(a Sice H* is eECSS e cyce as o eeae eges a eeoe S is si a -eECSS ae e co moe Se co moe is improving i w (S eceases; is aes weee w (Α a (o ‚/ • w (c is ess a e weig o e iscae cos Ay oiia co moe igs S cose o H* (i ammig isace us a mos Ο ( imoig co moes ay o ay gie eEC S Proof: First one can suppose that S has no improving chord move at a chord crossing e, since such a move could only emoe some chords crossing e. Let C be the set of chords in S crossing e. Arrange C in "left to right" order, according to how they intersect e. Let e Ε C e e co wi maimum weig Say a a co e Ε C is short if w (c) < • w(c )o(2\/). Now if there are short chords to the left of co, perform a chord move at the rightmost one, e . Similarly if there are short chords to the right of c^, perform 152 a co moe a e emos oe C S is e esu o ese (a mos wo co moes;

oe a C coais o so cos ece ossiy c 1 a A

7.5 ApproDimation Scemes for the 2-reECSS and 2-VACS Problems Ι is secio i wi e sow ow o use ou ew sae cosucio o i quasi- oyomia ime aoimaio scemes o e -eECSS a e -ACS oems i weige aa gas oowig is e AS o eECSS oem A simia amewok as a i e AS o -ECSSΜ oem i Secio 7 is use u isea o usig e sae cosuce as i [1] ow oe may use e augmee sae H* as cosuce i Secio 7 is Seoem 33 is aie o H* wi k = O(og1/ o ecomose H*. ow- ee iee om e AS o e eECSS oem H* may o coai a ea- oima souio o e eECSS oem Sus oe cao wok o e ieces o H* i- ecy ouaey emma 7 guaaees a ee eiss a ea-oima souio wi 153 a mos (k og (1 / eges cossig e oa cue Sese cossig eges ca e guesse y yig a °(k1°g(1/ε ossiiiies Se guesse eges ae ae o e coe- soig ieces a e eices o aog ogee wi e eois o e guesse eges eemie e se o oas o e ew ieces o eac ossie ew iece wi e guesse eges weigs ae assige o e ew oas suc a eac ew iece as cos a mos cosa acio o a (k oas Se e ew ieces ae ecusiey ecomose As i e EAS o e eCSS oem o eac iece ege-coeci-iy yes ae eie o escie ow ese oas may e coece ousie oe o e ieces i a (1 + aoimaio souio Se ume o yes o eac iece is °(1°g(/ eoe- ia i e ume o oas Se yamic ogammig is use o soe e suoems as eoe a e cyce eges ae commie o e souio Se aoimaio sceme o e eCSS oem is simia a oy e ie- eces ae meioe ee is is eeie as emake a e e o Secio 7 a e ee-coeciiy yes ae eie usig e same eciques as i Cae Se eo o e ia souio comes om wo souces is e eges o e cyces a aose om e aicaio o e seaao eoem o e souio ae ae Sice eac iece i e ecomosiio as weig a mos cosa acio o is ae weig e e o e ecusie cas is Ο (og ii As eoe e oa eo e ecusie ee is O((w(/k og wee k = O(og/ aw( = Ο (ΟΡΡ/ y a aoiae coice o e eaig cosa eiig is is a mos (ε/ • O Moeoe eac ime a ace o (o is ieces is cu y a oa cue Ο (og(1 /ε cossig eges ae guesse I ese eges ae guesse oimay (ey wee eges i some oigia oima e e y emma 7 a aiie eo o a mos ε/ imes e weig o ese guesse eges is ai Summig oe e eie assemy o a ossie souio e oa o ese eos is a mos (/ - O 154

Se omiaig aco i e uig ime comes om yig a 1°1°g/ os- siiiies o e guesse eges Se weigs o e suoems ae oy a cosa imes e weig o ei esecie aes a eeoe a ue ecusie aoac (wiou y- amic ogammig eas o a ime ou o A(ii 1οϊ"°g(Ι/ε (c • ( c 1), wi souio ((1/1°g(Ι/ε1°g Sis ou may e imoe y a ogaimic aco i e eoe y usig yamic ogammig a y a moe caeu cou o suo- ems Se oowig emma oe i [ 1] ous e ume o ways ow a ga ca e ecomose egaess o is weig sceme

Lemma 7.5.1 Let G be a planar graph on n vertices with non-negative edge costs, em- bedded in the plane, and a parameter k 1 Then one can find a list of (τ separations of G such that for any valid weight scheme of the vertices, edges and faces of G some separation in this list satisfies the properties of Theorem 6.3.3.

emma 751 sows a a iece is aiioe i oy ( iee ways o mae ow may aagemes o e eices aog e oa cue a icie wi e "guesse" eges Sis imies e oowig emma

Lemma 7.5.2 The total number of distinct pieces (contracted graphs) of the

originalH*thatTherefore1ο(1°n occur theduring number our recursive decomposition is of distinct subproblems (a piece, P = O ( og (1 /t) portals selected in the piece, and an external connectivity type on those portals) is 1ο(1°gΟ(ΙΙΟ(ΙΙ = ο(κι°g(1/ε

7.6 EDtensions to the f1, connectivity Problem In is secio oe ca ee e eious esus o e 1 coeciiy oems i weige aa gas Oe ees o ocus o e agoim o e 1 }-ECSS oem 155 oy Se agoim o e {1 }-ECS oem ca e oaie simiay Se agoims esee ae moikaios o e esecie agoims i Secios 7 a 75 is cosie e 1 }-ECSS oem wic is a eae esio o e 1 }-ECS oem wee uicae eges ae aowe As i Secio 7 i ca e sow a ee is a (1 + -aoimae 1 }-ECSS AM a uses oy eges om a ig (1 + - sae So isea o G oe ca wok o wi uicae eges Se mai ieece om Secio 7 is e yamic ogammig a Se co- eciiy yes ee o e eeie o eec e ouiom coeciiy equieme o is oe ca use e coeciiy ye cosucio i Cae 5 Iomay e mai ieece is a eac ime a ecoece comoe o a is coace e iges coeciiy equieme amog a coace eices is assige o e ew ee Sis iceases e ume o yes om °(11 o °(11 wee is e se o oas i e gie ga Agai a EAS is oaie wi uig ime ° ( /ε • ow cosie e 1 }-ECS oem is a -aoimae souio Α ca e ou usig agoims om [] (o [3] o 1 }-ECS Se Α is augmee io a ig sae as i Secio 7 Usig simia agumes as i e oo o emma 7 oe ca sow a ee is a (1 + aoimae 1 }-ECSS e so a o eac icke ace-ege e oy (og(1 / eges o e coss e ow eeie e coeciiy yes as aoe iay yamic ogammig is use o soe e oem Se uig ime is si omiae y e ume o suoems °(Ιogυ·Ιg(Ι/ε/ε ece a QAS is oaie i is case Se esus i is secio ae summaie as oows 156

Theorem 7.6.2 t t nd lt G b htd plnr rph th n vrt hr

n lrth rnnn n t l Αι 1ο(1/ε/ε tht tpt 1}-ECSSGΗfh tht

w(H) < (1 + t • OPT.

Theorem 7.6.3 t t nd lt G b lhtd plnr rph th n vrt hr

n lrth rnnn n t 1 gτιοg(1/ε/ε tht tpt 1}-CSS Η f G h tht

w(H) < (1 + t - OPT. CAE

AU-OEA GEOMEIC SAES

1 Ioucio Sis cae cosies geomeic au-oea saes i Euciea saces wic ae omay eie as oows

11 eious esus Sis oem o ekiey cosucig goo au oea saes as ee oose ecey y ecoouos e a [3] Sey esee i [3] ee agoims cosucig ee au-oea saes Sei is agoim is ase o e oseaio a e (k+ s-owe o a sae is a (k -S (a emowe o a ga G is a ga wi e same ee se as G a i coais a ege ewee ay ai o eices a ae coece y a a i G wi a mos s eges Seeoe i oe sas wi e sae cosucio om

157 15

[55] e i ime ( og + (k oe ca oai a (k -S o maimum egee

° 1 a e oa cos o (k imes e cos o a MS o a cosa k is cosucio eas o a au-oea sae wi asymoicay oima aamees Se oe wo agoims escie y ecoouos e a [3] use e ll-prtd pr dptn [ 13] I is sow a a ee au-oea sae ca e cosuce (i i ( og +

ime wi ( eges o (ii i ( k og ime wi ( k og eges eie e maimum egee o e oa cos o e au-oea sae is oue i ese wo agoims I a oow-u ae ukoski [] gae a cosucio o (k -S wi e oima ume o eges ( ; e uig ime o is agoim is ( og—Ι + k og ogi ukoski esee aso a cosucio o (k -S wi e mai- mum egee o ( a iesigae au-oea saes a aow e use o Seie ois Se mai iea o a cosucio i [] is o ake a ig-quaiy (a is wi cosa maimum egee a oa cos ooioa o e cos o MS see [5 55] - scae a e u aou eac oi k Seie ois so a e isace ewee e oi a ay Seie oi associae wi i is iiiesimay sma Eac oi is coece wi a Seie ois associae wi i uemoe weee ee is a ege i e sae ewee a ai o iu ois a u e is ege is e i ou au-oea sae a k ew eges ae ceae y coecig i a macig e Seie ois associae wi a u I is o iku o see a e oaie ga as eacy k aiioa Seie ois e egee o eac ee (eie iu oi o a Seie oe is ue oue y (k a a e oa cos o e ga is (k imes e cos o miimum saig ee uemoe oe ca sow a i oe emoes ay se o a mos k eices om a ga e o ay ai o eices coesoig o e emaiig ois ee is a a coecig ese ois wose eg is ue oue y + imes e Euciea isace ewee e ois 159

8.1.2 New Contributions She mai oe oem e i [3] a [] is wee ee eis au-oea saes aig goo ous o e maimum egee a e oa cos Se es ous oaie i e io cosucios wee e au-oea saes aig e maimum egee o (k y ukoski [] a e oe aig e oa cos o (1 imes e cos o a MS y ecoouos e a [3]

Se is esu i is ae esoes a oem a gies a cosucio o pt-

l ( t -S

Theorem 8.1.3 Let V be a set of points in 11 Let t > 1 and let k be a positive integer.

Then, one can construct a (k t) -EFTS for V that has maximum degree (k nd whose total cost is 07 (k WMS hr MST denotes the cost an MST of V. The constants implicit

n th -nttn depend on t and

oice a y e agumes aoe is esu imies e ieica esu o k-ege au-oea saes I is o iku o see a e sae omise i Seoem 13 as asymo- ically optimal bounds both for the maximum degree and the total cost. Indeed, sice a (k, t)-EFTS ((k -ES as o e k + 1-ege coece eey ee mus ae egee

(k o see a e oa cos mus e Ω(k MS i e wos-case cosie the o- owig cosucio (see aso [3] see igue 1 Suose a k is ee e e a c e wo ois wi Ί e i e = 1 a e « 1 / Cosie ois suc a k/ o them are contained in a a Β ι o aius ceee a e ι a e emaiig - k/ ois ae co- tained in another ball Β o aius wi e cee a cl. Sice ay MS o ese ois has only a sige ege ewee Β 1 a Β MS = (s owee sice e minimum degree of any ee (o k-ege au-oea sae is k + 1 eey ee i Β 1 as o be connected to a eas k/ + eices coaie i a Β Seeoe ee ae (k eges ewee Β Ι a a e cos o ay ee (o k-ege au-oea sae is

7(k MS 160

Figure 8.1 Any EFTS for points in Ai and mus ae weig a eas Ω(k ), while the MST h weight 0(1).

Se cosucio i Seoem 13 is a geeaiaio o e geey agoim a as ee use eoe o cosuc saes [1 5 15 3 55] Se mai coiuio i is coe is e is ecise aaysis o e au-oea saes oaie i a cosuc- io Se e coiuio gies a eicie cosucio o goo au-oea sa- es Se cosucio om Seoem 13 gies au-oea saes aig oima aamees u i oes o ea o a eicie agoim o cosucig e saes Se oowig eoem sows a oe ca cosuc ey ekiey a au-oea sa- e wose oa cos is us sigy age a oima (a e maimum egee emais oima

Ou ekie agoim om Seoem 1 is based on a new, interesting property of Euciea gas a gies a suicie coiio (characterization) for graphs to be (k, t)-EFTSs. 11 eimiaies I is cae may agoims iesigae wi cosie ais o ois (eges i some sequeia oe o coeiece e oa oe o e coss o e eges i E is io-

As meioe eoe both, directed and undirected Euclidean graphs wi e co- siee Sougou e cae ( u wi eoe both, a uiece a a iece ege om o u I e is a o e cae i Secio 3 undirected gas a uiec- e au-oea saes ae aaye wie i e seco a o e cae i Secio o coeiece directed gas a ei saes wi e cosiee oice owe- e a is isicio is eay o coeiece oy sice ay uiece sae ca e coee o iece oe y eacig eac ege wi wo iece eges; simiay ay i- ece sae ca e asome o e uiece y makig eey ege uiece a e emoig e aae eges ewee a ais o eices

1 Mees eoem a Is Cosequeces Se oowig emma a oows easiy om Mages eoem (see [11 Cae III eoem 5] wi e use ae

• either ( Ε Ε or there are s internally vertex-disjoint vu-paths in G and

• either ( u E E or there are s internally vertex-disjoint vu-paths in G

Then, there are s internally vertex-disjoint vu-paths in G In particular, if one removes any s - 1 vertices in u} om G then the obtained graph still contains a vu-path. ❑

Oe ca easiy ee e aoe emma o oai e oowig Then, there are s internally vertex-disjoint vu-paths in G. In particular, f one removes any s — 1 vertices in V \ fv, u} from G, then the obtained graph still contains a v path. ❑

3 k-ee au-oea Saes o ow egee a ow Ce I this section, the following algorithm will be analyzed to show it constructs (k -ES of both low degree and low cost.

Caim 31 The k-Greedy Algorithm constructs a (k, t)-EFTS. 13 oo e e ay suse o aig sie a mos k is oe a G is a saes o

emak 3 Notice that Claim 8.3.1 holds even f the edges are taken in an arbitrary order (that is, not necessarily nondecreasing).

Furthermore, this claim holds not only for Euclidean graphs and the assumption

31 Aayi e Maimum eee Sis secio is eoe o oe a e (k -ES cosuce y e k-Geey Ago- im as maimum egee O (k Se aaysis is i a simia sii as e aaysis o e geey agoim o oma saes see eg [1 15] oowig is a auiiay caim a wi e use i ae aaysis 1

oo Let p be any t-spanner ux-path in G'. Let q be the ux-path obtained by taking the edge (u, u) followed by p. Shen

uemoe i Ζ eoes e oi o e segme u suc a (uu = (uu = π/ then

e osee a ΙνΖΙ = Ιuν • si((Ζuu Ιόν • si a ui = ΙυνΙ • cos((uu

ΙυνΙ • cos Θ Seeoe comiig ese wo ieiies wi (1 a ( oe oais 15 eges i G a ae soe a (u Cosie is ay ege (u Ε Ε υ suc a ( Ε y Caim 33 e u-a cosisig o e eges (u ( is o eg ue oue y • Iiik

e cosie ay ege (u Ε υ suc a ( Se sice e k- Geey Agoim as o ake ege (u o E ee mus eis k + 1 ieay ee- isoi -saie uu-as a eac ege o ese as is soe a ( wic is ess a (u Seeoe y Caim 33 ee eis k + 1 -saie u-as ewee u a u suc a a as egi wi ege (ό a e ae ieay ee-isoi

Summaiig ee ae k + 1 eices 1 k+ suc a o eac i 1 i k + 1 (i (u i Ε Ε a (ii eie (i u Ε E a (υτ + Ιiν • Ιόν o G coais k + 1 -saie u-as ewee ό a suc a a as egi wi ege (u i a e ae ieay ee-isoi a eac ege o eac a is soe a (u eeoe oe ca ay emma 1 o cocue a G coais a eas k+ 1 ieay ee-isoi -saie u-as eac a usig oy eges soe a (u Sis owee coaics o e ac a (ό u is a ege o G a ece is comees e oo o e caim ❑

I [ 1] i was sow a ee is a cosa c suc a o ay oi Ε a ay age θ π ee is aways a coecio C o ((c/ -1 coes i IE

aig e ae a oi suc a (i UcEC C = a (ii eac coe C Ε C as e agua iamee a mos θ Oe ca icooae is ue ou o e ume o coes i C wi Caims 31 a 3 o oai e oowig emma

emma 35 Let be any point set in a Euclidean space 1 Let k be any non-negative integer and let be any real number, 1 Then, the Greedy Algorithm returns a

(k t) -EETS for having maximum degree of 0 ( (e/ -1 k where cos θ - si θ In particular, if the dimension and are constant, then the maximum degree is Oak). ❑ 166

8.3.2 Upper Bound for the Cre of Spanners Generated by the k-Greedy Aldorithm Se mos iku a caegig a o e oo o Seoem 13 is e aaysis o e oa cos o e sae geeae y e k-Geey Agoim Ι oe o ou e cos o a sae oe ees o is iouce e coce o "lpfr prprt" [9] wic yies a ou o e oa cos o a se o eges i ems o e eaie osiio o ese eges i Euciea sace o coeiece e e = (ΙΙ o ν e G e e e ga oaie om G ae

emoig a eices i e ogee wi ei icie eges a e y emoig a eges o soe a (Ι1 ν y e iscussio aoe a y Mages eoem ay

υ ν -a i C e mus ae oa eg geae a • Ιυ ν Ι Se goa is o sow a 8.4 Efficient Construction of Fault Tolerant Spanners In e eious secio i as ee oe a e k-Geey Agoim geeaes (k - Ss wi ow maimum egee a ow oa cos Se isaaage o is agoim owee is a i is o kow ow o imeme i ekiey I is secio a aeaie 19 aoac o cosuc au oea saes wi e iscusse o coeiece i is secio directed gas a ei saes wi e cosiee is e oio o gap property a near parallel edges is iouce a e a ew sukie oey o gas o e (k -ESs is aee Se oe ca use is caaceiaio o esig a sime agoim a geeaes goo (k -ESs i oyo- mia ime iay agoim is ue o decrease the running time to U ((n k log s n +

k log k)) .

1 asic Auiiay oeies She following are wo imoa oios o iece eges a wi e eaiy use i e cae

eiiio 1 (Near parallel edges) Two directed edges (p, q) and ( u are called α- near parallel if after translating vector xi such that coincides with that is, to the vector p± with z = u — (x - the angle between vectors p^ and 51 is upper bounded by

eiiio (Gap property) t ω Ο t G = ( be a directed Euclidean graph. A set of edges Ρ C satisfies w-ga oey if for any two edges (νι iii (" υ Ε Ρ the distance betlen the heads and the tails of (i iii and (ν u is greater than w times the length of the shorter of the two edges, that is,

mi{Ινι ν 1 Ιuι ιι } ω • mi1νιυι11νυ1}

Se oowig esu is sow i [15] (e cosa imici i e -oaio oes o ee o A Ou e caim saes iomay a i wo eges i a iece Euciea ga ae ea aae a cose o eac oe e oe ca om a sae a ewee e eois o e "oge" ege y cocaeaig e "soe" ege a e sae as ewee eois o e wo eges Sis caim is esseiay oe i [ emma ]

8.4.2 Sufficient Conditions for Beind a k-VerteD Fault-Tolerant Spanner In is secio a ew suicie coiio o a Euciea ga o e a (k -ES wi e esee ae i wi e sow ow is coiio ca e use o oai a ekie agoim o cosucig (k -ES Se aoac is moiae y a simia caac- eiaio o saes eeoe y Aya a Smi i [] Notice that in Lemma 8.4.6, it is allowed that some of the ui and vi are equal to ii o u oewise a oe eois o e eges i (ui ν1 (1+1 + } mus e

aiwise isic

oo In order to prove that G is a (k, t) -HEFTS, one need to show that for any two eices u Ε eie (u u Ε E o G coais k + 1 disjoint t-spanner uv-path, each ii-a aig a eges soe a uνΙo cos α Se oo is y iucio o e ak o

e isaces ewee e ais o ois i I ΙυνΙ as e miimum isace amog a ais o eices e (u mus e a ege o E a ece e caim os o u e oe ca ocee y iucio Cosie a ai o eices ii Ε y iucio o a oee ais o eices y E wi Iy Ι ΊυνΙ eie ( y Ε E o G coais k + 1 disjoint t-spanner by-paths, each having a eges soe a Ιυ Ιo cos α Se goa is o oe a eie (ii Ε E o G coais k + 1 disjoint t-spanner uv-paths in G, each having all edges shorter than IuIo cos α One only has to consider the case when (u, v) ςΙ E. Shen, by the lemma's assump- 17

(i o eac 1 i k + 1 ege (ui νι is soe a (υν1/ cos α

(ii a ui a νι a ae eie u o ae aiwise isic

(iii o eac 1 i k + 1, eges (u i a (u ae -ea aae a

(i o eac 1 i k + 1, mi uk } ω•ιι1ν

ick ay ege (u i Assume wiou oss o geeaiy a ιuu i = miIuu 11}

Sice (υ1 Ai a (u u ae α-ea aae y (iii iiiίΙ ίυν1/ cos a y (i a Ιυυι ω • ΊυίνίΙ y (i Caim (i imies a νiν IIu ece y iuc-

io eie (i Ε E o ee ae k + 1 isoi -sae A iν-as i G a usig oy eges soe a cos i Simiay sice ουί ΙυνΙ either (u Ai) Ε E o

G coais k+ 1 isoi -sae uuk-as a use oy eges soe a Iu/ cos α uemoe y Caim (ii eac u-a cosisig o a -sae uuk-as (o ege

(u u1 ege (1k i a a -sae A iν-a (o ege (i is a -sae u-a So a i as ee oe a ee ae +1 eges (u1 ν1 (υ (k+1 ±i suc a o eac i 1 i k + 1 (i eie (u ui Ε E o G coais k + 1 is- oi -sae i-as a use oy eges soe a Ιυ1kΙ/ cos a a (ii eie

(i Ε E o ee ae k + 1 isoi -sae uuk-as i G a use oy eges so- e a IuI/ cos a ow e caim oows iecy om e Mees eoem (o moe eais see emma ❑

Esseiay ieica agumes ca e use o oe e oowig caaceiaio o ege au-oea saes

emma 7 t α ω b rl nbr h tht α π/ ω (cos α - si α — t G = ( E b Eldn rph Spp tht fr n t vrt u and

f thr (u Ε E or thr r k + 1 d f(l A (k+1 k+ } C E such that

• for 1 < +1 Iuiνi ΙυνΙ/ cos α 173

igue Se k-Ga-Geey Agoim

Se caaceiaio o (k -ESs i emma amos immeiaey imies a sime oyomia-ime agoim o cosucig suc saes wic is cae k-Ga- Geey Agoim a escie i a om o a mea-agoim i igue Se oowig cea emma escies mai oeies o e k-Ga-Geey Ago- 17 oo is i wi e oe a G is a (k -ES y sowig a o ay oee ai o eices u oe o e wo coiios o emma is saisie I (u Ε e e is coiio is oiousy ue Oewise (u E a cosie e ieaio o e agoim we (u is cose Se oy easo a (u is o ae o is a I k + 1 u is imies a e seco coiio o emma is saisie o (u u Seeoe G is a (k -ES y emma e i wi e oe a e maimum ou-egee a e maimum i-egee o eac ee is (k e u e ay ee is oe e ou-egee o u is (k e

Cu e ay coe i wi e ae a u a e agua iamee a mos α e Εcυ e

e se o eges i G egiig a u a ae coaie i e coe C u I wi e oe a Ι Ε Ι k + 1 wic immeiaey imies a e ou-egee o u is (k ow aaye e eaio o e agoim a e mome we ΙΕ Ι = k+ 1 a e agoim cosies a ew ege (u wi Ε C Σ Osee a i a case oe wi ae Ecυ C Ε a ece E wi e o sie a eas k + 1 Seeoe e agoim wi o a e ege

(u o e sae is imies a Ecu k + 1 a ece e ou-egee o u is (k Oe ca use esseiay ieica agumes o oe e i-egee o u is (k (Simia agumes sow a u is e ea/ai o a mos k + 1 aiwise -ea aae eges iay oe ees o oe a G as sma cos Oe ca ocee simiay as i e oo o emma 3 a is aiio E io isoi ses Ε Ε suc a eac E is a maima se o eges wic ae a-ea aae y e iscussio i e oo o

emma 3 ee ae ( (e/c -1 suc isoi ses Ε Ε e us i oe se Ε a iie e eges i Ε io a miima ume o gous suc a e eges i e same gou saisy e w-ga oey I wi e oe a ( gous ae sukie I is eoug o sow a o ay ege E Ε ee ae a mos ( eges e E i soe a e suc a e e} oes o saisy e w-ga oey 175

i a ege (u Ε Ε e (u = {A Ε ](A q Ε Ε ΙAgΙ uνΙ

ΙuΙ w • q} a e Ε e e se o eges i Ε a (i egi a eices i ίu a (ii ae soe a i oe a sice Ε (u „ ς Ε a eges i Ε ν ae aiwise

α-ea aae Oe ca sow a ΙE (uν Ι (k + s y coaicio Suose a ( + s a cosie e ieaio i wic e ege (u is icke y e agoim e E e e se ake y e k-Ga-Geey Agoim we e ege (ii » is cosiee I wi e oe a Ε k + 1 wic coaics o e assumio

a (u Ε e Ε e e se o a eges i soe a (u u suc a o eey

ege e Ε E (i e is a-ea aae o (u a (ii e (u } oes o saisy e w- ga oey oe a ecause e agoim icks eges i oeceasig oe e coiio 3 o e agoim imies a oe o e eges i E saisies w-ga oey wi (u Sus E ca e eie as e sum o ceai xl thn i Σ a e se o a eges i Σ a eie egi a u o e a Seeoe o oe a Ι k + 1 i is sukie o sow a eey maima macig i Σ coais a eas k + 1 eges uemoe ecause o e we kow eaio ewee e caiaiy o e maimum macig a e miimum caiaiy o a maima macig i is eoug o sow a e maimum macig i Σ coais a eas (k + s eges Oe ca oe is oey y cosieig e eges i (u is osee a y e eiiio (u „ ς Σ Seeoe oe oy mus sow a Ε (u ν as a macig o sie a eas (k + s oe a ee ae a mos k + 1 eges i 1Ξ saig a eac ee as oe aoe Sice i is assume

a ΙEίuν ( + s oe ca cocue a se au ν mus coai a eas ( + s isoi eges Seeoe ee is a macig o sie a eas (k + s i Σ u is eas

o a coaicio a ece oe oe a (u (k + s

Symmeicay oe ca eie (u ν a oe a E(u ν (k+ s Seeoe

ΙE(uν U E(u„ ( + 1 ece oe ca cocue a oe ees a mos ( + s gous o eges om i suc a e eges i eac gou saisy w-ga oey us i is oe a oe ca aiio e eges i E io O((e/α —1 gous suc a e 17 eges i eac gou saisy w-ga oey o cocue e oo oe ca ay Caim

3 o oai a ue ou o e oa cos o E o e ( (e/ — ώ og imes e cos o miimum saig ee o ❑

3 Eicie Cosucio o k au-oea Sae I is easy o imeme e k-Ga-Geey Agoim i oyomia ime owee iec imemeaios ea o e uig ime o Ω ( Sis secio iscusses ow a ago-

im ca e moiie o aciee e uig ime o ( k og s + k og wie si euig a sae aig e aamees omise i emma Se ew aoac is simia o e oe eeoe y Aya a Smi [] o cosuc saes wi oue egee a ow cos

e mai iea ei e ew aoac is o o cosie a e O ( eges u o ae a ekie oceue a wi "oi" ceai eges wiou cosieig em eiciy uig e u o e agoim Sice eey ee is o egee (k e goa is o esue a oy (k eges icie o ay ee ae cosiee y e agoim Se ues o iseig a ege i e k-Ga-Geey Agoim wi e eae i oe o oai a moe ekie imemeaio O oe a e goa is o maiai e oeies o e ouu sae equie y emma a o e oe a e aim is o ouu a sae aig oeies escie i emma eow e mai iea is escie ei a eaaio a e agoim ise is escie i Secio 3

Mai iea ei e moiie aoim A coecio o coes o agua iamee α (see Secio 31 wi e use o es wee wo eges ae α-ea aae o eac oe Sa is i is assume a ee is a coecio C o coes wi aees a e oigi a e agua iamee α so a e coes i C coe Se a ege (u is sai o e i a coe C i e eco u - u Ε C Usig is oio eac ime a ai o ois u wi

(u Ε C ae cosie oe oy ees o ook a ose eges ( y Ε E a ae i C 177

Sice i (u a ( u ae i e same coe e ey ae α-ea aae o eac oe is oio aows oe o ea esig o α-ea aae eges Oce e coecio C o coes is ie e coes om C wi e cosiee sea- iaey Se sae is ui y eiig e ege se E wic wi e e uio o e ege 1, ses cosuce o eac coe seaaey e Ε eoe a ose eges o E isie e coe C Ε C

a coe is a i ca e eiciey maiaie y a yamic agoim (see aso [ 13] uemoe i is easy o sow a i isc ( y isc (u e ii υνί / cos Seeoe y Caim a emma e agoim emais coec (i e sese a i saisies e oeies om emma ee i ege ( y is cosiee eoe ege (u u Summaiig e agoim is goig o cosie e eges isie eac coe i oe- egeasig oe o ei isc eg 17

e ( y e a ege i a coe C Ε C that is to be taken by the algorithm. Observe that if there are already at least k + 1 edges in C with the head at x then the edge (x, y) will not be taken by the algorithm. Sherefore, whenever a vertex x already has k + 1 outgoing edges in C, then no further edge starting at x in C will be considered. Symmetrically, one only needs to consider at most k + 1 incoming edges for any point u.

She other reason for rejecting edge (x, u) is that there are many disjoint edges in

C which are shorter than (x, u) with respect to disc length and are very close to either x o u e Ε e ay iu oi wo secia aa sucues wi e use o maiai a maximal set of disjoint edges in C that have starting or ending points close to x, respec- tively. Shese two data structures will be modified not when an edge in C incident to x is considered, but instead, they will be updated each time an edge close to x is inserted in- to Ε To be more precise, at each moment of the algorithm, a set Cc (x) is maintained for eac Ε wic coais a se o isoi eges i £ suc a o ay (υν Ε c( 179 edges in Ε and V6 containing points that still can be the tails of new edges in Ε Each time the size of certain Fc (x) is greater than or equal to k + 1 is deleted from V; no fur- ther edges in C that begin at x will be considered, c (x) will not be updated anymore, nor will x be considered in any further sets N (u . Similarly, if e ( k + 1 is deleted from V6, no further edges in C ending at x will be considered, e ( will not be updated and x will not be considered in any further sets u • I this way, since both c (x) and Cc ( have a size between 0 and k + 1 the total number of operations for updating the sets c (x) and e ( in the entire algorithm (for a given cone C) will be 0 (k n) .

Observe that once a vertex x has been reported 2 (k + 1 imes i e ses (uν head of at most k + 1 edges in C, there must be 2 (k + s disjoint edges among all these edges. Sherefore, in this case, the size of c (x) must be greater than or equal to k + 1 (see

Lemma 8.4.8 for a more detailed discussion on similar arguments). Hence, at this moment

wi e eee a wi o e eoe i Ν u ν o ay u Ε ay moe o e same 180

Improved k-Gap-Greedy Aldorithm In the previous subsection the main ideas behind the modifications of the k-Gap-Greedy Algorithm are presented. Shese ideas allow one to design a new algorithm that finds good fault-tolerant spanners eflkiently. A more formal description of the algorithm is presented below, on page 185. A formal proof of its cor- rectness will be given first and then an eflkient implementation of the algorithm will be discussed.

Properties of the Improved k-Gap-Greedy Aldorithm. Shis section is devoted to a formal proof of the following lemma.

Proof: One needs to prove that the output of Improved k-Gap-Greedy Algorithm has

the same properties as the output of k-Gap-Greedy Algorithm after some conditions are

relaxed. She proof is similar to that of Lemma 8.4.8.

i. (u, v) is considered explicitly in the "while" but is not inserted to Ε

In this case, disc (u, v) is minimum at the beginning of certain iteration. Since (u, v)

is not added to Ε there must exist either k + 1 edges with heads at u or k + 1 edges

with tails at u which are already inserted to Ε Shese edges have length at most 181

uνΙ/ cos a ae α-ea aae o (u a ey ae oe commo eoi wi (u Seeoe e seco coiio o emma is saisie

ii (u is eee we some oe ai ( u is icke a ae o Ε i e "wie"

o summaie i as ee oe o eac ai ( ‚ eie ( y is a ege i G

1 ννi v ^^v vu is (k Se oo is asicay e same as e oo o emma e u e ay ee Accoig o e Imoe k-Ga-Geey Agoim i is easy o see a mos k + 1 eges egiig a u ca e ae o e Ε o ay gie coe C Ε C Seeoe e ou-egee o u i G is (k Simiay oe ca sow a e i-egee is O(k iay oe ees o oe a G as sma cos i a coe C a iie e

σC i F i a miima ιme o στc c a e i e came gυη saisy 182 are "shorter" than e in terms of the disc length and such that fe, e'} does not satisfy the

- gap property.

i a ege (u Ε Ε e Ε = ( u Ε Ε disc (x, u) < disc (u, v) and

ΙuΙ • Ιu } a Ε u = ( y Ε Ε isc ( y isc (u a ay Ι y }

Osee a i a ege ( u is "soe" a (u wi esec o e isc eg a i

ais o saisy e ga property with (u, v), then (x, y Ε Εu U Είν Sherefore, to 5-

oe e caim i is suicie o sow a Ιu U ίu Ι = (k ).

First it will be proved that ΙΕΙu = O(k e (Σ = {( y Ε Ε distc (x, u) < ευ isc (υ ν and ΙυχΙ φ % • Cy }. Note that since lux φ υ Ε C ν Αη e oa-

(k ) which directly implies that Ε = O(k owig i wi e sow a είΣ = (u

See ae wo oseaios is ecause a eges i ε(u are "shorter" than (u, u) with respect to disc, all these edges are picked and inserted to Ε by the algorithm before

(u, v) . Secondly, each time after one of these edges (x, y) is inserted to Ε the algorithm inserts (x, y) to c (u) if (x, u) is disjoint with edges already in c (Di). In other words, at the end of each iteration of the Improved k-Gap-Greedy Algorithm c (u) keeps a maximal macig o e eges i είν that have been inserted to Ε so far.

ow oe ca oe y coaicio a είú <2 (k+sl Suose a είu

(k+ s . It has already been shown that each vertex has out-degree (in-degree) in Ε of at mos k+ 1 Seeoe e maimum macig o ε ίν must contain at least 2 (k+ s edges a us ay maima macig o Ε must have at least (k + s edges. Since Cm (u) is a maima macig o είν c (uΙ k+1 Se ee mus eis a ege ( y Ε ε(υ such that during the iteration when (x, y) is inserted to Ε ( y is also inserted to c (u), a c (u Ι ecomes k + 1 owee e Imoe k-Ga-Geey Agoim is esige such that in that moment u must have been deleted from V and all edges with head at u including (u, v) are also deleted from EC and will not be inserted to Ε Shis contradicts

o e ac a (u E Ε Sus i is oe a ευ Ι Ιευν Ι <2(k±s - Details of the implementation of the Improved k-Gap-Greedy Aldorithm. She de- scription of the Improved k-Gap-Greedy Algorithm is on a high level and now it will be disscussed how one can implement that algorithm efficiently. In order to obtain an eflkient implementations one must provide eflkient data structures that allow one to query for (i) an edge (u, v) Ε Cc wi miimum isc (ii e ume o eges i Ε beginning or ending at u, (iii) reporting all points in N Du and N ^u ν ^, and (iv) for verifying if an edge (u, v) is disjoint to all edges in CAC or He (x) .

It is easy to see that one can maintain the data structure (ii) reporting the number of edges in Ε beginning or ending at a given vertex with constant query time and update time. Similarly, one can easily maintain the data structure (iv) verifying if an edge (u, v) is disjoint to all edges in Fc(x) or Hc(x) with 0(logd) query time and update time. (The bound for the query time follows immediately from the fact that c (x) or HC (x) contains

0(k) edges and one can use a balanced binary search tree to store the endpoints of these edges.)

Aryan and Smid [6] gave an eflkient data structure supporting queries (i) for an edge in Ec with minimum disc. As it is demonstrated (and discussed in details) in [6], the total running time needed to perform all these operations is in our case 0 (n k log s 1t) . (This bound follows from the fact that one can use query (i) 0(k) times, and as shown in [6], efficient data structure can be built in time 0(ii log s 11) that has constant query time and

0(log 11) amortized update time per edge.) 1

o ekiey eo a ois i (u a Ν Ευ ν oe ca use yamic aa suc- ue o oogoa age queies (see [] Se agoim oy eees ois a eeoe

e amoie eeio ime is (og - a e quey ime is (og_ ime us e ume o eoe ois [] Sice eac oi is eee a mos oce e oa ee-

io ime is ( og -Ι Α quey oeaios is eome o e yamic aa sucue eac ime ae a ege is isee so e oa ime is (1 og s= o (k eges

Eac ee is eoe a mos ( imes we eoe oe ees o eiy wee c ( o e ( ca e eace y aig a ege e eiicaio a uae akes ime

(og us e oa ime o eoig eiicaio a uae is ( og k I summay oe ca cocue e iscussio i is secio wi e oowig emma

emma 8.4.10 Let be a set of n points in Rd. Let α ω be real numbers such that 0 < α π/ and 0 < w (cos a — si a Let = 1/(cos - si a — ω There is a constant c such that the Improved k-Gap-Greedy Algorithm can be implemented to run in

time ((e/α - ( k og s + og k ❑

Oe ca cocue e iscussio i is secio wi e oowig mai eoem a oows immeiaey om emmas 9 a 1

Theorem 8.4.11 Let α w be real numbers such that 0 < a π/ ω (cos cc - si Let be a set of n points in Rd. Let t = 1 /(cos a - si a — w There is a constant c such that in ((e/a - ( k ogs + og time the Improved k- Gap-Greedy Algorithm computes a directed (k t)-EFTS having the maximum degree of

❑ ((e/α - k and the total cost of 0 ((c/a a /w og MS

o cocue is secio oice a Seoem 11 imies iecy Seoem 1 15 CHAPTER 9

CONCLUSIONS

Shis dissertation studied combinatorial optimizations problems arising from two areas: scheduling and network design. She main focus was to design eflkient approximation algorithms for NP-hard problems.

9.1 Schedulind Problems

In the scheduling area, problems in master-slave model have been considered. She master- slave model finds many applications in parallel computer scheduling and industrial settings such as semiconductor testing, machine scheduling, transportation maintenance and paral- lel computing.

She complexity issues are considered first. It is shown that many makespan and total completion time problems with constraints such as canonical, order preserving and no-wait-in, are NP-hard in the strong sense.

Motivated by the computational complexity, some special cases of the problem are considered. Several eflkient algorithms are designed to minimize the total completion time and makespan. Shese algorithms are proven to have very good approximation ratio. Next more general cases are discussed. A job can have an arbitrary release time and arbitrary processing time. Shere can be a single master, multi-masters, or distinct preprocessor and preprocessor. Constant approximation algorithms are designed for the total completion time problem. It is shown that these algorithms give good approximation for makespan at the same time.

Shere are several questions that have not been answered. In this dissertation, it is assumed that there are no precedence constraints among the jobs. Shese assumption may not hold in some applications. It is worthwhile to develop approximation algorithms which

186 187 work well even with precedence constraints. Only the makespan and total completion time are considered so far. Other objectives such as maximum lateness, number of tardy jobs and total tardiness, have not been studied. In view of the NP-hardness of makespan and total completion time, minimizing these objectives must also be NP-hard. In that case, it will be desirable to have good approximation algorithms.

9.2 Network Desidn Problems

She survivable network design problem is the problem of designing graphs that resist edge and/or vertex removal. Shis is a fundamental problem in algorithmic graph theory with numerous applications in computer science and operations research. It is well-known that all nontrivial variants of the survivable network design problem are NP-hard and therefore the main research interest lies in the design of eflkient approximation algorithms.

First the geometric version of the survivable network design problem is considered.

A PTASs is developed for the f0, k-connectivity problem in which each vertex has a connectivity requirement at most 2. Shen it is shown that the techniques can be generalized to other Sp metrics and to the f0, 1,... ,B}-edge-connectivity problems for multigraphs.

PTAs or Quasi-PTASs are designed for the minimum 2-connectivity problem and some of its variations in weighted or weighted planar graphs.

Shen the problem of eflkient construction of fault-tolerant spanners are considered.

A greedy algorithm is presented which finds the fault-tolerant spanners with both maximum degree and total cost asymptotically optimal. An eflkient algorithm is then developed to find a fault-tolerant spanners with asymptotically optimal bound for the maximum degree and almost optimal bound for the total cost.

Two important components used in all the approximation schemes are hierarchical decomposition and dynamic programming. Shrough the decomposition, a large graph is decomposed into smaller ones which have small interface with the rest of the graph. In the Euclidean space, random shifted dissection is used to decompose a set of points into 188

egios Se ieace ewee wo egios coais oy cosa ume o oas I aa gas a moiie seaao eoem is eeoe a aie o ecomose e gas io sma ieces Eac sma iece as a mos ogaimic ume o oas Se sma ieace ewee sua aows oe o soe e oem y yamic ogam- mig i oyomia ime I wou e gea i oe ca ee e aoe eciques o oe eae oems oowig ae some ossie oems k-connectivity problem in doublind metrics. Se ouig imesio o a meic is e smaes k suc a ay a o aius ca e coee usig k as o aius Sis coce o asac meics as ee oose as a aua aaog o e imesio o a Euciea sace ouig meic aeas i seea acica aicaios suc as ee-o- ee ewoks a aa aaysis I [ 11] aiwa sowe a o ow imesioa meics ee eis quasi-oyomia ime aoimaio scemes o AS a oe oimiaio oems Se geomeic esio o e k-coeciiy oem as ee cosiee a oy- omia aoimaio scemes ae ee esige k-coeciiy oem i geomeic gas y Cuma a iges i [] Sei agoim is ase o e amewok o Auoa [3] ike e aoac use y ao a Smi [11] o e AS oem ei agoim ees o saes a some oe oiia eciques o e oem i e ow imesio ouig meic ee is o kow esus aou cosucio o ig a sase saes Seeoe oe ca o use e aoac as i [] owee i is si ossie o aciee a Quasi-AS y usig some oe ieas a ose om [11] [7] []

Minimum strondly connected subgraph in planar draphs. o e geea uige gas cosa aoimaio agoims ae ee gie y Scue e a i [71 7] 189

She existing separator theorems only work for undirected graphs. A ETAS for the problem

in planar graphs will heavily depend on light, directed cycle separators.

Forbidden minor 2-ECSS (or 2-ECSS). Shere are two diflkulties here: first, the usual

separator theorems do not produce cycles (just trees). Also the appropriate generalization

of Lemma 6.2.4 may require a careful application of the Robertson-Seymour theory, which

appears difficult. For the special case of bounded-genus graphs, both of these issues look

more tractable.

For the fault tolerant spanners, an obvious open question that is left is whether one can design an efficient algorithm that outputs fault-tolerant spanners having properties from

Sheorem 8.1.3. It is believed that it should be possible to design an 0 (Lk pollywog L) -time

algorithm for that problem.

In all existing analysis of fault-tolerant spanners, the cost of fault-tolerant spanners is compared with that of MST. Since a fault-tolerant spanner must be (k+ s connected, a natural question is how to compare its cost with the cost of the minimum (2 + s connected

spanning subgraphs. One can extend the example in Figure 9.1 to show that the cost ratio between the optimal (1,1 + t) fault-tolerant spanner and the minimum (2 + s connected

spanning subgraphs can be arbitrarily large in planar graphs. It is believed that the cost ratio for the geometric graphs should be bounded by constant. It is desirable if one could design eflkient algorithm to construct such light spanners.

Shere are many algorithmic applications of spanners, perhaps the most appealing being the recent application in an 0(L log 1t )-time approximation algorithm for the Eu- clidean ASAP [101].[10 i On the other hand, not many applications of fault-tolerant spanners are known. Actually, even in the most natural application to the connectivity problem, the fastest approximation algorithms do not use fault-tolerant spanners [25, 26, 27]. Sherefore, investigating the relationship between the connectivity problems in Euclidean graphs and the notion of fault-tolerant spanners would be an interesting topic. I is emig (a ey ieesig o y o ee e esus o geomeic au oea saes o o-Euciea gas Oe cou ee Caim 31 o o o a- iay gas a is o sow a e ga oaie i e k-Geey Agoim is a (k -ES o aiay (a is aso o o-Euciea gas uemoe sice e k-Geey Agoim is a eesio o e cassica geey a as ee use eesiey i e cosucio -sae see eg [1] i is ausie o ask wee i ouces goo quaiy saes o aiay gas o o aa gas o eame i oows om [ii a i e k-Geey Agoim wi k = is u o a aa ga e i ouces a saes wose oa cos is ue oue y (1 /( — s imes e miimum saig ee cos owee is esu cao e geeaie o age is ee ae gas a oes o ae ig saes a a see igue 91 o a eame uemoe ee i ee is oe e geey agoim ca o aways ouce goo saes see igue 9 191

Due to its potential applications in various situations, ad hoc wireless network has received signilkant attention over the last few years for its various applications. In an ad hoc network the links between neighboring nodes get up and down from time to time be- cause of mobility of the nodes and the communication capabilities of each node is usually constrained by its limited battery power. This makes fault tolerance of the network one of the fundamental and critical issues. Because the network is distributed, the global algo- rithms for survivable network design and fault-tolerant spanner in this dissertation do not work any more. Li et al. [84] studied how to set the transmission radius to achieve the k-connectivity with certain probability for a network of n devices; they also proposed a construction of fault-tolerant spanners. Although the number of links is bounded, the to- tal cost (transmission polr) may be unbounded. A natural question is how to assign the transmission power for each node to minimize the total transmission polr assignment. REFERENCES

[1] I. Aίe G as oki ose a Saes O sase saes o weige

gas Discrete & Computational Geometry, o 9 1 - 1 1993 [] M eAmico So oems wi wo macie a ime ags Operations Research, 5 777-77 199 [3] S Aoa oyomia ime aoimaio scemes o Euciea aeig saesma a oe geomeic oems Journal of the ACM, 5(5753-7 199 [] S Aoa M Gigi Kage Scei a A Woosy A oyomia ime aoi- maio sceme o weige aa ga AS Proceedings of the of the 9th Annual

ACM- SIAM Symposium on Discrete Algorithms, 33 - 1 199 [5] S Aya G as M Mou S Saow a M Smi Euciea saes So i a aky I Proceedings of the 27th Annual ACM Symposium on Theory of Computing, 9-9 as egas May 9 - ue 1 1995 ACM ess ew Yok Y [] S Aya a M Smi Ekie cosucio o a oue-egee sae wi ow weig Algorithmic, 17(133-5 auay 1997 [7] Cc ake Introduction to Sequencing and Scheduling. o Wiey Sos ew Yok 197 [] M e eg M a Scee M Oemas a O Scwako Computational Geometry

- Algorithms and Applications. Sige- eag ei 1997 [9] A ege Cuma M Gigi a Cao Aoimae miimum ecoece su- gas i ige aa gas Manuscript, [ 1] A ege M Gigi a H. ao A -coece seaao o aa gas Manuscript, [11] M ooas Modern Graph Theory. Sige-eag ei 199 [1] OE ue a Se A sceuig moe o comue sysems wi wo casses

o ocessos Sagamore Computer Conference on Parallel Processing, 13 - 13 1973 [13] Caaa a S Scosaauu A ecomosiio o muiimesioa oi ses wi aicaios o k-eaes-eigos a 1t-oy oeia ies Journal of the ACM, (17-9 auay 1995 [1] S Cakaai C iis A Scu A Smoys C Sei a Wei Imoe sceuig agoims o misum cieia I Proceedings of the 23rd International

Colloquium on Automata, Languages and Programming, - 57 199

192 193

[15] Caa G as G aasima a Saes ew saseess esus o ga sa- es I Proc. f the 8th Annual ACM Symposium on Computational Geometry, pp. 19e1 ei Gemay ue 1-1 199 ACM ess ew Yok Y [1] C Cekui Mowai aaaa a C Sei Aoimaio eciques o aeage comeio ime sceuig SIAM Journal on Computing, 31(1 1-1 1 [ 17] Ceiya A Se a C Sigei A imoe aoimaio agoim o miimum sie k-ege coece saig sugas Proceedings f the f the 6th International Integer Programming and Combinatorial Optimization Conference, LNCS, 111- 13 199 [1] Ceiya S Imaa a A Ea Aoimaio agoims o miimum-cos k- ee coece sugas Proceedings f the f the 34th ACM Symposium on Theory f Computing, pp. 3-31 [19] Ceiya S Imaa a A Ea A aoimaio agoim o e miimum-sie ee coece sugas SIAM Journal on Computing, 3(15-155 3 [] Cew See is a aa ga as goo as e comee ga I Proc. f the 2nd Annual ACM Symposium on Computational Geometry, pp. 19-177 19 [1] S Coa a C-Y sai A ac-a-cu aoac o miimum cos muiee e- wok esig Discrete , 5-9 [] E G Coma (e Computer and Job-Shop Scheduling Theory. o Wiey a Sos ew Yok 197 [3] Casaa M Scaiskii a Scysaa Aoimaio o ese sase isaces o mi- imum ecoeciiy AS a a oems Proc. f the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 7-3 [] A Cuma M Gigi Sissoko a Cao Aoimaio scemes o miimum eege-coece a ecoece sugas i aa gas I Proceedings f the 15th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 9-9 ew Oeas A auay 11 - 13 SIAM iaeia A [5] A Cuma a A igas O aoimaiiy o e miimum cos saig sugas oem Proceedings f the f the 10th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1-9 1999 [] A Cuma a A igas as aoimaio scemes o Euciea mui-coeciiy oems I Proceedings f the f the 27th Annual International Colloquium on Automata, Languages and Programming, pp. 5- [7] A Cuma A igas a Cao oyomia-ime aoimaio scemes o e Euciea suiae ewok esig oem Proceedings f the f the 29th Annual International Colloquium on Automata, Languages and Programming, LNCS, 3 973-9 19

[] A Cuma a Caco au-oea geomeic saes I Proceedings of the 19th Annual ACM Symposium on Computational Geometry, 1-1 Sa iego CA ue -1 3 ACM ess ew Yok Y [9] G as eea a G aasima Oimay sase saes i 3-imesioa Euciea sace I Proceedings of the of the 9th Annual ACM Symposium on Com- putational Geometry, 53- Sa iego CA May 19-1 1993 ACM ess ew Yok Y [3] G as a G aasima A as agoim o cosucig sase Euciea saes International Journal of Computational Geometry and Applications, 7(93-315 1997 [31] G as G aasima a Sao A ew way o weig maouise Euciea gas I Proc. of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, 15- 1995 [3] iese Graph Theory. Sige-eag ew Yok [33] u a AY eug Miimiig mea ow ime i wo-macie oe sos a ow sos Journal of Algorithms, 1- 1993 [3] Esei Saig ees a saes I - Sack a Uuia eios Handbook of Computational Geometry, cae 9 5-1 Eseie Sciece 1997 [35] C G eaes A ee aoimaio aio o e miimum sie k-ege-coece saig suga oem Journal of Algorithms, 15-1 19 [3] eisce A aoimaio o miimum cos 1 } ee coeciiy In Pro- ceedings of the 8th International Integer Programming and Combinatorial Optimiza- tion Conference, oume 1 o Lecture Notes in Computer Science, 115-19 Uec e eeas ue 13-15 1 Sige-eag ei [37] eisce Sc ai a Wiiamso A ieaie ouig aoimaio ago- im o e eeme coeciiy oem I Proceedings of the 42nd IEEE Sym- posium on Foundations of Computer Science, 339-37 as egas Ocoe 1-17 1 IEEE Comue Sociey ess os Aamios CA [3] G eeickso a έά O e eaiosi ee e icoeciiy augme- aio a aeig saesma oem Theoretical Computer Science, 19( 19-1 19 [39] Gao A ea ecomosiio aoac o aoimaig e smaes 3-ege co- ece saig suga o a muiga Annual ACM-SIAM Symposium on Dis- crete Algorithms -93 [] Gaow ee eomace ous o iig e smaes kege coece sa- ig suga o a muiga Annual ACM-SIAM Symposium on Discrete Algo- rithms 3 -9 195

[41] Gao Μ Goemas a Wiiamso A ekie aoimaio agoim for the survivable network design problem. Mathematical Programming, 82(1-2):13- 40, 1998.

[42] J. Gab, L. J. Guides, J. Hershburger, L. Change, and A. Chu. Geometric spanner for routing in mobile networks. In Proceedings of the 2nd ACM Symposium on Mobile Ad Hoc Networking & Computing (MobiHoc 2001), pp. 45-55, Long Beach, CA, October 4-5, 2001.

[43] M.. Carey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York, 1979.

[44] E. N. Gilbert and H. O. Pollak. Steiner minimal trees. SIAM Journal on Applied Mathe- matics, 16(1):1-29, 1968.

[45] MAX. Goemans. Improved approximation algorithms for scheduling with release dates. In Proceedings of the Eighth ACM-SIAM Symposium on Discrete Algorithms, pp. 591- 598, 1997.

[46] T.F. Gonzalez and S. Sahni. Flowshop and jobshop schedules: complexity and approxima- tion. Operations Research, 26, pp. 26-52, 1978.

[47] M. Grigni, E. Scoutsoupiass, and C. Papadimitriou. An approximation scheme for planar graph ASP. Proceedings of the of the 36th IEEE Symposium on Foundations of Com- puter Science, pp. 640-645, 1995.

[48] M. Grigni and P. Sissokho. Light spanners and approximate ASP in weighted graphs with forbidden minors. Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 85re857, 2002.

[49] M. GrOtschel. Discrete mathematics in manufacturing. Proceedings of the of the 2nd International Conference on Industrial and Applied Mathematics, pp. 119-145, 1991.

[50] M. Griitschel and C. L. Monma. Integer polyhedra arising from certain network design problems with connectivity constraints. SIAM Journal on Discrete Mathematics, 3(4):50re523, November 1990.

[51] M. Griitschel, C. L. Monma, and M. Stoker. Computational results with a cutting plane algorithm for designing communication networks with low-connectivity constraints. Operations Research, 40(2):309-330, 1992.

[52] M. GrOtschel, C. L. Monma, and M. Stoker. Polyhedral and computational investigations for designing communication networks with high survivability requirements. Operations Research, 43:101re1024, 1995.

[53] Μ Giisce C Moma a M Soke esig o suiae ewoks I Μ O. Ball, T. L. Magnate, C. L. Monma, and G. L. Nemhauser, editors, Handbooks in Opera- tions Research and Management Science, volume 7: Network Models, chapter 10, pp. 617-672. North-Holland, Amsterdam, 1995. 19

[5] M Giiewa ukoski C Scieaue a Sc Coe isiue maieace o esouce ekie wieess ewok ooogies I Moie a ema

eios Proceedings of the 8th Euro - Par, oume o Lecture Notes in Comput- er Science, 935-9 aeom Gemay Augus 7-3 Sige-eag ei [55] Gumusso C ecoouos a G aasima as geey agoims o co- sucig sase geomeic saes SIAM Journal on Computing, 31(5179-15 Augus [5] Gumusso C ecoouos a G aasima Imoe geey agoims o cosucig sase geomeic saes I M M aόsso eio Proceedings of the 7th Scandinavian Workshop on Algorithm Theory, oume 151 o Lecture Notes in Computer Science, 31-37 ege oway uy 5-7 Sige-eag ei [57] Gua wo-sage yi owso sceuig oem Journal of the Operational Research Society, 3 359-3 19 [5] EA a Aoimaio o ow so sceuig Mathematical Programming, 175-19 199 [59] EA a AS Scu A Smoys a Wei Sceuig o miimie aeage com- eio ime Oice a oie agoims Mathematics of Operations Research, 513-5

[] S ocaum(e Approximation Algorithms for NP - Hard Problems. AWS uisig Comay oso MA 1995 [1] A oogeee a Kawaguci Miimiig oa comeio ime i a wo macie owso Aaysis o secia cases Mathematics of Operations Research, ( 7-91 1999 [] Sc wag a S icas Seie ee oems Networks, 55-9 1991 [3] K wag S icas a Wie The Steiner Tree Problem. o-oa Amseam 199 [] Sc ai A aco aoimaio agoim o e geeaie Seie ewok oem Combinatorica, 1(139- 1 A eimiay esio aeae i Proceedings

of the 39th IEEE Symposium on Foundations of Computer Science, - 57 ao Ao CA oeme -11 199 IEEE Comue Sociey ess os Aamios CA [5] M oso Oima wo a ee-sage oucio sceues wi seu imes icu- e Naval Research Logistics Quaey 1 1- 195 [] oi agaacai a S aaaaa A 5/-aoimaio agoim o mii-

mum -ege-coeciiy Proceedings of the 14th Annual ACM-SIAM Symposium on

Discrete Algorithms, 75 - 73 3 197

[67] P. Indyk and R. Motwani. Approximate nearest neighbors: Towards removing the curse of dimensionality. In Proceedings of the 30th Annual ACM Symposium on Theory of

Computing, pp. 604 - 613, Dallas, TX, May 23 - 26, 1998. ACM Press, New York, NY.

[68] A.H.G. Rinnooy Kan. Machine Scheduling Problems: Classification, complexity and com- putations, Nijhoff, The Hague, 1976.

[69] W. Scem and W. Nawijn. Scheduling multi-operation jobs with time lags on a single ma- chine. University of Twenty, 1993.

[70] S. Schuller. Approximation algorithms for finding highly connected subgraphs. In D. S.

Hochbaum, ed., Apprxtn Alrth fr λίρ - Hard Problems, pp. 236 - 265, 1996.

[71] S. Schuller, B. Raghavachari and N. Young. Approximating the minimum equivalent di-

graph. Proceedings of the of the 5th Annual ACM - SIAM Symposium on Discrete Al- gorithms, pp.177-186, 1994.

[72] S. Schuller, B. Raghavachari and N. Young. On strongly connected digraphs with bounded cyce eg UΜΑΑCS--9-1/CS--31 199

[73] S. Schuller and U. Vishkin. Biconnectivity approximations and graph carvings. Journal of the ACM, 41(2):214-235, March 1994.

[74] G. Kortsarz and C. Nutov. Approximation algorithm for k-node connected subgraphs via

critical graphs. Annual ACM Symposium on Theory of Computing 2004, pp. 138 - 145.

[75] M.A. Langston. Interstate transportation planning in the deterministic flowshops environ- ment. Operations Research, 35(4), pp. 556-564, 1987.

[76] E.L.Lawler, J.Scc. Lenstra, A.H.G. Rinnooy Scan, and DAB. Shmoys. Sequencing and scheduling: Algorithms and complexity. In S.C. Graves, A.H.G. Rinnooy Scan, and P.M. Zipkin (eds.), Logistics of Production and Inventory, Handbooks in Operations Research and Management Science 4, North-Holland, Amsterdam, 445-522, 1993.

[77] E. L. Lawler, J. Sc. Lenstra, A. H. G. Rinnooy Kan, and D. B. Shmoys, editors. The Traveling Salesman Problem. John Wiley & Sons, New York, NY, 1985.

[78] C.-Y. Lee and G.L. Vairaktarakis. Minimizing makespan in hybrid flowshops. Operations Research Letters, 16, pp. 149-158, 1994.

[79] J. Y T. Leung and H. Chao. Minimizing Mean Flowtime and Makespan on Master-Slave Systems. To appear in Journal of Parallel and Distributed Computing.

[80] J. Y T. Leung and H. Chaco. Minimizing Total Completion Time in Master - Slave Systems. Manuscript.

[81] C. Levcopoulos and A. Linger. There are planar graphs almost as good as the complete graphs and almost as cheap as minimum spanning trees. Algorithmic, 8:251-256, 1992. 198

[] C ecoouos G aasima a M M Smi Eicie agoims o cosucig au-oea geomeic saes Annual ACM Symposium on Theory of Computing 199 1-195 [3] C ecoouos G aasima a M M Smi Imoe agoims o cosucig au-oea saes Algorithmica, 3(11-15 [] i W Wa a C i ous eoyme a au oea ooogy coo o wie- ess a oc ewoks Journal of Wireless Communications and Mobile Computing, (1 19-15 [5] io a aa Aicaios o a aa seaao eoem SIAM Journal on Computing, 9(315-7 19 [] ukoski ew esus o au oea geomeic saes I Proc. of the 6th Work- shop on Algorithms and Data Structures, oume 13 o LNCS, 193- 1999 [7] ukoski New Results on Geometric Spanners and Their Applications. esis Uiesiy o aeo 1999 [] Sc Meio a S Ce yamic acioa cascaig Algorithmic, 515-1 199 [9] G Mie iig sma sime cyce seaaos o ecoece aa gas Journal of Computer and System Sciences, 35-79 19 [9] S Mice Guioie suiisios aoimae oygoa suiisios A sim- e oyomia-ime aoimaio sceme o geomeic ASA k-MS a eae oems SIAM Journal on Computing, (19-139 Augus 1999 [91] C Moma a Sacoss Meos o esigig commuicaios ewoks wi ceai wocoece suiaiiy cosais Operations Research, 37(531-51 uy 199 [9] eeg Distributed Computing: A Locality-sensitive Approach. Sociey o Iusia a Aie Maemaics iaeia A [93] eeg a A Scie Ga saes Journal of Graph Theory, 1399-11 199 [9] M e a Sasa-Scuik Imoe aoimaio agoims o weige e a 3-ee coeciiy augmeaio oems Journal of Algorithms, 17-19 1997 [95] C iis C Sei a Wei Miimiig aeage comeio ime i e esece o eease aes Mathematical Programming, 199-3 199 [9] M ie Scheduling : Theory, Algorithms, and Systems. eice a 1995 [97] oe a A Sege The Steiner Tree Problem. A Tour Through Graphs, Algorithms and Complexity. ieg eag Wiesee 199

[9] M Queyae Sucue o a sime sceuig oyeo Mathematical Programming, 53-5 1993 [99] M Queyae esoa commuicaio 1995 [1] aaama ooogy coo a ouig i a oc ewoks A suey SIGACT News, 33-73 ue [11] S ao a W Smi Aoimaig geomeica gas ia "saes" a "aya " I Proceedings of the 30th Annual ACM Symposium on Theory of Com- puting, pp. 5-55 aas May 3- 199 ACM ess ew Yok Y [ 1] G ois a S Saow ow-egee miimum saig ees Discrete & Compu- tational Geometry, 1151-1 1995 A eimiay esio (eie "O e mai- mum egee o miimum saig ees" aeae i Proceedings of the 10th Annual ACM Symposium on Computational Geometry, pp. 5-5 Soy ook Y ue - 199 ACM ess ew Yok Y [ 13] ue a Seie Aoimaig e -imesioa comee Euciea ga I Proceedings f the f the 3rd Canadian Conference on Computational Geometry, 7-1 1991 [1 S Sai Sceuig mase-sae muiocesso sysems IEEE Transactions on Com- puters, 5(1 1195-1199 199 [ 15] S Sai a G aiakaakis e mase-sae sceuig moe I Y eug (E Handbook f Scheduling: Algorithms, Models, and Performance Analysis, CC ess oca ao [ 1] S Sai a G aiakaakis e mase-sae aaigm i aae comue a ius- ia seigs Journal f Global Optimization, 9 357-377 199 [ 17] Soage A oo o e oimaiy o e soes emaiig ocessig ime isciie Operations Research, 17-9 19 [ 1] A S Scu Sceuig o miimie oa weige comeio ime eomace gua- aees o -ase euisics a owe ous I Proceedings f the 5th Integer Programming and Combinatorial Optimization (SIPCO), pp. 31-315 199 [19] AS Scu a M Skuea Sceuig-s ea oaiiies aomie aoima- ios o miimum cieia I Proceedings f the Fifth Annual European Symposium on Algorithms, pp. 1 9 1997 [11] M Smi Coses-oi oems i comuaioa geomey I - Sack a Uu- ia eios Handbook f Computational Geometry, cae 77-935 Eseie Sciece 1997 [11 1 ] Smi A ew oo o e oimaiy o e soes emaiig ocessig ime isci- ie Operations Research, (1197-199 197 200

[112] C. Sriskandarajah and SAP. Sethi. Scheduling algorithms for flexible flowshop: worst and average case performance. European Journal of Operational Research, 43, pp. 143-160, 1989.

[ 113] M. Stoker. Design of Survivable Networks, volume 1531 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1992.

[ 114] Sc. Taiwar Bypassing the embedding: approximation schemes and compact representa- tions for low dimensional metrics. In Proceedings of the 36th Annual ACM Symposium on Theory of Computing, pp. 281-290, 2004.

[115] G. Vairaktarakis. Analysis of algorithms for masterimlave system. lIE Transactions, 29, 11, 939-949, 1997.

[116] S. Impalas and A. Vetta. Factor 4/3-approximations for minimum reconnected sub- graphs. In Proceedings of the 3rd Workshop APPROVE, LNCS, 1913:26re273, 2000.

[ 117] D. P. Willimason, M. X. Goemans, M. Mikhail, and V. V. Vazirani. A primal-dual approx- imation algorithm for generalized Steiner network problem. Combinatorica, 15:435- 454, 1995.

[118] P. Winter. Steiner problem in networks: A survey. Networks, 17:129-167, 1987.

[119] L.A.Wolsey. Mixed integer programming formulations for production planning and scheduling problems. Invited talk at the 12th International Symposium on Mathe- matical Programming, MIT, Cambridge, 1985.

[ 120] A. C. Lao. On Constructing minimum spanning trees in dimensional spaces and related problems. SIAM Journal on Computing, 11:721-736, 1982.

[121] W. Vu, H. Hoogeveen and J.Scc. Lenstra. Minimizing makespan in a two-machine flowshop with delays and unit-time operations is NP-hard. Journal of Scheduling, 7(5), 333 - 348, 2004.