Combinatorics and Random Generation. Dominique Gouyou-Beauchamps
|
|
- Adam Daniel Ray
- 5 years ago
- Views:
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
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 informationThe 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 informationRecursive 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 informationMath 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 informationNICK 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 information62. 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 informationInfinite 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 informationCS284A: 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 information2 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 informationSequences 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 informationThe 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 informationSection 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 informationECEN 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 informationLecture 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 informationGenerating 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 informationSequences, 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 informationAxioms 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 information1 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 informationSequences 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 information1 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 informationA 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 informationSequences 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 informationEnd-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 informationCS 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 informationsubcaptionfont+=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 informationLegendre-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 informationCSE 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 informationMath 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 informationChapter 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 informationRandomized 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 informationEnumerative & 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 informationDavid 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 informationLecture 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 informationCommutativity 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 informationLinear 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 informationAn 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 information1 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 informationRecurrence 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 informationIP 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 information6 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 informationLaw 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 information4 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 informationCOS 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 information1 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 informationLecture 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 informationFall 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 informationInjections, 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 informationarxiv: 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 information6.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 informationRecursive 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 informationDe 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.
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 informationProblem 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 informationA 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 informationChapter 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 informationMath 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 informationThe 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 informationYou 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 informationCALCULATION 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 informationThe 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 informationRandom 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 informationLecture 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 informationChapter 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 informationLecture 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 informationDe 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 information1 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 informationSums, 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 informationTest 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 informationarxiv: 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 informationOPTIMAL 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 informationDirichlet 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 informationCSE 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 informationFourier 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 informationBertrand 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 informationIn 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 informationFrequentist 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 informationCS / 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 informationResampling 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 informationAn 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 informationSolutions 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 informationADVANCED 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 informationOn 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 information2.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 informationCSE 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 informationSAMPLING 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 informationTrial 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 informationTHE 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.
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 informationV. 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 informationMath 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 informationBasic 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 informationSequences 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 informationSeunghee 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 information5. 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 informationChapter 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 informationShannon 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 informationCS 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 informationFermat 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 informationACO 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 informationAnalysis 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