Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =

Size: px
Start display at page:

Download "Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) ="

Transcription

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. We will also give formalizatios of rules ad priciples that we ofte use whe coutig objects. 2 Permutatios ad Combiatios I this sectio, we will itroduce the foudatios of combiatorics, the brach of mathematics that deals with coutig. I particular, we will study permutatios ad combiatios, their relevat formulas, ad some basic idetities ivolvig these cocepts. Permutig items: Suppose that we wat to place distict items i a lie, that is, we wat to order or permute the items. The most fudametal priciple used i coutig is the followig: the umber of ways to permute distict items is the product of the first positive itegers, which is deoted by! ( factorial ). This ca be prove, somewhat iformally, as follows: there are choices for the first item i lie, ( 1) for the secod, ad so o, util there s oly 1 choice left for the last item i lie. Sice the choices ca be made i sequetial order, the total umber of possible permutatios (orderigs) is ( 1) 1 =!. Permutig of items: Now istead of permutig all items, suppose we oly wat to permute of them (where is a positive iteger less tha). By the same argumet above, the umber of ways to do this is ( 1) ( ( 1)). Notice that there are terms i this product, because each term correspods to selectig a item to place ext i the fial orderig of items. For coveiece, otice that a more cocise way of writig this product is the followig: ( 1) ( ( 1)) = ( 1) ( + 1) =! ( )! Choosig of items: Now istead of permutig items, suppose we oly wat to choose items. I other words, we are fidig a subset of size, rather tha a sequece of legth. We deote this value by ( ) ( choose ), ad we ofte say a subset is a combiatio. I other words, a combiatio ca be thought of as a permutatio i which order does t matter. As we just saw, there are!/( )! permutatios of legth. However, each subset of size is represeted as a permutatio! times. Therefore, we ca coclude that:! = ( )!! Alteratively, we ca reaso about these formulas as follows. Let be ay positive iteger at most. The permutig items is the same as choosig a subset of size, orderig them, ad the 22-1

2 orderig the remaiig elemets. This lie of reasoig results i the followig:! =! ( )! which is equivalet to the previous expressio. Remar: If = 0, the the umber of ways to order items is somewhat ambiguous. Similarly, if = 0, the the umber of ways to choose items is somewhat ambiguous. To deal with these ambiguities i a cosistet way, we have the followig covetios: 0! = 1 ad = Stars ad Bars The otio of combiatios is fudametal to combiatorics.to better familiarize ourselves with combiatios, we ow loo at oe applicatioow as stars ad bars. The setup is the followig: suppose there are three childre c 1, c 2, c 3, ad we must distribute 10 idetical cadies amog these three childre. Each child ca receive ay umber of cadies, icludig 0. For example, oe possible distributio is (4, 3, 3): i this case, c 1 receives 4 cadies, c 2 receives 3, ad c 3 receives 3. How may ways ca we distribute the cadies? The ey observatio is the followig: we ca distribute the cadies by arragig them i a lie, ad the placig two bars somewhere alog the lie. For example, the (4, 3, 3) described above ca be modeled by the followig: Each represets a cady, ad the two locatio of the two bars determies the distributio of the cadies. Notice that the followig distributio is also possible: The above diagram correspods to the distributio (0, 0, 10). I geeral, c 1 receives the cadies left of the first bar, c 2 receives the cadies betwee the two bars, ad c 3 receives the cadies right of the secod bar. So we ca see that distributig cadies is idetical to choosig the locatio of the two bars. However, the umber of ways to do this is ot ( 11 2 ), because this igores the possibility of placig two bars ext to each other. Istead, we should thi of the process as follows: there are 12 empty slots, pictured below. We must place bars i two of the slots, ad the remaiig 10 slots will the represet the 10 cadies to distribute. For the distributio (5, 5, 0), the diagram becomes the followig: 22-2

