# Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-Event Scheduling

Save this PDF as:

Size: px
Start display at page:

Download "Taking DCOP to the Real World: Efficient Complete Solutions for Distributed Multi-Event Scheduling"

## Transcription

2 The fuctio f itra ) assesses a pealty to esure that at least L slots must be assiged cotiguously whe evet E is scheduled 0, t 2 t 1 < L, 2 ). Also, a pealty uder the secod coditio 0, t 2 t 1 L, 2 = ) is assessed to esure that o more tha L slots are assiged ad also to esure that the same evet is ot scheduled twice. If oe of these coditios are met, the utility o the costrait is the differece i the values for attedig the evets ad the value of eepig the time slots uassiged divided by T 1 the umber of outgoig itra-aget lis). The sum of all costrait utilities excludig the pealties) is N T 1 =1 s=1 t=s+1 T g; s, x i s); t, x t)) N T 1 T =1 s=1 t=s+1 2 max N T 1 = =1 N T 1 T =1 s=1 t=s+1 1 [ x i s) T 1 ] + x it) TT 1) 2 max 2 T 1 = NT max = M Thus, the total utility if a pealty is icurred is o-positive. Cosequetly, it would be better to assig a value of 0 to all variables ad obtai a global utility of zero tha cosider a solutio with a pealty. This implies that ay optimal solutios to the DCOP will ot icur ay pealties. The absece of iter-aget pealties imply, for ay, {t : x 1 t) = E } = {t : x 2 t) = E }, 1, 2 such that P 1, P 2 A. This expresses that if a evet is scheduled all participats will have assiged the idetical set of time slots to that evet. The absece of itra-aget pealties implies that if P A, {t : x t) = E } = {t0,..., t 0 + L 1} where t0 = mi{t : x t) = E }. This expresses that a evet will be scheduled i cotiguous slots totalig the exact legth of the evet. If we defie S E ) := {t : x t) = E } where P A, the because two evets caot be assiged to the same time slot, we have S E ) S E 2 ) =, 2 {1,..., K}, 2, A A 2. 1) Summig over the lis, we have the followig global utility: N T 1 T =1 s=1 t=s+1 1 [ x s) 0 s) ) I {x s) 0} + x t) 0 t) ) ] I {x t) 0} T 1 Because the itra-aget variables are fully coected, each variable has T 1 outgoig lis. Rewritig the previous expressio as a sum over time slots, we have the global utility as: N T x t) 0 t) ) N K I {x t) 0} = I {i A } 0 t) ) K = R t) ). 2) =1 t=1 =1 =1 t S E ) =1 A t S E ) The first equality i 2) is obtaied by partitioig the time domai for each participat ito scheduled evets ad the secod equality by switchig the order of the first two summatios. The solutio to the DCOP will determie a schedule that maximizes the fial expressio i 2) which, whe coupled with the coditios i 1) implied by the absece of pealties, is idetical to the multi-evet schedulig problem MESP). EA Evets as ariables): We ote that the graph structure of TSA grows as the time rage cosidered icreases or the size of the time quatizatio iterval decreases, leadig to a deser graph. A alterate approach is to cosider the evets as the decisio variables. Let us defie a DCOP where the variable x represets the startig time for evet E. Each of the K variables ca tae o a value from the time slot rage that is sufficietly early to allow for the required legth of the evet or 0 which idicates that a evet is ot scheduled: x {0, 1,..., T L + 1}, = 1,..., K. If a variable x taes o a value t 0, the it is assumed that for all required resources of that evet A ), the time slots {t,..., t + L 1} must be assiged to the evet E. It would be logical to assig each variable/evet to the aget of oe of the required resources for the evet. Propositio 2 The DCOP formulatio with evets as variables where a costrait betwee variables x ad x 2 whe x = t 1 ad x 2 = t 2 exists if the two evets have a commo required attedee A A 2 for 2 ), ad 2

