Approximation in Stochastic Scheduling: The Power of LP-Based Priority Policies

Similar documents
List Scheduling and LPT Oliver Braun (09/05/2017)

Stochastic Machine Scheduling with Precedence Constraints

1 Identical Parallel Machines

e-companion ONLY AVAILABLE IN ELECTRONIC FORM

A Better Algorithm For an Ancient Scheduling Problem. David R. Karger Steven J. Phillips Eric Torng. Department of Computer Science

Homework 3 Solutions CSE 101 Summer 2017

Algorithms for parallel processor scheduling with distinct due windows and unit-time jobs

Models and Algorithms for Stochastic Online Scheduling 1

A Note on Scheduling Tall/Small Multiprocessor Tasks with Unit Processing Time to Minimize Maximum Tardiness

A Note on Online Scheduling for Jobs with Arbitrary Release Times

Support Vector Machines MIT Course Notes Cynthia Rudin

This model assumes that the probability of a gap has size i is proportional to 1/i. i.e., i log m e. j=1. E[gap size] = i P r(i) = N f t.

arxiv: v1 [cs.ds] 3 Feb 2014

Worst-case performance of critical path type algorithms

time time δ jobs jobs

Intelligent Systems: Reasoning and Recognition. Perceptrons and Support Vector Machines

Solution of Multivariable Optimization with Inequality Constraints by Lagrange Multipliers. where, x=[x 1 x 2. x n] T

Convex Programming for Scheduling Unrelated Parallel Machines

A Simplified Analytical Approach for Efficiency Evaluation of the Weaving Machines with Automatic Filling Repair

Lecture 21. Interior Point Methods Setup and Algorithm

Nonclairvoyant Scheduling to Minimize the Total Flow Time on Single and Parallel Machines

Model Fitting. CURM Background Material, Fall 2014 Dr. Doreen De Leon

Block designs and statistics

Models and Algorithms for Stochastic Online Scheduling

Introduction to Discrete Optimization

The Simplex Method is Strongly Polynomial for the Markov Decision Problem with a Fixed Discount Rate

ma x = -bv x + F rod.

Scheduling Contract Algorithms on Multiple Processors

On Constant Power Water-filling

New Slack-Monotonic Schedulability Analysis of Real-Time Tasks on Multiprocessors

Kernel Methods and Support Vector Machines

arxiv: v1 [cs.dc] 19 Jul 2011

Course Notes for EE227C (Spring 2018): Convex Optimization and Approximation

Polygonal Designs: Existence and Construction

Support Vector Machine Classification of Uncertain and Imbalanced data using Robust Optimization

Simulation of Discrete Event Systems

COS 424: Interacting with Data. Written Exercises

Soft Computing Techniques Help Assign Weights to Different Factors in Vulnerability Analysis

A Low-Complexity Congestion Control and Scheduling Algorithm for Multihop Wireless Networks with Order-Optimal Per-Flow Delay

Inspection; structural health monitoring; reliability; Bayesian analysis; updating; decision analysis; value of information

Longest Processing Time rule for identical parallel machines revisited

Maximum Entropy Interval Aggregations

Mathematical Model and Algorithm for the Task Allocation Problem of Robots in the Smart Warehouse

Optimum Value of Poverty Measure Using Inverse Optimization Programming Problem

Boosting with log-loss

Pattern Recognition and Machine Learning. Learning and Evaluation for Pattern Recognition

Support recovery in compressed sensing: An estimation theoretic approach

Heavy Traffic Optimal Resource Allocation Algorithms for Cloud Computing Clusters

Midterm 1 Sample Solution

Bipartite subgraphs and the smallest eigenvalue

Support Vector Machines. Machine Learning Series Jerry Jeychandra Blohm Lab

Lean Walsh Transform

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

REAL-TIME SCHEDULING AND CONTROL OF A FLOW-SHOP USING DIOID ALGEBRA

An FPTAS for the minimum total weighted tardiness problem with a fixed number of distinct due dates

Non-Parametric Non-Line-of-Sight Identification 1

ESE 523 Information Theory

arxiv: v1 [cs.ds] 29 Jan 2012

Chaotic Coupled Map Lattices

