14 Classic Counting Problems in Combinatorics
|
|
- Aldous Fletcher
- 5 years ago
- Views:
Transcription
1 14 Classic Coutig Problems i Combiatorics (Herbert E. Müller, May 2017, herbert-mueller.ifo) Combiatorics is about coutig objects, or the umber of ways of doig somethig. I this article I preset some classic fuctio coutig problems. These iclude permutatios of a set, compositios ad partitios of a set or umber, ad (multi)arragemets ad (multi-)combiatios from a set. I will repeatedly refer to OEIS (oeis.org): the Olie Ecyclopedia of Iteger Sequeces. This article has two parts. I the first part we cosider selfmaps (N N) of a -set N. Startig with the problem of coutig all selfmaps, we create ew ad more iterestig problems i two ways: 1) Cout bijective selfmaps (permutatios) oly. 2) Itroduce a equivalece relatio by cojugatig the selfmaps with the permutatio 1 group: S (N N) S ; the cout the equivalece classes.* I this way we obtai 2 2=4 coutig problems ivolvig selfmaps of a set. I the secod part we cosider fuctios (K N) from a -set N to a k-set K. Startig with the problem of coutig all fuctios, there are agai two ways to create ew problems: 1) Cout surjective fuctios oly, or ijective fuctios oly. 2) Itroduce a equivalece relatio o the fuctios, ad cout the equivalece classes. This is doe with the permutatio group S actig o N, or with S k actig o K, or both.* I this way we obtai 3 4=12 coutig problems. 2 of these problems are trivial, ad we are left with 10 coutig problems ivolvig fuctios from oe set to aother. *The equivalece class of a fuctio f is the orbit of f uder the actio of a group. Part 1: Permutatios ad geeral selfmaps Here we cosider selfmaps (N N) Table: 2 2 selfmap coutig problems & their solutios. of a -set N ={a, b, c,...}. We cout all selfmaps, or bijective selfmaps (permutatios) oly, ad the selfmaps, or the equivalece classes obtaied by cojugatio with the permutatio group S. fuctio/class bijective all N N permutatios selfmaps! of a -set of a -set S 1 (N N) S partitios selfmap types P() of a umber of a -set A 1372 Permutatios of a set ad equivalece classes The permutatios of a -set N={a, b, c,...} form the symmetric group or permutatio group S. Example: ( a b c d a c d b) (a a,b c,c d,d b) is a permutatio of the 4-set {a,b,c,d}. A compact way of writig dow a permutatio is the cycle otatio, i our example (bcd)(a). (bcd) is a cycle of legth 3, meaig b c,c d,d b; (a) is a cycle of legth 1, meaig a a. The cycle legths listed i decreasig order form a partitio of the umber of elemets of, called the cycle type. The cycle type of the permutatio (bcd)(a) is 3+1, or (3,1). 1
2 Now let p k ad p l be 2 permutatios of N (1 k,l!). We say p k ad p l are equivalet if there is a permutatio p m such that p l = p m p k p m 1. The orbit of p k uder cojugatio with S is the subset of permutatios {p m p k p m 1 p m S }; it is a equivalece class of permutatios. It ca be show that equivalet p k ad p l belog to the same cycle type, ad that ay two permutatios with the same cycle type are equivalet. I other words, there is a 1-to-1 correspodece betwee the partitios p of the umber ad the equivalece classes of S. Examples The 1-set {a} has 1 permutatio, cycle type (1): (a). The 2-set {a,b} has 2 permutatios belogig to 2 cycle types: 1 (2)-permutatio (a,b) 1 (1,1)-permutatio (a)(b) The 3-set {a,b,c} has 6 permutatios belogig to 3 cycle types : 2 (3)-permutatios (a,b,c), (a,c,b) 3 (2,1)-permutatios (b,c)(a), (a,c)(b), (a,b)(c) 1 (1,1,1)-permutatio (a)(b)(c) The 4-set {a,b,c,d} has 24 permutatios belogig to 5 cycle types: 6 (4)-permutatios (abcd), (abdc), (acbd), (acdb), (adbc), (adcb) 8 (3,1)-permutatios (bcd)(a), (bdc)(a), (acd)(b), (adc)(b), (abd)(c), adb)(c), (abc)(d), (acb)(d) 3 (2,2)-permutatios (ab)(cd), (ac)(bd), (ad)(bc) 6 (2,1,1)-permutatios (ab)(c)(d), (ac)(b)(d), (ad)(b)(c), (bc)(a)(d), (bd)(a)(c), (cd)(a)(b) 1 (1,1,1,1)-permutatio (a)(b)(c)(d) Formulas The umber of permutatios of a -set is!= (1) : factorial. The umber of partitios of is the partitio-fuctio P() = A 41 (), with P(N) = (1,1,2,3,5,7,11,15,22,30,42...) (OEIS A000041, startig with P(0)=1). There is o fiite formula for P(), but a recursio formula due to Euler: P()=P(1)+P(2)P(5)P(7)+P(12)+P(15)P(22)P(26)... Remark 1: Although this is beyod the scope set for this article, let's also cout the fuctios i a give class.! The umber of type- p-permutatios of a -set is (p k m k ). The sum over all partitios is! { p} (p k m k ) =!. Here m is a vector with the same legth as the partitio p; it is defied by m 1 =1, m k+1=1+m k[p k+1=p k] (with [A]=0 if the statemet A is false, [A]=1 if A is true). Eg. if p=(5,4,4,4,2,1,1), the m=(1,1,2,3,1,1,2). Remark 2: Istead of the permutatios of a certai cycle type p, oe might also cout the permutatios with the same umber k of cycles. The umber of such k-permutatios of a -set is the 1 st usiged Stirlig umber. Geeral selfmaps of a set ad equivalece classes The geeral selfmap of a set, for example (a a,b d,c d,d b) ca be represeted by the familar two-row bracket, here ( a b c d a d d b), or just by the secod lie (a,d,d,b), or by a labeled ad orieted graph graph, here (labels letters, orietatio arrows). The graph is a rig with braches if the fuctio is coected, ad a collectio of rigs with braches otherwise. If we remove the letters i the example graph, we obtai. 2
3 If we further stipulate that the directio i the rig is couter-clockwise (ecessary for rigs with 3 or more vertices), we ca remove the arrows too (the directios i the braches are always towards the rig), ad obtai. This ulabeled graph (icludig the couterclockwise sese i the rig) is preserved uder cojugatio with S, ad I will call it the selfmap type. Selfmaps belogig to the same type form a equivalece class. If the selfmap type is a collectio of rigs (without braches), the fuctio is a permutatio. Examples The 1-set {a} has 1 selfmap: the idetity ( a a) (a). The selfmap type is. The 2-set {a,b} has 2 2 =4 self-maps belogig to 3 selfmap types: 1 2 ( a b a a) (a,a) 1 The 3-set {a,b,c} has 3 3 =27 selfmaps belogig to 7 selfmap types: 2 permutatios (b,c,a), (c,a,b) 6 selfmaps (b,c,b), (c,c,b), (b,a,a), (b,a,b), (c,a,a), (c,c,a) 6 selfmaps (b,c,c), (c,a,c), (c,b,b), (b,b,a), (a,c,a), (a,a,b) 3 selfmaps (b,b,b), (c,c,c), (a,a,a) 3 permutatios (b,a,c), (c,b,a), (a,c,b) 6 selfmaps (b,b,c), (a,a,c), (a,c,c), (a,b,b), (a,b,a), (c,b,c) 1 permutatio (a,b,c) The 4-set {a,b,c,d} has 4 4 =256 selfmaps belogig to 19 selfmap types (I give just those). Formulas The umber of selfmaps of a -set is. The umber of types of coected selfmaps is A 2861 (N*) = (1,2,4,9,20,51,125...). (This is the umber of -vertices rigs-with-braches; a chiral graph ad its mirror image must be couted separately.) OEIS A002861: "Number of coected fuctios (or mappig patters) o ulabeled poits, or umber of rigs ad braches with edges." The umber of selfmap types is A 1372 (N*) = (1,3,7,19,47,130,343...). A 2861 ( p k )+ m k 1 Euler trasform: A 1372 ()= { p} (k ). m k (Every -graph belogs to a partitio p of. The multiplicity of the partitio is m, see above. The formula is the sum over partitios of the umber of -graphs belogig to a partitio.) OEIS A001372: "Number of mappigs (or mappig patters) from poits to themselves; umber of edofuctios. Euler trasform of A " 3
4 Coutig the types of coected -selfmaps: The graphs are -vertices rigs-with-braches. First oe couts the umber of -graphs with k-rigs (k ), see o the right; the oe sums over k. OEIS A002861: "Number of coected fuctios (or mappig patters) o ulabeled poits, or umber of rigs ad braches with edges." See also A "Number of -ode coected graphs with exactly oe cycle of legth k [...] " ad A "Number of -ode coected graphs with oe cycle [...]." The etries A (6,4)=7 ad A 68051(6) =49 must be augmeted by 2, to accout for 2 mirror-pairs of chiral graphs. Triagular array: umber of coected -selfmap types with a k-rig. (,k) Part 2: Partitios, Compositios, Combiatios & Arragemets Here we cosider fuctios (K N) from a -set ={a, b, c,...} to a k-set K={1...k}. We cout all fuctios, or surjective fuctios oly, or ijective fuctios oly, ad the fuctios themselves, or equivalece classes obtaied by permutatio of N, or of K, or both. Table: 3 4 fuctio coutig problems ad their solutios. fuctio or class surjective all ijective (K... N) k-compositio of a -set (K... N) S k-compositio S k (K... N) of a umber k! { -multiarrage k} ~ from a k-set k -arragemet from a k-set! ( k ) ( 1 k1) -multicombia ~ from a k-set ( k+1 ) -combiatio from a k-set ( k ) k-partitio of a -set { k} k-partitio of a -set 1 { k} oly oe class S k (K... N) S k-partitio of a umber [ k] k-partitio of a umber [ +k k ] oly oe class Remarks: The (K N) fuctio coutig approach to combiatorics gives a somewhat surprisig, ad at first glace ot etirely coheret selectio of combiatorial problems. 1. Two problems are trivial. 2. The order i which the problems appear (say coutig from top to bottom ad the from left to right) is probably ot how you ad I would would order them if we were give them pell-mell. I fact, below I will order them differetly. 3. I four of the problems, the umbers k ad i the problem ames ad i the formulas appear reversed to what we are used to. Below I will switch k ad to the usual order. 4. Two of the problems are cumulatios of partitios - but there are o correspodig problems for cumulatios of compositios, combiatios or arragemets. 5. All the coutig formulas except oe (the sum) ca be expressed briefly with either the biomial coefficet ( k), the secod Stirlig umber { k}, or the partitio fuctio [ k]. 4
5 Biomial coefficiets Stirlig umbers Partitio fuctio The termiology for these 3 similar umbers is icoheret (coefficiet, fuctio, umber). Direct formulas: ( k) =! k!(k)! Recursio formulas: ( =1 1) ( k) = ( 1 k1) + ( 1 k ) Special values: >) =0 ( =1 ) ( Triagular arrays: { k} kl( = 1 k! k (l) l k 1 l ) [ k] : oe { 1} =1 { k} = { k1} 1 +k { 1 k } [ 1] =1 [ k] = [ k1] 1 + [ k k ] { } =1 { >} =0 [ ] [ >] =1 =0 (,k) (,k) (,k) The 10 coutig problems explaied I will preset the coutig problems i the followig order. O the left is the stadard ame of the items to be couted (sometimes followed by alterate ames), o the right are the (equivalece classes of) fuctios to be couted. Compositios ad Partitios of a set or a umber Read the fuctios from right to left! 1. k-compositios of a -set (K sur N) 2. k-partitios of a -set S k (K sur N) 3. k-partitios of a -set S k (K ay N) 4. k-compositios of a umber (K sur N) S 5. k-partitios of a umber S k (K sur N) S 6. k-partitios of a umber S k (K ay N) S k (Multi-)Arragemets ad (Multi-)Combiatios from a set ad k reversed - read the fuctios from left to right! 7. k-arragemets from a -set (k-permutatios) K ij N 8. k-multiarragemets from a -set (k-sequeces) K ay N 9. k-combiatios from a -set (k-selectios) S k (K ij N) 10. k-multicombiatios from a -set (k-multiselectios) S k (K ay N) 5
6 Compositios ad Partitios of a set or a umber 1. k-compositios of a -set = k-vector of disjuct subsets whose uio is the whole -set The 1-set {a} has 1 compositio: {a}. The 2-set {a,b} has 3 compositios: 1 1-compositio {a,b}; 2 2-compositios a b, b a. The 3-set {a,b,c} has 13 compositios: 1 1-compositio {a,b,c}; 6 2-compositios a {b,c}, b {a,c}, c {a,b}, {b,c} a, {a,c} b, {a,b} c; 6 3-compositios a b c, b c a, c a b, a c b, b a c, c b a. The umber of k-compositios of a -set is k! { The umber of compositios of a -set is F()= 3. k-partitios of a -set = represetatio of the -set as a uio of k-subsets The 1-set {a} has 1 partitio: {a}. The 2-set {a,b} has 2 partitios: 1 1-partitio {a,b}; 1 2-partitio a b. The 3-set {a,b,c} has 5 partitios: 1 1-partitio {a,b,c}; 3 2-partitios a {b,c}, b {a,c}, c {a,b}; 1 3-partitio a b c. The umber of k-partitios of a -set is { k} : secod Stirlig No. k} 1 k! { : Fubii-No (A000670) k} The umber of partitios of a -set is B()= 1 { : Bell-No (A000110) k} 3. k-partitios of a -set This simply meas cumulatig the previous k-partitios. The umber of k-partitios of a -set is 1 { 4. k-compositios of the umber k} = k-vectors of positive atural umbers with the sum. The umber 1 has 1 compositio: 1. The umber 2 has 2 compositios: 1 1-compositio 2; 1 2-compositio 1+1. The umber 3 has 4 compositios: 1 1-compositio 3; 6
7 2 2-compositios 2+1, 1+2; 1 3-compositio The umber 4 has 8 compositios: 1 1-compositio 4; 3 2-compositios 3+1, 1+3, 2+2; 3 3-compositios 2+1+1, 1+2+1, 1+1+2; 1 4-compositio The umber of k-compositios of the umber is ( 1 k1) The umber of compositios of the umber is 1 ( 1 5. k-partitios of the umber = k-sets of positive atural umbers with the sum. The umber 1 has 1 partitio: 1. The umber 2 has 2 partitios: 1 1-partitio 2; 1 2-partitio 1+1. The umber 3 has 3 partitios: 1 1-partitio 3; 1 2-partitio 2+1; 1 3-partitio The umber 4 has 5 partitios: 1 1-partitio 4; 2 2-partitios 3+1, 2+2; 1 3-partitio 2+1+1; 1 4-partitio The umber of k-partitios of the umber is P k ()= [ The umber of partitios of is P()= (k ) 1 [ 6. k-partitios of the umber k] = [ 2 This simply meas cumulatig the previous k-partitios. The umber of k-partitios of the umber is 1 [ k1) =21 k] ]: Partitio-fuctio (A000041) k] = [ +k k ] (Multi-)Arragemets ad (Multi-)Combiatios from a set 5. k-combiatios from a -set = k-subset of the -set The 1-set {a} has 2 combiatios: 1 0-combiatio Ø; 1 1-combiatio {a}. The 2-set {a,b} has 4 combiatios: 7
8 1 0-combiatio Ø; 2 1-combiatios {a}, {b}; 1 2-combiatio {a,b}. The 3-set {a,b,c} has 8 combiatios: 1 0-combiatio Ø; 3 1-combiatios {a}, {b}, {c}; 3 2-combiatios {b,c}, {a,c}, {a,b}; 1 3-combiatio {a,b,c}. The umber of k-combiatios from a -set is ( k) =k (" choose k") k! The umber of combiatios from a -set is 0 ( k) =2 6. k-arragemets from a -set = k-vector of distict elemets from the -set The 1-set {a} has 2 arragemets: 1 0-arragemet Ø; 1 1-arragemet a. The 2-set {a,b} has 5 arragemets: 1 0-arragemet Ø; 2 1-arragemets a, b; 2 2-arragemets (a,b), (ba). The 3-set {a,b,c} has 16 arragemets: 1 0-arragemet Ø; 3 1-arragemets a, b, c; 6 2-arragemets (b,c), (c,b), (a,c), (c,a), (a,b), (b,a); 6 3-arragemets (a,b,c), (b,c,a), (c,a,b), (a,c,b), (b,a,c), (c,b,a). The umber of k-arragemets from a -set is k = (1)... (k+1) The umber of arragemets from a -set is 0 k =! e (where x =floor(x)) 7. k-multicombiatios from a -set = k-multisubsets of the -set (the elemets of a multiset come with a multiplicity 1) The 1-set {a} has 1 0-multicombiatio Ø 1 1-multicombiatio {a}; 1 2-multicombiatio {a,a}; 1 3-multicombiatio {a,a,a};... The 2-set {a,b} has 1 0-multicombiatio Ø; 2 1-multicombiatios {a}, {b}; 3 2-multicombiatios {a,a}, {a,b}, {b,b}; 4 3-multicombiatios {a,a,a},{a,a,b},{a,b,b},{b,b,b};... 8
9 The umber of k-multicombiatios from a -set is ( +k1 k ) =k k! k is ulimited, ad the sum over k diverges. 8. k-multiarragemets from a -set = k-vectors of elemets (ot ecessarily distict) from the -set The 1-set {a} has 1 0-multiarragemet Ø; 1 1-multiarragemet a; 1 2-multiarragemet (a,a); 1 3-multiarragemet (a,a,a)... The 2-set {a,b} has 1 0-multiarragemet Ø; 2 1-multiarragemets a, b; 4 2-multiarragemets (a,a), (a,b), (b,a), (b,b); 8 3-multiarragemets (a,a,a), (a,a,b), (a,b,a), (b,a,a),... The umber of k-multiarragemets from a -set is k. k is ulimited, ad the sum over k diverges. Summig over k (a,b,b), (b,a,b), (b,b,a), (b,b,b). Here is a compilatio of the sum-over-k formulas give above. (" multichoose k") Cout OEIS # Compositios of a set F() (1) A Partitios of a set B() (1) A Compositios of a umber Partitios of a umber P() (1) A Arragemets from a set!e A Combiatios from a set I multicombiatios ad multiarragemets, k is ulimited, ad the sum over k diverges. 9
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 informationMath 5705: Enumerative Combinatorics, Fall 2018: Homework 3
Uiversity of Miesota, School of Mathematics Math 5705: Eumerative Combiatorics, all 2018: Homewor 3 Darij Griberg October 15, 2018 due date: Wedesday, 10 October 2018 at the begiig of class, or before
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 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 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.
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 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 information(k) x n. n! tk = x a. (i) x p p! ti ) ( q 0. i 0. k A (i) n p
Math 880 Bigraded Classes & Stirlig Cycle Numbers Fall 206 Bigraded classes. Followig Flajolet-Sedgewic Ch. III, we defie a bigraded class A to be a set of combiatorial objects a A with two measures of
More informationStat 198 for 134 Instructor: Mike Leong
Chapter 2: Repeated Trials ad Samplig Sectio 2.1 Biomial Distributio 2.2 Normal Approximatio: Method 2.3 Normal Approximatios: Derivatio (Skip) 2.4 Poisso Approximatio 2.5 Radom Samplig Chapter 2 Table
More informationChapter 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 informationReview Problems 1. ICME and MS&E Refresher Course September 19, 2011 B = C = AB = A = A 2 = A 3... C 2 = C 3 = =
Review Problems ICME ad MS&E Refresher Course September 9, 0 Warm-up problems. For the followig matrices A = 0 B = C = AB = 0 fid all powers A,A 3,(which is A times A),... ad B,B 3,... ad C,C 3,... Solutio:
More information1. 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 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 informationMATH 1823 Honors Calculus I Permutations, Selections, the Binomial Theorem
MATH 823 Hoors Calculus I Permutatios, Selectios, the Biomial Theorem Permutatios. The umber of ways of arragig (permutig) obects is deoted by! ad is called factorial. I formig a particular arragemet (or
More informationP1 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 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 informationCombinatorics 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 informationChapter 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 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 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 informationMT5821 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 informationLINEAR 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 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 informationChapter 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 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 information( ) 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 informationIntroduction To Discrete Mathematics
Itroductio To Discrete Mathematics Review If you put + pigeos i pigeoholes the at least oe hole would have more tha oe pigeo. If (r + objects are put ito boxes, the at least oe of the boxes cotais r or
More informationSOLVED EXAMPLES
Prelimiaries Chapter PELIMINAIES Cocept of Divisibility: A o-zero iteger t is said to be a divisor of a iteger s if there is a iteger u such that s tu I this case we write t s (i) 6 as ca be writte as
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 informationLecture 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 informationSolving equations (incl. radical equations) involving these skills, but ultimately solvable by factoring/quadratic formula (no complex roots)
Evet A: Fuctios ad Algebraic Maipulatio Factorig Square of a sum: ( a + b) = a + ab + b Square of a differece: ( a b) = a ab + b Differece of squares: a b = ( a b )(a + b ) Differece of cubes: a 3 b 3
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 informationLecture 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 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 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 informationFind a formula for the exponential function whose graph is given , 1 2,16 1, 6
Math 4 Activity (Due by EOC Apr. ) Graph the followig epoetial fuctios by modifyig the graph of f. Fid the rage of each fuctio.. g. g. g 4. g. g 6. g Fid a formula for the epoetial fuctio whose graph is
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 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 informationExercises 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 informationHomework 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 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 informationComplex Analysis Spring 2001 Homework I Solution
Complex Aalysis Sprig 2001 Homework I Solutio 1. Coway, Chapter 1, sectio 3, problem 3. Describe the set of poits satisfyig the equatio z a z + a = 2c, where c > 0 ad a R. To begi, we see from the triagle
More information2.4 Sequences, Sequences of Sets
72 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.4 Sequeces, Sequeces of Sets 2.4.1 Sequeces Defiitio 2.4.1 (sequece Let S R. 1. A sequece i S is a fuctio f : K S where K = { N : 0 for some 0 N}. 2. For each
More informationPUTNAM TRAINING INEQUALITIES
PUTNAM TRAINING INEQUALITIES (Last updated: December, 207) Remark This is a list of exercises o iequalities Miguel A Lerma Exercises If a, b, c > 0, prove that (a 2 b + b 2 c + c 2 a)(ab 2 + bc 2 + ca
More informationLecture 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 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 informationCSE 21 Mathematics for
CSE 2 Mathematics for Algorithm ad System Aalysis Summer, 2005 Outlie What a geeratig fuctio is How to create a geeratig fuctio to model a problem Fidig the desired coefficiet Partitios Expoetial geeratig
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 informationEnumerative & 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 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 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 informationThe Gamma function. Marco Bonvini. October 9, dt e t t z 1. (1) Γ(z + 1) = z Γ(z) : (2) = e t t z. + z dt e t t z 1. = z Γ(z).
The Gamma fuctio Marco Bovii October 9, 2 Gamma fuctio The Euler Gamma fuctio is defied as Γ() It is easy to show that Γ() satisfy the recursio relatio ideed, itegratig by parts, dt e t t. () Γ( + ) Γ()
More informationSolutions to Math 347 Practice Problems for the final
Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is
More informationPAPER : IIT-JAM 2010
MATHEMATICS-MA (CODE A) Q.-Q.5: Oly oe optio is correct for each questio. Each questio carries (+6) marks for correct aswer ad ( ) marks for icorrect aswer.. Which of the followig coditios does NOT esure
More informationTutorial F n F n 1
(CS 207) Discrete Structures July 30, 203 Tutorial. Prove the followig properties of Fiboacci umbers usig iductio, where Fiboacci umbers are defied as follows: F 0 =0,F =adf = F + F 2. (a) Prove that P
More informationDiscrete Math Class 5 ( )
Discrete Math 37110 - Class 5 (2016-10-11 Istructor: László Babai Notes tae by Jacob Burroughs Revised by istructor 5.1 Fermat s little Theorem Theorem 5.1 (Fermat s little Theorem. If p is prime ad gcd(a,
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 information3.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# fixed points of g. Tree to string. Repeatedly select the leaf with the smallest label, write down the label of its neighbour and remove the leaf.
Combiatorics Graph Theory Coutig labelled ad ulabelled graphs There are 2 ( 2) labelled graphs of order. The ulabelled graphs of order correspod to orbits of the actio of S o the set of labelled graphs.
More informationCALCULATION OF FIBONACCI VECTORS
CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College
More informationApply change-of-basis formula to rewrite x as a linear combination of eigenvectors v j.
Eigevalue-Eigevector Istructor: Nam Su Wag eigemcd Ay vector i real Euclidea space of dimesio ca be uiquely epressed as a liear combiatio of liearly idepedet vectors (ie, basis) g j, j,,, α g α g α g α
More informationFirst selection test, May 1 st, 2008
First selectio test, May st, 2008 Problem. Let p be a prime umber, p 3, ad let a, b be iteger umbers so that p a + b ad p 2 a 3 + b 3. Show that p 2 a + b or p 3 a 3 + b 3. Problem 2. Prove that for ay
More informationCourse : 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 informationIt 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 informationName of the Student:
SUBJECT NAME : Discrete Mathematics SUBJECT CODE : MA 65 MATERIAL NAME : Part A questios MATERIAL CODE : JM08AM1013 REGULATION : R008 UPDATED ON : May-Jue 016 (Sca the above Q.R code for the direct dowload
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationHoggatt and King [lo] defined a complete sequence of natural numbers
REPRESENTATIONS OF N AS A SUM OF DISTINCT ELEMENTS FROM SPECIAL SEQUENCES DAVID A. KLARNER, Uiversity of Alberta, Edmoto, Caada 1. INTRODUCTION Let a, I deote a sequece of atural umbers which satisfies
More informationHOMEWORK 2 SOLUTIONS
HOMEWORK SOLUTIONS CSE 55 RANDOMIZED AND APPROXIMATION ALGORITHMS 1. Questio 1. a) The larger the value of k is, the smaller the expected umber of days util we get all the coupos we eed. I fact if = k
More informationBinary codes from graphs on triples and permutation decoding
Biary codes from graphs o triples ad permutatio decodig J. D. Key Departmet of Mathematical Scieces Clemso Uiversity Clemso SC 29634 U.S.A. J. Moori ad B. G. Rodrigues School of Mathematics Statistics
More informationBeurling 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 informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
More information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
More informationLECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS
LECTURE 11: POSTNIKOV AND WHITEHEAD TOWERS I the previous sectio we used the techique of adjoiig cells i order to costruct CW approximatios for arbitrary spaces Here we will see that the same techique
More 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 informationMathCity.org Merging man and maths
MathCityorg Mergig ma ad maths Defiitios: Mathematics HSSC-I Textbook of Algebra ad Trigoometry for Class XI Collected by: Muhammad Waqas Sulaima This documet cotais all the defiitios of Mathematics HSSC-I
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
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 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 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 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 informationCHAPTER 10 INFINITE SEQUENCES AND SERIES
CHAPTER 10 INFINITE SEQUENCES AND SERIES 10.1 Sequeces 10.2 Ifiite Series 10.3 The Itegral Tests 10.4 Compariso Tests 10.5 The Ratio ad Root Tests 10.6 Alteratig Series: Absolute ad Coditioal Covergece
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 informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
More informationIn number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.
Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers
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 informationLinearAlgebra DMTH502
LiearAlgebra DMTH50 LINEAR ALGEBRA Copyright 0 J D Aad All rights reserved Produced & Prited by EXCEL BOOKS PRIVATE LIMITED A-45, Naraia, Phase-I, New Delhi-008 for Lovely Professioal Uiversity Phagwara
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 informationCombinatorially 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 informationMath Homotopy Theory Spring 2013 Homework 6 Solutions
Math 527 - Homotopy Theory Sprig 2013 Homework 6 Solutios Problem 1. (The Hopf fibratio) Let S 3 C 2 = R 4 be the uit sphere. Stereographic projectio provides a homeomorphism S 2 = CP 1, where the North
More informationEnd-of-Year Contest. ERHS Math Club. May 5, 2009
Ed-of-Year Cotest ERHS Math Club May 5, 009 Problem 1: There are 9 cois. Oe is fake ad weighs a little less tha the others. Fid the fake coi by weighigs. Solutio: Separate the 9 cois ito 3 groups (A, B,
More informationLinear Programming and the Simplex Method
Liear Programmig ad the Simplex ethod Abstract This article is a itroductio to Liear Programmig ad usig Simplex method for solvig LP problems i primal form. What is Liear Programmig? Liear Programmig is
More informationDiscrete-Time Systems, LTI Systems, and Discrete-Time Convolution
EEL5: Discrete-Time Sigals ad Systems. Itroductio I this set of otes, we begi our mathematical treatmet of discrete-time s. As show i Figure, a discrete-time operates or trasforms some iput sequece x [
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationOptimization Methods: Linear Programming Applications Assignment Problem 1. Module 4 Lecture Notes 3. Assignment Problem
Optimizatio Methods: Liear Programmig Applicatios Assigmet Problem Itroductio Module 4 Lecture Notes 3 Assigmet Problem I the previous lecture, we discussed about oe of the bech mark problems called trasportatio
More informationPH 425 Quantum Measurement and Spin Winter SPINS Lab 1
PH 425 Quatum Measuremet ad Spi Witer 23 SPIS Lab Measure the spi projectio S z alog the z-axis This is the experimet that is ready to go whe you start the program, as show below Each atom is measured
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 informationOn the Linear Complexity of Feedback Registers
O the Liear Complexity of Feedback Registers A. H. Cha M. Goresky A. Klapper Northeaster Uiversity Abstract I this paper, we study sequeces geerated by arbitrary feedback registers (ot ecessarily feedback
More informationDefinitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients.
Defiitios ad Theorems Remember the scalar form of the liear programmig problem, Miimize, Subject to, f(x) = c i x i a 1i x i = b 1 a mi x i = b m x i 0 i = 1,2,, where x are the decisio variables. c, b,
More informationInverse Matrix. A meaning that matrix B is an inverse of matrix A.
Iverse Matrix Two square matrices A ad B of dimesios are called iverses to oe aother if the followig holds, AB BA I (11) The otio is dual but we ofte write 1 B A meaig that matrix B is a iverse of matrix
More informationMath 4107: Abstract Algebra I Fall Webwork Assignment1-Groups (5 parts/problems) Solutions are on Webwork.
Math 4107: Abstract Algebra I Fall 2017 Assigmet 1 Solutios 1. Webwork Assigmet1-Groups 5 parts/problems) Solutios are o Webwork. 2. Webwork Assigmet1-Subgroups 5 parts/problems) Solutios are o Webwork.
More information2. The binary number system and the binomial coefficients
. The biary umber system ad the biomial coefficiets Before we proceed with the itroductio of the stepumber system let us review the biary umber system i this Chapter ad Cator s, usig ifiitely may digits,
More information