Combinatorics and Random Generation. Dominique Gouyou-Beauchamps

Size: px
Start display at page:

Download "Combinatorics and Random Generation. Dominique Gouyou-Beauchamps"

Transcription

1 Algorithms Semiar , F. Chyzak ed., INRIA, 2003, pp Available olie at the URL Combiatorics ad Radom Geeratio Domiique Gouyou-Beauchamps LRI, Uiversité Paris-Sud Frace March 18, 2002 Summary by Nicolas Boicho Abstract We preset a overview of differet techiques to radomly ad uiformly geerate combiatorial objects. 1. Motivatios ad Hypotheses Oe of the goals of a combiatorist is to recogize, to eumerate, ad to geerate objects of differet combiatorial classes. Here we preset several methods to radomly ad uiformly geerate objects of a give class. This has applicatios i simulatio i geeral: image sytheses, statistical physics, geomic, program testig, algorithms aalyses, etc. I geeral, we wat to geerate a object of size such that the probability that a object appears is the same for all objects of size. There are several ways to measure the complexity of a geeratig algorithm. The first oe is to cout the umber of calls to the RANDOM fuctio. This fuctio returs a floatig-poit umber betwee 0 ad 1. Aother way to measure the complexity is to cout the umber of arithmetic operatios o floatig-poit umbers or o itegers a call of the RANDOM fuctio is cosidered as a arithmetic operatio. This measure is called the arithmetic complexity. Sice the geerated objects ca be huge up to 10 7 or 10 8 ad the maipulated umbers are as large as a or! hece coded with O or O log bits, it also makes sese to cout the umber of operatios o sigle bits. This is the bit complexity. I order to compute some objects of large size, the time complexity of efficiet algorithms is usually O or O log. 2. The Predecessors Nijehuis ad Wilf [7] were the first oes to propose two types of geeratio algorithms: NEXT: with a total order o objects of size ad a give object of the family, compute the ext oe i the order. Geerally, these algorithms have a costat average time complexity; RANDOM: we select radomly ad uiformly objects of size of the family. Here are two examples of these types of algorithms. Here ad throughout the remaider of the text, [] deotes the set {1,..., }. Example Permutatios of [], algorithms NEXTPER ad RANPER [7]. NEXTPER uses the otio of sub-exceedig fuctio: a fuctio f from [] to [] is sub-exceedig is ad oly if for each i [], 1 fi i. It is obvious that the umber of sub-exceedig fuctios from [] to [] is! oe possibility for f1, two for f2, ad so o.

2 178 Combiatorics ad Radom Geeratio A clever order o sub-exceedig fuctios allows us to trasform a permutatio ito the ext oe with few operatios. The average cost of a trasformatio is O1 steps. Iput: σ = σ 1, σ 2,..., σ, a permutatio of S ad its sigature s i.e., the umber of couples i, j such that σ i > σ j ad i < j. Output: ext permutatio. if s = 1 the s 1; switch σ 1 ad σ 2 ad exit else s 1; i 0; t 0 loop d 0; i i + 1 for j from 1 to i do if σ j > σ i+1 the d d + 1 ed if ed for t t + d if t is odd ad d < i the fid i σ = σ 1, σ 1,..., σ i the largest umber less tha σ i+1 ; switch this umber with σ i+1 ad exit ed if if t is eve ad d > 0 the fid i σ = σ 1, σ 1,..., σ i the smallest umber greater tha σ i+1 ; switch this umber with σ i+1 ad exit ed if ed loop ed if Figure 1. Algorithm NEXTPER. To compute a radom permutatio of [], the algorithm is quite simple see Algorithm 2. This algorithm is icremetal. This meas that after m steps, for each m, the algorithm geerates a radom permutatio of [m]. Cosiderig this algorithm, we ca see that the umber of calls of the fuctio RANDOM is. The arithmetic complexity is also liear. Sice this algorithm works with itegers less tha, the bit complexity is O log. σ 1 1 for i from 2 to do σ i i k RANDOM i switch σ k ad σ i ed for Figure 2. Algorithm RANPER. Example Subsets of size k of a set of size, algorithms NEXTKSB ad RANKSB. I this case, RANKSB is more difficult tha NEXKSB. For NEXTKSB, it is possible to use the lexicographic order. If k < /2, less tha 2 operatios are ecessary to obtai the ext subset with k elemets.

