Counting Well-Formed Parenthesizations Easily
|
|
- Basil Wilkerson
- 6 years ago
- Views:
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
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 informationThe Random Walk For Dummies
The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationLecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =
COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.
More informationBooks 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 informationMath 172 Spring 2010 Haiman Notes on ordinary generating functions
Math 72 Sprig 200 Haima Notes o ordiary geeratig fuctios How do we cout with geeratig fuctios? May eumeratio problems which are ot so easy to hadle by elemetary meas ca be solved usig geeratig fuctios
More informationThe Rand and block distances of pairs of set partitions
The Rad ad block distaces of pairs of set partitios Frak Ruskey 1 ad Jeifer Woodcock 1 Dept. of Computer Sciece, Uiversity of Victoria, CANADA Abstract. The Rad distaces of two set partitios is the umber
More informationRecursive Algorithm for Generating Partitions of an Integer. 1 Preliminary
Recursive Algorithm for Geeratig Partitios of a Iteger Sug-Hyuk Cha Computer Sciece Departmet, Pace Uiversity 1 Pace Plaza, New York, NY 10038 USA scha@pace.edu Abstract. This article first reviews the
More informationarxiv: v1 [math.co] 23 Mar 2016
The umber of direct-sum decompositios of a fiite vector space arxiv:603.0769v [math.co] 23 Mar 206 David Ellerma Uiversity of Califoria at Riverside August 3, 208 Abstract The theory of q-aalogs develops
More informationCIS 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 informationSquare-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 informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More information2 A bijective proof of Theorem 1 I order to give a bijective proof of Theorem 1, we eed to itroduce the local biary search (LBS) trees, used by Postio
Eumeratig alteratig trees Cedric Chauve 1, Serge Dulucq 2 ad Adrew Rechitzer 2? 1 LaBRI, Uiversit Bordeaux I 31 Cours de la Lib ratio, 3340 Talece, Frace 2 Departmet of Mathematics, The Uiversity of Melboure
More informationSection 5.1 The Basics of Counting
1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of
More informationA GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca
Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity
More informationFortgeschrittene Datenstrukturen Vorlesung 11
Fortgeschrittee Datestruture Vorlesug 11 Schriftführer: Marti Weider 19.01.2012 1 Succict Data Structures (ctd.) 1.1 Select-Queries A slightly differet approach, compared to ra, is used for select. B represets
More informationBasic Counting. Periklis A. Papakonstantinou. York University
Basic Coutig Periklis A. Papakostatiou York Uiversity We survey elemetary coutig priciples ad related combiatorial argumets. This documet serves oly as a remider ad by o ways does it go i depth or is it
More informationNICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =
AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,
More information~W I F
A FIBONACCI PROPERTY OF WYTHOFF PAIRS ROBERT SILBER North Carolia State Uiversity, Raleigh, North Carolia 27607 I this paper we poit out aother of those fasciatig "coicideces" which are so characteristically
More informationDe Bruijn Sequences for the Binary Strings with Maximum Density
De Bruij Sequeces for the Biary Strigs with Maximum Desity Joe Sawada 1, Brett Steves 2, ad Aaro Williams 2 1 jsawada@uoguelph.ca School of Computer Sciece, Uiversity of Guelph, CANADA 2 brett@math.carleto.ca
More informationHarmonic 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 informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
More informationInjections, Surjections, and the Pigeonhole Principle
Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs
More informationFLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS. H. W. Gould Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A58 FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS H. W. Gould Departmet of Mathematics, West Virgiia Uiversity, Morgatow, WV
More informationA sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationOn 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 informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationBijective 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 informationDe Bruijn Sequences for the Binary Strings with Maximum Specified Density
De Bruij Sequeces for the Biary Strigs with Maximum Specified Desity Joe Sawada 1, Brett Steves 2, ad Aaro Williams 2 1 jsawada@uoguelph.ca School of Computer Sciece, Uiversity of Guelph, CANADA 2 brett@math.carleto.ca
More informationCLOSED 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 informationA Note on the Symmetric Powers of the Standard Representation of S n
A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,
More informationDiscrete 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 informationAn enumeration of flags in finite vector spaces
A eumeratio of flags i fiite vector spaces C Rya Viroot Departmet of Mathematics College of William ad Mary P O Box 8795 Williamsburg VA 23187 viroot@mathwmedu Submitted: Feb 2 2012; Accepted: Ju 27 2012;
More information5. 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 information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationAnalysis of Algorithms. Introduction. Contents
Itroductio The focus of this module is mathematical aspects of algorithms. Our mai focus is aalysis of algorithms, which meas evaluatig efficiecy of algorithms by aalytical ad mathematical methods. We
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More information1 Generating functions for balls in boxes
Math 566 Fall 05 Some otes o geeratig fuctios Give a sequece a 0, a, a,..., a,..., a geeratig fuctio some way of represetig the sequece as a fuctio. There are may ways to do this, with the most commo ways
More informationCombinatorics 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 informationV. Adamchik 1. Recursions. Victor Adamchik Fall of x n1. x n 2. Here are a few first values of the above sequence (coded in Mathematica)
V. Adamchik Recursios Victor Adamchik Fall of 2005 Pla. Covergece of sequeces 2. Fractals 3. Coutig biary trees Covergece of Sequeces I the previous lecture we cosidered a cotiued fractio for 2 : 2 This
More information1 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 informationChapter 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 informationGenerating 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 informationSome 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 informationMath 475, Problem Set #12: Answers
Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe
More informationREVIEW FOR CHAPTER 1
REVIEW FOR CHAPTER 1 A short summary: I this chapter you helped develop some basic coutig priciples. I particular, the uses of ordered pairs (The Product Priciple), fuctios, ad set partitios (The Sum Priciple)
More informationWeakly 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 informationMT5821 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 informationLet 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 informationsubcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016
subcaptiofot+=small,labelformat=pares,labelsep=space,skip=6pt,list=0,hypcap=0 subcaptio ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, /6/06. Self-cojugate Partitios Recall that, give a partitio λ, we may
More informationInteresting 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 information1 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 informationLarge 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 informationCourse : 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 informationThe Local Harmonious Chromatic Problem
The 7th Workshop o Combiatorial Mathematics ad Computatio Theory The Local Harmoious Chromatic Problem Yue Li Wag 1,, Tsog Wuu Li ad Li Yua Wag 1 Departmet of Iformatio Maagemet, Natioal Taiwa Uiversity
More informationTHIS 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 informationLangford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.
Lagford s Problem Moti Be-Ari Departmet of Sciece Teachig Weizma Istitute of Sciece http://www.weizma.ac.il/sci-tea/beari/ c 017 by Moti Be-Ari. This work is licesed uder the Creative Commos Attributio-ShareAlike
More informationSome 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 informationANTI-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 informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationProof 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 informationRandomized Algorithms I, Spring 2018, Department of Computer Science, University of Helsinki Homework 1: Solutions (Discussed January 25, 2018)
Radomized Algorithms I, Sprig 08, Departmet of Computer Sciece, Uiversity of Helsiki Homework : Solutios Discussed Jauary 5, 08). Exercise.: Cosider the followig balls-ad-bi game. We start with oe black
More informationMathematical 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 informationPairs 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 informationMAXIMALLY 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 informationInduction: 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 informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationA 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 informationLinear chord diagrams with long chords
Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;
More informationA 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 informationMASSACHUSETTS 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 informationCSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo
Coutig Methods CSE 191, Class Note 05: Coutig Methods Computer Sci & Eg Dept SUNY Buffalo c Xi He (Uiversity at Buffalo CSE 191 Discrete Structures 1 / 48 Need for Coutig The problem of coutig the umber
More informationEnumerative & 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 informationProblem 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 informationWeek 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 informationFactors 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 informationTEACHER 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 informationSolutions to Final Exam
Solutios to Fial Exam 1. Three married couples are seated together at the couter at Moty s Blue Plate Dier, occupyig six cosecutive seats. How may arragemets are there with o wife sittig ext to her ow
More information2.4 - Sequences and Series
2.4 - Sequeces ad Series Sequeces A sequece is a ordered list of elemets. Defiitio 1 A sequece is a fuctio from a subset of the set of itegers (usually either the set 80, 1, 2, 3,... < or the set 81, 2,
More informationThe 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 informationDiscrete 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 information6.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 informationSeries 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 informationThe 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 informationSequences of Definite Integrals, Factorials and Double Factorials
47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology
More informationDisjoint 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 informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationComplex 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 informationHomework 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 informationSome 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 information4.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 informationApplicable 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 informationA Combinatoric Proof and Generalization of Ferguson s Formula for k-generalized Fibonacci Numbers
Jue 5 00 A Combiatoric Proof ad Geeralizatio of Ferguso s Formula for k-geeralized Fiboacci Numbers David Kessler 1 ad Jeremy Schiff 1 Departmet of Physics Departmet of Mathematics Bar-Ila Uiversity, Ramat
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationFermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a.
Departmet of Mathematical Scieces Istructor: Daiva Puciskaite Discrete Mathematics Fermat s Little Theorem 43.. For all a Z 3, calculate a 2 ad a 3. Case a = 0. 0 0 2-times Case a 0. 0 0 3-times a a 2-times
More informationOn 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 informationComplex 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