Counting Well-Formed Parenthesizations Easily

Size: px
Start display at page:

Download "Counting Well-Formed Parenthesizations Easily"

Transcription

1 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 trees of + 1 odes, forests of odes, biary trees of odes, ad well-formed parethesizatios with opeig ad closig paretheses, which leads to the classic result that the umber of objects i each of these collectios is give by the th Catala umber C. The closed form of C is typically derived as a applicatio of geeratig fuctios. This ote presets a simple combiatorial argumet for the fact that the umber of well-formed parethesizatios of opeig ad 1 closig paretheses is 2 +1(. 1 Key words: Well-formed parethesizatio, Dyck word, Catala umber, coutig, Raey s lemma 1 Itroductio It is well kow that the th Catala umber C gives the umber of differet ordered trees of + 1 odes, forests of odes, biary trees of odes, ad well-formed parethesizatios with opeig ad closig paretheses. Catala umbers have surprisigly may additioal combiatorial iterpretatios. Staley metios about 70 of them i his book (1999. Together with a addedum published o his web site 2 the umber of combiatorial iterpretatios of C is 207. Koshy (2009, Chap. 5 provides a historical itroductio to Catala umbers. The closed form +1( 1 2 of the th Catala umber C is typically derived as follows (See, e.g., (Kuth, 1973, pp or (Graham et al., 1 The overall idea of this proof was give by late Derick Wood i persoal commuicatio at the Uiversity of Waterloo, Otario, i www-math.mit.edu/ rsta/ec/ 1

2 1990, pp : First a recurrece is derived for C, with C 0 = 1 1 C = C i C 1 i for 1. i=0 The a quadratic equatio is derived for a geeratig fuctio C(z whose coefficiets are C, ad solved as C(z = 1 1 4z 2z Usig the biomial theorem ad properties of biomial coefficiets the closed form of C(z ca be trasformed back to a power series, whose coefficiets fially give the result C = +1( 1 2. Geeratig fuctios are a powerful tool to solve combiatorial eumeratio problems; see (Graham et al., 1990, Chap. 7. Their drawback is that by maipulatig formal power series oe easily looses combiatorial ituitio of the objects that are beig studied. For this reaso we preset a simple combiatorial proof for the value of C. The argumet is based o placig well-formed parethesizatios i correspodece with strigs of paretheses which are straight-forward to cout. A strig of opeig paretheses ( ad closig paretheses is a well-formed parethesizatio (wfp if each of its opeig paretheses is matched by a uique closig parethesis that follows it, ad vice versa. The followig are the five well-formed parethesizatios with three opeig ad three closig paretheses: (((, (((, (((, (((, ad ((( Well-formed parethesizatios cosist of equally may opeig ad closig paretheses, but ot all such strigs are well-formed. I geeral, a strig of opeig ad closig paretheses ca be formed by choosig which out of the 2 available positios are occupied by a opeig parethesis, ad placig a closig parethesis at each of the remaiig positios (or vice versa. Thus the total umber of such strigs is ( 2. For example, there are ( 6 3 = 20 differet strigs that cosist of three opeig ad three closig paretheses. I additio to the above five of them which are well-formed parethesizatios, below are the remaiig 15 which are ot well-formed: (((, (((, (((, (((, (((, (((, (((, (((, (((, (((, (((, (((, (((, (((, (((. 2

3 Table 1: Correspodece btw Dyck-1 words of legth 7 ad strigs of 4 opeig ad 3 closig paretheses Dyck-1 Rotatios, or strigs with four ( ad three (((( ((((, ((((, ((((, ((((, ((((, ((((, (((( (((( ((((, ((((, ((((, ((((, ((((, ((((, (((( (((( ((((, ((((, ((((, ((((, ((((, ((((, (((( (((( ((((, ((((, ((((, ((((, ((((, ((((, (((( (((( ((((, ((((, ((((, ((((, ((((, ((((, (((( Our proof for the umber of well-formed parethesizatios is based o a correspodece betwee wfp s ad their rotatios. For a strig w which starts by a prefix α that is followed by the suffix β, the strigs w = αβ ad βα are rotatios (aka cyclic shifts of each other. Whe both α ad β are o-empty strigs, the strigs αβ ad βα are proper rotatios of each other. Oe complicatio for coutig wfp s i terms of their rotatios is that some wfp s have rotatios which are idetical. For example, ((( has oly two differet rotatios, which are ((( ad (((. Aother complicatio is that the rotatios of some wfp s coicide. For example, the wfp s ((( ad ((( have the followig commo set of rotatios: {(((, (((, (((, (((, (((, (((} Surprisigly these complicatios disappear whe we prefix the wfp s by a extra opeig parethesis. We call the resultig strigs Dyck-1 words. Let C be the umber of well-formed parethesizatios of legth 2. Clearly the umber of Dyck-1 words of legth 2+1 is also C. Let A be the set of strigs of + 1 opeig ad closig paretheses. The size of A is easily see to be ( 2+1. As we ll prove formally, the rotatios of Dyck-1 words partitio the set A i C equivalece classes each with members. This yields for the th Catala umber its closed form ( 2 ( 2+1 C = = + 1. For example, Table 1 gives the correspodece betwee the five Dyck-1 words of legth 7 ad the ( 7 3 = 35 strigs with four opeig ad three closig paretheses, which yields the umber 35/7 = 5 of wfp s of legth 6. 2 Proof Next we justify the details of the above claim. 3

4 All strigs that we cosider i this ote are over the alphabet {(, }. For a strig w we use d(w to deote the depth of strig w, which we defie as the differece betwee the umber of opeig paretheses ad the umber of closig paretheses that occur i w. For example, d(ε = d( ( = d( (( = 0, d( ( = 2, ad d( (( = 1. Notice that the depth of a strig is the sum of the depths of its subwords, that is, if w = uv the d(w = d(u + d(v. Well-formed parethesizatios ca be characterized as those strigs w which satisfy the coditios that d(w = 0 ad d(α 0 for each prefix α of w. They are also kow as Dyck words. Let us call well-formed parethesizatios which are prefixed by a extra opeig parethesis Dyck-1 words (or Dyck words of depth 1. That is, a strig w is a Dyck-1 word, or simply Dyck-1, iff d(w = 1 ad d(α 1 for every o-empty prefix α of w. We first prove two remarkable properties of rotatios of Dyck-1 words: Lemma 2.1 There are o Dyck-1 words amog the proper rotatios of a Dyck-1 word. Proof. Let w = αβ be a Dyck-1 word ad u = βα its proper rotatio. Sice w is Dyck-1, we have d(w = 1 ad d(α 1. Sice d(u = d(β + d(α = d(w, we have that d(β 0. This meas that u caot be Dyck-1. A cosequece of Lemma 2.1 is that a Dyck-1 word of legth has differet rotatios: Lemma 2.2 All rotatios of a Dyck-1 word are differet. Proof. Let w = a 1 a 2 a m be a Dyck-1 word of symbols a 1, a 2,..., a m {(, }. Let r i deote its ith rotatio a i a i+1 a m a 1 a 2 a i 1, where 1 i m. Assume for the cotrary that w has two rotatios r i ad r j with 1 i < j m which are idetical. The also a 1 a i 1 = a j i+1 a j 1. This meas that w equals its proper rotatio r j i+1, which is accordig to Lemma 2.1 ot possible. The two lemmas above imply the ext result, which says that rotatios partitio the set A i C equivalece classes of equal cardiality: Lemma 2.3 Every strig of A has differet rotatios, out of which exactly oe is a Dyck-1 word. Proof. Let w A. It suffices to show that w has a rotatio w which is a Dyck-1 word. Because rotatios of this w are also rotatios of w, Lemma 2.1 gives that o other of them is Dyck-1, ad Lemma 2.2 gives that all of them are differet. If w is a Dyck-1 word, there is othig further to prove. Otherwise let u be a o-empty prefix of w such that d(u is miimal; if there are 4

5 several such prefixes, we take u to be the logest of them. Let v be the correspodig suffix of w, that is, w = uv. Sice d(w = 1, strig w must fail the Dyck-1 coditio by d(u < 1. Now w = vu is a rotatio of w with d(w = 1, which satisfies also the other Dyck-1 coditio that each of its o-empty prefixes has a positive depth: First, let α be a o-empty prefix of w which is also a prefix of v. Sice u was chose to be the logest of the miimal-depth prefixes of w ad uα is a loger prefix of w, we have that d(uα = d(u + d(α d(u + 1, which gives that d(α 1. Secod, let α be a prefix of w which cotais also some characters of u, that is, α = vu for some o-empty prefix u of u. Sice u is a miimal-depth prefix of w, we have d(u d(u ad thus d(α = d(vu = d(v + d(u d(v + d(u = 1. Sice there are C differet Dyck-1 words of legth 2 + 1, we have the followig corollary: Corollary 2.4 The set A cosists of C equivalece classes uder rotatio, ad each of them has members. Accordig to the Corollary A = (2 + 1C, ad thus C = A ( Cocludig remarks = ( ( + 2 = (2 + 1! 2(2 1 ( + 1 =!( + 1 = 1 ( Our argumet is closely related to a lemma which states that a sequece of itegers which add up to +1 has exactly oe rotatio such that all of its partial sums of are positive. Graham, Kuth ad Patashik (1990, p. 345 attribute this result to Raey (1960. Ideed, this Raey s Lemma ca be proved by the same argumet as Lemmas 2.3 ad 2.1, simply by iterpretig d(w as sum of a subsequece istead of depth of a sub-word. Graham, Kuth ad Patashik (1990, p. 346 give for Raey s Lemma a geometric proof, which is debatably more ivolved tha our simple combiatorial argumet. 5

6 Refereces Graham, R. L., Kuth, D. E., ad Patashik, O. (1990. Cocrete Mathematics. Addiso-Wesley. Kuth, D. E. (1973. The Art of Computer Programmig, Volume 1: Fudametal Algorithms. Addiso-Wesley, 2d editio. Koshy, T. (2009. Catala Numbers with Applicatios. Oxford Uiversity Press. Raey, G. N. (1960. Fuctioal compositio patters ad power series reversio. Trasactios of the AMS, 94: Staley, R. P. (1999. Eumerative Combiatorics, Volume 2. Cambridge Uiversity Press. 6

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

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

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

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

Books Recommended for Further Reading

Books Recommended for Further Reading Books Recommeded for Further Readig by 8.5..8 o 0//8. For persoal use oly.. K. P. Bogart, Itroductory Combiatorics rd ed., S. I. Harcourt Brace College Publishers, 998.. R. A. Brualdi, Itroductory Combiatorics

More information

Math 172 Spring 2010 Haiman Notes on ordinary generating functions

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

More information

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

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

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

CIS Spring 2018 (instructor Val Tannen)

CIS Spring 2018 (instructor Val Tannen) CIS 160 - Sprig 2018 (istructor Val Tae) Lecture 5 Thursday, Jauary 25 COUNTING We cotiue studyig how to use combiatios ad what are their properties. Example 5.1 How may 8-letter strigs ca be costructed

More information

Square-Congruence Modulo n

Square-Congruence Modulo n Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet

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

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

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

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

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

More information

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

Basic Counting. Periklis A. Papakonstantinou. York University

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

More information

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

~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

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

Harmonic Number Identities Via Euler s Transform

Harmonic Number Identities Via Euler s Transform 1 2 3 47 6 23 11 Joural of Iteger Sequeces, Vol. 12 2009), Article 09.6.1 Harmoic Number Idetities Via Euler s Trasform Khristo N. Boyadzhiev Departmet of Mathematics Ohio Norther Uiversity Ada, Ohio 45810

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

Injections, Surjections, and the Pigeonhole Principle

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

More information

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

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

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

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

More information

On Divisibility concerning Binomial Coefficients

On Divisibility concerning Binomial Coefficients A talk give at the Natioal Chiao Tug Uiversity (Hsichu, Taiwa; August 5, 2010 O Divisibility cocerig Biomial Coefficiets Zhi-Wei Su Najig Uiversity Najig 210093, P. R. Chia zwsu@ju.edu.c http://math.ju.edu.c/

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

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

Bijective Proofs of Gould s and Rothe s Identities

Bijective Proofs of Gould s and Rothe s Identities ESI The Erwi Schrödiger Iteratioal Boltzmagasse 9 Istitute for Mathematical Physics A-1090 Wie, Austria Bijective Proofs of Gould s ad Rothe s Idetities Victor J. W. Guo Viea, Preprit ESI 2072 (2008 November

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

CLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS

CLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS Submitted to the Bulleti of the Australia Mathematical Society doi:10.1017/s... CLOSED FORM FORMULA FOR THE NUMBER OF RESTRICTED COMPOSITIONS GAŠPER JAKLIČ, VITO VITRIH ad EMIL ŽAGAR Abstract I this paper,

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

Discrete Mathematics Recurrences

Discrete Mathematics Recurrences Discrete Mathematics Recurreces Saad Meimeh 1 What is a recurrece? It ofte happes that, i studyig a sequece of umbers a, a coectio betwee a ad a 1, or betwee a ad several of the previous a i, i

More information

An enumeration of flags in finite vector spaces

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

More information

5. Recurrences. The recursive denition of the Fibonacci numbers is well-known: if F n is the n th Fibonacci number, then

5. Recurrences. The recursive denition of the Fibonacci numbers is well-known: if F n is the n th Fibonacci number, then 5. Recurreces The recursive deitio of the Fiboacci umbers is well-kow: if F is the th Fiboacci umber, the F 0 = 0, F 1 = 1, F + = F +1 + F, if 0. We are iterested i a explicit form of the umbers F for

More information

4 The Sperner property.

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

More information

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

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

1 Generating functions for balls in boxes

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

More information

Combinatorics and Random Generation. Dominique Gouyou-Beauchamps

Combinatorics and Random Generation. Dominique Gouyou-Beauchamps Algorithms Semiar 2001 2002, F. Chyzak ed., INRIA, 2003, pp. 177 182. Available olie at the URL http://algo.iria.fr/semiars/. Combiatorics ad Radom Geeratio Domiique Gouyou-Beauchamps LRI, Uiversité Paris-Sud

More information

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

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

More information

1 What is combinatorics?

1 What is combinatorics? 1 What is combiatorics Combiatorics is the brach of mathematics dealig with thigs that are discrete, such as the itegers, or words created from a alphabet. This is i cotrast to aalysis, which deals with

More information

Chapter IV Integration Theory

Chapter IV Integration Theory Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where

More information

Generating Functions

Generating Functions Geeratig Fuctios Geeratig Fuctios are a powerful tool i combiatorics Wilf describes them, quite appropriately, as a clotheslie o which we hag up a sequece of umber for display What does he mea by that?

More information

Some Explicit Formulae of NAF and its Left-to-Right. Analogue Based on Booth Encoding

Some Explicit Formulae of NAF and its Left-to-Right. Analogue Based on Booth Encoding Vol.7, No.6 (01, pp.69-74 http://dx.doi.org/10.1457/ijsia.01.7.6.7 Some Explicit Formulae of NAF ad its Left-to-Right Aalogue Based o Booth Ecodig Dog-Guk Ha, Okyeo Yi, ad Tsuyoshi Takagi Kookmi Uiversity,

More information

Math 475, Problem Set #12: Answers

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

More information

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

Weakly Connected Closed Geodetic Numbers of Graphs

Weakly Connected Closed Geodetic Numbers of Graphs Iteratioal Joural of Mathematical Aalysis Vol 10, 016, o 6, 57-70 HIKARI Ltd, wwwm-hikaricom http://dxdoiorg/101988/ijma01651193 Weakly Coected Closed Geodetic Numbers of Graphs Rachel M Pataga 1, Imelda

More information

MT5821 Advanced Combinatorics

MT5821 Advanced Combinatorics MT5821 Advaced Combiatorics 9 Set partitios ad permutatios It could be said that the mai objects of iterest i combiatorics are subsets, partitios ad permutatios of a fiite set. We have spet some time coutig

More information

Let us consider the following problem to warm up towards a more general statement.

Let us consider the following problem to warm up towards a more general statement. Lecture 4: Sequeces with repetitios, distributig idetical objects amog distict parties, the biomial theorem, ad some properties of biomial coefficiets Refereces: Relevat parts of chapter 15 of the Math

More information

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

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

More information

Interesting Series Associated with Central Binomial Coefficients, Catalan Numbers and Harmonic Numbers

Interesting Series Associated with Central Binomial Coefficients, Catalan Numbers and Harmonic Numbers 3 47 6 3 Joural of Iteger Sequeces Vol. 9 06 Article 6.. Iterestig Series Associated with Cetral Biomial Coefficiets Catala Numbers ad Harmoic Numbers Hogwei Che Departmet of Mathematics Christopher Newport

More information

1 Counting and Stirling Numbers

1 Counting and Stirling Numbers 1 Coutig ad Stirlig Numbers Natural Numbers: We let N {0, 1, 2,...} deote the set of atural umbers. []: For N we let [] {1, 2,..., }. Sym: For a set X we let Sym(X) deote the set of bijectios from X to

More information

Large holes in quasi-random graphs

Large holes in quasi-random graphs Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,

More information

Course : Algebraic Combinatorics

Course : Algebraic Combinatorics Course 8.32: Algebraic Combiatorics Lecture Notes # Addedum by Gregg Musier February 4th - 6th, 2009 Recurrece Relatios ad Geeratig Fuctios Give a ifiite sequece of umbers, a geeratig fuctio is a compact

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

THIS paper analyzes the behavior of those complex

THIS paper analyzes the behavior of those complex IAENG Iteratioal Joural of Computer Sciece 39:4 IJCS_39_4_6 Itrisic Order Lexicographic Order Vector Order ad Hammig Weight Luis Gozález Abstract To compare biary -tuple probabilities with o eed to compute

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

Some p-adic congruences for p q -Catalan numbers

Some p-adic congruences for p q -Catalan numbers Some p-adic cogrueces for p q -Catala umbers Floria Luca Istituto de Matemáticas Uiversidad Nacioal Autóoma de México C.P. 58089, Morelia, Michoacá, México fluca@matmor.uam.mx Paul Thomas Youg Departmet

More information

ANTI-LECTURE HALL COMPOSITIONS AND ANDREWS GENERALIZATION OF THE WATSON-WHIPPLE TRANSFORMATION

ANTI-LECTURE HALL COMPOSITIONS AND ANDREWS GENERALIZATION OF THE WATSON-WHIPPLE TRANSFORMATION ANTI-LECTURE HALL COMPOSITIONS AND ANDREWS GENERALIZATION OF THE WATSON-WHIPPLE TRANSFORMATION SYLVIE CORTEEL, JEREMY LOVEJOY AND CARLA SAVAGE Abstract. For fixed ad k, we fid a three-variable geeratig

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

Proof of Fermat s Last Theorem by Algebra Identities and Linear Algebra

Proof of Fermat s Last Theorem by Algebra Identities and Linear Algebra Proof of Fermat s Last Theorem by Algebra Idetities ad Liear Algebra Javad Babaee Ragai Youg Researchers ad Elite Club, Qaemshahr Brach, Islamic Azad Uiversity, Qaemshahr, Ira Departmet of Civil Egieerig,

More information

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

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

More information

Mathematical Induction

Mathematical Induction Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a

More information

Pairs of disjoint q-element subsets far from each other

Pairs of disjoint q-element subsets far from each other Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd

More information

MAXIMALLY FLAT FIR FILTERS

MAXIMALLY FLAT FIR FILTERS MAXIMALLY FLAT FIR FILTERS This sectio describes a family of maximally flat symmetric FIR filters first itroduced by Herrma [2]. The desig of these filters is particularly simple due to the availability

More information

Induction: Solutions

Induction: Solutions Writig Proofs Misha Lavrov Iductio: Solutios Wester PA ARML Practice March 6, 206. Prove that a 2 2 chessboard with ay oe square removed ca always be covered by shaped tiles. Solutio : We iduct o. For

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

A Combinatorial Proof of a Theorem of Katsuura

A Combinatorial Proof of a Theorem of Katsuura Mathematical Assoc. of America College Mathematics Joural 45:1 Jue 2, 2014 2:34 p.m. TSWLatexiaTemp 000017.tex A Combiatorial Proof of a Theorem of Katsuura Bria K. Miceli Bria Miceli (bmiceli@triity.edu)

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

A NOTE ON PASCAL S MATRIX. Gi-Sang Cheon, Jin-Soo Kim and Haeng-Won Yoon

A NOTE ON PASCAL S MATRIX. Gi-Sang Cheon, Jin-Soo Kim and Haeng-Won Yoon J Korea Soc Math Educ Ser B: Pure Appl Math 6(1999), o 2 121 127 A NOTE ON PASCAL S MATRIX Gi-Sag Cheo, Ji-Soo Kim ad Haeg-Wo Yoo Abstract We ca get the Pascal s matrix of order by takig the first rows

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak

More information

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

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

More information

Enumerative & Asymptotic Combinatorics

Enumerative & Asymptotic Combinatorics C50 Eumerative & Asymptotic Combiatorics Stirlig ad Lagrage Sprig 2003 This sectio of the otes cotais proofs of Stirlig s formula ad the Lagrage Iversio Formula. Stirlig s formula Theorem 1 (Stirlig s

More information

Problem Set 2 Solutions

Problem Set 2 Solutions CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S

More information

Week 5-6: The Binomial Coefficients

Week 5-6: The Binomial Coefficients Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers

More information

Factors of sums and alternating sums involving binomial coefficients and powers of integers

Factors of sums and alternating sums involving binomial coefficients and powers of integers Factors of sums ad alteratig sums ivolvig biomial coefficiets ad powers of itegers Victor J. W. Guo 1 ad Jiag Zeg 2 1 Departmet of Mathematics East Chia Normal Uiversity Shaghai 200062 People s Republic

More information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

Solutions to Final Exam

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

More information

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

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.

The Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size. Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure

More information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics 3 (20) 30 322 Cotets lists available at ScieceDirect Discrete Mathematics joural homepage: wwwelseviercom/locate/disc The degree sequece of Fiboacci ad Lucas cubes Sadi Klavžar ab

More information

6.895 Essential Coding Theory October 20, Lecture 11. This lecture is focused in comparisons of the following properties/parameters of a code:

6.895 Essential Coding Theory October 20, Lecture 11. This lecture is focused in comparisons of the following properties/parameters of a code: 6.895 Essetial Codig Theory October 0, 004 Lecture 11 Lecturer: Madhu Suda Scribe: Aastasios Sidiropoulos 1 Overview This lecture is focused i comparisos of the followig properties/parameters of a code:

More information

Series with Central Binomial Coefficients, Catalan Numbers, and Harmonic Numbers

Series with Central Binomial Coefficients, Catalan Numbers, and Harmonic Numbers 3 47 6 3 Joural of Iteger Sequeces, Vol. 5 (0), Article..7 Series with Cetral Biomial Coefficiets, Catala Numbers, ad Harmoic Numbers Khristo N. Boyadzhiev Departmet of Mathematics ad Statistics Ohio Norther

More information

The Growth of Functions. Theoretical Supplement

The Growth of Functions. Theoretical Supplement The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that

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

Disjoint Systems. Abstract

Disjoint Systems. Abstract Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio

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

The multiplicative structure of finite field and a construction of LRC

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

More information

Complex Numbers Solutions

Complex Numbers Solutions Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i

More information

Homework 9. (n + 1)! = 1 1

Homework 9. (n + 1)! = 1 1 . Chapter : Questio 8 If N, the Homewor 9 Proof. We will prove this by usig iductio o. 2! + 2 3! + 3 4! + + +! +!. Base step: Whe the left had side is. Whe the right had side is 2! 2 +! 2 which proves

More information

Some remarks for codes and lattices over imaginary quadratic

Some remarks for codes and lattices over imaginary quadratic Some remarks for codes ad lattices over imagiary quadratic fields Toy Shaska Oaklad Uiversity, Rochester, MI, USA. Caleb Shor Wester New Eglad Uiversity, Sprigfield, MA, USA. shaska@oaklad.edu Abstract

More information

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

Applicable Analysis and Discrete Mathematics available online at ON JENSEN S AND RELATED COMBINATORIAL IDENTITIES

Applicable Analysis and Discrete Mathematics available online at   ON JENSEN S AND RELATED COMBINATORIAL IDENTITIES Applicable Aalysis ad Discrete Mathematics available olie at http://pefmathetfrs Appl Aal Discrete Math 5 2011, 201 211 doi:102298/aadm110717017g ON JENSEN S AND RELATED COMBINATORIAL IDENTITIES Victor

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

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

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

More information

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

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

More information

On a Smarandache problem concerning the prime gaps

On a Smarandache problem concerning the prime gaps O a Smaradache problem cocerig the prime gaps Felice Russo Via A. Ifate 7 6705 Avezzao (Aq) Italy felice.russo@katamail.com Abstract I this paper, a problem posed i [] by Smaradache cocerig the prime gaps

More information

Complex Stochastic Boolean Systems: Generating and Counting the Binary n-tuples Intrinsically Less or Greater than u

Complex Stochastic Boolean Systems: Generating and Counting the Binary n-tuples Intrinsically Less or Greater than u Proceedigs of the World Cogress o Egieerig ad Computer Sciece 29 Vol I WCECS 29, October 2-22, 29, Sa Fracisco, USA Complex Stochastic Boolea Systems: Geeratig ad Coutig the Biary -Tuples Itrisically Less

More information