3 D. Gouyou-Beauchamps, summary by N. Boicho 179 If k > /2, we apply the algorithm o subsets of k elemets. For RANDKSB, it is more complicated because k memory cells are eeded to store the subsets with k elemets. For this purpose, there exists a rejectio algorithm with a Ok average complexity [7]. 3. Ad Hoc Algorithms For some classes of objects, geeral methods do ot work or are ot efficiet. Hece, it is ecessary to develop ad hoc algorithms. I this sectio we preset several algorithms that geerate radom complete biary trees with 2 edges Rémy s Algorithm. Rémy s Algorithm [8] uses the fact that complete biary trees are i bijectio with well-formed paretheses words or Dyck words o the alphabet A = {x, x}. The equatio of the o-commutative geeratig series of this laguage is D = ɛ + xd xd. The Dyck words of legth 2 are eumerated by the Catala umbers: D A 2 = =: C. Hece C eumerates the complete biary trees with + 1 leaves, ier vertices, ad 2 edges. For a complete biary tree T with 2 edges, we have ways to choose oe edge if we admit that there is a virtual edge that goes to the root. The, we ca choose a orietatio left or right 2 choices. We place a ew vertex i the middle of the chose edge ad we add a ew edge to this vertex o the left or o the right depedig o the chose orietatio. If it is the virtual edge, we place above the root a reversed chevro, so two edges, liked to the root by the right leaf or the left leaf depedig of the chose orietatio see Figure 3. We obtai a complete biary tree T with edges with a poited leaf the ew added leaf. This tree T has + 2 leaves. So, there are + 2 ways to poit it, i other words, there are + 2 ways to obtai it from a tree with + 1 leaves with the described process. 22+1C 2+2C +1 Figure 3. Rémy s costructio. We just proved bijectively ad gave a combiatorial iterpretatio of the obvious recurrece relatio C = + 2C +1. We also proved that this process geerates after m steps a radom tree of size m i the class of trees of size m. By recursio, the probability of T is 1/C. The probability of a poited tree T is 1/ C. If we call T the tree obtaied from T while forgettig the poitig, the the probability of the tree T to be geerated is +2/ 22+1C ad so 1/C +1. Note that this algorithm is icremetal. Aother advatage of this algorithm is that it maipulates umbers of order O. Moreover it computes i liear time ad memory for fixed-size arithmetic operatios.

4 180 Combiatorics ad Radom Geeratio 3.2. Algorithm based o the cyclic lemma. There are other algorithms that ca be built from a combiatorial iterpretatio of the idetity 2 + 1C = 2+1 satisfied by Catala umbers. For this idetity we use the cyclic lemma or Raey s lemma [6, p ]: Lemma 1. A word f o the alphabet A = {x, x} composed of letters x ad + 1 letters x has oly oe factorizatio f = f f with f ɛ i the possibilities such that f f represets a complete biary tree with 2 edges i.e., a Dyck words followed with a letter x. I this case, we start from a radom word composed of letters x ad + 1 letters x it is easy to build such a word sice it correspods with a subset of elemets of a set of elemets. The we look for the uique possible factorizatio. Oe ca remark that this algorithm is ot icremetal. Aother idetity we ca use is + 1C = 2, proved by the Catala factorizatio [3] Step-by-step radom geeratio of Dyck words. Let L be a laguage o a alphabet A. Let L be the set of words of L of legth. For a word w i L, a letter a i A, ad a iteger, let us defie pw, a, as the ratio of the umber of words i L begiig with wa over the umber of words i L begiig with w. Usig this fuctio, it is possible to geerate a word uiformly: w ɛ while w < do a a radom letter with probability pw, a, w wa ed while Figure 4. Algorithm to compute a uiform radom word. This method ca be efficietly applied to geerate Dyck words, ad therefore complete biary trees. For this purpose, let us assume that we have geerated a left factor w of a Dyck word o the alphabet A = {x, x}. This word is composed of p letters x ad q letters x with p+q = 2 m 2, p q = h 0 ad such that m ad h have the same parity. The umber of Dyck words begiig with p letters x ad q letters x is equal to the umber of left factors of Dyck words with p letters x ad q letters x times the umber of left factors of Dyck words of legth m with h more x tha x: F h,m = h + 1 m + 1 m + 1 m h/2 By iductio we suppose that w is selected such that all Dyck words ww have probability 1/C to appear. The probability of w is F,m /C. Now a letter x is selected with probability h+2 m h h+1 2m ad a letter x is selected with probability h m+h+2 h+1 2m. With such probabilities, the probability of the left factor wx is equal to the probability of the left factor w to appear times the probability of the letter x: h+2 m h h+1 m+1 h+2 m h+1 2m m+1 m h/2 m m h 2/2 = = F h+1,m 1 C C C Similarly, the probability for the left factor w x is equal to the probability of w to be selected times the probability of the letter x to be selected:. h m+h+2 h+1 m+1 h m h+1 2m m+1 m h/2 m m h/2 = = F h 1,m 1. C C C We set the expected probabilities. This proves the uiformity of the distributio.