3 cosequetly taes o the utility f, t 1 ; 2, t 2 ) = M t 1 0, t 2 0, t 1 t 2 t 1 + L M t 1 0, t 2 0, t 2 t 1 t 2 + L 2 g, t 1 ; 2, t 2 ) otherwise. where g, t 1 ; 2, t 2 ) = β I {t1 0} L 0 t 1 + l 1) ) + β 2 I {t2 0} A l=1 L 2 A 2 l=1 2 0 t 2 + l 1) ) for β i = 1/ K=1 I {A A i } 1 ) multiplicative iverse of the umber of outgoig lis) with M > NT max where N is the umber of participats, T is the umber of time slots ad max = max,, yields the optimal solutio to the Distributed Multi-Evet Schedulig DiMES) problem. Proof. The first two coditios of the fuctio f state that a pealty of M is assessed if the variable assigmets cause a schedulig coflict. If o pealties are imposed, the utility gai for schedulig the evet the differece betwee the rewards for all the attedees a the values for eepig the utilized times uassiged) is distributed uiformly over the outgoig lis from the variable. Let us assume that a pealty is icurred because of a schedulig coflict betwee the variables x = t 1 0 ad x 2 = t 2 0. By settig x = 0 decidig ot to schedule evet E ), the global utility will chage by at least β 2 L 2 2 A 2 l=1 0 t 2 + l 1) ) K=1 I {A A i } 2 L K=1 I {A A i } 1 A l=1 0 t 1 + l 1) ) M where the term i the first set of bracets represets the value of the li whe x = 0 ad the term i the secod set of bracets represets the value of the lie whe x = t 1 0. We ca see that the utility chage is greater tha L M > M NT max > 0. A l=1 Thus, the optimal solutio to the DCOP caot have ay pealties o the lis as we ca always mae a utility gai by ot schedulig a evet that leads to a pealty. Let us defie S E ) = {t,..., t + L 1} if t 0 ad S E ) = if t = 0. Because t + L 1 T which S E ) T. Furthermore, we ow that the optimal solutio will have o coflicts, i.e. S E ) S E 2 ) =, 2 {1,..., K}, 2, A A 2. 3) Sice we have o pealties, the uiformly distributed gais from schedulig ca be aggregated. The global utility will be the sum of the rewards for the scheduled evets mius the values of the utilized times: K L 0 t + l 1) ) = K 0 t) ). =1 A l=1 =1 A t S E ) The DCOP solutio maximizes the previous expressio. This alog with coditio 3), is idetical to the MESP problem. PEA Private Evets as ariables): We ote that i EA, if a aget is to mae a decisio for a evet as a variable, it must be edowed with both the authority to mae assigmets for multiple resources as well as have valuatio iformatio for all required resources. There are settigs where resources, though part of a team, are uwillig or uable to cede this authority or iformatio. To address this, we cosider a modificatio of EA that protects these iterests. Let us defie a set of variables X := {x : A } where x {0, 1,..., T L +1} deotes the startig time for 3

4 evet E i the schedule of R which is a required resource for the evet. If x = 0, the R is choosig ot to schedule E. We the costruct a DCOP with the variable set X := =1 K X. Let us ow defie a set X := {xm X : m = } X which is the collectio of variables pertaiig to the -th resource. Clearly, X > 0, otherwise the resource is ot required i ay evet. If X = 1, let X := X {x} 0 where xi 0 0 is a dummy variable. Otherwise, X := X. The DCOP partitios the variables i X to a aget represetig the -th resource s iterests. Let all the variables withi X itra-aget lis) be fully coected. The additio of the dummy variable to sets X with cardiality oe is to esure that itra-aget lis exist for all agets. Iter-aget lis exist betwee the variables for all participats of a give evet, i.e., all the variables i X are fully coected. Propositio 3 The DCOP formulatio with private evets as variables, where the costrait betwee the variables x 1 ad x 2 2 whe x 1 = t 1 ad x 2 2 = t 2 taes o the utility f 1,, t 1 ; 2, 2, t 2 ) = MI {1 2 }I {1 = 2 }I {t1 t 2 } + I {1 = 2 }I {1 2 } f iter 1 ;, t 1 ; 2, t 2 ). 4) where f iter ;, t 1 ; 2, t 2 ) = M t 1 0, t 2 0, t 1 t 2 t 1 + L M t 1 0, t 2 0, t 2 t 1 t 2 + L 2 g;, t 1 ; 2, t 2 ) otherwise ad g;, t 1 ; 2, t 2 ) = 1 Z t 1 ) + Z 2 t 2 ) ) where Z i t i ) = X 1 L i l=1 i 0 t i + l 1) ) I {ti 0} with M > NT max where N is the umber of participats, T is the umber of time slots ad max = max,, yields the optimal solutio to the Distributed Multi-Evet Schedulig DiMES) problem. Proof. The first term i 4) characterizes that a pealty of M is assessed o a iter-aget li 1 2 ) for a commo evet = 2 ) for which the same startig time is ot selected t 1 t 2 ) by the coected resources. The latter term i 4) addresses itra-aget costraits 1 = 2 ) betwee differet evets 2 ) where the li utility f iter ) esures that a pealty is icurred o a itra-aget costrait if a schedulig coflict is created. Otherwise, the utility gai for a resource assigig a viable time for a evet is uiformly distributed amog the outgoig itra-aget lis as deoted i g ). Let us assume that a pealty is icurred o a iter-aget costrait. This implies that the required resources for a particular evet could ot agree o a commo time to start. Sice the total utility gai excludig pealties) for holdig a evet E caot exceed L max NT max < M, A t=1 there exists a solutio for the DCOP where the evet is ot scheduled which is at least as good as that with the evet scheduled. Let us ow assume that a pealty is icurred o a itra-aget li. This implies that a aget has chose startig times for two evets that causes the same time slot to be assiged to two evets. By similar logic, the pealty M is sufficietly large such that by choosig ot to schedule oe of the evets ad allowig all other agets to choose ot to schedule that evet thereby avoidig icurrig a iter-aget pealty), we obtai a higher quality solutio. The above aalysis implies that the optimal DCOP solutio is void of assigmets that would activate a pealty. Thus, x = x m, m, A. Give E ad some A, let us defie S E ) = if x = 0, ad S E ) = {x,..., x + L 1} if x 0. The, we have S E ) S E 2 ) =, 2 {1,..., K}, 2, A A 2. 5) 4