3 From this perspective, it becomes clear that the umber of distributios of 10 cadies to 3 childre is ( 12 2 ). I geeral, if there are cadies ad childre, the there are + 1 slots, ad we must place 1 bars. The remaiig cadies, iterspersed amog the bars, represet a distributio. Thus, the umber of distributios is ( ). 2.2 Combiatorial Idetities We ow state a couple of basic idetities ivolvig combiatios. Fact 1. Let be a positive iteger, ad be i {1,..., }. The the followig idetities hold: ( ) ( ) ( ) ( ) ( ) 1 1 = ad = +. 1 The latter is ow as Pascal s rule, amed after the mathematicia Blaise Pascal. Remar: Oe proof of these idetities is purely algebraic: if we simply use the formula =! ( )!! o every term, the a bit of algebraic maipulatio proves the idetity. However, i some sese, this proof is ot very elegat because it does ot tae advatage of the combiatorial iterpretatio of the terms. Therefore, we ow prove each idetity by givig a combiatorial iterpretatio of both sides. Uder these iterpretatios, the validity of the equalities becomes clear. Proof. Let A be a set with elemets, where is a positive iteger. As discussed above, for each equality, we will give a combiatorial iterpretatio for both the left-had side (LHS) ad the right-had side (RHS). I the first equality, the LHS couts the umber of subsets of A that cotai exactly items. Selectig items is equivalet to excludig items. The umber of ways to exclude items from S is precisely the RHS of the equality. I the secod equality, the LHS still couts the umber of subsets of A that cotai exactly items. Sice is positive, we ca fix a particular elemet of A which we deote by x. The set of subsets of size ca be partitioed ito two sets: those that cotai x, ad those that do ot. The umber of subsets of size that cotai x is ( 1 1 ). This is because oce you choose x i the subset, you are left to mae 1 choices out of the remaiig 1 elemets. O the other had, the umber of subsets of size that exclude x is ( 1 ). The logic behid this expressio is that if you exclude x from the subset, the you are still left to mae all the choices, but oly amog the remaiig 1 elemets. Summig these two values gives the umber of ways to choose ay subset of size, as desired. A pictorial represetatio of Pascal s rule (see Fact 1) is ow as Pascal s triagle. The triagle is costructed as follows: the top row, which we cosider row 0, cotais a sigle 1. Each subsequet row starts ad eds with 1, ad the iteral terms are obtaied by summig the closest two terms i the previous row. The first 7 rows are pictured below, where represets the row idex: 22-3

4 = 0 1 = = = = = = Now cosider the values i row. We claim that these values are precisely, i order, the followig: ( ) ( ) ( ) ( ) The -th term of this row (where {0, 1,..., }) is precisely ( 1 ) the proof of this is a simple iductio argumet that follows easily from Pascal s idetity. We ow state ad prove aother well-ow idetity; this oe gives a combiatorial iterpretatio of the coefficiets of a biomial expressio. Due to this coectio, the values ( ) are ofte called the Biomial coefficiets. Theorem 2 (Biomial Theorem). For all Z + ad a, b R, (a + b) = a b. =0 I other words, for every {0, 1,..., }, the coefficiet of a b i the expasio of (a + b) is ( ). As a example, let us cosider the case whe = 4 ad = 3. The the coefficiet we see is that of a 1 b 3. There are precisely four ways to obtai a 1 b 3 by expadig (a + b) 4 : abbb, babb, bbab, ad bbba. Each of these ways correspods to choosig the locatio of 3 b s from four slots, ad the umber of ways to do this is precisely ( 4 3 ). Now we cosider the geeral case. Let {0, 1,... }, ad cosider the term a b. This term is the product of ( ) a s ad b s. Furthermore, otice that (a + b) is simply (a + b)(a + b) (a + b), which is the product of copies of (a + b). Upo expasio of this product, we obtai the sum of a + 1 terms, ad each term is the product of variables, distributed as a s ad b s. Thus, we ca thi of buildig the coefficiet of a b as selectig of the (a + b) terms i (a + b) that will cotribute a b. The umber of ways to do this is precisely ( ), as desired. Corollary 3. For all Z +, the followig equality holds: 2 = =0 I other words, the sum of the values i the -th row of Pascal s triagle is 2. Remar: The above idetity simply follows by a = b = 1 i Theorem 2. We give a alterate proof below that relates this idetity to the set of subsets of a set. 22-4