5 4. Rejectio Algorithms D. Gouyou-Beauchamps, summary by N. Boicho 181 Assume we wat to uiformly geerate a object of a set S 1. The idea is to uiformly geerate a object e i a set S 2 such that S 1 S 2. If e S 1 the we keep e, otherwise we reject e ad we try to select aother oe. This method assumes tha we kow how to select efficietly objects i S 2, that the ratio S 2 / S 1 is ot too big, ad that we ca test membership to S 1 efficietly Left factor of Motzki words. Here is a example of rejectio algorithm that computes left factor of Motzki words [2]. Motzki s laguage M is composed of words f o the alphabet A = {x, x, a} such that the subset of f composed oly of letters x ad x is a Dyck word. The idea is to geerate a word, letter by letter, with probability 1/3 for each letter util it reaches the legth or util there is more letters x tha letters x. I this last case, the partially built word is rejected ad the algorithm is started agai. To evaluate the complexity of this algorithm, we eumerate the average umber of letters geerated before a word of legth i F is obtaied. The laguage M satisfies the equatio M = ɛ + am + xm xm. So, the geeratig fuctio Mt of M satisfies the equatio Mt = 1 + tmt + t 2 Mt 2 ad is equal to 1 t 1 + t1 3t /2t 2. The laguage F of left factors of Motzki words satisfies the equatio F = M +MxF. So, the geeratig fuctio F t 1+t of F satisfies the equatio F t = Mt + tmtf t ad is equal to t /2t. Let R be the laguage of rejected words by the algorithm ad let F p be the laguage of words of F of legth less or equal to p. Oe ca remark that R = F 1 A F ad that lim R = M x. The algorithm geerates words of the laguage G = F + R G. The geeratig fuctio Gt of G is equal to Gt = ft 1 Rt where R t is the geeratig fuctio of R ad where F t is the geeratig fuctio of F. Let P G t the probability geeratig fuctio of G, i.e., the geeratig fuctio where each word is weighed by its probability; the average legth γg of words of G is P G 1. I formulas: P G t = Gt/3 = f t 3 1 R t/3 ad P Gt = f t R t/3 + f t R t/ R t/3 2. Oe ca remark that A = F i=1 Ri A i where R i = R A i. If we ote r i the cardiality of R i, the 3 = f + i=1 ri 3 i ad so f /3 = 1 R 1/3 ad we get P G = + R 1/3. But, as R 1/3 = i=1 iri 3 i+1 λf 1 F = i=0 i kf i 1 f i [t ] 1 P G1 1 t F t/3 = [t ] F t/3 3 i =, [t ] F t/3 = = kλr, we get P G 3 1 = + f λr where λr = i=0 i f i f 3 i 3. Usig both equatios above, we obtai: 3 π + O 1 1, [t ] 1 t F t/3 = O1. π Therefore whe goes to ifiity, the average umber of selected letters coverges to 2. Alai Deise has exteded this rejectio method to the f g-laguages [4] Motzki words. Let us cosider a Motzki word of legth. This is a word of paretheses o {x, x} of legth 2i with 2i letters a itertwied. The Motzki words of legth are eumerated by Motzki umbers m = /2 i=0 2i Ci where C i is a Catala umber. To select a Motzki word of legth uiformly, the problem is to decide the umber i of letters x i the word. The the problem is easy to solve, as we kow how to select a Dyck word legth 2i ad we kow how to select 2i positios i possible oes where the letters of this word will be iserted. f

6 182 Combiatorics ad Radom Geeratio The probability that a word has i letters x ad i letters x is 2i Ci /m. To geerate i with the appropriate distributio, usig the formula, it is ecessary to maipulate huge umbers. The idea of Lauret Aloso [1] is to approximate this distributio by a larger distributio, easy to simulate. This idea ca also be foud i the Luc Devroye s book [5]. Assume that we have v + 1 boxes umbered from 0 to v. Box i cotais N i black balls N = v i=0 N i. This is the iitial distributio. For each i = 0, 1,..., v, we add B i white balls ito box i. Globally, there are D balls D = v i=0 D i, D i = N i + B i. This is a easy distributio to compute. We select box i with probability D i /D. The we cosider that this choice is correct with probability N i /D i the probability to select a black ball i the box i. If this choice is ot correct, we choose aother box. Otherwise the iteger i is defiitively selected. The probability to select the box i with such process is N i /N ad the average umber of trials before a box is defiitively selected is D/N. For Motzki s laguage, L. Aloso [1] takes v = /3, ad N i = D i = {! i 1! i! 2i+2! for i [ 1, 1 + /2 ], 0 otherwise,! + 1/3! i! + 1 i + 1/3!. Note that D i is maily a biomial coefficiet times a costat. We ca show that whe i [ 1, 1 + /2 ], we have N i /D i = a c / b c 1 where the values of a, b, ad c deped oly of the positio of i from + 1/ The choice of box i with probability D i /D ca be doe by geeratig a sequece of /3 bits ad cosiderig the sum of geerated bits. The validity test of the choice of a box with a probability N i /D i = a c / b c ca be doe by choosig c itegers i the iterval [ 1, b ] ad verifyig that they are less tha a. We ca compute that D /2 π, M /2 π. This implies the result D/M 3. Theorem 1. [1] The average complexity of the radom geeratig algorithm of Motzki words is liear. Bibliography [1] Aloso Lauret ad Schott Reé. Radom geeratio of trees. Kluwer Academic Publishers, Bosto, MA, 1995, x+208p. Radom geerators i computer sciece. [2] Barcucci E., Pizai R., ad Sprugoli R.. The radom geeratio of directed aimals. Theoretical Computer Sciece, vol. 127, 2, 1994, pp [3] Chotti Lauret ad Cori Robert. Ue preuve combiatoire de la ratioalité d ue série géératrice associée aux arbres. RAIRO Iformatique Théorique, vol. 16, 2, 1982, pp [4] Deise Alai. Méthodes de géératio aléatoire d objets combiatoires de grade taille et problèmes d éumératio. Thèse, Uiversité Bordeaux I, [5] Devroye Luc. Nouiform radom variate geeratio. Spriger-Verlag, New York, 1986, xvi+843p. [6] Lothaire M.. Combiatorics o words. Addiso-Wesley, Readig, Mass., 1983, Ecyclopedia of Mathematics ad its Applicatios, vol. 17, xix+238p. Collective work uder a pseudoym. [7] Nijehuis Albert ad Wilf Herbert S.. Combiatorial algorithms. Academic Press, New York, 1978, secod editio, Computer Sciece ad Applied Mathematics, xv+302p. For computers ad calculators. [8] Rémy Jea-Luc. U procédé itératif de déombremet d arbres biaires et so applicatio à leur géératio aléatoire. RAIRO Iformatique Théorique, vol. 19, 2, 1985, pp

Counting Well-Formed Parenthesizations Easily

Counting Well-Formed Parenthesizations Easily Coutig Well-Formed Parethesizatios Easily Pekka Kilpeläie Uiversity of Easter Filad School of Computig, Kuopio August 20, 2014 Abstract It is well kow that there is a oe-to-oe correspodece betwee ordered

More information

The Random Walk For Dummies

The Random Walk For Dummies The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli

More information

Recursive Algorithms. Recurrences. Recursive Algorithms Analysis

Recursive Algorithms. Recurrences. Recursive Algorithms Analysis Recursive Algorithms Recurreces Computer Sciece & Egieerig 35: Discrete Mathematics Christopher M Bourke cbourke@cseuledu A recursive algorithm is oe i which objects are defied i terms of other objects

More information

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

NICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =

NICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) = AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,

