A CAT Algorithm for Generating Permutations with a Fixed Number of Inversions
|
|
- Edmund Hensley
- 6 years ago
- Views:
Transcription
1 A CAT Algorithm for Geeratig Permutatios with a Fixed Number of Iversios Scott Effler Frak Ruskey Departmet of Computer Sciece, Uiversity of Victoria, Caada Abstract We develop a costat amortized time (CAT) algorithm for geeratig permutatios with a give umber of iversios. We also develop a algorithm for the geeratio of permutatios with give idex. Key words: Permutatio, exhaustive listig, iversio, idex. 1 Itroductio Amog all statistics of permutatios, the umber of iversios are of paramout importace to computer scietists because of their coectio with sortig ad searchig algorithms. Furthermore, they have iterestig combiatorial properties ad are itesely studied i the mathematical literature (e.g., Margolis [7], Clark [3]). Both the computatioal ad mathematical properties of permutatios with a give umber of iversios are icely summarized by Kuth [4]. However, we kow of o published algorithms for geeratig all -permutatios with a give umber of iversios (or with give idex). There are may published algorithms for geeratig various types of permutatios ad may of these ru i costat time per permutatio, i a amortized sese. For example, there are algorithms for deragemets [1], ivolutios [10], up-dow permutatios [], ad liear extesios of posets [9],[5]. Research supported i part by NSERC grat OGP addresses: seffler@csc.uvic.ca (Scott Effler), fruskey@cs.uvic.ca (Frak Ruskey ). Preprit submitted to Iformatio Processig Letters 14 April 00
2 A algorithm rus i costat amortized time (CAT) if the amout of computatio, after a small amout of preprocessig, is proportioal to the umber of objects that are geerated [8]. A iversio of a permutatio π is a pair (π i,π j ) where i < j ad π i > π j [4]. Let I(π) deote the umber of iversios i π. Clearly, 0 I(π) ( ), with the extremes occurrig for 1 ad 1. Followig Kuth [4] we use I (k) to deote the umber of permutatios of [] with k iversios. By [] we deote the set {1,,..., }. This paper presets a CAT algorithm for geeratig permutatios of [] with a give umber of iversios. The algorithm is outlied i Sectio. The idex of a permutatio π is the sum of idices j such that π j > π j+1, deoted J(π) [4]. A theorem of MacMaho [8] establishes a bijectio betwee classes of permutatios couted by the two statistics. Theorem 1.1 The umber of permutatios of [] with k iversios is the same as the umber of permutatios of [] with idex k; i.e., both sets have cardiality I (k). Eve though there is a bijectio betwee two sets, a fast algorithm for geeratig oe set will ot ecessarily imply the existece of a fast algorithm for geeratig the other set. A algorithm for geeratig permutatios with fixed idex k that experimetally appears to be CAT i the rage < k < ( ) is give i Sectio 3. Geeratig Permutatios with a Give Number of Iversios I this sectio, we develop a CAT algorithm for geeratig all permutatios π S where I(π) is equal to some give value k..1 Algorithm The algorithm works from right to left i the oe lie otatio of the permutatio by placig elemets oe at a time. The key to the algorithm is the followig lemma. Lemma.1 Give atural umbers, k with 0 k ( ), ad x [], there is a permutatio π S of the form π = π 1 π π 1 x such that I(π) = k if
3 ge(, k ) (1) if = 0 k = 0 the output π 1 π π N () for each x [N] \ {π +1,..., π N } (a) if rak(x) k ( ) 1 + rak(x) the (i) π := x (ii) ge( 1, k + rak(x) ) ad oly if Fig. 1. Geeratig Permutatios With Give Number of Iversios ( ) 1 x k + x. (1) Proof. We must show both directios of the lemma. : Suppose π = π 1 π 1 x ad I(π) = k. The umber of iversios i π 1 π 1 satisfies 0 I(π 1 π 1 ) ( ) 1. There are exactly x iversios of the form (π i, x). Thus, we have x I(π) ( ) 1 + x. : Suppose the iequality i the lemma is satisfied for, k, ad x. There is a permutatio π 1 π π 1 of [] \ {x} such that I(π 1 π π 1 ) = k + x sice 0 k + x ( ) 1 by (1). But the π1 π π 1 x S ad I(π 1 π π 1 x) = k. We oly recurse if it is possible to exted the partial permutatio to a permutatio with the give umber of iversios. That is to say, o brach i the computatio tree is a dead-ed. Such algorithms are said [8] to be BEST (backtrackig esurig success at termials). BEST algorithms are ofte fast i practice ad are geerally easier to aalyze. Our algorithm geerates permutatios of [N]. Defie rak(x) as the positio of x i the ordered list X = [N]\{π +1,..., π N } of remaiig elemets. Notice that the rak(x) is the umber of iversios created by placig elemet x at the curret positio,. The method is outlied i Figure 1. Lemma. Give that π +1 π N is a (N )-permutatio of {1,,..., N}, the call ge(, k) geerates all permutatios π 1 π π N of {1,,..., N} such that I(π 1 π ) = k. Proof. Our proof is by iductio o. Sice the empty permutatio has o ivolutios, the lemma is true whe =0. There are precisely rak(π ) iversios of the form (π i, π ). By Lemma.1 we kow that π ca be ay value such that rak(x) k ( ) 1 + rak(x). Iductively, for each possible value of x = π, the recursive call ge( 1, k +rak(π )) geerates all permutatios for which I(π 1 π 1 ) = k +rak(π ). Together with the rak(π ) iversios created by elemet π, we have geerated all -permutatios with k iversios. 3
4 Corollary.1 The call ge(n, K) geerates all permutatios π 1 π π N of {1,,..., N} such that I(π 1 π π ) = K. The followig result is importat i determiig the order to traverse the list X of remaiig elemets of the permutatio. Lemma.3 If a 1 < a < < a where {a 1, a,..., a } = [N]\{π +1,..., π N } the those a i that satisfy the coditio i lemma.1 form a cotiguous subsequece a i, a i+1,..., a j where i = 1 or j =. Proof. It is clear from (1) that the values occur i a cotiguous subsequece. We will show, uder the assumptio that 0 k ( ), that (1) is satisfied for x = 1 or x = (or both), which will suffice to prove the lemma. So suppose that (1) fails for x =. The either k < 0 or k > ( ) 1. Sice the former caot occur we have ( ) ( ) 1 < k. Hece which is (1) whe x = 1. ( ) 1 1 < k ( ) = ( ) 1 + 1, If 0 < k ( ) 1 the we traverse the list i reverse order from the largest to the smallest elemet. Otherwise, we traverse the list i order from the smallest to the largest elemet. I either case, if the test i step (a) of the algorithm of Figure 1 fails, we stop traversig the list. Implemeted i this way, the algorithm has the crucial property that its ruig time is proportioal to the total umber of odes i its computatio tree. I order to maitai the list we use the techique dubbed dacig liks by Kuth [6].. Example As a example, cosider geeratig all permutatios of legth 4 with iversios. The five such permutatios are {314, 314, 143, 143, 134}. The computatio tree is give i Figure. The list of remaiig permutatio elemets at each ode is give i square brackets followed by the curret values of ad k, alog with the curret partial permutatio. Cosider the leftmost child of the root as a example. We already kow that ay child permutatio eds i a 4 ad has two iversios to the left of the curret positio. The ext step is to fid a value for the third positio. This 4
5 [4,3,,1] (k=, =4) _,_,_,_ [3,,1] (k=, =3) _,_,_,4 [4,,1] (k=1, =3) _,_,_,3 [4,3,1] (k=0, =3) _,_,_, [3,1] (k=1, =) _,_,,4 [3,] (k=0, =) _,_,1,4 [,1] (k=1, =) _,_,4,3 [4,1] (k=1, =) _,_,,3 [3,1] (k=0, =) _,_,4, [3] (k=0, =1) _,1,,4 [] (k=0, =1) _,3,1,4 [] (k=0, =1) _,1,4,3 [1] (k=0, =1) _,4,,3 [1] (k=0, =1) _,3,4, [] (k=0, =0) 3,1,,4 [] (k=0, =0),3,1,4 [] (k=0, =0),1,4,3 [] (k=0, =0) 1,4,,3 [] (k=0, =0) 1,3,4, Fig.. Example of the Algorithm of Figure 1 positio caot be 3 sice this leaves oly 1 ad, which ca oly produce oe iversio. Therefore, this ode has two childre, as show i the computatio tree. This process is cotiued recursively util all positios are filled i..3 Path Elimiatio We otice that there may be may successive odes i the computatio tree with oly oe child. This leads to iefficiecy sice, for example, to geerate the oe permutatio with k = 0 takes time Θ(), ad to geerate the 1 permutatios with k = 1 takes time Θ( ). To combat this problem, we will apply a path elimiatio techique (PET) from [8] ad stop the recursio early. This will allow us to elimiate most, but ot all of the odes i the recursive computatio tree that have oe child. Details of this process follow. First, if k = 0, there is always just oe valid permutatio of X; the oe with all elemets ascedig. We do ot elimiate such paths, uless they arise from a k = 1 ode higher i the tree. If k = 1, we ca easily geerate all valid permutatios of X i costat amortized time by startig with all elemets i ascedig order ad swappig oe pair of adjacet elemets at each step. For example, if = 4 ad X = [4], the permutatios are {134, 134, 143}. So, if k = 1, we stop the recursio ad geerate the 1 permutatios directly i time Θ(). Similarly, if k = ( ), the there is exactly oe valid permutatio; the the oe with all elemets descedig. To elimiate may of these 1-paths we otice that if k = ( ) 1 we ca easily geerate all valid permutatios i costat amortized time by startig with all elemets i descedig order ad swappig oe pair of adjacet elemets at each step. So, if k = ( ) 1 we agai stop the recursio ad geerate the 1 permutatios directly i time Θ(). 5
6 I Figure the two odes with darker borders are the roots of subtrees with k = 1 ad k = ( ) (with = 3). The subtrees at these odes are replaced with o-recursive calls. Oe 1-path remais ad it is idicated by the odes with the black dots i their lower right corers. The cost of computig this path is assiged to the subtree rooted at the highlighted k = 1 ode. Now, we state ad prove the mai theorem of this paper. The argumet that our algorithm rus i costat amortized time is depedet upo the list traversal ad path elimiatio techiques discussed earlier. Theorem.1 The algorithm of Figure 1 with path elimiatio techiques geerates permutatios with a give umber of iversios i costat amortized time. Proof. By our earlier discussio the computatio time of the algorithm is proportioal to the umber of odes i its recursive computatio tree. If call with k = 1 or k = ( ) 1 occurs, the the 1 permutatios are geerated i Θ() time by a separate o-recursive routie ad we regard the correspodig subtrees as beig replaced by a sigle ode i the recursive computatio tree. Now every root of a 1-path i the computatio tree has k = 0 or k = ( ). A root r of a 1-path with k = 0 ca occur oly oce amogst its sibligs, ad it must have a siblig q with k = 1. The Θ() cost of geeratig the oe path is charged to the 1 leaves of the subtree represeted by q. A root of a 1-path with k = ( ) is hadled i a aalogous maer. A subtree ca oly be charged oce by this scheme (uless = 3 i which case it ca be charged twice). If 1 < k < ( ) 1, the a iteral ode of the computatio tree has at least two childre. Thus the total umber of such iteral odes is less tha the umber of leaves. 3 Geeratig Permutatios with Give Idex I this sectio, we are cocered with the geeratio of all π such that J(π) is equal to some give value. The algorithm for this problem has a similar flavor to the algorithm of Figure 1 for geeratig permutatios with a give umber of iversios, but there are sigificat ad subtle differeces. For fixed k i the rage < k < ( ) the algorithm appears to be CAT i the sese that the amortized time per permutatio is observed to be decreasig for large eough. 6
7 ge(, k) (1) if = 0 k = 0 the output π 1 π π N () for each x [N] \ {π +1,..., π N } (a) if x > π +1 the k := k else k := k; (b) if rak(x) k ( ) rak(x) + 1 the (i) π := x; (ii) ge( 1, k ); Fig. 3. Geeratig Permutatios With Give Idex (assumes π N+1 = N + 1). 3.1 Algorithm As was the case for iversios, this algorithm works from right to left. We assume that we are geeratig permutatios of [N]. I order to treat all positios i a uiform maer we will assume that π N+1 = N + 1. Some simple results will help us costruct a algorithm i much the same way as was doe for iversios. Cosider a permutatio of [] of the form π 1 π π 1 x. For x fixed i positio, the permutatio of smallest idex is (x+1)(x+) (x + ( x)) 1 (x 1) x ad the permutatio of greatest idex is (x 1) 1 (x+( x)) (x+)(x+1) x. The idex of those permutatios is x ad ( ) x + 1, respectively. Based o this observatio ad reasoig similar to that used to prove Lemma 1, we are led to the followig lemma. Lemma 3.1 Give a triple (, x, k) of itegers, there is a permutatio π of the form π = π 1 π 1 x such that J(π) = k if ad oly if x k ( ) x + 1. () The algorithm of Figure 3 geerates all -permutatios with idex k. It is based o Lemma 3.1, except that we eed to use rak(x) istead of x ad if x > π +1 the the idex target eeds to be adjusted by. Lemma 3. Give that π +1 π N is a (N )-permutatio of [N], the call ge(, k) will geerate all permutatios π 1 π π N of [N] such that J(π 1 π π ) = k. 7
8 Proof. We will prove this result by iductio o. Sice the empty permutatio has idex 0. the lemma is true whe =0. If = N or π < π +1 the π does ot cotribute to the idex. By Lemma 3.1 we kow that π ca be ay value such that rak(x) k ( ) rak(x)+ 1. For each possible value of x = π, we recurse with call ge( 1, k). By our iductive assumptio this call geerates all permutatios such that J(π 1 π 1 ) = k. If π > π +1 the π cotributes to the idex. By Lemma 3.1 we kow that π ca be ay value such that rak(x) k ( ) rak(x) + 1. For each possible value of x = π, we recurse with call ge( 1, k ). By our iductive assumptio this call geerates all permutatios such that J(π 1 π 1 ) = k. Together with the added to the idex by π, we have geerated all -permutatios with idex k. Corollary 3.1 The call ge(n, K) will geerate all permutatios π 1 π π N of {1,,..., N} such that J(π 1 π ) = K. A similar result to Lemma.3 is ecessary to determie which order to traverse the list X = [N] \ {π +1,..., π N } of remaiig elemets of the permutatio. Lemma 3.3 If a 1 < < a p 1 < π +1 < a p < < a where {a 1, a,..., a } = [N] \ {π +1,..., π N } the, for 1 i < p, those a i that satisfy the coditio i Lemma 3.1 for (, a i, k) form a cotiguous subsequece a i, a i+1,..., a j where i = 1 or j = p 1, ad for p i <, those a i that satisfy the coditio i Lemma 3.1 for (, a i, k ) form a cotiguous subsequece a i, a i+1,..., a j where i = p or j =. Proof. It is clear from () that the values occur i a cotiguous subsequece. For 1 i < p, we will show that if () is satisfied for a i the it is satisfied for a i+1,..., a p 1 or a 1,..., a i 1 (or both), which will suffice to prove the first half of the lemma. If () is satisfied for a i the we have rak(a i ) k ( ) rak(a i ) + 1. If rak(a i ) k the x = rak(a j ) satisfies () for 1 j < i. If ( ) rak(a i ) + 1 k the x = rak(a j ) satisfies () for i < j < p. For p i, the argumet is idetical except k is replaced by k. At Step () of the algorithm, we will traverse the list X up to four times. Oce from largest to smallest, oce from smallest to largest ad i both directios 8
9 startig from the largest elemet a p 1 less tha π +1. Our data structure allows us to idetify a p 1 i the list i costat time. I all of these cases, if the test of step (b) of the algorithm of Figure 3 fails, we stop traversig the list. Also ote that we must keep track of where each traversal eds, makig sure that we do ot recurse o the same elemet twice. Implemeted i this way, the algorithm has the crucial property that its ruig time is proportioal to the total umber of odes i its computatio tree. Similar improvemets ca be made to this algorithm as were made to the iversio geeratio algorithm so as to produce a costat amortized time algorithm, but oly if < k < ( ), ad this has oly bee observed experimetally. To be precise, for > 4, the ratio of recursive calls to permutatios geerated is strictly decreasig. To get this CAT behavior we must use the path elimiatio techiques described i the followig paragraphs. Let {a 1, a,..., a } = [N] \ {π +1,..., π N } where a 1 < a < < a. If k = 0 ad a < π +1 the there is oly oe valid permutatio; the oe with all elemets ascedig. We do ot elimiate such paths, uless they arise from a k = 1 ode, where a < π +1, higher i the computatio tree. If k = 1 ad a < π +1, we ca easily geerate all valid permutatios i costat amortized time by startig with the idetity ad doig swaps (π 1, π ), (π 1, π 3 ),..., (π 1, π ), pritig each itermediate permutatio. Similarly, if k = ( ) ad a < π +1, the there is exactly oe valid permutatio; the oe with all elemets descedig. To elimiate may of these 1-paths we otice that if k = ( ) 1 ad a < π +1 we ca easily geerate all valid permutatios i costat amortized time by startig with all elemets i descedig order ad swappig as doe above for k = 1. 4 Fial Remarks The algorithms described i this paper are used i the secod author s Combiatorial Object Server at httpd:// i the permutatios sectio. Java implemetatios of the algorithms ca also be dowloaded there. Refereces [1] Selim G. Akl, A New Algorithm for Geeratig Deragemets, BIT 0 (1980) 7. 9
10 [] Bruce Bauslaugh ad Frak Ruskey, Geeratig Alteratig Permutatios Lexicographically, BIT, 30 (1990) [3] L.A. Clark, A Asymptotic Expasio for the Number of Permutatios with a Certai Number of Iversios, Electroic Joural of Combiatorics, 7 (000) #R50. [4] Doald E. Kuth, The Art of Computer Programmig, Volume 3: Sortig ad Searchig. Secod Editio, Addiso-Wesley, [5] Doald E. Kuth, The Art of Computer Programmig, Volume 4: Prefascicle B, Jauary 00. [6] Doald E. Kuth, Dacig Liks, Milleial Perspectives i Computer Sciece, (Houdmills, Basigstoke, Hampshire: Palgrave, 000), [7] B.H. Margolis, Permutatios with iversios, Joural of Iteger Sequeces, 4 (001) Article [8] Frak Ruskey, Combiatorial Geeratio. Workig versio of book i progress, [9] G. Pruesse ad F. Ruskey, Geeratig Liear Extesios Fast, SIAM J. Computig, 3 (1994) [10] D. Roelats va Baroaigie, Costat time geeratio of ivolutios, Proceedigs of the Twety-third Southeaster Iteratioal Coferece o Combiatorics, Graph Theory, ad Computig (Boca Rato, FL, 199). Cogr. Numer. 90 (199),
4.3 Growth Rates of Solutions to Recurrences
4.3. GROWTH RATES OF SOLUTIONS TO RECURRENCES 81 4.3 Growth Rates of Solutios to Recurreces 4.3.1 Divide ad Coquer Algorithms Oe of the most basic ad powerful algorithmic techiques is divide ad coquer.
More informationw (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.
2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For
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 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 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 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 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 informationCounting 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 Rand and block distances of pairs of set partitions
The Rad ad block distaces of pairs of set partitios Frak Ruskey 1 ad Jeifer Woodcock 1 Dept. of Computer Sciece, Uiversity of Victoria, CANADA Abstract. The Rad distaces of two set partitios is the umber
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 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 informationOn Some Properties of Digital Roots
Advaces i Pure Mathematics, 04, 4, 95-30 Published Olie Jue 04 i SciRes. http://www.scirp.org/joural/apm http://dx.doi.org/0.436/apm.04.46039 O Some Properties of Digital Roots Ilha M. Izmirli Departmet
More informationContext-free grammars and. Basics of string generation methods
Cotext-free grammars ad laguages Basics of strig geeratio methods What s so great about regular expressios? A regular expressio is a strig represetatio of a regular laguage This allows the storig a whole
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 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 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 informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
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 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 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 informationRandom Walks on Discrete and Continuous Circles. by Jeffrey S. Rosenthal School of Mathematics, University of Minnesota, Minneapolis, MN, U.S.A.
Radom Walks o Discrete ad Cotiuous Circles by Jeffrey S. Rosethal School of Mathematics, Uiversity of Miesota, Mieapolis, MN, U.S.A. 55455 (Appeared i Joural of Applied Probability 30 (1993), 780 789.)
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 informationA representation approach to the tower of Hanoi problem
Uiversity of Wollogog Research Olie Departmet of Computig Sciece Workig Paper Series Faculty of Egieerig ad Iformatio Scieces 98 A represetatio approach to the tower of Haoi problem M. C. Er Uiversity
More informationsubject to A 1 x + A 2 y b x j 0, j = 1,,n 1 y j = 0 or 1, j = 1,,n 2
Additioal Brach ad Boud Algorithms 0-1 Mixed-Iteger Liear Programmig The brach ad boud algorithm described i the previous sectios ca be used to solve virtually all optimizatio problems cotaiig iteger variables,
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More informationModel Theory 2016, Exercises, Second batch, covering Weeks 5-7, with Solutions
Model Theory 2016, Exercises, Secod batch, coverig Weeks 5-7, with Solutios 3 Exercises from the Notes Exercise 7.6. Show that if T is a theory i a coutable laguage L, haso fiite model, ad is ℵ 0 -categorical,
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 informationSequences. Notation. Convergence of a Sequence
Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it
More informationCHAPTER I: Vector Spaces
CHAPTER I: Vector Spaces Sectio 1: Itroductio ad Examples This first chapter is largely a review of topics you probably saw i your liear algebra course. So why cover it? (1) Not everyoe remembers everythig
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 informationFLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS. H. W. Gould Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A58 FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS H. W. Gould Departmet of Mathematics, West Virgiia Uiversity, Morgatow, WV
More informationFortgeschrittene Datenstrukturen Vorlesung 11
Fortgeschrittee Datestruture Vorlesug 11 Schriftführer: Marti Weider 19.01.2012 1 Succict Data Structures (ctd.) 1.1 Select-Queries A slightly differet approach, compared to ra, is used for select. B represets
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
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 informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More informationRank Modulation with Multiplicity
Rak Modulatio with Multiplicity Axiao (Adrew) Jiag Computer Sciece ad Eg. Dept. Texas A&M Uiversity College Statio, TX 778 ajiag@cse.tamu.edu Abstract Rak modulatio is a scheme that uses the relative order
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 information(b) What is the probability that a particle reaches the upper boundary n before the lower boundary m?
MATH 529 The Boudary Problem The drukard s walk (or boudary problem) is oe of the most famous problems i the theory of radom walks. Oe versio of the problem is described as follows: Suppose a particle
More informationComplex Analysis Spring 2001 Homework I Solution
Complex Aalysis Sprig 2001 Homework I Solutio 1. Coway, Chapter 1, sectio 3, problem 3. Describe the set of poits satisfyig the equatio z a z + a = 2c, where c > 0 ad a R. To begi, we see from the triagle
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 informationThe Local Harmonious Chromatic Problem
The 7th Workshop o Combiatorial Mathematics ad Computatio Theory The Local Harmoious Chromatic Problem Yue Li Wag 1,, Tsog Wuu Li ad Li Yua Wag 1 Departmet of Iformatio Maagemet, Natioal Taiwa Uiversity
More informationMA131 - Analysis 1. Workbook 3 Sequences II
MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................
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 informationOptimally Sparse SVMs
A. Proof of Lemma 3. We here prove a lower boud o the umber of support vectors to achieve geeralizatio bouds of the form which we cosider. Importatly, this result holds ot oly for liear classifiers, but
More informationA Combinatoric Proof and Generalization of Ferguson s Formula for k-generalized Fibonacci Numbers
Jue 5 00 A Combiatoric Proof ad Geeralizatio of Ferguso s Formula for k-geeralized Fiboacci Numbers David Kessler 1 ad Jeremy Schiff 1 Departmet of Physics Departmet of Mathematics Bar-Ila Uiversity, Ramat
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 informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
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 informationAnalysis of Experimental Measurements
Aalysis of Experimetal Measuremets Thik carefully about the process of makig a measuremet. A measuremet is a compariso betwee some ukow physical quatity ad a stadard of that physical quatity. As a example,
More informationMathematics review for CSCI 303 Spring Department of Computer Science College of William & Mary Robert Michael Lewis
Mathematics review for CSCI 303 Sprig 019 Departmet of Computer Sciece College of William & Mary Robert Michael Lewis Copyright 018 019 Robert Michael Lewis Versio geerated: 13 : 00 Jauary 17, 019 Cotets
More informationLecture 5: April 17, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 5: April 7, 203 Scribe: Somaye Hashemifar Cheroff bouds recap We recall the Cheroff/Hoeffdig bouds we derived i the last lecture idepedet
More informationLONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES
J Lodo Math Soc (2 50, (1994, 465 476 LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES Jerzy Wojciechowski Abstract I [5] Abbott ad Katchalski ask if there exists a costat c >
More informationMATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006
MATH 34 Summer 006 Elemetary Number Theory Solutios to Assigmet Due: Thursday July 7, 006 Departmet of Mathematical ad Statistical Scieces Uiversity of Alberta Questio [p 74 #6] Show that o iteger of the
More informationA symmetrical Eulerian identity
Joural of Combiatorics Volume 17, Number 1, 29 38, 2010 A symmetrical Euleria idetity Fa Chug, Ro Graham ad Do Kuth We give three proofs for the followig symmetrical idetity ivolvig biomial coefficiets
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 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 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 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 informationLecture 2: April 3, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 2: April 3, 203 Scribe: Shubhedu Trivedi Coi tosses cotiued We retur to the coi tossig example from the last lecture agai: Example. Give,
More informationSection 1.1. Calculus: Areas And Tangents. Difference Equations to Differential Equations
Differece Equatios to Differetial Equatios Sectio. Calculus: Areas Ad Tagets The study of calculus begis with questios about chage. What happes to the velocity of a swigig pedulum as its positio chages?
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationCALCULATING FIBONACCI VECTORS
THE GENERALIZED BINET FORMULA FOR CALCULATING FIBONACCI VECTORS Stuart D Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithacaedu ad Dai Novak Departmet
More informationFeedback in Iterative Algorithms
Feedback i Iterative Algorithms Charles Byre (Charles Byre@uml.edu), Departmet of Mathematical Scieces, Uiversity of Massachusetts Lowell, Lowell, MA 01854 October 17, 2005 Abstract Whe the oegative system
More informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
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 informationMATH 1910 Workshop Solution
MATH 90 Workshop Solutio Fractals Itroductio: Fractals are atural pheomea or mathematical sets which exhibit (amog other properties) self similarity: o matter how much we zoom i, the structure remais the
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationA New Recursion for Space-Filling Geometric Fractals
A New Recursio for Space-Fillig Geometric Fractals Joh Shier Abstract. A recursive two-dimesioal geometric fractal costructio based upo area ad perimeter is described. For circles the radius of the ext
More informationa 2 +b 2 +c 2 ab+bc+ca.
All Problems o the Prize Exams Sprig 205 The source for each problem is listed below whe available; but eve whe the source is give, the formulatio of the problem may have bee chaged. Solutios for the problems
More information~W I F
A FIBONACCI PROPERTY OF WYTHOFF PAIRS ROBERT SILBER North Carolia State Uiversity, Raleigh, North Carolia 27607 I this paper we poit out aother of those fasciatig "coicideces" which are so characteristically
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 informationDesign and Analysis of Algorithms
Desig ad Aalysis of Algorithms Probabilistic aalysis ad Radomized algorithms Referece: CLRS Chapter 5 Topics: Hirig problem Idicatio radom variables Radomized algorithms Huo Hogwei 1 The hirig problem
More informationA Note on the Symmetric Powers of the Standard Representation of S n
A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,
More informationOn the Linear Complexity of Feedback Registers
O the Liear Complexity of Feedback Registers A. H. Cha M. Goresky A. Klapper Northeaster Uiversity Abstract I this paper, we study sequeces geerated by arbitrary feedback registers (ot ecessarily feedback
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 informationPAijpam.eu IRREGULAR SET COLORINGS OF GRAPHS
Iteratioal Joural of Pure ad Applied Mathematics Volume 109 No. 7 016, 143-150 ISSN: 1311-8080 (prited versio); ISSN: 1314-3395 (o-lie versio) url: http://www.ijpam.eu doi: 10.173/ijpam.v109i7.18 PAijpam.eu
More informationThe log-behavior of n p(n) and n p(n)/n
Ramauja J. 44 017, 81-99 The log-behavior of p ad p/ William Y.C. Che 1 ad Ke Y. Zheg 1 Ceter for Applied Mathematics Tiaji Uiversity Tiaji 0007, P. R. Chia Ceter for Combiatorics, LPMC Nakai Uivercity
More informationLecture 2. The Lovász Local Lemma
Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio
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 informationREVIEW FOR CHAPTER 1
REVIEW FOR CHAPTER 1 A short summary: I this chapter you helped develop some basic coutig priciples. I particular, the uses of ordered pairs (The Product Priciple), fuctios, ad set partitios (The Sum Priciple)
More information2.4 Sequences, Sequences of Sets
72 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.4 Sequeces, Sequeces of Sets 2.4.1 Sequeces Defiitio 2.4.1 (sequece Let S R. 1. A sequece i S is a fuctio f : K S where K = { N : 0 for some 0 N}. 2. For each
More informationAMS Mathematics Subject Classification : 40A05, 40A99, 42A10. Key words and phrases : Harmonic series, Fourier series. 1.
J. Appl. Math. & Computig Vol. x 00y), No. z, pp. A RECURSION FOR ALERNAING HARMONIC SERIES ÁRPÁD BÉNYI Abstract. We preset a coveiet recursive formula for the sums of alteratig harmoic series of odd order.
More informationCS161: Algorithm Design and Analysis Handout #10 Stanford University Wednesday, 10 February 2016
CS161: Algorithm Desig ad Aalysis Hadout #10 Staford Uiversity Wedesday, 10 February 2016 Lecture #11: Wedesday, 10 February 2016 Topics: Example midterm problems ad solutios from a log time ago Sprig
More informationMA131 - Analysis 1. Workbook 2 Sequences I
MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................
More informationRandom assignment with integer costs
Radom assigmet with iteger costs Robert Parviaie Departmet of Mathematics, Uppsala Uiversity P.O. Box 480, SE-7506 Uppsala, Swede robert.parviaie@math.uu.se Jue 4, 200 Abstract The radom assigmet problem
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 informationLangford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.
Lagford s Problem Moti Be-Ari Departmet of Sciece Teachig Weizma Istitute of Sciece http://www.weizma.ac.il/sci-tea/beari/ c 017 by Moti Be-Ari. This work is licesed uder the Creative Commos Attributio-ShareAlike
More informationFormulas for the number of gridlines
This is the authors versio of the paper. The fial publicatio has appeared i Moatsh. Math. 164 (011), 157 170. Formulas for the umber of gridlies Ae-Maria Ervall-Hytöe Kaisa Matomäki Petti Haukkae Jorma
More informationSECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES
SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES Read Sectio 1.5 (pages 5 9) Overview I Sectio 1.5 we lear to work with summatio otatio ad formulas. We will also itroduce a brief overview of sequeces,
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 informationAN ALMOST LINEAR RECURRENCE. Donald E. Knuth Calif. Institute of Technology, Pasadena, Calif.
AN ALMOST LINEAR RECURRENCE Doald E. Kuth Calif. Istitute of Techology, Pasadea, Calif. form A geeral liear recurrece with costat coefficiets has the U 0 = a l* U l = a 2 " ' " U r - l = a r ; u = b, u,
More informationOn groups of diffeomorphisms of the interval with finitely many fixed points II. Azer Akhmedov
O groups of diffeomorphisms of the iterval with fiitely may fixed poits II Azer Akhmedov Abstract: I [6], it is proved that ay subgroup of Diff ω +(I) (the group of orietatio preservig aalytic diffeomorphisms
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 informationBalancing cyclic R-ary Gray codes
Balacig cyclic R-ary Gray codes Mary Flahive Departmet of Mathematics Orego State Uiversity, Corvallis, OR 97331, USA flahive@math.oregostate.edu Bella Bose School of Electrical Egieerig ad Computer Sciece
More informationA LIMITED ARITHMETIC ON SIMPLE CONTINUED FRACTIONS - II 1. INTRODUCTION
A LIMITED ARITHMETIC ON SIMPLE CONTINUED FRACTIONS - II C. T. LONG J. H. JORDAN* Washigto State Uiversity, Pullma, Washigto 1. INTRODUCTION I the first paper [2 ] i this series, we developed certai properties
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 informationINEQUALITIES BJORN POONEN
INEQUALITIES BJORN POONEN 1 The AM-GM iequality The most basic arithmetic mea-geometric mea (AM-GM) iequality states simply that if x ad y are oegative real umbers, the (x + y)/2 xy, with equality if ad
More informationLECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS
LECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS I the previous sectio we used the techique of adjoiig cells i order to costruct CW approximatios for arbitrary spaces Here we will see that the same techique
More informationMa 530 Introduction to Power Series
Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power
More informationACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER / Statistics
ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER 1 018/019 DR. ANTHONY BROWN 8. Statistics 8.1. Measures of Cetre: Mea, Media ad Mode. If we have a series of umbers the
More information