A CAT Algorithm for Generating Permutations with a Fixed Number of Inversions

Size: px
Start display at page:

Download "A CAT Algorithm for Generating Permutations with a Fixed Number of Inversions"

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 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 information

w (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.

w (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 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

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

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

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

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

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 Rand and block distances of pairs of set partitions

The 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 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

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

On Some Properties of Digital Roots

On 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 information

Context-free grammars and. Basics of string generation methods

Context-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 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

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

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

MAT1026 Calculus II Basic Convergence Tests for Series

MAT1026 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 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

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

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

Random Walks on Discrete and Continuous Circles. by Jeffrey S. Rosenthal School of Mathematics, University of Minnesota, Minneapolis, MN, U.S.A.

Random 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 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

A representation approach to the tower of Hanoi problem

A 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 information

subject to A 1 x + A 2 y b x j 0, j = 1,,n 1 y j = 0 or 1, j = 1,,n 2

subject 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 information

SOME TRIBONACCI IDENTITIES

SOME 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 information

Model Theory 2016, Exercises, Second batch, covering Weeks 5-7, with Solutions

Model 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 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

Sequences. Notation. Convergence of a Sequence

Sequences. 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 information

CHAPTER I: Vector Spaces

CHAPTER 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 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

FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS. H. W. Gould Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA

FLOOR 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 information

Fortgeschrittene Datenstrukturen Vorlesung 11

Fortgeschrittene 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 information

Math 2784 (or 2794W) University of Connecticut

Math 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 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

Math F215: Induction April 7, 2013

Math 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 information

Rank Modulation with Multiplicity

Rank 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 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

(b) What is the probability that a particle reaches the upper boundary n before the lower boundary m?

(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 information

Complex Analysis Spring 2001 Homework I Solution

Complex 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 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

The Local Harmonious Chromatic Problem

The 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 information

MA131 - Analysis 1. Workbook 3 Sequences II

MA131 - 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 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

Optimally Sparse SVMs

Optimally 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 information

A Combinatoric Proof and Generalization of Ferguson s Formula for k-generalized Fibonacci Numbers

A 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 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

Product measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.

Product 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 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

Analysis of Experimental Measurements

Analysis 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 information

Mathematics review for CSCI 303 Spring Department of Computer Science College of William & Mary Robert Michael Lewis

Mathematics 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 information

Lecture 5: April 17, 2013

Lecture 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 information

LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES

LONG 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 information

MATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006

MATH 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 information

A symmetrical Eulerian identity

A 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 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

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

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

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

Lecture 2: April 3, 2013

Lecture 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 information

Section 1.1. Calculus: Areas And Tangents. Difference Equations to Differential Equations

Section 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 information

Math 61CM - Solutions to homework 3

Math 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 information

CALCULATING FIBONACCI VECTORS

CALCULATING 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 information

Feedback in Iterative Algorithms

Feedback 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 information

DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS

DIVISIBILITY 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.

# 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

MATH 1910 Workshop Solution

MATH 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

(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 information

A New Recursion for Space-Filling Geometric Fractals

A 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 information

a 2 +b 2 +c 2 ab+bc+ca.

a 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

~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 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

Design and Analysis of Algorithms

Design 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 information

A Note on the Symmetric Powers of the Standard Representation of S n

A 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 information

On the Linear Complexity of Feedback Registers

On 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 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

PAijpam.eu IRREGULAR SET COLORINGS OF GRAPHS

PAijpam.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 information

The log-behavior of n p(n) and n p(n)/n

The 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 information

Lecture 2. The Lovász Local Lemma

Lecture 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 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

REVIEW FOR CHAPTER 1

REVIEW 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 information

2.4 Sequences, Sequences of Sets

2.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 information

AMS Mathematics Subject Classification : 40A05, 40A99, 42A10. Key words and phrases : Harmonic series, Fourier series. 1.

AMS 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 information

CS161: Algorithm Design and Analysis Handout #10 Stanford University Wednesday, 10 February 2016

CS161: 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 information

MA131 - Analysis 1. Workbook 2 Sequences I

MA131 - 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 information

Random assignment with integer costs

Random 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 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

Langford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.

Langford 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 information

Formulas for the number of gridlines

Formulas 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 information

SECTION 1.5 : SUMMATION NOTATION + WORK WITH SEQUENCES

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

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

AN ALMOST LINEAR RECURRENCE. Donald E. Knuth Calif. Institute of Technology, Pasadena, Calif.

AN 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 information

On groups of diffeomorphisms of the interval with finitely many fixed points II. Azer Akhmedov

On 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 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

Balancing cyclic R-ary Gray codes

Balancing 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 information

A LIMITED ARITHMETIC ON SIMPLE CONTINUED FRACTIONS - II 1. INTRODUCTION

A 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 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

INEQUALITIES BJORN POONEN

INEQUALITIES 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 information

LECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS

LECTURE 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 information

Ma 530 Introduction to Power Series

Ma 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 information

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER / Statistics

ACCESS 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