More information

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +

62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + 62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

CS284A: Representations and Algorithms in Molecular Biology

CS284A: Representations and Algorithms in Molecular Biology CS284A: Represetatios ad Algorithms i Molecular Biology Scribe Notes o Lectures 3 & 4: Motif Discovery via Eumeratio & Motif Represetatio Usig Positio Weight Matrix Joshua Gervi Based o presetatios by

More information

2 A bijective proof of Theorem 1 I order to give a bijective proof of Theorem 1, we eed to itroduce the local biary search (LBS) trees, used by Postio

2 A bijective proof of Theorem 1 I order to give a bijective proof of Theorem 1, we eed to itroduce the local biary search (LBS) trees, used by Postio Eumeratig alteratig trees Cedric Chauve 1, Serge Dulucq 2 ad Adrew Rechitzer 2? 1 LaBRI, Uiversit Bordeaux I 31 Cours de la Lib ratio, 3340 Talece, Frace 2 Departmet of Mathematics, The Uiversity of Melboure

More information

Sequences of Definite Integrals, Factorials and Double Factorials

Sequences of Definite Integrals, Factorials and Double Factorials 47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology

More information

The multiplicative structure of finite field and a construction of LRC

The multiplicative structure of finite field and a construction of LRC IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio

More information

Section 5.1 The Basics of Counting

Section 5.1 The Basics of Counting 1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of

More information

ECEN 655: Advanced Channel Coding Spring Lecture 7 02/04/14. Belief propagation is exact on tree-structured factor graphs.

ECEN 655: Advanced Channel Coding Spring Lecture 7 02/04/14. Belief propagation is exact on tree-structured factor graphs. ECEN 655: Advaced Chael Codig Sprig 014 Prof. Hery Pfister Lecture 7 0/04/14 Scribe: Megke Lia 1 4-Cycles i Gallager s Esemble What we already kow: Belief propagatio is exact o tree-structured factor graphs.

More information

Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =

Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) = COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.

More information

Generating functions for the area below some lattice paths

Generating functions for the area below some lattice paths Discrete Mathematics ad Theoretical Computer Sciece AC, 3, 7 8 Geeratig fuctios for the area below some lattice paths Doatella Merlii Dipartimeto di Sistemi e Iformatica, Via Lombroso 6/7, 534, Fireze,

More information

Sequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018

Sequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018 CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical

More information

Axioms of Measure Theory

Axioms of Measure Theory MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that

More information

1 Introduction to reducing variance in Monte Carlo simulations

1 Introduction to reducing variance in Monte Carlo simulations Copyright c 010 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 ukow mea µ = E(X) of a distributio by

More information

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet

More information

1 of 7 7/16/2009 6:06 AM Virtual Laboratories > 6. Radom Samples > 1 2 3 4 5 6 7 6. Order Statistics Defiitios Suppose agai that we have a basic radom experimet, ad that X is a real-valued radom variable

More information

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca

A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity

More information

Sequences and Series of Functions

Sequences and Series of Functions Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges

More information

End-of-Year Contest. ERHS Math Club. May 5, 2009