5 Proof. Let A be a set with elemets, ad let A deote the subset of the power set 2 A cotaiig the subsets of A of size. The the sets A 0, A 1,..., A partitio 2 A, which meas the followig equalities hold: 2 = 2 A = A 0 + A A ( ) ( ) ( ) = = 0 1 =0. I other words, every subset of A has a size i {0, 1,..., }, so to cout the umber of subsets of A, we ca cout the umber of subsets of each size over all possible sizes. 3 Cardiality Rules ad Priciples I this sectio, we will see the formalizatio of coutig strategies that we ofte tae for grated: the product rule, the sum rule, ad the pigeohole priciple. 3.1 The Product Rule Before statig this rule, we first itroduce some otatio. For ay set S ad positive iteger, we let S deote the set of -legth sequeces whose elemets are i S, i.e., S = {(s 1, s 2,..., s ) : i {1, 2,..., }. s i S}. Notice that S 2 = S S, but S 3 = (S S) S because the elemets of S 3 are of the form (a, b, c), while the elemets of (S S) S have the form ((a, b), c). However, for otatioal coveiece, we ofte remove the iteral paretheses ad write (a, b, c) istead. Usig this covetio, the set S is the Cartesia product of S with itself times. The product rule states the followig: If A ad B are fiite sets, the A B = A B. This rule allows us to cout the umber of differet ways to combie choices. For example, suppose we must create a password that cotais five letters of the alphabet (all lowercase), followed by three digits (i.e., 0-9). Let A = {a, b, c,...} deote the set of letters, ad B = {0, 1,..., 9} deote the set of digits. The to create a valid password, we must select five elemets of A (order matters), as well as three elemets of B (order matters as well). Thus, the set P of valid passwords is essetially the set A 5 B 3 : for example, apple123 is a valid password, ad (a, p, p, l, e, 1, 2, 3) is a elemet of P (with iteral paretheses removed). By the product rule, we have P = A 5 B 3 = A 5 B 3 = Thus, there are passwords that satisfy the give coditios. 3.2 The Priciple of Iclusio-Exclusio The priciple of iclusio-exclusio (PIE) states the followig: If A ad B are fiite sets, the A B = A + B A B. Note that if A B =, the PIE states A B = A + B ; this special case is ow as the sum rule. The ame of this priciple comes from the fact that we must exclude the elemets of A B after icludig each of them twice oce as a elemet of A, ad oce as a elemet of B. 22-5