5 Otherwise, a pealty would have bee assessed. The global utility is the the sum of all itra-aget lis devoid of pealties g )), which ca be represeted as N K =1 =1 = I { A } K L =1 A l=1 1 K X 1 Z x) =1 I { A } 0 x + l 1) ) I {x 0} = N K 1 = I { A }Zx ) K =1 =1 =1 A t S E ) 0 t) ). The solutio to the DCOP maximizes the previous expressio, which whe coupled with the o coflict coditio i 5) is idetical to the DiMES problem. 5

### SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES

SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,

### {{1}, {2, 4}, {3}} {{1, 3, 4}, {2}} {{1}, {2}, {3, 4}} 5.4 Stirling Numbers

. Stirlig Numbers Whe coutig various types of fuctios from., we quicly discovered that eumeratig the umber of oto fuctios was a difficult problem. For a domai of five elemets ad a rage of four elemets,

### 4.1 Sigma Notation and Riemann Sums

0 the itegral. Sigma Notatio ad Riema Sums Oe strategy for calculatig the area of a regio is to cut the regio ito simple shapes, calculate the area of each simple shape, ad the add these smaller areas

### CS103X: Discrete Structures Homework 4 Solutions

CS103X: Discrete Structures Homewor 4 Solutios Due February 22, 2008 Exercise 1 10 poits. Silico Valley questios: a How may possible six-figure salaries i whole dollar amouts are there that cotai at least

### Lesson 12. Sequences and Series

Retur to List of Lessos Lesso. Sequeces ad Series A ifiite sequece { a, a, a,... a,...} ca be thought of as a list of umbers writte i defiite order ad certai patter. It is usually deoted by { a } =, or

### Learning outcomes. Algorithms and Data Structures. Time Complexity Analysis. Time Complexity Analysis How fast is the algorithm? Prof. Dr.

Algorithms ad Data Structures Algorithm efficiecy Learig outcomes Able to carry out simple asymptotic aalysisof algorithms Prof. Dr. Qi Xi 2 Time Complexity Aalysis How fast is the algorithm? Code the

### represented by 4! different arrangements of boxes, divide by 4! to get ways

Problem Set #6 solutios A juggler colors idetical jugglig balls red, white, ad blue (a I how may ways ca this be doe if each color is used at least oce? Let us preemptively color oe ball i each color,

### where: T = number of years of cash flow in investment's life n = the year in which the cash flow X n i = IRR = the internal rate of return

EVALUATING ALTERNATIVE CAPITAL INVESTMENT PROGRAMS By Ke D. Duft, Extesio Ecoomist I the March 98 issue of this publicatio we reviewed the procedure by which a capital ivestmet project was assessed. The

### Incremental calculation of weighted mean and variance

Icremetal calculatio of weighted mea ad variace Toy Fich faf@cam.ac.uk dot@dotat.at Uiversity of Cambridge Computig Service February 009 Abstract I these otes I eplai how to derive formulae for umerically

### Chapter 7 Methods of Finding Estimators

Chapter 7 for BST 695: Special Topics i Statistical Theory. Kui Zhag, 011 Chapter 7 Methods of Fidig Estimators Sectio 7.1 Itroductio Defiitio 7.1.1 A poit estimator is ay fuctio W( X) W( X1, X,, X ) of

### 1 The Binomial Theorem: Another Approach

The Biomial Theorem: Aother Approach Pascal s Triagle I class (ad i our text we saw that, for iteger, the biomial theorem ca be stated (a + b = c a + c a b + c a b + + c ab + c b, where the coefficiets

### MATH 361 Homework 9. Royden Royden Royden

MATH 61 Homework 9 Royde..9 First, we show that for ay subset E of the real umbers, E c + y = E + y) c traslatig the complemet is equivalet to the complemet of the traslated set). Without loss of geerality,

### Modified Line Search Method for Global Optimization

Modified Lie Search Method for Global Optimizatio Cria Grosa ad Ajith Abraham Ceter of Excellece for Quatifiable Quality of Service Norwegia Uiversity of Sciece ad Techology Trodheim, Norway {cria, ajith}@q2s.tu.o

### Chapter 6: Variance, the law of large numbers and the Monte-Carlo method

Chapter 6: Variace, the law of large umbers ad the Mote-Carlo method Expected value, variace, ad Chebyshev iequality. If X is a radom variable recall that the expected value of X, E[X] is the average value