FLOWSHOP SCHEDULES WITH SEQUENCE DEPENDENT SETUP TIMES

Convolutional Codes. Lecture Notes 8: Trellis Codes. Example: K=3,M=2, rate 1/2 code. Figure 95: Convolutional Encoder

ASSUME a source over an alphabet size m, from which a sequence of n independent samples are drawn. The classical

a a a a a a a m a b a b

STOPPING SIMULATED PATHS EARLY

Stochastic Subgradient Methods

Birthday Paradox Calculations and Approximation

Reduced Length Checking Sequences

Supplementary Material for Fast and Provable Algorithms for Spectrally Sparse Signal Reconstruction via Low-Rank Hankel Matrix Completion

Principles of Optimal Control Spring 2008

Improved multiprocessor global schedulability analysis

ESTIMATING AND FORMING CONFIDENCE INTERVALS FOR EXTREMA OF RANDOM POLYNOMIALS. A Thesis. Presented to. The Faculty of the Department of Mathematics

Randomized Accuracy-Aware Program Transformations For Efficient Approximate Computations

Asynchronous Gossip Algorithms for Stochastic Optimization

A MESHSIZE BOOSTING ALGORITHM IN KERNEL DENSITY ESTIMATION

Interactive Markov Models of Evolutionary Algorithms

Ch 12: Variations on Backpropagation

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 11 10/15/2008 ABSTRACT INTEGRATION I

On the Inapproximability of Vertex Cover on k-partite k-uniform Hypergraphs

TEST OF HOMOGENEITY OF PARALLEL SAMPLES FROM LOGNORMAL POPULATIONS WITH UNEQUAL VARIANCES

Uniform Approximation and Bernstein Polynomials with Coefficients in the Unit Interval

The Methods of Solution for Constrained Nonlinear Programming

Exact tensor completion with sum-of-squares

A note on the multiplication of sparse matrices

Physics 215 Winter The Density Matrix

Complex Quadratic Optimization and Semidefinite Programming

Bloom Filters. filters: A survey, Internet Mathematics, vol. 1 no. 4, pp , 2004.

EMPIRICAL COMPLEXITY ANALYSIS OF A MILP-APPROACH FOR OPTIMIZATION OF HYBRID SYSTEMS

Supplementary Information for Design of Bending Multi-Layer Electroactive Polymer Actuators

Tight Bounds for Maximal Identifiability of Failure Nodes in Boolean Network Tomography

Randomized Recovery for Boolean Compressed Sensing

On the Communication Complexity of Lipschitzian Optimization for the Coordinated Model of Computation

Fairness via priority scheduling

INTEGRATIVE COOPERATIVE APPROACH FOR SOLVING PERMUTATION FLOWSHOP SCHEDULING PROBLEM WITH SEQUENCE DEPENDENT FAMILY SETUP TIMES

Computational and Statistical Learning Theory

A new robust optimization approach for scheduling under uncertainty II. Uncertainty with known probability distribution

Computational and Statistical Learning Theory

PAPER Approach to the Unit Maintenance Scheduling Decision Using Risk Assessment and Evolution Programming Techniques

Experimental Design For Model Discrimination And Precise Parameter Estimation In WDS Analysis

Consistent Multiclass Algorithms for Complex Performance Measures. Supplementary Material

When Short Runs Beat Long Runs

Transcription:

Approxiation in Stochastic Scheduling: The Power of -Based Priority Policies Rolf Möhring, Andreas Schulz, Marc Uetz Setting (A P p stoch, r E( w and (B P p stoch E( w We will assue that the processing ties are independent, and that we now the realization of the processing tie, once a ob is finished. Note that we want a non anticipatory policy (decision at tie t can only be based on the inforation fro the past up to tie t, i.e. the set of obs already finished or being perfored at t, their start ties, and the conditional distribution of reaining processing ties. (Our policy will be an even further special case. We will follow an -based approach, the with the copletion ties as decision variables ost of the approach and the leas are extensions of the deterinistic case. (Note: so we are optiizing over the perforance space, not the decisions directly. We will use the solution to define the order of the obs in case (A, and ust as a bound on the optial solution in case (B. Input nuber of achines nuber of obs for each ob : release date r weight w expected processing tie p an upper bound on the coefficient of variation of all processing tie distributions,, i.e., such that Varp E(p for all. (Interpretation: standard deviation of noralized processing ties, where noralized eans scaled such that the expectation is. We will copare the algorith that aes use of this liited info only, with any algorith that has full inforation about the processing ties.

3 Linear Progra iniize w E Want: subect to {E } such that these are expected copletion ties with respect to soe non anticipatory policy. But we ll settle for a relaxation. Valid inequalities: We now that for deterinistic scheduling we have p ( p + p for all subsets of obs A. For stochastic scheduling with a non anticipatory policy Π, we get E(p E( Π ( E(p + (E(p Var(p for all subsets of obs A. Proof onsider any policy Π, and fix a realization of {p }. Let S denote the starting tie of ob. The deterinistic inequalities give p (S + p ( p + p for all subsets of obs A. We are going to tae expectations, and note that processing ties are independent rando variables E(p i p = E(p i E(p for all i policy is non anticipatory S and p are independent E(S p = E(S E(p Var(p = E(p E(p. So first rewrite p S Taing expectations: i,,i ( p i p + + p for all subsets of obs A. }{{} = E(p E(S = i,,i ( i E(p i E(p E(p i E(p E(p }{{} = Var(p E(p Var(p. Finally E( = E(S + E(p and we re done. When using, we can write

( E(p E( ( ( + E(p + (E(p. Also, we have the trivial inequalities ( E( r + E(p. 4 Algorith with release dates We are going to consider the following algorith (policy Π: Solve the iniize w E subect to ( and ( call optial solution { }. Next, we are going to schedule the obs in the order of increasing expected copletion tie, allowing for idle tie when there is a ob that is available, but a different ob has priority and is not yet available. lai Π is a (3 / + ax{, (( / }-approxiation. Proof Renuber obs such that... n. Fix a realization of {p }. Note that Π ax r + p + p =,,..., = since we are considering ob-based priority scheduling policies (consider sae policy but start the first ob at ax r then no idle tie; bound holds. Note that r, and since... n, we have ax =,,..., r. So, that fact and taing expectations, gives E Π Also, Ep, so E Π ( + Ep + Ep. = + Ep. = So we want to bound = Ep. Note that we have inequalities (, and... n, therefore Ep = = E(p ( = ( + E(p + (E(p. = E(p + = ( + = (E(p = Ep. 3

We now concern two cases. (case ( + 0. Now = E(p and so E Π ( (case ( + 0. Note now that + Ep ( 4. = Ep and... n, therefore ax Ep = ax =,..., Ep = Ep =,..., = Ep = (Ep = Ep. So = E(p + = E(p ( + = (E(p = Ep ( + E(p + = ( + E Π ( + Ep = ( + ( = (3 + ( + Putting it together: we have an 3 +ax{, }-approxiation (for each separately, and so also for the weighted su, since we can solve the in O(n operations (see appendix B of paper. 5 Result P p stoch E( w (no release dates Sae approach gives + ax{, }-approxiation. But iniu ratio rule (when achine becoes idle, schedule ob with lowest Ep /w ratio gives + ( + ( /(-approxiation. Approach: Renuber obs such that Ep /w Ep /w... Ep n /w n. iniize w E subect to ( Solution (given by Edonds greedy algorith: = Ep = ( ( Ep. 4

(Here the fact that Ep /w Ep /w... Ep n /w n is used. Sae to start of proof of result we now so Π ax r + p + p = p + p =,,..., = E Π Ep + Ep = = = + = ( Ep ( ( + Ep ( + ( Ep Note that we don t have inequalities (, so we do not necessarily have (and thus can t conclude E ( Π + ( +(. We can say soething about the weighted su though: w E Π w ( + ( + w Ep ( + ( ( + (OPT ( + ( + ( (OPT Note: for single achine Sallest Ratio Rule (sort obs in order of non-decreasing Ep /w is optial already nown []. References [] Rolf H. Möhring, Andreas S. Schulz, and Marc Uetz. Approxiation in stochastic scheduling: the power of -based priority policies. J. AM, 46(6:94 94, 999. [] Michael H. Rothopf. Scheduling independent tass on parallel processors. Manageent Sci., :437 447, 966. 5