6 Iclusio-exclusio allows us to cout the umber of objects that satisfy some property or aother, without over-coutig the objects that satisfy both. For example, suppose 15 studets i the class ow a cat, 20 ow a dog, ad 10 ow both. The the umber of studets that ow a cat or a dog (or both) is ot = 35, but rather, = 25 because the 10 people that ow both are icluded i both the 15 cat owers ad the 20 dog owers. 3.3 The Pigeohole Priciple A pigeohole is a small box i which a sigle pigeo ca stad. If there are pigeoholes ad over pigeos, the clearly, some pigeohole must accommodate at least 2 pigeos this idea is ow as the pigeohole priciple. More formally, the pigeohole priciple states the followig: If A ad B are fiite sets such that A > B ad f : A B is a total fuctio, the there exist a 1, a 2 A such that a 1 = a 2 ad f (a 1 ) = f (a 2 ). Thus, we ca thi of A as the set of pigeos, B as the set of pigeoholes, ad f as the fuctio that matches each pigeo with a pigeohole. If A > B the some pigeohole must accommodate at least 2 pigeos, which is precisely what the priciple states. The pigeohole priciple souds quite obvious, yet whe applied correctly, it ca be surprisigly powerful. Example 1: Cosider a subset S of {1, 2,..., 10}. We claim that if S 6, the there exist two distict elemets of S such that oe is a factor of the other. This propositio ca be verified by checig all ( 10 6 ) subsets, but we ca provide a more elegat proof usig the pigeohole priciple. Notice that every positive iteger ca be writte as 2 q(), where is a oegative iteger ad q() is odd. Now cosider writig the elemets of S i this way. There are oly 5 possible values of q() (i.e., {1, 3, 5, 7, 9}), so there exists some odd iteger q ad a, b S such that a = 2 α q ad b = 2 β q, where α, β are distict oegative itegers. If α < β the a is a factor of b, ad if α > β, the b is a factor of a. I this example, we ca thi of the odd compoet of the elemets of S as the pigeos, ad the set {1, 3, 5, 7, 9} as the pigeoholes. 4 Summary I this lecture, we studied the fudametals of combiatorics. We proved several combiatorial idetities ad saw applicatios of cardiality rules ad the pigeohole priciple. 22-6

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

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

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

Chapter 7 COMBINATIONS AND PERMUTATIONS. where we have the specific formula for the binomial coefficients:

Chapter 7 COMBINATIONS AND PERMUTATIONS. where we have the specific formula for the binomial coefficients: Chapter 7 COMBINATIONS AND PERMUTATIONS We have see i the previous chapter that (a + b) ca be writte as 0 a % a & b%þ% a & b %þ% b where we have the specific formula for the biomial coefficiets: '!!(&)!

More information

Chapter 1 : Combinatorial Analysis

Chapter 1 : Combinatorial Analysis STAT/MATH 394 A - PROBABILITY I UW Autum Quarter 205 Néhémy Lim Chapter : Combiatorial Aalysis A major brach of combiatorial aalysis called eumerative combiatorics cosists of studyig methods for coutig

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

3.1 Counting Principles

3.1 Counting Principles 3.1 Coutig Priciples Goal: Cout the umber of objects i a set. Notatio: Whe S is a set, S deotes the umber of objects i the set. This is also called S s cardiality. Additio Priciple: Whe you wat to cout

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

(ii) Two-permutations of {a, b, c}. Answer. (B) P (3, 3) = 3! (C) 3! = 6, and there are 6 items in (A). ... Answer.