### if A S, then X \ A S, and if (A n ) n is a sequence of sets in S, then n A n S,

Lecture 5: Borel Sets Topologically, the Borel sets i a topological space are the σ-algebra geerated by the ope sets. Oe ca build up the Borel sets from the ope sets by iteratig the operatios of complemetatio

### Department of Computer Science, University of Otago

Departmet of Computer Sciece, Uiversity of Otago Techical Report OUCS-2006-09 Permutatios Cotaiig May Patters Authors: M.H. Albert Departmet of Computer Sciece, Uiversity of Otago Micah Colema, Rya Fly

### Multiplexers and Demultiplexers

I this lesso, you will lear about: Multiplexers ad Demultiplexers 1. Multiplexers 2. Combiatioal circuit implemetatio with multiplexers 3. Demultiplexers 4. Some examples Multiplexer A Multiplexer (see

### CHAPTER 3 THE TIME VALUE OF MONEY

CHAPTER 3 THE TIME VALUE OF MONEY OVERVIEW A dollar i the had today is worth more tha a dollar to be received i the future because, if you had it ow, you could ivest that dollar ad ear iterest. Of all

### Riemann Sums y = f (x)

Riema Sums Recall that we have previously discussed the area problem I its simplest form we ca state it this way: The Area Problem Let f be a cotiuous, o-egative fuctio o the closed iterval [a, b] Fid

### The second difference is the sequence of differences of the first difference sequence, 2

Differece Equatios I differetial equatios, you look for a fuctio that satisfies ad equatio ivolvig derivatives. I differece equatios, istead of a fuctio of a cotiuous variable (such as time), we look for

### Asymptotic Growth of Functions

CMPS Itroductio to Aalysis of Algorithms Fall 3 Asymptotic Growth of Fuctios We itroduce several types of asymptotic otatio which are used to compare the performace ad efficiecy of algorithms As we ll

### when n = 1, 2, 3, 4, 5, 6, This list represents the amount of dollars you have after n days. Note: The use of is read as and so on.

Geometric eries Before we defie what is meat by a series, we eed to itroduce a related topic, that of sequeces. Formally, a sequece is a fuctio that computes a ordered list. uppose that o day 1, you have

### A Gentle Introduction to Algorithms: Part II

A Getle Itroductio to Algorithms: Part II Cotets of Part I:. Merge: (to merge two sorted lists ito a sigle sorted list.) 2. Bubble Sort 3. Merge Sort: 4. The Big-O, Big-Θ, Big-Ω otatios: asymptotic bouds

### The Euler Totient, the Möbius and the Divisor Functions

The Euler Totiet, the Möbius ad the Divisor Fuctios Rosica Dieva July 29, 2005 Mout Holyoke College South Hadley, MA 01075 1 Ackowledgemets This work was supported by the Mout Holyoke College fellowship

### Vladimir N. Burkov, Dmitri A. Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT

Keywords: project maagemet, resource allocatio, etwork plaig Vladimir N Burkov, Dmitri A Novikov MODELS AND METHODS OF MULTIPROJECTS MANAGEMENT The paper deals with the problems of resource allocatio betwee

### A probabilistic proof of a binomial identity

A probabilistic proof of a biomial idetity Joatho Peterso Abstract We give a elemetary probabilistic proof of a biomial idetity. The proof is obtaied by computig the probability of a certai evet i two

### SAMPLE QUESTIONS FOR FINAL EXAM. (1) (2) (3) (4) Find the following using the definition of the Riemann integral: (2x + 1)dx

SAMPLE QUESTIONS FOR FINAL EXAM REAL ANALYSIS I FALL 006 3 4 Fid the followig usig the defiitio of the Riema itegral: a 0 x + dx 3 Cosider the partitio P x 0 3, x 3 +, x 3 +,......, x 3 3 + 3 of the iterval

### Engineering 323 Beautiful Homework Set 3 1 of 7 Kuszmar Problem 2.51

Egieerig 33 eautiful Homewor et 3 of 7 Kuszmar roblem.5.5 large departmet store sells sport shirts i three sizes small, medium, ad large, three patters plaid, prit, ad stripe, ad two sleeve legths log

### COMPARISON OF THE EFFICIENCY OF S-CONTROL CHART AND EWMA-S 2 CONTROL CHART FOR THE CHANGES IN A PROCESS

COMPARISON OF THE EFFICIENCY OF S-CONTROL CHART AND EWMA-S CONTROL CHART FOR THE CHANGES IN A PROCESS Supraee Lisawadi Departmet of Mathematics ad Statistics, Faculty of Sciece ad Techoology, Thammasat

### Measures of Central Tendency

Measures of Cetral Tedecy A studet s grade will be determied by exam grades ( each exam couts twice ad there are three exams, HW average (couts oce, fial exam ( couts three times. Fid the average if the

### Estimating Probability Distributions by Observing Betting Practices

5th Iteratioal Symposium o Imprecise Probability: Theories ad Applicatios, Prague, Czech Republic, 007 Estimatig Probability Distributios by Observig Bettig Practices Dr C Lych Natioal Uiversity of Irelad,

### Lecture 7: Borel Sets and Lebesgue Measure

EE50: Probability Foudatios for Electrical Egieers July-November 205 Lecture 7: Borel Sets ad Lebesgue Measure Lecturer: Dr. Krisha Jagaatha Scribes: Ravi Kolla, Aseem Sharma, Vishakh Hegde I this lecture,

THE ABRACADABRA PROBLEM FRANCESCO CARAVENNA Abstract. We preset a detailed solutio of Exercise E0.6 i [Wil9]: i a radom sequece of letters, draw idepedetly ad uiformly from the Eglish alphabet, the expected

### Geometric Sequences and Series. Geometric Sequences. Definition of Geometric Sequence. such that. a2 4

3330_0903qxd /5/05 :3 AM Page 663 Sectio 93 93 Geometric Sequeces ad Series 663 Geometric Sequeces ad Series What you should lear Recogize, write, ad fid the th terms of geometric sequeces Fid th partial

### Output Analysis (2, Chapters 10 &11 Law)

B. Maddah ENMG 6 Simulatio 05/0/07 Output Aalysis (, Chapters 10 &11 Law) Comparig alterative system cofiguratio Sice the output of a simulatio is radom, the comparig differet systems via simulatio should

### I. Chi-squared Distributions

1 M 358K Supplemet to Chapter 23: CHI-SQUARED DISTRIBUTIONS, T-DISTRIBUTIONS, AND DEGREES OF FREEDOM To uderstad t-distributios, we first eed to look at aother family of distributios, the chi-squared distributios.

### Ekkehart Schlicht: Economic Surplus and Derived Demand

Ekkehart Schlicht: Ecoomic Surplus ad Derived Demad Muich Discussio Paper No. 2006-17 Departmet of Ecoomics Uiversity of Muich Volkswirtschaftliche Fakultät Ludwig-Maximilias-Uiversität Müche Olie at http://epub.ub.ui-mueche.de/940/

Physics 6A Witer 20 Theorems About Power Series Cosider a power series, f(x) = a x, () where the a are real coefficiets ad x is a real variable. There exists a real o-egative umber R, called the radius

### 5 Boolean Decision Trees (February 11)

5 Boolea Decisio Trees (February 11) 5.1 Graph Coectivity Suppose we are give a udirected graph G, represeted as a boolea adjacecy matrix = (a ij ), where a ij = 1 if ad oly if vertices i ad j are coected

### Module 4: Mathematical Induction

Module 4: Mathematical Iductio Theme 1: Priciple of Mathematical Iductio Mathematical iductio is used to prove statemets about atural umbers. As studets may remember, we ca write such a statemet as a predicate

Advaced Probability Theory Math5411 HKUST Kai Che (Istructor) Chapter 1. Law of Large Numbers 1.1. σ-algebra, measure, probability space ad radom variables. This sectio lays the ecessary rigorous foudatio

### Your organization has a Class B IP address of 166.144.0.0 Before you implement subnetting, the Network ID and Host ID are divided as follows:

Subettig Subettig is used to subdivide a sigle class of etwork i to multiple smaller etworks. Example: Your orgaizatio has a Class B IP address of 166.144.0.0 Before you implemet subettig, the Network

### Fourier Series and the Wave Equation Part 2

Fourier Series ad the Wave Equatio Part There are two big ideas i our work this week. The first is the use of liearity to break complicated problems ito simple pieces. The secod is the use of the symmetries

### B1. Fourier Analysis of Discrete Time Signals

B. Fourier Aalysis of Discrete Time Sigals Objectives Itroduce discrete time periodic sigals Defie the Discrete Fourier Series (DFS) expasio of periodic sigals Defie the Discrete Fourier Trasform (DFT)

### The analysis of the Cournot oligopoly model considering the subjective motive in the strategy selection

The aalysis of the Courot oligopoly model cosiderig the subjective motive i the strategy selectio Shigehito Furuyama Teruhisa Nakai Departmet of Systems Maagemet Egieerig Faculty of Egieerig Kasai Uiversity

### Hypothesis testing. Null and alternative hypotheses

Hypothesis testig Aother importat use of samplig distributios is to test hypotheses about populatio parameters, e.g. mea, proportio, regressio coefficiets, etc. For example, it is possible to stipulate

### Section 11.3: The Integral Test

Sectio.3: The Itegral Test Most of the series we have looked at have either diverged or have coverged ad we have bee able to fid what they coverge to. I geeral however, the problem is much more difficult

### Review for College Algebra Final Exam

Review for College Algebra Fial Exam (Please remember that half of the fial exam will cover chapters 1-4. This review sheet covers oly the ew material, from chapters 5 ad 7.) 5.1 Systems of equatios i

### ARITHMETIC AND GEOMETRIC PROGRESSIONS

Arithmetic Ad Geometric Progressios Sequeces Ad ARITHMETIC AND GEOMETRIC PROGRESSIONS Successio of umbers of which oe umber is desigated as the first, other as the secod, aother as the third ad so o gives

### Soving Recurrence Relations

Sovig Recurrece Relatios Part 1. Homogeeous liear 2d degree relatios with costat coefficiets. Cosider the recurrece relatio ( ) T () + at ( 1) + bt ( 2) = 0 This is called a homogeeous liear 2d degree

### A CHARACTERIZATION OF MINIMAL ZERO-SEQUENCES OF INDEX ONE IN FINITE CYCLIC GROUPS

INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 5(1) (2005), #A27 A CHARACTERIZATION OF MINIMAL ZERO-SEQUENCES OF INDEX ONE IN FINITE CYCLIC GROUPS Scott T. Chapma 1 Triity Uiversity, Departmet

### 1. Introduction. Scheduling Theory

. Itroductio. Itroductio As a idepedet brach of Operatioal Research, Schedulig Theory appeared i the begiig of the 50s. I additio to computer systems ad maufacturig, schedulig theory ca be applied to may

### Chapter 5: Inner Product Spaces

Chapter 5: Ier Product Spaces Chapter 5: Ier Product Spaces SECION A Itroductio to Ier Product Spaces By the ed of this sectio you will be able to uderstad what is meat by a ier product space give examples

### BASIC STATISTICS. Discrete. Mass Probability Function: P(X=x i ) Only one finite set of values is considered {x 1, x 2,...} Prob. t = 1.

BASIC STATISTICS 1.) Basic Cocepts: Statistics: is a sciece that aalyzes iformatio variables (for istace, populatio age, height of a basketball team, the temperatures of summer moths, etc.) ad attempts

### Confidence Intervals. CI for a population mean (σ is known and n > 30 or the variable is normally distributed in the.

Cofidece Itervals A cofidece iterval is a iterval whose purpose is to estimate a parameter (a umber that could, i theory, be calculated from the populatio, if measuremets were available for the whole populatio).

### NPTEL STRUCTURAL RELIABILITY

NPTEL Course O STRUCTURAL RELIABILITY Module # 0 Lecture 1 Course Format: Web Istructor: Dr. Aruasis Chakraborty Departmet of Civil Egieerig Idia Istitute of Techology Guwahati 1. Lecture 01: Basic Statistics

### Designing Incentives for Online Question and Answer Forums

Desigig Icetives for Olie Questio ad Aswer Forums Shaili Jai School of Egieerig ad Applied Scieces Harvard Uiversity Cambridge, MA 0238 USA shailij@eecs.harvard.edu Yilig Che School of Egieerig ad Applied

### Section IV.5: Recurrence Relations from Algorithms

Sectio IV.5: Recurrece Relatios from Algorithms Give a recursive algorithm with iput size, we wish to fid a Θ (best big O) estimate for its ru time T() either by obtaiig a explicit formula for T() or by

### Recursion and Recurrences

Chapter 5 Recursio ad Recurreces 5.1 Growth Rates of Solutios to Recurreces Divide ad Coquer Algorithms Oe of the most basic ad powerful algorithmic techiques is divide ad coquer. Cosider, for example,

### π d i (b i z) (n 1)π )... sin(θ + )

SOME TRIGONOMETRIC IDENTITIES RELATED TO EXACT COVERS Joh Beebee Uiversity of Alaska, Achorage Jauary 18, 1990 Sherma K Stei proves that if si π = k si π b where i the b i are itegers, the are positive

### Maximum Likelihood Estimators.

Lecture 2 Maximum Likelihood Estimators. Matlab example. As a motivatio, let us look at oe Matlab example. Let us geerate a radom sample of size 00 from beta distributio Beta(5, 2). We will lear the defiitio

### Review of Fourier Series and Its Applications in Mechanical Engineering Analysis

ME 3 Applied Egieerig Aalysis Chapter 6 Review of Fourier Series ad Its Applicatios i Mechaical Egieerig Aalysis Tai-Ra Hsu, Professor Departmet of Mechaical ad Aerospace Egieerig Sa Jose State Uiversity

### Irreducible polynomials with consecutive zero coefficients

Irreducible polyomials with cosecutive zero coefficiets Theodoulos Garefalakis Departmet of Mathematics, Uiversity of Crete, 71409 Heraklio, Greece Abstract Let q be a prime power. We cosider the problem

### CHAPTER 3 DIGITAL CODING OF SIGNALS

CHAPTER 3 DIGITAL CODING OF SIGNALS Computers are ofte used to automate the recordig of measuremets. The trasducers ad sigal coditioig circuits produce a voltage sigal that is proportioal to a quatity

### Distributions of Order Statistics

Chapter 2 Distributios of Order Statistics We give some importat formulae for distributios of order statistics. For example, where F k: (x)=p{x k, x} = I F(x) (k, k + 1), I x (a,b)= 1 x t a 1 (1 t) b 1

### AP Calculus AB 2006 Scoring Guidelines Form B

AP Calculus AB 6 Scorig Guidelies Form B The College Board: Coectig Studets to College Success The College Board is a ot-for-profit membership associatio whose missio is to coect studets to college success

### Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 13

EECS 70 Discrete Mathematics ad Probability Theory Sprig 2014 Aat Sahai Note 13 Itroductio At this poit, we have see eough examples that it is worth just takig stock of our model of probability ad may

### Lesson 15 ANOVA (analysis of variance)

Outlie Variability -betwee group variability -withi group variability -total variability -F-ratio Computatio -sums of squares (betwee/withi/total -degrees of freedom (betwee/withi/total -mea square (betwee/withi

### Infinite Sequences and Series

CHAPTER 4 Ifiite Sequeces ad Series 4.1. Sequeces A sequece is a ifiite ordered list of umbers, for example the sequece of odd positive itegers: 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29...

### Sequences II. Chapter 3. 3.1 Convergent Sequences

Chapter 3 Sequeces II 3. Coverget Sequeces Plot a graph of the sequece a ) = 2, 3 2, 4 3, 5 + 4,...,,... To what limit do you thik this sequece teds? What ca you say about the sequece a )? For ǫ = 0.,

### Measurable Functions

Measurable Fuctios Dug Le 1 1 Defiitio It is ecessary to determie the class of fuctios that will be cosidered for the Lebesgue itegratio. We wat to guaratee that the sets which arise whe workig with these

### 3 Basic Definitions of Probability Theory

3 Basic Defiitios of Probability Theory 3defprob.tex: Feb 10, 2003 Classical probability Frequecy probability axiomatic probability Historical developemet: Classical Frequecy Axiomatic The Axiomatic defiitio

### Properties of MLE: consistency, asymptotic normality. Fisher information.

Lecture 3 Properties of MLE: cosistecy, asymptotic ormality. Fisher iformatio. I this sectio we will try to uderstad why MLEs are good. Let us recall two facts from probability that we be used ofte throughout

### A Recursive Formula for Moments of a Binomial Distribution

A Recursive Formula for Momets of a Biomial Distributio Árpád Béyi beyi@mathumassedu, Uiversity of Massachusetts, Amherst, MA 01003 ad Saverio M Maago smmaago@psavymil Naval Postgraduate School, Moterey,

### 1 Introduction to reducing variance in Monte Carlo simulations

Copyright c 007 by Karl Sigma 1 Itroductio to reducig variace i Mote Carlo simulatios 11 Review of cofidece itervals for estimatig a mea I statistics, we estimate a uow mea µ = E(X) of a distributio by

### Chapter Gaussian Elimination

Chapter 04.06 Gaussia Elimiatio After readig this chapter, you should be able to:. solve a set of simultaeous liear equatios usig Naïve Gauss elimiatio,. lear the pitfalls of the Naïve Gauss elimiatio

### 8.1 Arithmetic Sequences

MCR3U Uit 8: Sequeces & Series Page 1 of 1 8.1 Arithmetic Sequeces Defiitio: A sequece is a comma separated list of ordered terms that follow a patter. Examples: 1, 2, 3, 4, 5 : a sequece of the first

### Alternatives To Pearson s and Spearman s Correlation Coefficients

Alteratives To Pearso s ad Spearma s Correlatio Coefficiets Floreti Smaradache Chair of Math & Scieces Departmet Uiversity of New Mexico Gallup, NM 8730, USA Abstract. This article presets several alteratives

### 1. MATHEMATICAL INDUCTION

1. MATHEMATICAL INDUCTION EXAMPLE 1: Prove that for ay iteger 1. Proof: 1 + 2 + 3 +... + ( + 1 2 (1.1 STEP 1: For 1 (1.1 is true, sice 1 1(1 + 1. 2 STEP 2: Suppose (1.1 is true for some k 1, that is 1

### Key Ideas Section 8-1: Overview hypothesis testing Hypothesis Hypothesis Test Section 8-2: Basics of Hypothesis Testing Null Hypothesis

Chapter 8 Key Ideas Hypothesis (Null ad Alterative), Hypothesis Test, Test Statistic, P-value Type I Error, Type II Error, Sigificace Level, Power Sectio 8-1: Overview Cofidece Itervals (Chapter 7) are

### x(x 1)(x 2)... (x k + 1) = [x] k n+m 1

1 Coutig mappigs For every real x ad positive iteger k, let [x] k deote the fallig factorial ad x(x 1)(x 2)... (x k + 1) ( ) x = [x] k k k!, ( ) k = 1. 0 I the sequel, X = {x 1,..., x m }, Y = {y 1,...,

### The following example will help us understand The Sampling Distribution of the Mean. C1 C2 C3 C4 C5 50 miles 84 miles 38 miles 120 miles 48 miles

The followig eample will help us uderstad The Samplig Distributio of the Mea Review: The populatio is the etire collectio of all idividuals or objects of iterest The sample is the portio of the populatio

### Searching Algorithm Efficiencies

Efficiecy of Liear Search Searchig Algorithm Efficiecies Havig implemeted the liear search algorithm, how would you measure its efficiecy? A useful measure (or metric) should be geeral, applicable to ay

### .04. This means \$1000 is multiplied by 1.02 five times, once for each of the remaining sixmonth

Questio 1: What is a ordiary auity? Let s look at a ordiary auity that is certai ad simple. By this, we mea a auity over a fixed term whose paymet period matches the iterest coversio period. Additioally,

### Approximating Area under a curve with rectangles. To find the area under a curve we approximate the area using rectangles and then use limits to find

1.8 Approximatig Area uder a curve with rectagles 1.6 To fid the area uder a curve we approximate the area usig rectagles ad the use limits to fid 1.4 the area. Example 1 Suppose we wat to estimate 1.

### TAYLOR SERIES, POWER SERIES

TAYLOR SERIES, POWER SERIES The followig represets a (icomplete) collectio of thigs that we covered o the subject of Taylor series ad power series. Warig. Be prepared to prove ay of these thigs durig the

### Dynamic House Allocation

Dyamic House Allocatio Sujit Gujar 1 ad James Zou 2 ad David C. Parkes 3 Abstract. We study a dyamic variat o the house allocatio problem. Each aget ows a distict object (a house) ad is able to trade its

### INVESTMENT PERFORMANCE COUNCIL (IPC)

INVESTMENT PEFOMANCE COUNCIL (IPC) INVITATION TO COMMENT: Global Ivestmet Performace Stadards (GIPS ) Guidace Statemet o Calculatio Methodology The Associatio for Ivestmet Maagemet ad esearch (AIM) seeks

### Universal coding for classes of sources

Coexios module: m46228 Uiversal codig for classes of sources Dever Greee This work is produced by The Coexios Project ad licesed uder the Creative Commos Attributio Licese We have discussed several parametric

### 0.7 0.6 0.2 0 0 96 96.5 97 97.5 98 98.5 99 99.5 100 100.5 96.5 97 97.5 98 98.5 99 99.5 100 100.5

Sectio 13 Kolmogorov-Smirov test. Suppose that we have a i.i.d. sample X 1,..., X with some ukow distributio P ad we would like to test the hypothesis that P is equal to a particular distributio P 0, i.e.

### Example 2 Find the square root of 0. The only square root of 0 is 0 (since 0 is not positive or negative, so those choices don t exist here).

BEGINNING ALGEBRA Roots ad Radicals (revised summer, 00 Olso) Packet to Supplemet the Curret Textbook - Part Review of Square Roots & Irratioals (This portio ca be ay time before Part ad should mostly

### Review: Classification Outline

Data Miig CS 341, Sprig 2007 Decisio Trees Neural etworks Review: Lecture 6: Classificatio issues, regressio, bayesia classificatio Pretice Hall 2 Data Miig Core Techiques Classificatio Clusterig Associatio

### Hypothesis Tests Applied to Means

The Samplig Distributio of the Mea Hypothesis Tests Applied to Meas Recall that the samplig distributio of the mea is the distributio of sample meas that would be obtaied from a particular populatio (with

### Case Study. Normal and t Distributions. Density Plot. Normal Distributions

Case Study Normal ad t Distributios Bret Halo ad Bret Larget Departmet of Statistics Uiversity of Wiscosi Madiso October 11 13, 2011 Case Study Body temperature varies withi idividuals over time (it ca

### Divide and Conquer, Solving Recurrences, Integer Multiplication Scribe: Juliana Cook (2015), V. Williams Date: April 6, 2016

CS 6, Lecture 3 Divide ad Coquer, Solvig Recurreces, Iteger Multiplicatio Scribe: Juliaa Cook (05, V Williams Date: April 6, 06 Itroductio Today we will cotiue to talk about divide ad coquer, ad go ito

### Cooley-Tukey. Tukey FFT Algorithms. FFT Algorithms. Cooley

Cooley Cooley-Tuey Tuey FFT Algorithms FFT Algorithms Cosider a legth- sequece x[ with a -poit DFT X[ where Represet the idices ad as +, +, Cooley Cooley-Tuey Tuey FFT Algorithms FFT Algorithms Usig these

### NATIONAL SENIOR CERTIFICATE GRADE 12

NATIONAL SENIOR CERTIFICATE GRADE MATHEMATICS P EXEMPLAR 04 MARKS: 50 TIME: 3 hours This questio paper cosists of 8 pages ad iformatio sheet. Please tur over Mathematics/P DBE/04 NSC Grade Eemplar INSTRUCTIONS