End-of-Year Contest. ERHS Math Club. May 5, 2009 Ed-of-Year Cotest ERHS Math Club May 5, 009 Problem 1: There are 9 cois. Oe is fake ad weighs a little less tha the others. Fid the fake coi by weighigs. Solutio: Separate the 9 cois ito 3 groups (A, B,

More information

CS 270 Algorithms. Oliver Kullmann. Growth of Functions. Divide-and- Conquer Min-Max- Problem. Tutorial. Reading from CLRS for week 2

CS 270 Algorithms. Oliver Kullmann. Growth of Functions. Divide-and- Conquer Min-Max- Problem. Tutorial. Reading from CLRS for week 2 Geeral remarks Week 2 1 Divide ad First we cosider a importat tool for the aalysis of algorithms: Big-Oh. The we itroduce a importat algorithmic paradigm:. We coclude by presetig ad aalysig two examples.

More information

subcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016

subcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016 subcaptiofot+=small,labelformat=pares,labelsep=space,skip=6pt,list=0,hypcap=0 subcaptio ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, /6/06. Self-cojugate Partitios Recall that, give a partitio λ, we may

More information

Legendre-Stirling Permutations

Legendre-Stirling Permutations Legedre-Stirlig Permutatios Eric S. Egge Departmet of Mathematics Carleto College Northfield, MN 07 USA eegge@carleto.edu Abstract We first give a combiatorial iterpretatio of Everitt, Littlejoh, ad Wellma

More information

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of

More information

Math 172 Spring 2010 Haiman Notes on ordinary generating functions

Math 172 Spring 2010 Haiman Notes on ordinary generating functions Math 72 Sprig 200 Haima Notes o ordiary geeratig fuctios How do we cout with geeratig fuctios? May eumeratio problems which are ot so easy to hadle by elemetary meas ca be solved usig geeratig fuctios

More information

Chapter 4. Fourier Series

Chapter 4. Fourier Series Chapter 4. Fourier Series At this poit we are ready to ow cosider the caoical equatios. Cosider, for eample the heat equatio u t = u, < (4.) subject to u(, ) = si, u(, t) = u(, t) =. (4.) Here,

More information

Randomized Algorithms I, Spring 2018, Department of Computer Science, University of Helsinki Homework 1: Solutions (Discussed January 25, 2018)

Randomized Algorithms I, Spring 2018, Department of Computer Science, University of Helsinki Homework 1: Solutions (Discussed January 25, 2018) Radomized Algorithms I, Sprig 08, Departmet of Computer Sciece, Uiversity of Helsiki Homework : Solutios Discussed Jauary 5, 08). Exercise.: Cosider the followig balls-ad-bi game. We start with oe black

More information

Enumerative & Asymptotic Combinatorics

Enumerative & Asymptotic Combinatorics C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,

More information

David Vella, Skidmore College.

David Vella, Skidmore College. David Vella, Skidmore College dvella@skidmore.edu Geeratig Fuctios ad Expoetial Geeratig Fuctios Give a sequece {a } we ca associate to it two fuctios determied by power series: Its (ordiary) geeratig

More information

Lecture 11: Pseudorandom functions

Lecture 11: Pseudorandom functions COM S 6830 Cryptography Oct 1, 2009 Istructor: Rafael Pass 1 Recap Lecture 11: Pseudoradom fuctios Scribe: Stefao Ermo Defiitio 1 (Ge, Ec, Dec) is a sigle message secure ecryptio scheme if for all uppt

More information

Commutativity in Permutation Groups

Commutativity in Permutation Groups Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are

More information

Linear chord diagrams with long chords

Linear chord diagrams with long chords Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;

More information

An Introduction to Randomized Algorithms

An Introduction to Randomized Algorithms A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis

More information

1 Hash tables. 1.1 Implementation

1 Hash tables. 1.1 Implementation Lecture 8 Hash Tables, Uiversal Hash Fuctios, Balls ad Bis Scribes: Luke Johsto, Moses Charikar, G. Valiat Date: Oct 18, 2017 Adapted From Virgiia Williams lecture otes 1 Hash tables A hash table is a

More information

Recurrence Relations

Recurrence Relations Recurrece Relatios Aalysis of recursive algorithms, such as: it factorial (it ) { if (==0) retur ; else retur ( * factorial(-)); } Let t be the umber of multiplicatios eeded to calculate factorial(). The

More information

IP Reference guide for integer programming formulations.

IP Reference guide for integer programming formulations. IP Referece guide for iteger programmig formulatios. by James B. Orli for 15.053 ad 15.058 This documet is iteded as a compact (or relatively compact) guide to the formulatio of iteger programs. For more

More information

6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.

6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer. 6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio

More information

Law of the sum of Bernoulli random variables

Law of the sum of Bernoulli random variables Law of the sum of Beroulli radom variables Nicolas Chevallier Uiversité de Haute Alsace, 4, rue des frères Lumière 68093 Mulhouse icolas.chevallier@uha.fr December 006 Abstract Let be the set of all possible

More information

4 The Sperner property.

4 The Sperner property. 4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,

More information

COS 341 Discrete Mathematics. Exponential Generating Functions and Recurrence Relations

COS 341 Discrete Mathematics. Exponential Generating Functions and Recurrence Relations COS 341 Discrete Mathematics Epoetial Geeratig Fuctios ad Recurrece Relatios 1 Tetbook? 1 studets said they eeded the tetbook, but oly oe studet bought the tet from Triagle. If you do t have the book,

More information

1 Summary: Binary and Logic