(ii) Two-permutations of {a, b, c}. Answer. (B) P (3, 3) = 3! (C) 3! = 6, and there are 6 items in (A). ... Answer. SOLUTIONS Homewor 5 Due /6/19 Exercise. (a Cosider the set {a, b, c}. For each of the followig, (A list the objects described, (B give a formula that tells you how may you should have listed, ad (C verify

More information

Course : Algebraic Combinatorics

Course : Algebraic Combinatorics Course 18.312: Algebraic Combiatorics Lecture Notes # 18-19 Addedum by Gregg Musier March 18th - 20th, 2009 The followig material ca be foud i a umber of sources, icludig Sectios 7.3 7.5, 7.7, 7.10 7.11,

More information

Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is

Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of

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

1 Summary: Binary and Logic

1 Summary: Binary and Logic 1 Summary: Biary ad Logic Biary Usiged Represetatio : each 1-bit is a power of two, the right-most is for 2 0 : 0110101 2 = 2 5 + 2 4 + 2 2 + 2 0 = 32 + 16 + 4 + 1 = 53 10 Usiged Rage o bits is [0...2

More information

MT5821 Advanced Combinatorics

MT5821 Advanced Combinatorics MT5821 Advaced Combiatorics 1 Coutig subsets I this sectio, we cout the subsets of a -elemet set. The coutig umbers are the biomial coefficiets, familiar objects but there are some ew thigs to say about

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

Bertrand s Postulate

Bertrand s Postulate Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a

More information

Lecture 10: Mathematical Preliminaries

Lecture 10: Mathematical Preliminaries Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this

More information

Combinatorics and Newton s theorem

Combinatorics and Newton s theorem INTRODUCTION TO MATHEMATICAL REASONING Key Ideas Worksheet 5 Combiatorics ad Newto s theorem This week we are goig to explore Newto s biomial expasio theorem. This is a very useful tool i aalysis, but

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

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

Summer High School 2009 Aaron Bertram

Summer High School 2009 Aaron Bertram Summer High School 009 Aaro Bertram 3 Iductio ad Related Stuff Let s thik for a bit about the followig two familiar equatios: Triagle Number Equatio Square Number Equatio: + + 3 + + = ( + + 3 + 5 + + (

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

Intermediate Math Circles November 4, 2009 Counting II

Intermediate Math Circles November 4, 2009 Counting II Uiversity of Waterloo Faculty of Mathematics Cetre for Educatio i Mathematics ad Computig Itermediate Math Circles November 4, 009 Coutig II Last time, after lookig at the product rule ad sum rule, we

More information

1. n! = n. tion. For example, (n+1)! working with factorials. = (n+1) n (n 1) 2 1

1. n! = n. tion. For example, (n+1)! working with factorials. = (n+1) n (n 1) 2 1 Biomial Coefficiets ad Permutatios Mii-lecture The followig pages discuss a few special iteger coutig fuctios You may have see some of these before i a basic probability class or elsewhere, but perhaps

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

Combinatorics II. Combinatorics. Product Rule. Sum Rule II. Theorem (Product Rule) Theorem (Sum Rule)

Combinatorics II. Combinatorics. Product Rule. Sum Rule II. Theorem (Product Rule) Theorem (Sum Rule) Combiatorics Combiatorics I Slides by Christopher M. Bourke Istructor: Berthe Y. Choueiry Fall 27 Computer Sciece & Egieerig 235 to Discrete Mathematics Sectios 5.-5.6 & 7.5-7.6 of Rose cse235@cse.ul.edu

More information

P1 Chapter 8 :: Binomial Expansion

P1 Chapter 8 :: Binomial Expansion P Chapter 8 :: Biomial Expasio jfrost@tiffi.kigsto.sch.uk www.drfrostmaths.com @DrFrostMaths Last modified: 6 th August 7 Use of DrFrostMaths for practice Register for free at: www.drfrostmaths.com/homework

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

Permutations, Combinations, and the Binomial Theorem

Permutations, Combinations, and the Binomial Theorem Permutatios, ombiatios, ad the Biomial Theorem Sectio Permutatios outig methods are used to determie the umber of members of a specific set as well as outcomes of a evet. There are may differet ways to

More information

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.

It is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function. MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied

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

Combinatorics I Introduction. Combinatorics. Combinatorics I Motivating Example. Combinations. Product Rule. Permutations. Theorem (Product Rule)

Combinatorics I Introduction. Combinatorics. Combinatorics I Motivating Example. Combinations. Product Rule. Permutations. Theorem (Product Rule) Combiatorics I Itroductio Combiatorics Computer Sciece & Egieerig 235: Discrete Mathematics Christopher M. Bourke cbourke@cse.ul.edu Combiatorics is the study of collectios of objects. Specifically, coutig

More information

Permutations & Combinations. Dr Patrick Chan. Multiplication / Addition Principle Inclusion-Exclusion Principle Permutation / Combination

Permutations & Combinations. Dr Patrick Chan. Multiplication / Addition Principle Inclusion-Exclusion Principle Permutation / Combination Discrete Mathematic Chapter 3: C outig 3. The Basics of Coutig 3.3 Permutatios & Combiatios 3.5 Geeralized Permutatios & Combiatios 3.6 Geeratig Permutatios & Combiatios Dr Patrick Cha School of Computer

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 ALGEBRAIC GROUPS: LECTURE 6

LINEAR ALGEBRAIC GROUPS: LECTURE 6 LINEAR ALGEBRAIC GROUPS: LECTURE 6 JOHN SIMANYI Grassmaias over Fiite Fields As see i the Fao plae, fiite fields create geometries that are uite differet from our more commo R or C based geometries These

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

( ) GENERATING FUNCTIONS

( ) GENERATING FUNCTIONS GENERATING FUNCTIONS Solve a ifiite umber of related problems i oe swoop. *Code the problems, maipulate the code, the decode the aswer! Really a algebraic cocept but ca be eteded to aalytic basis for iterestig

More information

Sequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018

Sequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018 CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical

More 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

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

(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

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

Exercises 1 Sets and functions

Exercises 1 Sets and functions Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,

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

0 1 sum= sum= sum= sum= sum= sum= sum=64

0 1 sum= sum= sum= sum= sum= sum= sum=64 Biomial Coefficiets I how may ways ca we choose elemets from a elemet set? There are choices for the first elemet, - for the secod,..., dow to - + for the th, yieldig *(-)*...*(-+). So there are 4*3=2

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

Generating Functions. 1 Operations on generating functions

Generating Functions. 1 Operations on generating functions Geeratig Fuctios The geeratig fuctio for a sequece a 0, a,..., a,... is defied to be the power series fx a x. 0 We say that a 0, a,... is the sequece geerated by fx ad a is the coefficiet of x. Example

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

Power Series Expansions of Binomials

Power Series Expansions of Binomials Power Series Expasios of Biomials S F Ellermeyer April 0, 008 We are familiar with expadig biomials such as the followig: ( + x) = + x + x ( + x) = + x + x + x ( + x) 4 = + 4x + 6x + 4x + x 4 ( + x) 5

More information

Topic 5: Basics of Probability

Topic 5: Basics of Probability Topic 5: Jue 1, 2011 1 Itroductio Mathematical structures lie Euclidea geometry or algebraic fields are defied by a set of axioms. Mathematical reality is the developed through the itroductio of cocepts

More information

Lecture 6 April 10. We now give two identities which are useful for simplifying sums of binomial coefficients.

Lecture 6 April 10. We now give two identities which are useful for simplifying sums of binomial coefficients. Lecture 6 April 0 As aother applicatio of the biomial theorem we have the followig. For 0. 0 I other words startig with the secod row ad goig dow if we sum alog the rows alteratig sig as we go the result

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

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

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

Enumerative & Asymptotic Combinatorics

Enumerative & Asymptotic Combinatorics C50 Eumerative & Asymptotic Combiatorics Notes 4 Sprig 2003 Much of the eumerative combiatorics of sets ad fuctios ca be geeralised i a maer which, at first sight, seems a bit umotivated I this chapter,

More information

Combinatorially Thinking

Combinatorially Thinking Combiatorially Thiig SIMUW 2008: July 4 25 Jeifer J Qui jjqui@uwashigtoedu Philosophy We wat to costruct our mathematical uderstadig To this ed, our goal is to situate our problems i cocrete coutig cotexts

More information

Lecture Notes for CS 313H, Fall 2011

Lecture Notes for CS 313H, Fall 2011 Lecture Notes for CS 313H, Fall 011 August 5. We start by examiig triagular umbers: T () = 1 + + + ( = 0, 1,,...). Triagular umbers ca be also defied recursively: T (0) = 0, T ( + 1) = T () + + 1, or usig

More information

Is mathematics discovered or

Is mathematics discovered or 996 Chapter 1 Sequeces, Iductio, ad Probability Sectio 1. Objectives Evaluate a biomial coefficiet. Expad a biomial raised to a power. Fid a particular term i a biomial expasio. The Biomial Theorem Galaxies

More information

CS 336. of n 1 objects with order unimportant but repetition allowed.

CS 336. of n 1 objects with order unimportant but repetition allowed. CS 336. The importat issue is the logic you used to arrive at your aswer.. Use extra paper to determie your solutios the eatly trascribe them oto these sheets. 3. Do ot submit the scratch sheets. However,

More information

Chapter 6. Advanced Counting Techniques

Chapter 6. Advanced Counting Techniques Chapter 6 Advaced Coutig Techiques 6.: Recurrece Relatios Defiitio: A recurrece relatio for the sequece {a } is a equatio expressig a i terms of oe or more of the previous terms of the sequece: a,a2,a3,,a

More 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

SNAP Centre Workshop. Basic Algebraic Manipulation

SNAP Centre Workshop. Basic Algebraic Manipulation SNAP Cetre Workshop Basic Algebraic Maipulatio 8 Simplifyig Algebraic Expressios Whe a expressio is writte i the most compact maer possible, it is cosidered to be simplified. Not Simplified: x(x + 4x)

More information

6.4 Binomial Coefficients

6.4 Binomial Coefficients 64 Bioial Coefficiets Pascal s Forula Pascal s forula, aed after the seveteeth-cetury Frech atheaticia ad philosopher Blaise Pascal, is oe of the ost faous ad useful i cobiatorics (which is the foral ter

More information

The Binomial Theorem

The Binomial Theorem The Biomial Theorem Robert Marti Itroductio The Biomial Theorem is used to expad biomials, that is, brackets cosistig of two distict terms The formula for the Biomial Theorem is as follows: (a + b ( k

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

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

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

Zeros of Polynomials

Zeros of Polynomials Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree

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

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

Some Basic Counting Techniques

Some Basic Counting Techniques Some Basic Coutig Techiques Itroductio If A is a oempty subset of a fiite sample space S, the coceptually simplest way to fid the probability of A would be simply to apply the defiitio P (A) = s A p(s);

More information

2 Geometric interpretation of complex numbers

2 Geometric interpretation of complex numbers 2 Geometric iterpretatio of complex umbers 2.1 Defiitio I will start fially with a precise defiitio, assumig that such mathematical object as vector space R 2 is well familiar to the studets. Recall that

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

arxiv: v1 [math.nt] 10 Dec 2014

arxiv: v1 [math.nt] 10 Dec 2014 A DIGITAL BINOMIAL THEOREM HIEU D. NGUYEN arxiv:42.38v [math.nt] 0 Dec 204 Abstract. We preset a triagle of coectios betwee the Sierpisi triagle, the sum-of-digits fuctio, ad the Biomial Theorem via a

More information

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence

Chapter 3. Strong convergence. 3.1 Definition of almost sure convergence Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i

More information

a for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a

a for a 1 1 matrix. a b a b 2 2 matrix: We define det ad bc 3 3 matrix: We define a a a a a a a a a a a a a a a a a a Math S-b Lecture # Notes This wee is all about determiats We ll discuss how to defie them, how to calculate them, lear the allimportat property ow as multiliearity, ad show that a square matrix A is ivertible

More information

Problem 4: Evaluate ( k ) by negating (actually un-negating) its upper index. Binomial coefficient

Problem 4: Evaluate ( k ) by negating (actually un-negating) its upper index. Binomial coefficient Problem 4: Evaluate by egatig actually u-egatig its upper idex We ow that Biomial coefficiet r { where r is a real umber, is a iteger The above defiitio ca be recast i terms of factorials i the commo case

More information

Math 4707 Spring 2018 (Darij Grinberg): homework set 4 page 1

Math 4707 Spring 2018 (Darij Grinberg): homework set 4 page 1 Math 4707 Sprig 2018 Darij Griberg): homewor set 4 page 1 Math 4707 Sprig 2018 Darij Griberg): homewor set 4 due date: Wedesday 11 April 2018 at the begiig of class, or before that by email or moodle Please

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

Lecture 23 Rearrangement Inequality

Lecture 23 Rearrangement Inequality Lecture 23 Rearragemet Iequality Holde Lee 6/4/ The Iequalities We start with a example Suppose there are four boxes cotaiig $0, $20, $50 ad $00 bills, respectively You may take 2 bills from oe box, 3

More information

Section 4.3. Boolean functions

Section 4.3. Boolean functions Sectio 4.3. Boolea fuctios Let us take aother look at the simplest o-trivial Boolea algebra, ({0}), the power-set algebra based o a oe-elemet set, chose here as {0}. This has two elemets, the empty set,

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

Chapter 0. Review of set theory. 0.1 Sets

Chapter 0. Review of set theory. 0.1 Sets Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.

More information

Sequences, Series, and All That

Sequences, Series, and All That Chapter Te Sequeces, Series, ad All That. Itroductio Suppose we wat to compute a approximatio of the umber e by usig the Taylor polyomial p for f ( x) = e x at a =. This polyomial is easily see to be 3

More information

t distribution [34] : used to test a mean against an hypothesized value (H 0 : µ = µ 0 ) or the difference

t distribution [34] : used to test a mean against an hypothesized value (H 0 : µ = µ 0 ) or the difference EXST30 Backgroud material Page From the textbook The Statistical Sleuth Mea [0]: I your text the word mea deotes a populatio mea (µ) while the work average deotes a sample average ( ). Variace [0]: The

More information

Ma 530 Infinite Series I

Ma 530 Infinite Series I Ma 50 Ifiite Series I Please ote that i additio to the material below this lecture icorporated material from the Visual Calculus web site. The material o sequeces is at Visual Sequeces. (To use this li

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

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

CS284A: Representations and Algorithms in Molecular Biology

CS284A: Representations and Algorithms in Molecular Biology CS284A: Represetatios ad Algorithms i Molecular Biology Scribe Notes o Lectures 3 & 4: Motif Discovery via Eumeratio & Motif Represetatio Usig Positio Weight Matrix Joshua Gervi Based o presetatios by

More 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

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

Discrete Mathematics: Lectures 8 and 9 Principle of Inclusion and Exclusion Instructor: Arijit Bishnu Date: August 11 and 13, 2009

Discrete Mathematics: Lectures 8 and 9 Principle of Inclusion and Exclusion Instructor: Arijit Bishnu Date: August 11 and 13, 2009 Discrete Matheatics: Lectures 8 ad 9 Priciple of Iclusio ad Exclusio Istructor: Arijit Bishu Date: August ad 3, 009 As you ca observe by ow, we ca cout i various ways. Oe such ethod is the age-old priciple

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

Beurling Integers: Part 2

Beurling Integers: Part 2 Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers

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

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

ARRANGEMENTS IN A CIRCLE

ARRANGEMENTS IN A CIRCLE ARRANGEMENTS IN A CIRCLE Whe objects are arraged i a circle, the total umber of arragemets is reduced. The arragemet of (say) four people i a lie is easy ad o problem (if they liste of course!!). With

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

Pascal s Labeling and Path Counting. October 4, Construct Pascal s labeling of lattice points of Euclidean plane.

Pascal s Labeling and Path Counting. October 4, Construct Pascal s labeling of lattice points of Euclidean plane. Pascal s Labelig ad Path Coutig Ko-Wei Lih Istitute of Mathematics Academia Siica Naag, Taipei 5, Taiwa E-mail: mawlih@siica.edu.tw Daphe Der-Fe Liu Departmet of Mathematics Califoria State Uiversity,

More information

COMP 2804 Solutions Assignment 1

COMP 2804 Solutions Assignment 1 COMP 2804 Solutios Assiget 1 Questio 1: O the first page of your assiget, write your ae ad studet uber Solutio: Nae: Jaes Bod Studet uber: 007 Questio 2: I Tic-Tac-Toe, we are give a 3 3 grid, cosistig

More information