Permutations and Combinations

Size: px
Start display at page:

Download "Permutations and Combinations"

Transcription

1 Massachusetts Istitute of Techology 6.042J/18.062J, Fall 02: Mathematics fo Compute Sciece Pof. Albet Meye ad D. Radhika Nagpal Couse Notes 9 Pemutatios ad Combiatios I Notes 8, we saw a vaiety of techiques fo coutig elemets i a fiite set: the Sum Rule, Iclusio-Exclusio, the Poduct Rule, tee diagams, ad pemutatios. We will ow itoduce yet aothe ule, the Divisio Rule, ad oe moe cocept, combiatios. We will also lea techiques fo coutig elemets of a fiite set whe limited epetitio is allowed. 1 The Divisio Rule The divisio ule is a commo way to igoe uimpotat diffeeces whe you ae coutig thigs. You ca cout distict objects, ad the use the divisio ule to mege the oes that ae ot sigificatly diffeet. We will state the Divisio Rule twice, oce ifomally ad the agai with moe pecise otatio. Theoem 1.1 (Divisio Rule. If B is a fiite set ad f : A B maps pecisely k items of A to evey item of B, the A has k times as may items as B. Fo example, suppose A is a set of studets, B is a set of tutoials, ad f defies the assigmet of studets to tutoials. If 12 studets ae assiged to evey tutoial, the the Divisio Rule says that thee ae 12 times as may studets as tutoials. The followig two defiitios pemit a moe pecise statemet of the Divisio Rule. Defiitio 1.2. If f : A B is a fuctio, the f 1 (b {a A f (a b}. That is, f 1 (b is the set of items i A that ae mapped to the item b B. I the pecedig example, f 1 (b is the set of studets assiged to tutoial b. This otatio ca be cofusig, sice f 1 omally deotes the ivese of the fuctio f. With ou defiitio, howeve, f 1 (b ca be a set, ot just a sigle value. Fo example, if f assigs o items i A to some elemet b B, the f 1 (b is the empty set. I the special case whee f is a bijectio, f 1 (b is always a sigle value, ad so f 1 by ou defiitio is just the odiay ivese of f. Defiitio 1.3. A fuctio f : A B is k-to-1 if fo all b B, f 1 (b k. Fo example, if f assigs exactly 12 studets to each ecitatio, the f is 12-to-1. Assumig k is o-zeo, a k-to-1 fuctio is always a sujectio; evey elemet of the age is mapped to by k > 0 elemets of the domai. We ca ow estate the Divisio Rule moe pecisely: Theoem (Divisio Rule, estatemet. If B is a fiite set ad f : A B is k-to-1, the A k B. Copyight 2002, Pof. Albet R. Meye.

2 2 Couse Notes 9: Pemutatios ad Combiatios Poof. Sice B is fiite, we ca let B ad let B {b 1, b 2,..., b }. The we have: A f 1 (b 1 f 1 (b 2 f 1 (b Equality holds because each side is cotaied i the othe. The ight side is cotaied i the left side because evey set f 1 (b i is cotaied i A by the defiitio of f 1 (b i. The left side is cotaied i the ight, sice evey item i A maps to some b i, ad theefoe is cotaied i the set f 1 (b i. Futhemoe, all of the sets f 1 (b i ae disjoit. The poof is by cotadictio. Assume fo the pupose of cotadictio that a f 1 (b i ad a f 1 (b j fo some i j. The fist iclusio implies f (a b i, but the secod iclusio implies that f (a b j. This is a cotadictio sice f (a deotes a uique item. Sice the sets f 1 (b i ae disjoit, we ca compute the cadiality of thei uio with the Sum Rule. Note that each set f 1 (b i has size k, sice f is k-to-1. A f 1 (b 1 + f 1 (b f 1 (b } k + k + {{ + k } B tems k B Example: Seatig at a Roud Table. I how may ways ca Kig Athu seat kights at his oud table? Two seatigs ae cosideed equivalet if oe ca be obtaied fom the othe by otatio. Fo example, if Athu has oly fou kights, the thee ae six possibilities as show i Figue 1. Heeafte, we deote a seatig aagemet i text by listig kights i squae backets i clockwise ode, statig at a abitay poit. Fo example, [1234] ad [4123] ae equivalet. As a sig that we should big i the divisio ule, the questio poits out that cetai distict seatigs ae equivalet, so should oly be couted oce that is, we wat to cout equivalece classes istead of idividual objects. The divisio ule is a good way to do this. Claim 1.4. Athu ca seat kights at his oud table i ( 1! ways. I paticula, the claim says that fo 4 kights thee ae (4 1! 3! 6 odeigs, which is cosistet with the example i Figue 1. Poof. The poof uses the Divisio Rule. Let A be the set of odeigs of kights i a lie. Let B be the set of odeigs of kights i a ig. Defie f : A B by f ((x 1, x 2,..., x [x 1 x 2... x ]. The fuctio f is -to-1. I paticula: f 1 ([x 1 x 2... x ] { (x 1, x 2, x 3,..., x, (x, x 1, x 2,..., x 1 (x 1, x, x 1,..., x 2,... (x 2, x 3, x 4,..., x 1 }

3 Couse Notes 9: Pemutatios ad Combiatios Figue 1: These ae the 6 diffeet ways that Kig Athu ca seat 4 kights at his oud table. Two seatigs diffeig oly by otatio ae cosideed equivalet. We deote a seatig aagemet i text by listig kights i squae backets i clockwise ode, statig at a abitay poit. Fo example, the seatigs i the top ow ca be deoted [1234], [2413], ad [3421]. Thee ae tuples i the list of tuples, because x 1 ca appeas i diffeet places i a tuple. By the Divisio Rule, A B. This gives: A B! ( 1! The secod equality holds, because the umbe of odeigs of items i a lie is!, as we showed peviously. 2 Combiatios We ow use the Divisio Rule to fid a fomula fo the umbe of combiatios of elemets fom a set. Oe commo pitfall i coutig poblems is mixig up combiatios with pemutatios; ty to keep tack of which is which! Example: Studets ad pizes. How may goups of 5 studets ca be chose fom a 180- studet class to collaboate o a poblem set? Let A be the set of 5-pemutatios of the set of studets. This umbe is P (180, But that s ot eally what we wat ode of the 5 studets i a goup does t matte. So let B be the set of 5-studet goups. This is what we wat. Let s defie a map f : A B by igoig the ode. We claim that f is 5! to 1, i othe wods, 120 to 1. This is based o the umbe of ways that 5 studets could be lied up. So, by the Divisio Rule, A B

4 4 Couse Notes 9: Pemutatios ad Combiatios 2.1 The -Combiatios of a Set Geealizig the example that we just did, the Divisio Rule ca be used to cout the umbe of -combiatios of a set. Defiitio 2.1. A -combiatio of a set is a subset of size. Fo example, fo the set {a, b, c}, we have the followig thee 2-combiatios: {a, b} {a, c} {b, c} Udestadig the distictio betwee -combiatios ad -pemutatios is impotat. The - combiatios of a set ae diffeet fom -pemutatios i that ode does ot matte. Fo example, the above set {a, b, c} has six 2-pemutatios: (a, b (a, c (b, c (b, a (c, a (c, b The collaboatio goups of 5 studets i pevious example ae the 5-combiatios of the set of studets i the class. 2.2 The umbe of -Combiatios (Biomial Coefficiets The umbe of -combiatios of a -elemet set comes up i may poblems. The quatity is impotat eough to meit two otatios. The fist is C(, ; this is aalogous to the otatio P (, fom befoe fo the umbe of ( pemutatios of a -elemet set. The secod otatio is, ead choose. The values o C(, ae ofte called biomial coefficiets because of thei pomiet ole i the Biomial Theoem, which we will cove shotly. The followig theoem gives a closed fom fo. This theoem is used all the time; emembe it! Theoem 2.2.! (!! The theoem says, fo example, that the umbe of 2-combiatios of the thee elemet set {a, b, c} is 3! 3 as we saw above. (3 2! 2! 180! Also, fo example, the umbe of 5-combiatios of the 180 elemet set of studets is 175!5!. Poof. The poof uses the Divisio Rule. Let X be a set with elemets. Let A be the set of - pemutatios of X, ad let B be the set of -combiatios of X. Ou goal is to compute B. To this ed, let f : A B be the fuctio mappig -pemutatios to -combiatios that is defied by: f ( (x } 1, x 2,..., x {{ } { x } 1, x 2,..., x {{ } } ode mattes ode does ot matte (pemutatio (combiatio

5 Couse Notes 9: Pemutatios ad Combiatios 5 The fuctio f is!-to-1. I paticula: f 1 ({x 1, x 2,..., x } {(x 1, x 2, x 3, x 4,..., x, (x 2, x 1, x 3, x 4,..., x,... all! pemutatios... } By the Divisio Rule, A! B. Now we ca compute the umbe of -combiatios of a -elemet set, B, as follows: B A! P (,!! (!! 2.3 Some iteestig special cases Biomial coefficiets ae impotat eough that some special values of ae woth emembe- ig:! 1 Thee is a sigle size 0 subset of a -set. 0! 0!! 1 Thee is a sigle size subset of a -set. 0!!! Thee ae size 1 subsets of a -set. 1 ( 1! 1!! Thee ae size ( 1 subsets of a -set. 1 1! ( 1! Recall that 0! is defied to be 1, ot zeo. Theoem 2.3. Fo all 1, 0,. Theoem 2.3 ca be ead as sayig that the umbe of ways to choose elemets to fom a subset of a set of size is the same as the umbe of ways to choose the elemets to exclude fom the subset. Put that way, it s obvious. This is what is called a combiatoial poof of a idetity: we wite expessios that eflect diffeet ways of coutig o costuctig the same set of objects ad coclude that the expessios ae equal. All sots of complicated-lookig ad appaetly obscue idetities ca be poved ad made clea i this way. Of couse we ca also pove Theoem 2.3 by simple algebaic maipulatio:!!!. (!!! (! ( (! (!

6 6 Couse Notes 9: Pemutatios ad Combiatios 3 Coutig Poke Hads I the poke game Five-Cad Daw, each playe is dealt a had cosistig of 5 cads fom a deck of 52 cads. Each cad i the deck has a suit (clubs, heats, diamods, o spades ad a value (A, 2,..., 10, J, Q, K. The ode i which cads ae dealt does ot matte. We will cout vaious types of hads i Five-Cad Daw to show how to use the fomula fo -combiatios give i Theoem 2.2. It may ot be clea why we wat to cout the umbe of types of hads. The umbe of hads of a paticula type tells us how likely we ae to ecoute such a had i a adom deal of the cads. Hads that ae less likely ae aked highe tha those that ae moe likely, ad so will wi ove the moe likely oes. Kowig the likelihood (o the umbe of vaious hads ca help us to figue out how to bet o the game. 3.1 All Five-Cad Hads How may diffeet hads ae possible i Five-Cad Daw? A had is just a 5-cad subset of the 52-cad deck. Theefoe, the possible hads i Five-Cad Daw ae exactly the 5-combiatios of 52! a 52-elemet set. By Theoem 2.2, thee ae ( ! 5! 2, 598, 960 possible hads. Cofusio betwee combiatios ad pemutatios is a commo souce of eo i coutig poblems. Fo example, oe might eoeously cout the umbe of 5-cad hads as follows. Thee ae 52 choices fo the fist cad, 51 choice fo the secod cad give the fist,..., ad 48 choices fo the fifth cad give the fist fou. This totals possible hads. The poblem with this way of coutig is that a had is couted oce fo evey odeig of the five cads; that is, each had is couted 5! 120 times. We accidetally couted -pemutatios istead of -combiatios! To get the umbe of 5-combiatios, we would have to divide by Hads with Fou-of-a-Kid How may hads ae thee with fou-of-a-kid? Fo example, has a fou-of-akid, because thee ae fou 9 s. Fist we must choose oe value to appea i all fou suits fom the set of 13 possible values (this follows the tee diagam appoach to exploig distict cases. Thee ae 13 choices of this value, ad if we pick oe we ca t have ay othes (that would equie 8 cads. So the choice of value gives 13 disjoit cases to cout. Afte this choice, we have to choose oe moe cad fom the emaiig set of 48. This ca be doe i ( ways. I total, thee ae hads with fou-of-a-kid. The situatio is illustated by the tee diagam i Figue 2. Hee is a way to itepet the esult that uses pobability. If all ( 52 hads ae equally likely, the 5 the pobability that we ae dealt a fou-of-a-kid is ( I othe wods, we ca oly expect to get fou-of-a-kid oly oce i evey 4165 games of Five- Cad Daw! (This is just a passig obsevatio; we will talk about pobability fo eal i a few weeks.

7 Couse Notes 9: Pemutatios ad Combiatios 7 A 2 3 K 2 spades 2 clubs K diamods Hads with 4-of-a-kid 13 x chose 4-tuple i 13 ways chose fifth cad i 48 ways Figue 2: This (icomplete tee diagam couts the umbe of hads with fou-of-a-kid. Thee ae 13 choices fo the value appeaig i all fou suits. The fifth cad i the had ca be ay of the 48 cads emaiig i the deck. This gives a total of possible hads. Mistakes ae easy to make i coutig poblems. It is a good idea to check a esult by coutig the same thig i aothe way. Fo example, we could also cout the umbe of hads with a fou-of-a-kid as follows. Fist, thee ae 52 ways to choose the exta cad. Give this, thee ae 12 ways to choose the value that appeas i all fou suits. (We caot choose the value of the fist cad. The possibilities ae illustated by the tee diagam i Figue 3. By this method, we fid that thee ae fou-of-a-kid hads. This is cosistet with ou fist aswe (which is a good thig. 3.3 Hads with a Full House A full house is a had with both a thee-of-a-kid ad a two-of-a-kid. Fo example, the had 7 7 J J J is a full house because thee ae thee jacks ad two seves. How may full house hads ae thee? We ca choose the value that appeas thee times i 13 ways. (4 The we ca pick ay thee of the fou cads i the deck with this value; this ca be doe i 3 4 ways. Thee ae the 12 emaiig choices fo the value that ( appeas two times. We ca pick ay two of the fou cads 4 with this value; this ca be doe i 2 6 ways. The total umbe of full house hads is theefoe This is 6 times geate tha the umbe of hads with a fou-of-a-kid. Sice a fou-of-a-kid is ae, it is woth moe i poke! 3.4 Hads with Two Pais How may hads ae thee with two pais, but o thee- o fou-of-a-kid?

8 8 Couse Notes 9: Pemutatios ad Combiatios A of diamods 2 of diamods 2 3 K Ca ot choose A K of spades 3 of diamods Hads with 4-of-a-kid 52 x chose fifth cad i 52 ways chose 4-tuple i 12 ways Figue 3: This tee diagam shows aothe way to cout the umbe of hads with a fou-of-a-kid. Thee ae 52 choices fo the exta cad ad the 12 choices fo the value appeaig i all fou suits. This gives hads, the same aswe as befoe. ( 4 False poof. Thee ae 13 choices fo the value of the cads i the fist pai. Thee ae the 2 6 ways to choose two of the fou cads i the deck ( that have this value. Next, thee ae 12 choices 4 fo the value of the cads i the secod pai, ad 2 6 ways to choose two of the fou cads with this value. Fially, the fifth cad ca be ay oe of the 48 cads emaiig i the deck. Altogethe thee ae had with just two pais. Thee ae actually two bugs i this agumet. The fist is that the fifth cad caot be ay oe of the 48 emaiig cads; i paticula, it caot have the same value as a cad aleady selected. (Othewise, thee would be thee of a kid. This ules out 4 of the 48 cads, leavig oly 44 choices fo the fifth cad. The secod bug is that evey had has bee couted twice! Fo example, a pai of kigs ad a pais of quees is couted oce with the kigs as the fist pai ad a secod time with the quees as the fist pai. The efeeces i the agumet to a fist pai ad a secod pai sigal dage; these tems imply a odeig that is ot pat of the poblem. To fix the secod bug, we ca apply the Divisio Rule. Thee is a 2-to-1 mappig fom the set of hads we couted to the set of hads with two pais. Theefoe, the set of hads with two pais is half as lage as ou iitial cout: hads with two pais 2 123, 552 Why did this facto of 2 aise i coutig pais, but ot i coutig full houses? The easo is that pais ae itechageable, but a pai ad a tiple ae ot. Fo example, a pai of 2 s ad a pai of

9 Couse Notes 9: Pemutatios ad Combiatios 9 9 s is the same as a pai of 9 s ad a pai of 2 s. O the othe had, a pai of 2 s ad a tiple of 9 s is diffeet fom a pai of 9 s ad a tiple of 2 s! To check ou esult, we ca cout the umbe of hads with two pais i a completely diffeet way. The umbe of ways to choose the values fo the two pais is ( We ca choose suits fo each pai i ( ways, ad we ca choose the emaiig cad i 44 ways as befoe. This gives: , This is the same aswe as befoe. Two pais tu out to be 33 times moe likely tha a full house; as oe would expect, a full house beats two pais i poke! The followig optioal sectios cotai simila examples of poke had coutig. 3.5 Thee of a kid, two diffeet [Optioal] Thee ae 13 ways to choose the ak fo the thee-of-a-kid, ad oce that is chose, thee ae 4 ways to choose the 1 3 thee cads. Oce we have the thee-of-a-kid, thee ae 12 ways to choose the two aks fo the othe two cads. Ad ( 4 2 the fo each of these aks, thee ae 1 ways to choose the sigle cad of that ak. The total is: , Sice this is fewe tha the hads with two pais, this is aked highe. 3.6 Oe pai, othes all diffeet [Optioal] ( 4 Thee ae 13 ways to choose the ak fo the pai, ad the 2 ways to choose the two cads of that ak. The thee 1 ae 12 ways to choose the aks of the emaiig thee cads, ad fo each of these aks, 4 ways to choose the sigle 3 1 cad of that ak. The total is: , 098, Fou diffeet aks [Optioal] We have aalyzed all the actual poke hads based o the umbes of cads of diffeet aks (4-1, 3-2, 3-1-1, 2-2-1, How may hads have all 5 cads of diffeet aks? That s the total umbe of hads mius the sum of the umbes of hads of these five kids, o 2, 598, 960 1, 098, , , 912 3, , 317, 888. What is wog with the followig coutig agumet? False coutig agumet. Thee ae 52 choices fo the fist cad, 48 choices fo the secod cad give the fist, 44 choices fo the thid give the fist two, etc. Afte each cad, the umbe of emaiig choices dops by fou, sice we caot

10 10 Couse Notes 9: Pemutatios ad Combiatios subsequetly pick the cad just take o ay of the othe thee cads with the same value. This gives hads with o pai. Is this aswe ight? The efeeces to fist cad, secod cad,... ae a waig sigal that we may be iadvetetly coutig a odeed set. To be sue, we ca check how may times a paticula had is couted. Coside the had A K Q J 10. We could have obtaied this had by dawig cads i the ode listed, but we could also have daw them i aothe ode. I fact, we couted this had oce fo evey possible odeig of the five cads, ad i fact, evey had is couted 5! 120 times! We ca coect ou iitial aswe by applyig the Divisio Rule. This gives: hads with o pais , 317, 888 Ad still aothe way: Thee is aothe way to cout the hads with o pais that avoids this cofusio. Sice thee ae o pais, o two cads have the same value. This meas that we could fist choose 5 distict values fom the set of 13 possibilities. The we could choose oe of the fou suits fo each of the five cads. This gives: 13 hads with o pais , 317, 888 This is the same aswe as befoe. Notice that the umbe of hads with o pais is moe tha half of all the hads. This meas that i moe tha half ou games of Five-Cad Daw, we will ot have eve oe pai! 3.8 Hads with Evey Suit [Optioal] How may hads cotai oe cad of evey suit? Such a had must cotai two cads fom oe suit ad oe cad fom each of the othe thee suits. Agai, we ca cout i two ways. Fist cout. Pick oe cad fom each suit. This ca be doe i 13 4 ways. The pick ay oe of the emaiig 48 cads. This gives a total of hads. Howeve, we have ovecouted by two, sice the two cads with the same suit could be picked i eithe ode. Accoutig fo this, thee ae , 464 hads. 2 Secod cout Fist, we ca pick the suit that cotais two cads i fou ways. The we ca pick values fo these two cads i 13 2 ways. Fially, we ca pick a cad fom each of the othe thee suits i 13 ways. This gives: hads with all suits Moe tha a quate of all Five-Cad Daw hads cotai all suits , Remides To make sue that you get the ight aswe whe coutig: 1. Look at a sample 5-cad had (o a sample of whateve you ae coutig ad make sue that it is coveed oce ad oly oce i you cout.

11 Couse Notes 9: Pemutatios ad Combiatios Ty coutig by two diffeet ways ad check that you get the same aswe. Fo example, whe we fist couted the umbe of hads with o pais, we discoveed that we had massively ovecouted; a sample had was actually coveed 120 times by ou cout! We coected this aswe by applyig the Divisio Rule, ad we couted the same thig agai i a diffeet way as a double-check. 4 The Magic Tick Thee is a Magicia ad a Assistat. The Assistat goes ito the audiece with a deck of 52 cads while the Magicia looks away. Five audiece membes ae asked to select oe cad each fom the deck. The Assistat the gathes up the five cads ad aouces fou of them to the Magicia. The Magicia thiks fo a time ad the coectly ames the secet, fifth cad! Oly elemetay combiatoics udelies this tick, but it s ot obvious how. (The eade should take a momet to thik about this; the Assistat does t cheat. 4.1 How the Tick Woks The Assistat has somehow commuicated the secet cad to the Magicia just by amig the othe fou cads. I paticula, the Assistat has two ways to commuicate. Fist, he ca aouce the fou cads i ay ode. The umbe of odeigs of fou cads is 4! 24, so this aloe is isufficiet to idetify which of the emaiig 48 cads is the secet oe. Secod, the Assistat ca choose which fou of the five cads to eveal. The ( amout of ifomatio that ca be coveyed 5 this way is hade to pi dow. The Assistat has 4 5 ways to choose the fou cads evealed, but the Magicia ca ot detemie which of these five possibilities the Assistat selected, sice he does ot kow the secet cad! Nevetheless, these two foms of commuicatio allow the Assistat to covetly eveal the secet cad to the Magicia. Hee is a oveview of how the tick woks. The secet cad has the same suit as the fist cad aouced. Futhemoe, the value of the secet cad is offset fom the value of the fist cad aouced by betwee 1 ad 6. See Figue 4. This offset is commuicated by the ode of the last thee cads. Hee ae the details. The audiece selects five cads ad thee ae oly 4 suits i the deck. Theefoe, by the Pigeohole Piciple, the Assistat ca always pick out two cads with the same suit. Oe of these will become the secet cad, ad the othe will be the fist cad that he aouces. Hee is how he decides which is which. Note that fo ay two cad umbes, oe is at most six clockwise steps away fom the othe i Figue 4. Fo example, if the cad umbes ae 2 ad Q, the 2 is thee clockwise steps away fom Q. The Assistat esues that the value of the secet cad is offset betwee 1 ad 6 clockwise steps fom the fist cad he aouces. The offset is commuicated by the ode that the Assistat aouces the last thee cads. The Magicia ad Assistat agee i advace o a ode fo all 52 cads. Fo example, they might use: A, 2,..., K, A,..., K, A,..., K, A,..., K,

12 12 Couse Notes 9: Pemutatios ad Combiatios Assistat eveals this cad fist. Q J K A Offset passed by odeig of last 3 cads This is the secet cad Figue 4: The 13 possible cad values ca be odeed i a cycle. Fo ay two distict values, oe is offset betwee 1 ad 6 clockwise steps fom the othe. I this diagam, 3 is offset five steps fom J. I the cad tick, the value of the secet cad is offset betwee 1 ad 6 steps fom the fist cad aouced. This offset is commuicated by the ode of the last thee cads amed by the Assistat. though ay othe ode will do as well so log as the Magicia ad his Assistat use the same oe :-. With this ode, oe of the last thee cads aouced is the smallest (S, oe is lagest (L, ad the othe is medium (M. The offset is ecoded by the ode of these thee: SML 1 SLM 2 MSL 3 MLS 4 LSM 5 LMS 6 Fo example, suppose that the audiece selects 3 8 A J 6. The Assistat picks out two cads with the same suit, say 3 ad J. The 3 is five clockwise steps fom J i Figue 4. So the Assistat makes 3 the secet cad, aouces J fist, ad the ecodes the umbe 5 by the ode i which he aouces the last thee cads: A 6 8 LSM Same Tick with 4 Cads? Could the same magic tick wok with just 4 cads? That is, if the audiece picks fou cads, ad the Assistat eveals thee, the ca the Magicia detemie the fouth cad? The aswe tus out to be o. The poof elies o the Pigeohole Piciple. Theoem 4.1. The magic tick is ot possible with 4 cads. Poof. The audiece ca select ay 4-combiatio of cads; let A be the set of all such 4-combiatios. The Assistat ca aouce ay 3-pemutatio of cads; let B be the set of all such 3-pemutatios. The fomulas fo -combiatios ad -pemutatios give the followig sizes fo A ad B:

13 Couse Notes 9: Pemutatios ad Combiatios 13 A C(, 52! 48! 4! 270, 725 B P (, 52! 49! 132, 600 The Assistat sees a 4-combiatio of cads selected by the audiece ad must aouce a 3- pemutatio to the Magicia. Let f : A B be the fuctio that the Assistat uses i mappig oe to the othe. Sice A > B, the Pigeohole Piciple implies that f maps at least two 4- combiatios to the same 3-pemutatio. That is, thee ae two diffeet sets of fou cads that the audiece ca pick fo which the Assistat says exactly the same thig to the Magicia. Fo these two sets of fou cads, thee cads must be the same (sice the Assistat aouces the same thee cads i both cases ad oe cad must be diffeet (sice the two sets ae diffeet. Fo example, these might be the two sets of fou cads fo which the Assistat says exactly the same thig to the Magicia: 3 8 A J 3 8 A K I this case, the Assistat aouces 3 8 A i some ode. The magicia is ow stuck; he ca ot detemie whethe the emaiig cad is J o K. Thee ae may vaiats of the magic tick. Fo example, if the audiece picks 8 cads, the evealig 6 to the Magicia is eough to let him detemie the othe two. This sot of subtle tasmissio of ifomatio is impotat i the secuity busiess whee oe wats to pevet ifomatio fom leakig out i udetected ways. This is actually a whole field of study. 4.3 Hall s Theoem applied to the Magic Tick We kow how the Magic tick woks i which a Assistat eads fou cads fom a five cad had ad the Magicia pedicts the fifth cad. We also kow the tick caot be made to wok if the Assistat oly shows thee cads fom a fou cad had, because thee ae fewe sequeces of thee out of 52 cads tha thee ae 4-cad hads out of 52 cads. So the questio is, whe ca the tick be made to wok? Fo example, what is the lagest size deck fo which ou tick of eadig 4 cads fom a 5-cad had emais possible? A elegat esult kow as Hall s Maiage Theoem allows us to aswe the geeal questio of whe the tick ca be made to wok. Namely, the tick is possible usig h-cad hads chose fom a -cad deck, with the Assistat eadig of the h cads iff P (h, C(, h. (1

14 14 Couse Notes 9: Pemutatios ad Combiatios I paticula, usig h 5-cad hads ad evealig 4 cads, we ca do the tick with a -cad deck as log as 120 P (5, 4 C( 4, 1 4. So we ca do the tick with a deck of up to size 124. Fo example, we could still do the tick, with oom to spae, if we combied a ed deck with a blue deck to obtai a 104-cad deck. Of couse it s ot clea whethe with the double-size deck thee will be a simple ule fo detemiig the hidde cad as thee is with the 52-cad deck, but Hall s Theoem guaatees thee will be some ule. 4.4 Hall s Maiage Theoem The Magicia gets to see a sequece of 4 cads ad has to detemie the 5th cad. He ca do this if ad oly if thee is a way to map evey 5-cad had ito a sequece of 4 cads fom that had so that o two hads map to the same sequece. That is, thee eeds to be a ijectio fom the set of 5-cad hads ito the 4-cad sequeces, subject to the costait that each 5-cad had maps to a 4-cad sequece of cads fom that had. This is a example of a Maiage Poblem. The taditioal way to descibe such a poblem ivolves havig a set of wome ad aothe set of me. Each wome has a list of me she is willig to may ad who ae also willig to may he. The Maiage Poblem is to fid, fo each woma, a husbad she is willig to may. Bigamy is ot allowed: each husbad ca have oly oe wife. Whe such a matchig of wives to husbads is possible, that paticula Maiage Poblem is solvable. Fo ou cad tick, each 5-cad had is a woma ad each 4-cad sequece as a ma. A ma (4-cad sequece ad woma (5-cad had ae willig to may iff the cads i the sequece all occu i the had. Hall s Theoem gives a simple ecessay ad sufficiet coditio fo a Maiage Poblem to be solvable. Theoem 4.2 (Hall s Maiage Theoem 1. Suppose a goup of wome each have a list of the me they would be willig to may. Say that a subset of these wome has eough willig me if the total umbe of distict me o thei lists is at least as lage as the umbe of wome i the subset. The thee is a way to select distict husbads fo each of the wome so that evey husbad is acceptable to his wife iff evey subset of the wome has eough willig me. Hall s Theoem ca also be stated moe fomally i tems of bipatite gaphs. Defiitio. A bipatite gaph, G (V 1, V 2, E, is a simple gaph whose vetices ae the disjoit uio of V 1 ad V 2 ad whose edges go betwee V 1 ad V 2, viz., E {{v 1, v 2 } v 1 V 1 ad v 2 V 2 }. A pefect matchig i G is a ijectio f : V 1 V 2 such that {v, f (v} E fo all v V 1. Fo ay set, A, of vetices, defie the eighbo set, N (A :: {v a A {a, v} E}. A set A V 1 is called a bottleeck if A > N (A.

15 Couse Notes 9: Pemutatios ad Combiatios 15 Theoem (Hall. A bipatite gaph has a pefect matchig iff it has o bottleecks. A simple coditio esuig that a bipatite gaph has o bottleeck is give i the i-class poblems fo Wedesday, Oct. 30, This coditio is easy to veify fo the gaph descibig the cad tick, ad it implies that iequality (1 is ecessay ad sufficiet fo the tick to be possible Othe Examples [Optioal] [Optioal] Hall s Maiage Theoem guaatees the possibility of selectig fou cads of distict suits, oe each fom ay fou sepaate piles of 13 cads fom a stadad deck of 52. Likewise, thee will always be 13 cads of distict deomiatios, oe fom each of 13 piles of fou cads. I this case, thik of each pile as the set of oe to fou the distict cad deomiatios that appea i that pile. Notice that amog ay k piles of cads at least k distict deomiatios appea by the Geealized Pigeoholig Piciple, thee ae at least that may distict deomiatios amog ay 4k cads. Thus the existece of oe cad of each deomiatio spead out acoss 13 piles is assued by the Theoem. Pullig i this big theoem is comfotig but ot completely satisfactoy. Although it assues us that these feats ca always be accomplished, it gives absolutely o idicatio of how to pefom them! Tial ad eo woks well eough fo the simple fou-pile poblem, but ot with 13 piles. Is thee a geeal pocedue fo pullig out a selectio of distict deomiatios fom 13 piles of fou cads? Fotuately thee is: choose a abitay pile cotaiig a Ace, the oe cotaiig a two, ad so o, doig this fo as log as possible util you get stuck. Place these selected piles i a ow. Suppose you have selected a total of te piles, cotaiig a Ace, ad two though te, espectively. This sceaio leaves thee utouched piles. If ay of the 12 cads i those thee piles is a Jack, Quee, o Kig the you ae ot eally stuck; you ca cotiue a little futhe (but pehaps ot i the usual sequetial ode. If you ae tuly stuck, select ay cad i, say, the 11th pile, ad go to oe of the te piles that coespods to the umbe of that cad. Thus if you select a thee you go to the thid pile. Tu a cad i that thid pile ove (to make it cospicuous ad move to the pile that coespods to the umbe of that tued cad. Keep doig this to ceate a chai of piles ad tued cads, util you evetually hit upo a pile that cotais a cad ot i the iitial list; i ou case, util we come upo a Jack, Quee, o Kig. (Note: Oe ca pove that you will ot fall ito a closed loop of choices. Now shift all the piles oe place back alog the chai of piles to obtai a cofiguatio that allows you to add oe moe pile to the iitial list of te. Repeat this pocess util you solve the puzzle completely Poof of Hall s Theoem by Iductio [Optioal] [Optioal] This method of chai shiftig is kow i the liteatue as the techique of augmetig paths ad is the basis fo efficiet ways to fid pefect matchigs ad to solve elated etwok flow poblems. This is descibed i may combiatoics texts 2, but we shall ot develop this method hee. Istead, we ll go back to the ma-woma maiage temiology ad give a simple poof by: Poof. Stog iductio o the umbe,, of wome. Base case ( 1. If thee is just a sigle woma with at least oe ame o he list, the she ca simply may the fist ma o he list. Iductio step ( > 1. Case I. Suppose these wome s lists satisfy the stoge coditio that amog ay lists, 1 <, at least + 1 distict ames ae metioed. Select oe woma. She has at least two ames o he list ( 1 case. Have he may oe of these me (call him Poidexte. This leaves 1 wome to may. 2 Fo example, Ia Adeso pesets a pocedual poof usig augmetig paths i his book A Fist Couse i Combiatoial Mathematics, Oxfod Applied Mathematics ad Compute Sciece Seies, Claedo Pess, Oxfod, 1974.

16 16 Couse Notes 9: Pemutatios ad Combiatios The lists possessed by these 1 wome have the popety that amog ay of them (1 < at least + 1 distict ames ae metioed. Oe of these ames could be Poidexte s who is o loge available fo maiage. But we ca still say that amog ay lists, at least distict ames of available me ae metioed. This is all we eed to ivoke the iductio hypothesis fo these emaiig 1 wome. Thus we have a meas to may all wome i this sceaio. Case II. Suppose this stoge coditio does ot hold. Thus thee is subgoup of 0 wome (1 0 < such that amog thei lists pecisely 0 distict ames ae metioed. By the stog iductio hypothesis fo 0 <, we ca may these wome. This leaves m 0 < wome to coside. Is it tue that amog these m wome s lists ay of them (1 m metio at least distict ames of available me? The aswe is yes! If ot, say some of these wome metio fewe tha available me. The these wome plus the 0 wome above have metioed fewe i 0 + me i total. This cotadicts the popety satisfied by these lists. Thus we ca ivoke the stog iductio hypothesis fo the emaiig m wome ad successfully have them may as well. This completes the poof by iductio. Poblem 1. The iductio poof ca ead as a ecusive pocedue to costuct a maiages fo woma i tems of costuctig maiages fo smalle sets of wome. Why is t this pocedue vey efficiet? Poblem 2. A deck of cads is shuffled ad dealt ito 26 piles of two cads. Is it possible to select a black Ace fom oe pile, a Red ace fom aothe, a black two fom a thid, a ed two fom a fouth, ad so o all the way dow to a black Kig ad a ed Kig fom the two emaiig piles? 5 Popeties of Biomial Coefficiets Thee ae ifiitely may iteestig idetities ivolvig biomial coefficiets. We aleady see a simple example i Theoem 2.3. These idetities ae impotat because of how ofte biomial coefficiets aise i aalysis of algoithms (6.046 ad pobability (ext week. You ca t lea them all, but you ca lea the basic oes ad look othes up/deive them as eeded. Let s begi with a fomula fo the atio betwee successive biomial coefficiets same, successive : Theoem 5.1. Suppose 1. The / Algebaic poof. /! 1! (! ( 1! ( ( 1!! + 1.

17 Couse Notes 9: Pemutatios ad Combiatios 17 Combiatoial poof. Coside choosig a committee of size ad a leade, fom ( people. Oe way is to fist pick the 1 commos ad the thei leade; this ca be doe i 1 ( ( 1 ways. Aothe way is to pick the committee membes fist ad the pick a leade fom amog them; this ca be doe i ways. Thus, ( This atio is geate tha 1 if < +1 ad less tha 1 if > This says that the successive coefficiets icease util eaches +1 2 ad the decease, i.e., they ae uimodal like the cuve i Figue 5. Figue 5: Bell Cuve I fact, the biomial coefficiets fom a eal bell cuve. These aise o examiatios i a atual way. Suppose that a test has questios. The the bell cuve descibes, fo evey, the umbe of ways the studet ca get exactly of the questios ight, amely. If we suppose that each studet takig the test is doig adom guessig, so is equally likely to get each of the questios ight o wog, the these coefficiets tu out to be popotioal to the umbe of studets that get those umbes of questios ight. (We ll see this whe we do pobability. Aothe idetity: Theoem 5.2. Suppose 1. The 1. 1 Algebaic poof.! ( 1!!(! ( 1!(! ( 1! 1. ( 1! (( 1 ( 1! 1

18 18 Couse Notes 9: Pemutatios ad Combiatios Combiatoial poof. Coside choosig a committee of size ad a leade, f ( om people. Oe 1 way is to fist pick the leade ad the his 1 subjects; this ca be doe i 1 ways. Aothe way is to ( pick the committee membes fist ad the pick a leade fom amog them; this ca be doe i ways. Thus, 1. 1 Now a impotat theoem due to Pascal: Theoem 5.3 (Pascal. Suppose 1 1. The This is pobably ou most impotat idetity, sice it gives a kid of ecuece fo biomial coefficiets. Memoize it! Algebaic poof ( 1! ( 1!!( 1! + ( 1!(! ( 1! ( 1! (!(! +!(! ( 1!!(!!!(! Combiatoial poof. We use case aalysis (a tee diagam ad the sum ule. Let S :: {1,..., }. Let A be the set of -elemet subsets of S. Let B be the set of -elemet subsets of S that cotai. Let C be the set of -elemet subsets of S that do t cotai. The A B C, ad B ad C ae disjoit. So A B + C, by the Sum Rule. But ow we ca get expessios fo A, B ad C as umbes of combiatios: A.

19 Couse Notes 9: Pemutatios ad Combiatios 19 1 B. 1 This is because, i additio to, aothe 1 elemets must be chose fom {1,..., 1}. 1 C. This is because elemets must be chose fom {1,..., 1}. So (by the Sum Rule 1 1 A B + C +. 1 Pascal s theoem has a ice pictoial epesetatio: The ow epesets, statig with 0 i the top ow. Successive elemets i the ow epeset, statig with 0 at the left Figue 6: Pascal s tiagle. (Notice that it s just the double-iductio matix eshaped. This tiagle has lots of ice popeties. Expeimet with it. Fo example, what happes if we add the coefficiets i oe ow? Fo the followig two theoems we povide thei combiatoial poofs, oly. The coespodig algebaic poofs ae easy iductive agumets. Theoem 5.4. Suppose is ay atual umbe. The 2. 0

20 20 Couse Notes 9: Pemutatios ad Combiatios Combiatoial poof. Agai, we use case aalysis ad the sum ule fo disjoit uios. Thee ae 2 diffeet subsets of a set of elemets. Decompose this collectio based o the sizes of the subsets. That is, let A be ( the collectio of subsets of size. The the set of all subsets is the disjoit uio A. Thee ae subsets of size, fo 0, 1,...,. Hece the theoem follows. [Optioal] Theoem 5.5 (Vademode. Suppose 0 m,. The m + m k k k0 Combiatoial poof. Agai, we use case ( aalysis with the sum ad poduct ules. Suppose thee ae m ed balls ad m+ blue balls, all distict. Thee ae ways to choose balls fom the two sets combied. That s the LHS. Now decompose this collectio of choices based ( o how may of the chose balls ae blue. Fo ay k, 0 k, ( thee ( ae m m ways to choose k ed balls, ad ways to choose k blue balls. By the poduct ule, that makes k k k k ways to choose balls such that k of them ae blue. Addig up these umbes fo all k gives the RHS. 5.1 The Biomial Theoem A impotat theoem gives the coefficiets i the expasio of powes of biomial expessios. It tus out they ae biomial coefficiets thus the ame! Theoem 5.6. Suppose N. The (x + y x k y k. k k0 Example 5.7. (x + y 4 1x 4 + 4x 3 y + 6x 2 y 2 + 4xy 3 + 1y 4. Algebaic poof. By iductio, usig Pascal s idetity. Combiatoial poof. Coside the poduct (x + y (x + y(x + y(x + y(x + y This poduct has factos. To expad this poduct, we geeate idividual tems of the sums by selectig (i all possible ways oe of the two vaiables iside each facto to get a -vaiable poduct. If we select k x vaiables ad k y vaiables, we get a tem of the fom x k y k. The we gathe all those tems togethe. So how may ways do we get such ( a tem? Each x k y k tem selects x fom k of the factos ad y fom the othe k. So thee ae k ways of choosig which factos have x. The biomial theoem ca be used to give slick poofs of some biomial idetities, fo example: Theoem k k0

21 Couse Notes 9: Pemutatios ad Combiatios 21 Poof. Plug x 1, y 1 ito biomial theoem. Theoem 5.9. ( 1 k 0. k k0 Poof. Plug x 1, y 1 ito biomial theoem. The combiatoial itepetatio is as follows: the umbe of ways of selectig a eve umbe of elemets fom a set of equals the umbe of ways of selectig a odd umbe. This woks fo both eve ad odd. Example Coside 5. We ca choose a odd-size set ( 5 ( 5 ( ways. We ca choose a eve-size set ( 5 ( 5 ( ways. Example : Thee ae odd sets. Thee ae eve sets. Fo odd, this is ituitive (choosig a eve set leaves a odd set. Fo eve, it may be somewhat supisig thee is o obvious bijectio betwee the eve ad odd sets. Theoem 5.9 ca also be pove usig iclusio/exclusio i a ticky way. 6 Piciple of Iclusio ad Exclusio Now we etu to the Piciple of Iclusio-Exclusio fom last week. Ou biomial coefficiet idetities give us a way to pove this theoem, via ou alteatig sum idetity (poved by biomial theoem. Recall the Iclusio-Exclusio theoem: Theoem 6.1. i A i i A i i<j A i A j + i<j<k A i A j A k The theoem ca be poved by iductio o the umbe of sets, but this appoach is messy. Istead we will give a combiatoial poof usig biomial coefficiets. Poof. Each tem i the summatio couts cetai elemets i i A i. We pove that evey elemet of this uio is couted exactly oce. So, coside ay paticula elemet a, ad suppose it is i exactly of the sets A i. We see how may times a is couted by each tem. I the fist tem, a is couted 1 times, oce fo each of the sets that cotais it. I the secod tem, a is couted 2 times, oce fo each of the pais of sets that cotai it. I the thid tem, a is

22 22 Couse Notes 9: Pemutatios ad Combiatios couted 3 times,..., ad i the th tem, a is couted 1 times. The tems alteate sigs, so the total umbe of times a is couted is: ( 1. 3 But Theoem 5.9 implies that ( 1 k 0. k k0 This implies that the sum above is equal to 0 1. That is, a is couted exactly oce, as eeded. 7 -Pemutatios with Repetitio We ow tu to pemutatios ad combiatios whee elemets ae allowed to epeat. A - pemutatio with epetitio of a set S is the umbe of ways to choose elemets fom S with epetitio allowed ad whee ode mattes. Fo example, thee ae ie 2-pemutatios with epetitio of the set S {A, B, C}, which ae listed below. (A, A (A, B (A, C (B, A (B, B (B, C (C, A (C, B (C, C 7.1 Coutig -Pemutatios with Repetitio Fotuately, -pemutatios with epetitio ae easy to cout. It is the same as usig the poduct ule to cout the umbe of stigs of legth fom a alphabet with lettes. Theoem 7.1. The umbe of -pemutatios with epetitio of a -elemet set is. Fo example, the theoem says that the umbe of 2-pemutatios with epetitio of the 3-elemet set S {A, B, C} is 3 2 9, which checks with ou pevious aswe. Poof. Let S be a set with elemets. The -pemutatios with epetitio of S ae pecisely the elemets of: S } S {{ S } tems By the Poduct Rule, this set has cadiality S.

23 Couse Notes 9: Pemutatios ad Combiatios Pemutatios with Limited Repetitio We might wat to cout the umbe of -pemutatios whee each elemet ca be epeated a limited umbe of times. I geeal, this leads to some haiy aalysis ad o closed-fom aswe. Theefoe, we will coside oly a special case, the umbe of -pemutatios whee each elemet is epeated a pecisely specified umbe of times. Fo example, i how may ways ca we aage the lettes i the wod P EP P ER? This is equal to the umbe of 6-pemutatios of the set {P, E, R} whee P is epeated 3 times, E is epeated 2 times, ad R is epeated 1 time. (Sice the total umbe of epetitios defies, we will use the tem pemutatios i place of -pemutatios fo the emaide of the sectio. Iitially, suppose that we make all the lettes distict by addig subscipts. That is, we wat the umbe of ways to aage the lettes P 1 E 1 P 2 P 3 E 2 R. I this case, thee ae 6! 720 aagemets because thee ae six choices fo the fist lette, five choices fo the secod lette, etc. Next, suppose that we ease the subscipts o the E s. This maps each aagemet of the lettes P 1 E 1 P 2 P 3 E 2 R to a aagemet of the lettes P 1 EP 2 P 3 ER. Sice E 1 ad E 2 could be odeed i 2! ways befoe the easue, the mappig is 2!-to-1. Fo example, we have: P 1 E 1 P 2 P 3 E 2 R P 1 EP 2 P 3 ER ad P 1 E 2 P 2 P 3 E 1 R P 1 EP 2 P 3 ER Theefoe, by the Divisio Rule thee ae 6!/2! 360 aagemet of the lettes i P 1 EP 2 P 3 ER. Fially, suppose that we ease the subscipts o the P s. This maps each aagemet of the lettes P 1 EP 2 P 3 ER to a aagemet of the lettes P EP P ER. Sice P 1, P 2, ad P 3 could be odeed i 3! ways befoe the easue, this mappig is 3!-to-1. Theefoe, by the Divisio Rule, the umbe of aagemets of the lettes P EP P ER is 6! 2! 3! 60. We ca pove a geeal theoem usig the same agumet as i the P EP P ER poblem. Theoem 7.2. Let A be the set {a 1, a 2,..., a }, ad let 1, 2,..., be o-egative iteges. The umbe of pemutatios of the set A whee each elemet a i is epeated exactly i times is: ( ! 1! 2!...! Fo example, the theoem says that the umbe of pemutatios of {P, E, R} whee P is epeated 3 times, E is epeated 2 times, ad R is epeated 1 time is This is the aswe we foud befoe. ( ! 60. 3! 2! 1!

24 24 Couse Notes 9: Pemutatios ad Combiatios Poof sketch. We iitially make i distict copies of each elemet a i. The the umbe of pemutatios whee each elemet is epeated exactly oce is ( !. We the ease the subscipts o the distict copies of elemet a 1. This defies a 1!-to-1 mappig fom old pemutatios to pemutatios whee a 1 is epeated 1 times ad all othe elemets ae epeated oce. Theefoe the umbe of ew pemutatios is ( !. 1! Cotiuig this way with a 2, a 3,..., we fid that the umbe of pemutatios whee each elemet a i is epeated exactly i times is. ( ! 1! 2!...! 7.3 Multiomial Coefficiets What is the umbe of pemutatios of the set A {a 1, a 2 } whee a 1 is epeated 1 times ad a 2 is epeated 2 times? Accodig to Theoem 7.2, the aswe is: ( 1 + 2! ! 2! 1 We ca estate the questio as follows. How may stigs cotai 1 copies of the symbol a 1 ad 2 copies of the symbol a 2? This is equal to the umbe ( of ways to choose 1 distict positios fo the a 1 s fom the set of all positios, which is This is the same as the pevious aswe. By shiftig fom pemutatios to stigs i this way, we ca give a alteative poof of Theoem 7.2. Alteative poof of Theoem 7.2. Thee is a bijectio betwee pemutatios of the set A {a 1, a 2,..., a } whee each elemet a i appeas exactly i times ad stigs whee each symbol a i appeas exactly i times. Theefoe, we ca cout pemutatios by coutig stigs as follows. The umbe ( of ways to choose 1 distict positios fo the a 1 s fom the set of all positios is The the umbe of ways to choose 2 distict positios fo the a 2 s fom the set of all emaiig positios is , ad so foth. The total umbe of stigs is theefoe: ( ! ( 2 + +! ( 3 + +!! 1! ( 2 + +! 2! ( 3 + +! 3! ( 4 + +!! 0! ( ! 1! 2!...!

25 Couse Notes 9: Pemutatios ad Combiatios 25 The fist equality uses the defiitio of biomial coefficiets, ad the secod follows by cacellig tems. The quatity ( ! 1! 2!...! is called a multiomial coefficiet ad is deoted , 2,..., Give a set with elemets, the multiomial coefficiet , 2,..., epesets the umbe of ways to choose 1 elemets, the 2 of the emaiig elemets, ad so foth. Multiomial coefficiets also aise i the Multiomial Theoem, a geealizatio of the Biomial Theoem. The esult is stated below, but ot poved. Theoem 7.3 (Multiomial Theoem. (x 1 + x x x 1 x 2... x 1, 2,..., Combiatios with Repetitio Now we move fom pemutatios with epetitio to combiatios with epetitio. Let S be the set {A, B, C}. As we saw i the pevious lectue, this set has thee 2-combiatios. That is, thee ae thee ways to choose two distict elemets of S whee ode does ot matte. The thee 2- combiatios of S ae show below. {A, B} {A, C} {B, C} Suppose that we ae ot equied to choose distict elemets of S, but athe ca choose the same elemet epeatedly. The esultig sets ae called the -combiatios with epetitio of the set S. Listed below ae the six 2-combiatios with epetitio of S. {A, B} {A, C} {B, C} {A, A} {B, B} {C, C} Stictly speakig, these ae multisets (bags, ot sets, sice a elemet may appea multiple times. 8.1 Coutig -Combiatios with Repetitio The followig theoem gives a ice fomula fo the umbe of -combiatios with epetitio of a -elemet set. Theoem 8.1. The umbe of -combiatios with epetitio of a -elemet set is + 1.

26 26 Couse Notes 9: Pemutatios ad Combiatios I the example above, we foud six ways to choose two elemets fom the set S {A, B, C} with epetitio allowed. Sue eough, the theoem says that the umbe of 2-combiatios of a 3-elemet set is ( Fo compaiso, ecall that the umbe of odiay -combiatios of a -elemet set is. Evey odiay -combiatio is also a valid -combiatio with epetitio. So, as oe would expect, the umbe of -combiatios with epetitio is geate if > 1. The poof of this theoem uses a impotat tick called stas ad bas. Poof. Let S be a set with elemets that ae odeed i some way. We will establish a bijectio betwee -combiatios with epetitio of the set S ad stigs of stas ad bas. Let R be a paticula -combiatio with epetitio of S. Wite dow 1 bas. These 1 bas divide the lie ito egios. } {{... } 1 bas defie egios Put oe sta i the i-th egio fo each time that the i-th elemet of S appeas i R. This pocedue maps each -combiatio with epetitio to a stig with stas ad 1 bas. (Fo example, let S be the set {A, B, C, D, E}, with elemets odeed alphabetically. Let R be the 7-combiatio with epetitio {A, B, B, B, D, E, E}. The stas-ad-bas stig coespodig to R is show below. }{{} } {{ } }{{} }{{} A B,B,B D E,E The two bas with o stas betwee idicate that elemet C eve appeas i R. This mappig is a bijectio because it has a ivese. That is, give ay stas-ad-bas stig, we ca costuct the coespodig -combiatio with epetitio. The umbe of stas i the fist egio detemies the umbe of times that the fist elemet of S appeas i the -combiatio, the stas i the secod egio detemie the umbe of times that the secod elemet appeas, etc. Sice the mappig is a bijectio, the umbe of -combiatios with epetitio of a -elemet set is equal to the umbe of stigs cotaiig 1 bas ad stas. The umbe of such stigs is equal to the umbe of ways to choose distict positios fo the stas i a stig of + 1 stas ( ad bas. This is the umbe of odiay -combiatios of a set with + 1 elemets, which is Tiple-Scoop Ice Ceam Coes Baski-Robbis is a ice ceam stoe that has 31 diffeet flavos. How may diffeet tiple-scoop ice ceam coes ae possible at Baski-Robbis? Two ice ceam coes ae cosideed the same if oe ca be obtaied fom the othe by eodeig the scoops. Of couse, we ae pemitted to have two o eve thee scoops of the same flavo. Of couse, the best solutio to this poblem is to go to the Baski-Robbis i Havad Squae ad explicitly costuct all possible combiatios. This is called the cosumptio method. Howeve, thee is also a puely mathematical appoach.

= 5! 3! 2! = 5! 3! (5 3)!. In general, the number of different groups of r items out of n items (when the order is ignored) is given by n!

= 5! 3! 2! = 5! 3! (5 3)!. In general, the number of different groups of r items out of n items (when the order is ignored) is given by n! 0 Combiatoial Aalysis Copyight by Deiz Kalı 4 Combiatios Questio 4 What is the diffeece betwee the followig questio i How may 3-lette wods ca you wite usig the lettes A, B, C, D, E ii How may 3-elemet

More information

The number of r element subsets of a set with n r elements

The number of r element subsets of a set with n r elements Popositio: is The umbe of elemet subsets of a set with elemets Poof: Each such subset aises whe we pick a fist elemet followed by a secod elemet up to a th elemet The umbe of such choices is P But this

More information

MATH /19: problems for supervision in week 08 SOLUTIONS

MATH /19: problems for supervision in week 08 SOLUTIONS MATH10101 2018/19: poblems fo supevisio i week 08 Q1. Let A be a set. SOLUTIONS (i Pove that the fuctio c: P(A P(A, defied by c(x A \ X, is bijective. (ii Let ow A be fiite, A. Use (i to show that fo each

More information

Counting Functions and Subsets

Counting Functions and Subsets CHAPTER 1 Coutig Fuctios ad Subsets This chapte of the otes is based o Chapte 12 of PJE See PJE p144 Hee ad below, the efeeces to the PJEccles book ae give as PJE The goal of this shot chapte is to itoduce

More information

MATH Midterm Solutions

MATH Midterm Solutions MATH 2113 - Midtem Solutios Febuay 18 1. A bag of mables cotais 4 which ae ed, 4 which ae blue ad 4 which ae gee. a How may mables must be chose fom the bag to guaatee that thee ae the same colou? We ca

More information

The Pigeonhole Principle 3.4 Binomial Coefficients

The Pigeonhole Principle 3.4 Binomial Coefficients Discete M athematic Chapte 3: Coutig 3. The Pigeohole Piciple 3.4 Biomial Coefficiets D Patic Cha School of Compute Sciece ad Egieeig South Chia Uivesity of Techology Ageda Ch 3. The Pigeohole Piciple

More information

Using Counting Techniques to Determine Probabilities

Using Counting Techniques to Determine Probabilities Kowledge ticle: obability ad Statistics Usig outig Techiques to Detemie obabilities Tee Diagams ad the Fudametal outig iciple impotat aspect of pobability theoy is the ability to detemie the total umbe

More information

ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I Uivesity of Hawaii ICS141: Discete Mathematics fo Compute Sciece I Dept. Ifomatio & Compute Sci., Uivesity of Hawaii Ja Stelovsy based o slides by D. Bae ad D. Still Oigials by D. M. P. Fa ad D. J.L. Goss

More information

Ch 3.4 Binomial Coefficients. Pascal's Identit y and Triangle. Chapter 3.2 & 3.4. South China University of Technology

Ch 3.4 Binomial Coefficients. Pascal's Identit y and Triangle. Chapter 3.2 & 3.4. South China University of Technology Disc ete Mathem atic Chapte 3: Coutig 3. The Pigeohole Piciple 3.4 Biomial Coefficiets D Patic Cha School of Compute Sciece ad Egieeig South Chia Uivesity of Techology Pigeohole Piciple Suppose that a

More information

BINOMIAL THEOREM An expression consisting of two terms, connected by + or sign is called a

BINOMIAL THEOREM An expression consisting of two terms, connected by + or sign is called a BINOMIAL THEOREM hapte 8 8. Oveview: 8.. A epessio cosistig of two tems, coected by + o sig is called a biomial epessio. Fo eample, + a, y,,7 4 5y, etc., ae all biomial epessios. 8.. Biomial theoem If

More information

BINOMIAL THEOREM NCERT An expression consisting of two terms, connected by + or sign is called a

BINOMIAL THEOREM NCERT An expression consisting of two terms, connected by + or sign is called a 8. Oveview: 8.. A epessio cosistig of two tems, coected by + o sig is called a biomial epessio. Fo eample, + a, y,,7 4, etc., ae all biomial 5y epessios. 8.. Biomial theoem BINOMIAL THEOREM If a ad b ae

More information

Consider unordered sample of size r. This sample can be used to make r! Ordered samples (r! permutations). unordered sample

Consider unordered sample of size r. This sample can be used to make r! Ordered samples (r! permutations). unordered sample Uodeed Samples without Replacemet oside populatio of elemets a a... a. y uodeed aagemet of elemets is called a uodeed sample of size. Two uodeed samples ae diffeet oly if oe cotais a elemet ot cotaied

More information

By the end of this section you will be able to prove the Chinese Remainder Theorem apply this theorem to solve simultaneous linear congruences

By the end of this section you will be able to prove the Chinese Remainder Theorem apply this theorem to solve simultaneous linear congruences Chapte : Theoy of Modula Aithmetic 8 Sectio D Chiese Remaide Theoem By the ed of this sectio you will be able to pove the Chiese Remaide Theoem apply this theoem to solve simultaeous liea cogueces The

More information

CHAPTER 5 : SERIES. 5.2 The Sum of a Series Sum of Power of n Positive Integers Sum of Series of Partial Fraction Difference Method

CHAPTER 5 : SERIES. 5.2 The Sum of a Series Sum of Power of n Positive Integers Sum of Series of Partial Fraction Difference Method CHAPTER 5 : SERIES 5.1 Seies 5. The Sum of a Seies 5..1 Sum of Powe of Positive Iteges 5.. Sum of Seies of Patial Factio 5..3 Diffeece Method 5.3 Test of covegece 5.3.1 Divegece Test 5.3. Itegal Test 5.3.3

More information

a) The average (mean) of the two fractions is halfway between them: b) The answer is yes. Assume without loss of generality that p < r.

a) The average (mean) of the two fractions is halfway between them: b) The answer is yes. Assume without loss of generality that p < r. Solutios to MAML Olympiad Level 00. Factioated a) The aveage (mea) of the two factios is halfway betwee them: p ps+ q ps+ q + q s qs qs b) The aswe is yes. Assume without loss of geeality that p

More information

Auchmuty High School Mathematics Department Sequences & Series Notes Teacher Version

Auchmuty High School Mathematics Department Sequences & Series Notes Teacher Version equeces ad eies Auchmuty High chool Mathematics Depatmet equeces & eies Notes Teache Vesio A sequece takes the fom,,7,0,, while 7 0 is a seies. Thee ae two types of sequece/seies aithmetic ad geometic.

More information

Progression. CATsyllabus.com. CATsyllabus.com. Sequence & Series. Arithmetic Progression (A.P.) n th term of an A.P.

Progression. CATsyllabus.com. CATsyllabus.com. Sequence & Series. Arithmetic Progression (A.P.) n th term of an A.P. Pogessio Sequece & Seies A set of umbes whose domai is a eal umbe is called a SEQUENCE ad sum of the sequece is called a SERIES. If a, a, a, a 4,., a, is a sequece, the the expessio a + a + a + a 4 + a

More information

9.7 Pascal s Formula and the Binomial Theorem

9.7 Pascal s Formula and the Binomial Theorem 592 Chapte 9 Coutig ad Pobability Example 971 Values of 97 Pascal s Fomula ad the Biomial Theoem I m vey well acquaited, too, with mattes mathematical, I udestad equatios both the simple ad quadatical

More information

2012 GCE A Level H2 Maths Solution Paper Let x,

2012 GCE A Level H2 Maths Solution Paper Let x, GCE A Level H Maths Solutio Pape. Let, y ad z be the cost of a ticet fo ude yeas, betwee ad 5 yeas, ad ove 5 yeas categoies espectively. 9 + y + 4z =. 7 + 5y + z = 8. + 4y + 5z = 58.5 Fo ude, ticet costs

More information

DANIEL YAQUBI, MADJID MIRZAVAZIRI AND YASIN SAEEDNEZHAD

DANIEL YAQUBI, MADJID MIRZAVAZIRI AND YASIN SAEEDNEZHAD MIXED -STIRLING NUMERS OF THE SEOND KIND DANIEL YAQUI, MADJID MIRZAVAZIRI AND YASIN SAEEDNEZHAD Abstact The Stilig umbe of the secod id { } couts the umbe of ways to patitio a set of labeled balls ito

More information

Math 7409 Homework 2 Fall from which we can calculate the cycle index of the action of S 5 on pairs of vertices as

Math 7409 Homework 2 Fall from which we can calculate the cycle index of the action of S 5 on pairs of vertices as Math 7409 Hoewok 2 Fall 2010 1. Eueate the equivalece classes of siple gaphs o 5 vetices by usig the patte ivetoy as a guide. The cycle idex of S 5 actig o 5 vetices is 1 x 5 120 1 10 x 3 1 x 2 15 x 1

More information

( ) ( ) ( ) ( ) Solved Examples. JEE Main/Boards = The total number of terms in the expansion are 8.

( ) ( ) ( ) ( ) Solved Examples. JEE Main/Boards = The total number of terms in the expansion are 8. Mathematics. Solved Eamples JEE Mai/Boads Eample : Fid the coefficiet of y i c y y Sol: By usig fomula of fidig geeal tem we ca easily get coefficiet of y. I the biomial epasio, ( ) th tem is c T ( y )

More information

Using Difference Equations to Generalize Results for Periodic Nested Radicals

Using Difference Equations to Generalize Results for Periodic Nested Radicals Usig Diffeece Equatios to Geealize Results fo Peiodic Nested Radicals Chis Lyd Uivesity of Rhode Islad, Depatmet of Mathematics South Kigsto, Rhode Islad 2 2 2 2 2 2 2 π = + + +... Vieta (593) 2 2 2 =

More information

Einstein Classes, Unit No. 102, 103, Vardhman Ring Road Plaza, Vikas Puri Extn., Outer Ring Road New Delhi , Ph. : ,

Einstein Classes, Unit No. 102, 103, Vardhman Ring Road Plaza, Vikas Puri Extn., Outer Ring Road New Delhi , Ph. : , MB BINOMIAL THEOREM Biomial Epessio : A algebaic epessio which cotais two dissimila tems is called biomial epessio Fo eample :,,, etc / ( ) Statemet of Biomial theoem : If, R ad N, the : ( + ) = a b +

More information

Multivector Functions

Multivector Functions I: J. Math. Aal. ad Appl., ol. 24, No. 3, c Academic Pess (968) 467 473. Multivecto Fuctios David Hestees I a pevious pape [], the fudametals of diffeetial ad itegal calculus o Euclidea -space wee expessed

More information

Lecture 6: October 16, 2017

Lecture 6: October 16, 2017 Ifomatio ad Codig Theoy Autum 207 Lectue: Madhu Tulsiai Lectue 6: Octobe 6, 207 The Method of Types Fo this lectue, we will take U to be a fiite uivese U, ad use x (x, x 2,..., x to deote a sequece of

More information

SOME ARITHMETIC PROPERTIES OF OVERPARTITION K -TUPLES

SOME ARITHMETIC PROPERTIES OF OVERPARTITION K -TUPLES #A17 INTEGERS 9 2009), 181-190 SOME ARITHMETIC PROPERTIES OF OVERPARTITION K -TUPLES Deick M. Keiste Depatmet of Mathematics, Pe State Uivesity, Uivesity Pak, PA 16802 dmk5075@psu.edu James A. Selles Depatmet

More information

Finite q-identities related to well-known theorems of Euler and Gauss. Johann Cigler

Finite q-identities related to well-known theorems of Euler and Gauss. Johann Cigler Fiite -idetities elated to well-ow theoems of Eule ad Gauss Joha Cigle Faultät fü Mathemati Uivesität Wie A-9 Wie, Nodbegstaße 5 email: oha.cigle@uivie.ac.at Abstact We give geealizatios of a fiite vesio

More information

Conditional Convergence of Infinite Products

Conditional Convergence of Infinite Products Coditioal Covegece of Ifiite Poducts William F. Tech Ameica Mathematical Mothly 106 1999), 646-651 I this aticle we evisit the classical subject of ifiite poducts. Fo stadad defiitios ad theoems o this

More information

On a Problem of Littlewood

On a Problem of Littlewood Ž. JOURAL OF MATHEMATICAL AALYSIS AD APPLICATIOS 199, 403 408 1996 ARTICLE O. 0149 O a Poblem of Littlewood Host Alze Mosbache Stasse 10, 51545 Waldbol, Gemay Submitted by J. L. Bee Received May 19, 1995

More information

Math 166 Week-in-Review - S. Nite 11/10/2012 Page 1 of 5 WIR #9 = 1+ r eff. , where r. is the effective interest rate, r is the annual

Math 166 Week-in-Review - S. Nite 11/10/2012 Page 1 of 5 WIR #9 = 1+ r eff. , where r. is the effective interest rate, r is the annual Math 66 Week-i-Review - S. Nite // Page of Week i Review #9 (F-F.4, 4.-4.4,.-.) Simple Iteest I = Pt, whee I is the iteest, P is the picipal, is the iteest ate, ad t is the time i yeas. P( + t), whee A

More information

KEY. Math 334 Midterm II Fall 2007 section 004 Instructor: Scott Glasgow

KEY. Math 334 Midterm II Fall 2007 section 004 Instructor: Scott Glasgow KEY Math 334 Midtem II Fall 7 sectio 4 Istucto: Scott Glasgow Please do NOT wite o this exam. No cedit will be give fo such wok. Rathe wite i a blue book, o o you ow pape, pefeably egieeig pape. Wite you

More information

On randomly generated non-trivially intersecting hypergraphs

On randomly generated non-trivially intersecting hypergraphs O adomly geeated o-tivially itesectig hypegaphs Balázs Patkós Submitted: May 5, 009; Accepted: Feb, 010; Published: Feb 8, 010 Mathematics Subject Classificatio: 05C65, 05D05, 05D40 Abstact We popose two

More information

Discussion 02 Solutions

Discussion 02 Solutions STAT 400 Discussio 0 Solutios Spig 08. ~.5 ~.6 At the begiig of a cetai study of a goup of pesos, 5% wee classified as heavy smoes, 30% as light smoes, ad 55% as osmoes. I the fiveyea study, it was detemied

More information

Lecture 3 : Concentration and Correlation

Lecture 3 : Concentration and Correlation Lectue 3 : Cocetatio ad Coelatio 1. Talagad s iequality 2. Covegece i distibutio 3. Coelatio iequalities 1. Talagad s iequality Cetifiable fuctios Let g : R N be a fuctio. The a fuctio f : 1 2 Ω Ω L Ω

More information

ELEMENTARY AND COMPOUND EVENTS PROBABILITY

ELEMENTARY AND COMPOUND EVENTS PROBABILITY Euopea Joual of Basic ad Applied Scieces Vol. 5 No., 08 ELEMENTARY AND COMPOUND EVENTS PROBABILITY William W.S. Che Depatmet of Statistics The Geoge Washigto Uivesity Washigto D.C. 003 E-mail: williamwsche@gmail.com

More information

Two-Toned Tilings and Compositions of Integers

Two-Toned Tilings and Compositions of Integers Two-Toed Tiligs ad Compositios of Iteges Melaie Hoffma Abstact. Followig the aticle Combiatoics of Two-Toed Tiligs by Bejami, Chi, Scott, ad Simay [1], this pape itoduces a fuctio to cout tiligs of legth

More information

EDEXCEL NATIONAL CERTIFICATE UNIT 28 FURTHER MATHEMATICS FOR TECHNICIANS OUTCOME 2- ALGEBRAIC TECHNIQUES TUTORIAL 1 - PROGRESSIONS

EDEXCEL NATIONAL CERTIFICATE UNIT 28 FURTHER MATHEMATICS FOR TECHNICIANS OUTCOME 2- ALGEBRAIC TECHNIQUES TUTORIAL 1 - PROGRESSIONS EDEXCEL NATIONAL CERTIFICATE UNIT 8 FURTHER MATHEMATICS FOR TECHNICIANS OUTCOME - ALGEBRAIC TECHNIQUES TUTORIAL - PROGRESSIONS CONTENTS Be able to apply algebaic techiques Aithmetic pogessio (AP): fist

More information

4. PERMUTATIONS AND COMBINATIONS

4. PERMUTATIONS AND COMBINATIONS 4. PERMUTATIONS AND COMBINATIONS PREVIOUS EAMCET BITS 1. The umbe of ways i which 13 gold cois ca be distibuted amog thee pesos such that each oe gets at least two gold cois is [EAMCET-000] 1) 3 ) 4 3)

More information

CfE Advanced Higher Mathematics Course materials Topic 5: Binomial theorem

CfE Advanced Higher Mathematics Course materials Topic 5: Binomial theorem SCHOLAR Study Guide CfE Advaced Highe Mathematics Couse mateials Topic : Biomial theoem Authoed by: Fioa Withey Stilig High School Kae Withey Stilig High School Reviewed by: Magaet Feguso Peviously authoed

More information

ON EUCLID S AND EULER S PROOF THAT THE NUMBER OF PRIMES IS INFINITE AND SOME APPLICATIONS

ON EUCLID S AND EULER S PROOF THAT THE NUMBER OF PRIMES IS INFINITE AND SOME APPLICATIONS Joual of Pue ad Alied Mathematics: Advaces ad Alicatios Volume 0 Numbe 03 Pages 5-58 ON EUCLID S AND EULER S PROOF THAT THE NUMBER OF PRIMES IS INFINITE AND SOME APPLICATIONS ALI H HAKAMI Deatmet of Mathematics

More information

THE ANALYTIC LARGE SIEVE

THE ANALYTIC LARGE SIEVE THE ANALYTIC LAGE SIEVE 1. The aalytic lage sieve I the last lectue we saw how to apply the aalytic lage sieve to deive a aithmetic fomulatio of the lage sieve, which we applied to the poblem of boudig

More information

( ) 1 Comparison Functions. α is strictly increasing since ( r) ( r ) α = for any positive real number c. = 0. It is said to belong to

( ) 1 Comparison Functions. α is strictly increasing since ( r) ( r ) α = for any positive real number c. = 0. It is said to belong to Compaiso Fuctios I this lesso, we study stability popeties of the oautoomous system = f t, x The difficulty is that ay solutio of this system statig at x( t ) depeds o both t ad t = x Thee ae thee special

More information

A note on random minimum length spanning trees

A note on random minimum length spanning trees A ote o adom miimum legth spaig tees Ala Fieze Miklós Ruszikó Lubos Thoma Depatmet of Mathematical Scieces Caegie Mello Uivesity Pittsbugh PA15213, USA ala@adom.math.cmu.edu, usziko@luta.sztaki.hu, thoma@qwes.math.cmu.edu

More information

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

Lecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) = COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.

More information

Generalized Fibonacci-Lucas Sequence

Generalized Fibonacci-Lucas Sequence Tuish Joual of Aalysis ad Numbe Theoy, 4, Vol, No 6, -7 Available olie at http://pubssciepubcom/tjat//6/ Sciece ad Educatio Publishig DOI:6/tjat--6- Geealized Fiboacci-Lucas Sequece Bijeda Sigh, Ompaash

More information

Lecture 24: Observability and Constructibility

Lecture 24: Observability and Constructibility ectue 24: Obsevability ad Costuctibility 7 Obsevability ad Costuctibility Motivatio: State feedback laws deped o a kowledge of the cuet state. I some systems, xt () ca be measued diectly, e.g., positio

More information

Disjoint Sets { 9} { 1} { 11} Disjoint Sets (cont) Operations. Disjoint Sets (cont) Disjoint Sets (cont) n elements

Disjoint Sets { 9} { 1} { 11} Disjoint Sets (cont) Operations. Disjoint Sets (cont) Disjoint Sets (cont) n elements Disjoit Sets elemets { x, x, } X =, K Opeatios x Patitioed ito k sets (disjoit sets S, S,, K Fid-Set(x - etu set cotaiig x Uio(x,y - make a ew set by combiig the sets cotaiig x ad y (destoyig them S k

More information

Chapter 2 Sampling distribution

Chapter 2 Sampling distribution [ 05 STAT] Chapte Samplig distibutio. The Paamete ad the Statistic Whe we have collected the data, we have a whole set of umbes o desciptios witte dow o a pape o stoed o a compute file. We ty to summaize

More information

Greatest term (numerically) in the expansion of (1 + x) Method 1 Let T

Greatest term (numerically) in the expansion of (1 + x) Method 1 Let T BINOMIAL THEOREM_SYNOPSIS Geatest tem (umeically) i the epasio of ( + ) Method Let T ( The th tem) be the geatest tem. Fid T, T, T fom the give epasio. Put T T T ad. Th will give a iequality fom whee value

More information

Advanced Physical Geodesy

Advanced Physical Geodesy Supplemetal Notes Review of g Tems i Moitz s Aalytic Cotiuatio Method. Advaced hysical Geodesy GS887 Chistophe Jekeli Geodetic Sciece The Ohio State Uivesity 5 South Oval Mall Columbus, OH 4 7 The followig

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

Sums of Involving the Harmonic Numbers and the Binomial Coefficients

Sums of Involving the Harmonic Numbers and the Binomial Coefficients Ameica Joual of Computatioal Mathematics 5 5 96-5 Published Olie Jue 5 i SciRes. http://www.scip.og/oual/acm http://dx.doi.og/.46/acm.5.58 Sums of Ivolvig the amoic Numbes ad the Biomial Coefficiets Wuyugaowa

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

6.3 Testing Series With Positive Terms

6.3 Testing Series With Positive Terms 6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial

More information

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

MATHS FOR ENGINEERS ALGEBRA TUTORIAL 8 MATHEMATICAL PROGRESSIONS AND SERIES

MATHS FOR ENGINEERS ALGEBRA TUTORIAL 8 MATHEMATICAL PROGRESSIONS AND SERIES MATHS FOR ENGINEERS ALGEBRA TUTORIAL 8 MATHEMATICAL PROGRESSIONS AND SERIES O completio of this ttoial yo shold be able to do the followig. Eplai aithmetical ad geometic pogessios. Eplai factoial otatio

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

Lower Bounds for Cover-Free Families

Lower Bounds for Cover-Free Families Loe Bouds fo Cove-Fee Families Ali Z. Abdi Covet of Nazaeth High School Gade, Abas 7, Haifa Nade H. Bshouty Dept. of Compute Sciece Techio, Haifa, 3000 Apil, 05 Abstact Let F be a set of blocks of a t-set

More information

Math 155 (Lecture 3)

Math 155 (Lecture 3) Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,

More information

Some Properties of the K-Jacobsthal Lucas Sequence

Some Properties of the K-Jacobsthal Lucas Sequence Deepia Jhala et. al. /Iteatioal Joual of Mode Scieces ad Egieeig Techology (IJMSET) ISSN 349-3755; Available at https://www.imset.com Volume Issue 3 04 pp.87-9; Some Popeties of the K-Jacobsthal Lucas

More information

Random Models. Tusheng Zhang. February 14, 2013

Random Models. Tusheng Zhang. February 14, 2013 Radom Models Tusheg Zhag February 14, 013 1 Radom Walks Let me describe the model. Radom walks are used to describe the motio of a movig particle (object). Suppose that a particle (object) moves alog the

More information

Infinite Sequences and Series

Infinite Sequences and Series Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet

More information

IDENTITIES FOR THE NUMBER OF STANDARD YOUNG TABLEAUX IN SOME (k, l)-hooks

IDENTITIES FOR THE NUMBER OF STANDARD YOUNG TABLEAUX IN SOME (k, l)-hooks Sémiaie Lothaigie de Combiatoie 63 (010), Aticle B63c IDENTITIES FOR THE NUMBER OF STANDARD YOUNG TABLEAUX IN SOME (k, l)-hooks A. REGEV Abstact. Closed fomulas ae kow fo S(k,0;), the umbe of stadad Youg

More information

SHIFTED HARMONIC SUMS OF ORDER TWO

SHIFTED HARMONIC SUMS OF ORDER TWO Commu Koea Math Soc 9 0, No, pp 39 55 http://dxdoiog/03/ckms0939 SHIFTED HARMONIC SUMS OF ORDER TWO Athoy Sofo Abstact We develop a set of idetities fo Eule type sums I paticula we ivestigate poducts of

More information

EVALUATION OF SUMS INVOLVING GAUSSIAN q-binomial COEFFICIENTS WITH RATIONAL WEIGHT FUNCTIONS

EVALUATION OF SUMS INVOLVING GAUSSIAN q-binomial COEFFICIENTS WITH RATIONAL WEIGHT FUNCTIONS EVALUATION OF SUMS INVOLVING GAUSSIAN -BINOMIAL COEFFICIENTS WITH RATIONAL WEIGHT FUNCTIONS EMRAH KILIÇ AND HELMUT PRODINGER Abstact We coside sums of the Gaussia -biomial coefficiets with a paametic atioal

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

(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

Technical Report: Bessel Filter Analysis

Technical Report: Bessel Filter Analysis Sasa Mahmoodi 1 Techical Repot: Bessel Filte Aalysis 1 School of Electoics ad Compute Sciece, Buildig 1, Southampto Uivesity, Southampto, S17 1BJ, UK, Email: sm3@ecs.soto.ac.uk I this techical epot, we

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

EXAMPLES. Leader in CBSE Coaching. Solutions of BINOMIAL THEOREM A.V.T.E. by AVTE (avte.in) Class XI

EXAMPLES. Leader in CBSE Coaching. Solutions of BINOMIAL THEOREM A.V.T.E. by AVTE (avte.in) Class XI avtei EXAMPLES Solutios of AVTE by AVTE (avtei) lass XI Leade i BSE oachig 1 avtei SHORT ANSWER TYPE 1 Fid the th tem i the epasio of 1 We have T 1 1 1 1 1 1 1 1 1 1 Epad the followig (1 + ) 4 Put 1 y

More information

Week 03 Discussion. 30% are serious, and 50% are stable. Of the critical ones, 30% die; of the serious, 10% die; and of the stable, 2% die.

Week 03 Discussion. 30% are serious, and 50% are stable. Of the critical ones, 30% die; of the serious, 10% die; and of the stable, 2% die. STAT 400 Wee 03 Discussio Fall 07. ~.5- ~.6- At the begiig of a cetai study of a gou of esos, 5% wee classified as heavy smoes, 30% as light smoes, ad 55% as osmoes. I the five-yea study, it was detemied

More information

AS Mathematics. MFP1 Further Pure 1 Mark scheme June Version: 1.0 Final

AS Mathematics. MFP1 Further Pure 1 Mark scheme June Version: 1.0 Final AS Mathematics MFP Futhe Pue Mak scheme 0 Jue 07 Vesio:.0 Fial Mak schemes ae pepaed by the Lead Assessmet Wite ad cosideed, togethe with the elevat questios, by a pael of subject teaches. This mak scheme

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

Recursion. Algorithm : Design & Analysis [3]

Recursion. Algorithm : Design & Analysis [3] Recusio Algoithm : Desig & Aalysis [] I the last class Asymptotic gowth ate he Sets Ο, Ω ad Θ Complexity Class A Example: Maximum Susequece Sum Impovemet of Algoithm Compaiso of Asymptotic Behavio Aothe

More information

FIXED POINT AND HYERS-ULAM-RASSIAS STABILITY OF A QUADRATIC FUNCTIONAL EQUATION IN BANACH SPACES

FIXED POINT AND HYERS-ULAM-RASSIAS STABILITY OF A QUADRATIC FUNCTIONAL EQUATION IN BANACH SPACES IJRRAS 6 () July 0 www.apapess.com/volumes/vol6issue/ijrras_6.pdf FIXED POINT AND HYERS-UAM-RASSIAS STABIITY OF A QUADRATIC FUNCTIONA EQUATION IN BANACH SPACES E. Movahedia Behbaha Khatam Al-Abia Uivesity

More information

PROGRESSION AND SERIES

PROGRESSION AND SERIES INTRODUCTION PROGRESSION AND SERIES A gemet of umbes {,,,,, } ccodig to some well defied ule o set of ules is clled sequece Moe pecisely, we my defie sequece s fuctio whose domi is some subset of set of

More information

On ARMA(1,q) models with bounded and periodically correlated solutions

On ARMA(1,q) models with bounded and periodically correlated solutions Reseach Repot HSC/03/3 O ARMA(,q) models with bouded ad peiodically coelated solutios Aleksade Weo,2 ad Agieszka Wy oma ska,2 Hugo Steihaus Cete, Woc aw Uivesity of Techology 2 Istitute of Mathematics,

More information

DIAGONAL CHECKER-JUMPING AND EULERIAN NUMBERS FOR COLOR-SIGNED PERMUTATIONS

DIAGONAL CHECKER-JUMPING AND EULERIAN NUMBERS FOR COLOR-SIGNED PERMUTATIONS DIAGONAL CHECKER-JUMPING AND EULERIAN NUMBERS FOR COLOR-SIGNED PERMUTATIONS Niklas Eikse Heik Eiksso Kimmo Eiksso iklasmath.kth.se heikada.kth.se Kimmo.Eikssomdh.se Depatmet of Mathematics KTH SE-100 44

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

Range Symmetric Matrices in Minkowski Space

Range Symmetric Matrices in Minkowski Space BULLETIN of the Bull. alaysia ath. Sc. Soc. (Secod Seies) 3 (000) 45-5 LYSIN THETICL SCIENCES SOCIETY Rae Symmetic atices i ikowski Space.R. EENKSHI Depatmet of athematics, amalai Uivesity, amalaiaa 608

More information

At the end of this topic, students should be able to understand the meaning of finite and infinite sequences and series, and use the notation u

At the end of this topic, students should be able to understand the meaning of finite and infinite sequences and series, and use the notation u Natioal Jio College Mathematics Depatmet 00 Natioal Jio College 00 H Mathematics (Seio High ) Seqeces ad Seies (Lecte Notes) Topic : Seqeces ad Seies Objectives: At the ed of this topic, stdets shold be

More information

Introduction to the Theory of Inference

Introduction to the Theory of Inference CSSM Statistics Leadeship Istitute otes Itoductio to the Theoy of Ifeece Jo Cye, Uivesity of Iowa Jeff Witme, Obeli College Statistics is the systematic study of vaiatio i data: how to display it, measue

More information

Some Integral Mean Estimates for Polynomials

Some Integral Mean Estimates for Polynomials Iteatioal Mathematical Foum, Vol. 8, 23, o., 5-5 HIKARI Ltd, www.m-hikai.com Some Itegal Mea Estimates fo Polyomials Abdullah Mi, Bilal Ahmad Da ad Q. M. Dawood Depatmet of Mathematics, Uivesity of Kashmi

More information

Seunghee Ye Ma 8: Week 5 Oct 28

Seunghee Ye Ma 8: Week 5 Oct 28 Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value

More information

4. PERMUTATIONS AND COMBINATIONS Quick Review

4. PERMUTATIONS AND COMBINATIONS Quick Review 4 ERMUTATIONS AND COMBINATIONS Quick Review A aagemet that ca be fomed by takig some o all of a fiite set of thigs (o objects) is called a emutatio A emutatio is said to be a liea emutatio if the objects

More information

A NOTE ON DOMINATION PARAMETERS IN RANDOM GRAPHS

A NOTE ON DOMINATION PARAMETERS IN RANDOM GRAPHS Discussioes Mathematicae Gaph Theoy 28 (2008 335 343 A NOTE ON DOMINATION PARAMETERS IN RANDOM GRAPHS Athoy Boato Depatmet of Mathematics Wilfid Lauie Uivesity Wateloo, ON, Caada, N2L 3C5 e-mail: aboato@oges.com

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

Steiner Hyper Wiener Index A. Babu 1, J. Baskar Babujee 2 Department of mathematics, Anna University MIT Campus, Chennai-44, India.

Steiner Hyper Wiener Index A. Babu 1, J. Baskar Babujee 2 Department of mathematics, Anna University MIT Campus, Chennai-44, India. Steie Hype Wiee Idex A. Babu 1, J. Baska Babujee Depatmet of mathematics, Aa Uivesity MIT Campus, Cheai-44, Idia. Abstact Fo a coected gaph G Hype Wiee Idex is defied as WW G = 1 {u,v} V(G) d u, v + d

More information

COUNTING SUBSET SUMS OF FINITE ABELIAN GROUPS

COUNTING SUBSET SUMS OF FINITE ABELIAN GROUPS COUNTING SUBSET SUMS OF FINITE ABELIAN GROUPS JIYOU LI AND DAQING WAN Abstact I this pape, we obtai a explicit fomula fo the umbe of zeo-sum -elemet subsets i ay fiite abelia goup 1 Itoductio Let A be

More information

Generalized Near Rough Probability. in Topological Spaces

Generalized Near Rough Probability. in Topological Spaces It J Cotemp Math Scieces, Vol 6, 20, o 23, 099-0 Geealized Nea Rough Pobability i Topological Spaces M E Abd El-Mosef a, A M ozae a ad R A Abu-Gdaii b a Depatmet of Mathematics, Faculty of Sciece Tata

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

On composite conformal mapping of an annulus to a plane with two holes

On composite conformal mapping of an annulus to a plane with two holes O composite cofomal mappig of a aulus to a plae with two holes Mila Batista (July 07) Abstact I the aticle we coside the composite cofomal map which maps aulus to ifiite egio with symmetic hole ad ealy

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

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version The Binomial Theoem Factoials Auchmuty High School Mathematics Depatment The calculations,, 6 etc. often appea in mathematics. They ae called factoials and have been given the notation n!. e.g. 6! 6!!!!!

More information

Taylor Transformations into G 2

Taylor Transformations into G 2 Iteatioal Mathematical Foum, 5,, o. 43, - 3 Taylo Tasfomatios ito Mulatu Lemma Savaah State Uivesity Savaah, a 344, USA Lemmam@savstate.edu Abstact. Though out this pape, we assume that

More information

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let

More information

If 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?

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

Complementary Dual Subfield Linear Codes Over Finite Fields

Complementary Dual Subfield Linear Codes Over Finite Fields 1 Complemetay Dual Subfield Liea Codes Ove Fiite Fields Kiagai Booiyoma ad Somphog Jitma,1 Depatmet of Mathematics, Faculty of Sciece, Silpao Uivesity, Naho Pathom 73000, hailad e-mail : ai_b_555@hotmail.com

More information