1 Summary: Binary and Logic 1 Summary: Biary ad Logic Biary Usiged Represetatio : each 1-bit is a power of two, the right-most is for 2 0 : 0110101 2 = 2 5 + 2 4 + 2 2 + 2 0 = 32 + 16 + 4 + 1 = 53 10 Usiged Rage o bits is [0...2

More information

Lecture Chapter 6: Convergence of Random Sequences

Lecture Chapter 6: Convergence of Random Sequences ECE5: Aalysis of Radom Sigals Fall 6 Lecture Chapter 6: Covergece of Radom Sequeces Dr Salim El Rouayheb Scribe: Abhay Ashutosh Doel, Qibo Zhag, Peiwe Tia, Pegzhe Wag, Lu Liu Radom sequece Defiitio A ifiite

More information

Fall 2013 MTH431/531 Real analysis Section Notes

Fall 2013 MTH431/531 Real analysis Section Notes Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters

More information

Injections, Surjections, and the Pigeonhole Principle

Injections, Surjections, and the Pigeonhole Principle Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs

More information

arxiv: v1 [math.nt] 10 Dec 2014

arxiv: v1 [math.nt] 10 Dec 2014 A DIGITAL BINOMIAL THEOREM HIEU D. NGUYEN arxiv:42.38v [math.nt] 0 Dec 204 Abstract. We preset a triagle of coectios betwee the Sierpisi triagle, the sum-of-digits fuctio, ad the Biomial Theorem via a

More information

6.3 Testing Series With Positive Terms

6.3 Testing Series With Positive Terms 6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial

More information

Recursive Algorithm for Generating Partitions of an Integer. 1 Preliminary

Recursive Algorithm for Generating Partitions of an Integer. 1 Preliminary Recursive Algorithm for Geeratig Partitios of a Iteger Sug-Hyuk Cha Computer Sciece Departmet, Pace Uiversity 1 Pace Plaza, New York, NY 10038 USA scha@pace.edu Abstract. This article first reviews the

More information

De Bruijn Sequences for the Binary Strings with Maximum Specified Density

De Bruijn Sequences for the Binary Strings with Maximum Specified Density De Bruij Sequeces for the Biary Strigs with Maximum Specified Desity Joe Sawada 1, Brett Steves 2, ad Aaro Williams 2 1 jsawada@uoguelph.ca School of Computer Sciece, Uiversity of Guelph, CANADA 2 brett@math.carleto.ca

More information

( ) = p and P( i = b) = q.

( ) = p and P( i = b) = q. MATH 540 Radom Walks Part 1 A radom walk X is special stochastic process that measures the height (or value) of a particle that radomly moves upward or dowward certai fixed amouts o each uit icremet of

More information

Problem Set 4 Due Oct, 12

Problem Set 4 Due Oct, 12 EE226: Radom Processes i Systems Lecturer: Jea C. Walrad Problem Set 4 Due Oct, 12 Fall 06 GSI: Assae Gueye This problem set essetially reviews detectio theory ad hypothesis testig ad some basic otios

More information

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as

More information

Chapter 6. Advanced Counting Techniques

Chapter 6. Advanced Counting Techniques Chapter 6 Advaced Coutig Techiques 6.: Recurrece Relatios Defiitio: A recurrece relatio for the sequece {a } is a equatio expressig a i terms of oe or more of the previous terms of the sequece: a,a2,a3,,a

More information

Math 609/597: Cryptography 1

Math 609/597: Cryptography 1 Math 609/597: Cryptography 1 The Solovay-Strasse Primality Test 12 October, 1993 Burt Roseberg Revised: 6 October, 2000 1 Itroductio We describe the Solovay-Strasse primality test. There is quite a bit

More information

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled 1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how

More information

You may work in pairs or purely individually for this assignment.

You may work in pairs or purely individually for this assignment. CS 04 Problem Solvig i Computer Sciece OOC Assigmet 6: Recurreces You may work i pairs or purely idividually for this assigmet. Prepare your aswers to the followig questios i a plai ASCII text file or

More information

CALCULATION OF FIBONACCI VECTORS

CALCULATION OF FIBONACCI VECTORS CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College

More information

The Boolean Ring of Intervals

The Boolean Ring of Intervals MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,

More information

Random Models. Tusheng Zhang. February 14, 2013

Random Models. Tusheng Zhang. February 14, 2013 Radom Models Tusheg Zhag February 14, 013 1 Radom Walks Let me describe the model. Radom walks are used to describe the motio of a movig particle (object). Suppose that a particle (object) moves alog the

More information

Lecture 12: November 13, 2018

Lecture 12: November 13, 2018 Mathematical Toolkit Autum 2018 Lecturer: Madhur Tulsiai Lecture 12: November 13, 2018 1 Radomized polyomial idetity testig We will use our kowledge of coditioal probability to prove the followig lemma,

More information

Chapter 6 Infinite Series

Chapter 6 Infinite Series Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat

More information

Lecture 7: Properties of Random Samples

Lecture 7: Properties of Random Samples Lecture 7: Properties of Radom Samples 1 Cotiued From Last Class Theorem 1.1. Let X 1, X,...X be a radom sample from a populatio with mea µ ad variace σ

More information

De Bruijn Sequences for the Binary Strings with Maximum Density

De Bruijn Sequences for the Binary Strings with Maximum Density De Bruij Sequeces for the Biary Strigs with Maximum Desity Joe Sawada 1, Brett Steves 2, ad Aaro Williams 2 1 jsawada@uoguelph.ca School of Computer Sciece, Uiversity of Guelph, CANADA 2 brett@math.carleto.ca

More information

1 Generating functions for balls in boxes

1 Generating functions for balls in boxes Math 566 Fall 05 Some otes o geeratig fuctios Give a sequece a 0, a, a,..., a,..., a geeratig fuctio some way of represetig the sequece as a fuctio. There are may ways to do this, with the most commo ways

More information

Sums, products and sequences

Sums, products and sequences Sums, products ad sequeces How to write log sums, e.g., 1+2+ (-1)+ cocisely? i=1 Sum otatio ( sum from 1 to ): i 3 = 1 + 2 + + If =3, i=1 i = 1+2+3=6. The ame ii does ot matter. Could use aother letter

More information

Test One (Answer Key)

Test One (Answer Key) CS395/Ma395 (Sprig 2005) Test Oe Name: Page 1 Test Oe (Aswer Key) CS395/Ma395: Aalysis of Algorithms This is a closed book, closed otes, 70 miute examiatio. It is worth 100 poits. There are twelve (12)

More information

arxiv: v1 [math.co] 23 Mar 2016

arxiv: v1 [math.co] 23 Mar 2016 The umber of direct-sum decompositios of a fiite vector space arxiv:603.0769v [math.co] 23 Mar 206 David Ellerma Uiversity of Califoria at Riverside August 3, 208 Abstract The theory of q-aalogs develops

More information

OPTIMAL ALGORITHMS -- SUPPLEMENTAL NOTES

OPTIMAL ALGORITHMS -- SUPPLEMENTAL NOTES OPTIMAL ALGORITHMS -- SUPPLEMENTAL NOTES Peter M. Maurer Why Hashig is θ(). As i biary search, hashig assumes that keys are stored i a array which is idexed by a iteger. However, hashig attempts to bypass

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty

More information

CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo

CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo Coutig Methods CSE 191, Class Note 05: Coutig Methods Computer Sci & Eg Dept SUNY Buffalo c Xi He (Uiversity at Buffalo CSE 191 Discrete Structures 1 / 48 Need for Coutig The problem of coutig the umber

More information

Fourier Series and the Wave Equation

Fourier Series and the Wave Equation Fourier Series ad the Wave Equatio We start with the oe-dimesioal wave equatio u u =, x u(, t) = u(, t) =, ux (,) = f( x), u ( x,) = This represets a vibratig strig, where u is the displacemet of the strig

More information

Bertrand s Postulate

Bertrand s Postulate Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a

More information

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play. Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers

More information

Frequentist Inference

Frequentist Inference Frequetist Iferece The topics of the ext three sectios are useful applicatios of the Cetral Limit Theorem. Without kowig aythig about the uderlyig distributio of a sequece of radom variables {X i }, for

More information

CS / MCS 401 Homework 3 grader solutions

CS / MCS 401 Homework 3 grader solutions CS / MCS 401 Homework 3 grader solutios assigmet due July 6, 016 writte by Jāis Lazovskis maximum poits: 33 Some questios from CLRS. Questios marked with a asterisk were ot graded. 1 Use the defiitio of

More information

Resampling Methods. X (1/2), i.e., Pr (X i m) = 1/2. We order the data: X (1) X (2) X (n). Define the sample median: ( n.

Resampling Methods. X (1/2), i.e., Pr (X i m) = 1/2. We order the data: X (1) X (2) X (n). Define the sample median: ( n. Jauary 1, 2019 Resamplig Methods Motivatio We have so may estimators with the property θ θ d N 0, σ 2 We ca also write θ a N θ, σ 2 /, where a meas approximately distributed as Oce we have a cosistet estimator

More information

An enumeration of flags in finite vector spaces

An enumeration of flags in finite vector spaces A eumeratio of flags i fiite vector spaces C Rya Viroot Departmet of Mathematics College of William ad Mary P O Box 8795 Williamsburg VA 23187 viroot@mathwmedu Submitted: Feb 2 2012; Accepted: Ju 27 2012;

More information

Solutions to Final Exam

Solutions to Final Exam Solutios to Fial Exam 1. Three married couples are seated together at the couter at Moty s Blue Plate Dier, occupyig six cosecutive seats. How may arragemets are there with o wife sittig ext to her ow

More information

ADVANCED DIGITAL SIGNAL PROCESSING

ADVANCED DIGITAL SIGNAL PROCESSING ADVANCED DIGITAL SIGNAL PROCESSING PROF. S. C. CHAN (email : sccha@eee.hku.hk, Rm. CYC-702) DISCRETE-TIME SIGNALS AND SYSTEMS MULTI-DIMENSIONAL SIGNALS AND SYSTEMS RANDOM PROCESSES AND APPLICATIONS ADAPTIVE

More information

On Generalized Fibonacci Numbers

On Generalized Fibonacci Numbers Applied Mathematical Scieces, Vol. 9, 215, o. 73, 3611-3622 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/1.12988/ams.215.5299 O Geeralized Fiboacci Numbers Jerico B. Bacai ad Julius Fergy T. Rabago Departmet

More information

2.4 - Sequences and Series

2.4 - Sequences and Series 2.4 - Sequeces ad Series Sequeces A sequece is a ordered list of elemets. Defiitio 1 A sequece is a fuctio from a subset of the set of itegers (usually either the set 80, 1, 2, 3,... < or the set 81, 2,

More information

CSE 202 Homework 1 Matthias Springer, A Yes, there does always exist a perfect matching without a strong instability.

CSE 202 Homework 1 Matthias Springer, A Yes, there does always exist a perfect matching without a strong instability. CSE 0 Homework 1 Matthias Spriger, A9950078 1 Problem 1 Notatio a b meas that a is matched to b. a < b c meas that b likes c more tha a. Equality idicates a tie. Strog istability Yes, there does always

More information

SAMPLING LIPSCHITZ CONTINUOUS DENSITIES. 1. Introduction

SAMPLING LIPSCHITZ CONTINUOUS DENSITIES. 1. Introduction SAMPLING LIPSCHITZ CONTINUOUS DENSITIES OLIVIER BINETTE Abstract. A simple ad efficiet algorithm for geeratig radom variates from the class of Lipschitz cotiuous desities is described. A MatLab implemetatio

More information

Trial division, Pollard s p 1, Pollard s ρ, and Fermat s method. Christopher Koch 1. April 8, 2014

Trial division, Pollard s p 1, Pollard s ρ, and Fermat s method. Christopher Koch 1. April 8, 2014 Iteger Divisio Algorithm ad Cogruece Iteger Trial divisio,,, ad with itegers mod Iverses mod Multiplicatio ad GCD Iteger Christopher Koch 1 1 Departmet of Computer Sciece ad Egieerig CSE489/589 Algorithms

More information

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity

More information

# fixed points of g. Tree to string. Repeatedly select the leaf with the smallest label, write down the label of its neighbour and remove the leaf.

# fixed points of g. Tree to string. Repeatedly select the leaf with the smallest label, write down the label of its neighbour and remove the leaf. Combiatorics Graph Theory Coutig labelled ad ulabelled graphs There are 2 ( 2) labelled graphs of order. The ulabelled graphs of order correspod to orbits of the actio of S o the set of labelled graphs.

More information

V. Adamchik 1. Recursions. Victor Adamchik Fall of x n1. x n 2. Here are a few first values of the above sequence (coded in Mathematica)

V. Adamchik 1. Recursions. Victor Adamchik Fall of x n1. x n 2. Here are a few first values of the above sequence (coded in Mathematica) V. Adamchik Recursios Victor Adamchik Fall of 2005 Pla. Covergece of sequeces 2. Fractals 3. Coutig biary trees Covergece of Sequeces I the previous lecture we cosidered a cotiued fractio for 2 : 2 This

More information

Math 475, Problem Set #12: Answers

Math 475, Problem Set #12: Answers Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe

More information

Basic Counting. Periklis A. Papakonstantinou. York University

Basic Counting. Periklis A. Papakonstantinou. York University Basic Coutig Periklis A. Papakostatiou York Uiversity We survey elemetary coutig priciples ad related combiatorial argumets. This documet serves oly as a remider ad by o ways does it go i depth or is it

More information

Sequences I. Chapter Introduction

Sequences I. Chapter Introduction Chapter 2 Sequeces I 2. Itroductio A sequece is a list of umbers i a defiite order so that we kow which umber is i the first place, which umber is i the secod place ad, for ay atural umber, we kow which

More information

Seunghee Ye Ma 8: Week 5 Oct 28

Seunghee Ye Ma 8: Week 5 Oct 28 Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value

More information

5. Likelihood Ratio Tests

5. Likelihood Ratio Tests 1 of 5 7/29/2009 3:16 PM Virtual Laboratories > 9. Hy pothesis Testig > 1 2 3 4 5 6 7 5. Likelihood Ratio Tests Prelimiaries As usual, our startig poit is a radom experimet with a uderlyig sample space,

More information

Chapter 9: Numerical Differentiation

Chapter 9: Numerical Differentiation 178 Chapter 9: Numerical Differetiatio Numerical Differetiatio Formulatio of equatios for physical problems ofte ivolve derivatives (rate-of-chage quatities, such as velocity ad acceleratio). Numerical

More information

Shannon s noiseless coding theorem

Shannon s noiseless coding theorem 18.310 lecture otes May 4, 2015 Shao s oiseless codig theorem Lecturer: Michel Goemas I these otes we discuss Shao s oiseless codig theorem, which is oe of the foudig results of the field of iformatio

More information

CS 332: Algorithms. Linear-Time Sorting. Order statistics. Slide credit: David Luebke (Virginia)

CS 332: Algorithms. Linear-Time Sorting. Order statistics. Slide credit: David Luebke (Virginia) 1 CS 332: Algorithms Liear-Time Sortig. Order statistics. Slide credit: David Luebke (Virgiia) Quicksort: Partitio I Words Partitio(A, p, r): Select a elemet to act as the pivot (which?) Grow two regios,

More information

Fermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a.

Fermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a. Departmet of Mathematical Scieces Istructor: Daiva Puciskaite Discrete Mathematics Fermat s Little Theorem 43.. For all a Z 3, calculate a 2 ad a 3. Case a = 0. 0 0 2-times Case a 0. 0 0 3-times a a 2-times

More information

ACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory

ACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory 1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.

More information

Analysis of Algorithms. Introduction. Contents

Analysis of Algorithms. Introduction. Contents Itroductio The focus of this module is mathematical aspects of algorithms. Our mai focus is aalysis of algorithms, which meas evaluatig efficiecy of algorithms by aalytical ad mathematical methods. We

More information