MATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2

Size: px
Start display at page:

Download "MATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2"

Transcription

1 MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT KANNAPPAN SAMPATH Facts Recall that, the Stirling number S(, n of the second ind is defined as the number of partitions of a [] into n non-empty blocs. We recall the following result from class: Lemma 0.1. The following numbers are equal: (1 The number of surjective maps from [] to [n]. ( S(, n where S(, n denotes the Stirling number of the second ind. (3 n i0 ( 1i( n i (n i. Proof. (1 (: Given a partition of [] into n blocs, one may define a surjective map by mapping distinct parts to distinct numbers between 1 and n. There are such surjections. (1 (3: (Principle of Inclusion and Exclusion. Let A i denote the set of maps f : [] [n] such that i / Im(f. Then, it follows that the number of surjective maps [] [n] is given by [n][] \ A i. Applying the principle of inclusion-exclusion, we conclude: [n][] \ A i ( 1 I A I This completes the proof. i1 i1 I [] ( 1 i (n i. i i0 Problems Problem 1. Let S(n, be the number of ways of partitioning an n-set into blocs. Prove that S(n, 1 1, S(n, n 1 1 and S(n, n 1 ( n, Find a formula for S(n, n. Solution. Proof that S(n, 1 1: There is exactly one partition of an n-set which consists of just one bloc, viz, [n]. So, S(n,

2 KANNAPPAN SAMPATH Proof that S(n, n 1 1: Let Σ(n, denote the set of all partitions of [n] into parts (so that Σ(n, S(n,. Note that any element of Σ(n, is of the form A A c for a subset A of [n] such that A A c. Consider the map: ϕ : [n] \ {, [n]} Σ(n, A A A c Then, this map is clearly surjective and is -to-1, indeed ϕ(a ϕ(a c. Thus, Σ(n, [n] \ {, [n]} n whence we have S(n, n 1 1 as required. Proof that S(n, n 1 ( n : Let Σ(n, n 1 denote the set of all partitions of [n] into n 1 parts (so that Σ(n, n 1 S(n, n 1. Note that any element of Σ(n, n 1 is of the form A 1 A An 1 where A i is non-empty for every i. For a fixed partition of the above form, let a i A i. Then, we have that a i 1 and n 1 a i n. i1 If there are atleast two indices, say i, j such that a i, a j, then, we have that n 1 n a i + + (n 1 n + 1 i1 a contradiction. On the other hand, if a i 1 for all i, then, we get the absurd equation n n 1. Thus, there is precisely one index i such that a i and a j 1 for all j i. We may let i n 1 without loss of generality. (This is an elaboration of the Pigeonhole principle. The above consideration shows that an element of Σ(n, n 1 is determined by the -set A n 1. Conversely, every -subset T of [n] determines a partition of [n] into n 1 blocs: [n] a/ T{a} T. This shows that S(n, n 1 ( n (the number of -subsets of [n]. Formula for S(n, n : In this part, we argue as in the previous part, but somewhat more systematically. Let c denote the number of blocs with cardinality c in a given partition of [n] into n blocs. Then, we have the equation: (n c c + c c c n c (c 1 c. This equation shows that if c > 0, then c 3. Further it follows that, 3 0 or 0, 3 1. The number of partitions of [n] into n blocs consisting of two blocs of size (and other blocs singleton is ( 1 n ( n. The number of partitions of [n] into n blocs consisting of one bloc of size 3 (and other blocs singleton is ( n 3.

3 MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT 3 Based on the above analysis, it follows that S(n, n + 1 ( ( n n n(n 1(n (3n This completes this problem. Remar 0.. Another way to approach the above problem would be through recurrence established for Stirling numbers S(n, of the second ind. Recall from class that S(n, S(n 1, 1 + S(n 1, Set a n S(n, n ; we now that a 3 S(3, 1 1. On taing n in the above recurrence relation, we have 1 a n a n 1 + (n using the previous calculation. Rearranging the above equality and summing from n 4 to gives us: a 1 (a n a n 1 n4 (n 1(n n4 Maing a change of variable in the above sum: n n (n n 3 + n n Using the nown formulae: 1 ( ( ( 1 ( ( 1( ( ( 1( ( ( 1 a ( 1( (3 5 4 This also proves the expression we computed for S(n, n above. n0 1 Problem. Let f n and g n be two sequences with exponential generating functions f n t n g n t n F (t, G(t. Show that the following are equivalent: (a g n 0 f ; n0

4 4 KANNAPPAN SAMPATH (b G(t F (te t. Proof. Since an exponential generating function uniquely determines the sequence and conversely, the equivalence is immediate in view of the following calculation: g n f G(t G(t Interchanging the order of summation: G(t 0 n0 n0 0 t n t n 0 0 t! f f!(n! f n Maing the change of variable n u in the inner sum: t G(t! f t u u! This finishes the proof. 0 G(t F (te t u0 t n (n! Problem 3. Let d n be the number of derangements of an n-element set (that is, the number of elements of S n without any fixed points. Show that d n nd n 1 + ( 1 n Deduce that d n is odd if and only if n is even. Proof. We have shown in class that d n satisfies the following recurrence: d n (n 1(d n 1 + d n, for n > 1 d 0 1, d 1 0. Substracting nd n 1, the relation becomes: d n nd n 1 (d n 1 (n 1d n Setting c n d n nd n 1, we see that c n c n 1 with c 1 1. Thus, it follows immediately that c n ( 1 n which proves the relation required. Now, the final parity argument is easy: if n is even, then, d n ( 1 n 1 mod, so d n is odd. On the other hand, if n is odd, then, d n is even since n 1 is even and we have just shown that d n 1 is odd; using the fact that d n nd n 1 1, we have that d n is even. This finishes the problem. Problem 4. The Bernoulli numbers b n are defined by the recurrence b 0 1 and + 1 b 0 0

5 MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT 5 for n 1. Prove that f(t : n0 b n tn t e t 1. Proof. From the given recurrence, we have b n 1 n + 1 n 1 ( n b for n > 0. Now, we compute the function f(t as follows: Put m n 1: f(t n b n t n n1 n1 m0 t n (n + 1! n 1 ( n b n 1 t n 1!(n + 1! b 0 t m+1 m 0 Interchanging the order of summation, we have: Put v m + to get: This finishes the proof m 0 v 0 t 1 b! 1!(m +! b t m+1!(m +! b t v+ 1 b!v! v f(t 1 f(t(et t 1 t f(t t e t 1. t v v! Problem 5. In the previous question, show that f(t + t is an even function of t (that is, it is invariant under the map t t. Deduce that b n 0 for all odd n 3.

6 6 KANNAPPAN SAMPATH Proof. To prove the first part, we simply compute: f( t + t t e t 1 t tet t(e t 1 (e t 1 tet + t (e t 1 t ( e t + 1 e t 1 t ( e t 1 + e t 1 t ( 1 + e t 1 t + t e t 1 f(t + t Now, plugging our power series for f(t, we get: ( 1 n b n t n n0 + t n0 b n t n Comparing the coefficient of t n on both sides implies that b 1 1/ and that b n 0 for all odd n 3. Problem 6. Let s(n, and S(n, denote the Stirling numbers of the first and second ind respectively. Show that S(n, s(n,. Deduce that the n-th Bell number satisfies B n. Proof. By definition, we have the following descriptions: S(n, : the number of (unordered partitions of [n] into blocs. s(n, : the number of elements in S n that can be written as a product of disjoint cycles. B n : the number of (unordered partitions of [n]. Based on these descriptions, it is easy to deduce the claim about Bell numbers: indeed, we have B n S(n, 1 s(n,. 1 Thus, to finish the problem, we must show that S(n, s(n,. We show that there is an injection from the set Σ(n, of partitions of [n] into blocs into the set of elements in S n that can be written as a product of disjoint cycles. Indeed, given an element σ σ[1] σ[] Σ(n,, we may construct a permutation + t

7 MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT 7 σ as follows: σ (σ σ 1r1... (σ 1... σ r where σ j1 < < σ jrj and σ[j] {σ j1,..., σ jrj }. This map is clearly an injection and this shows that S(n, s(n,. Problem 7. With B n denoting the n-th Bell number (that is, the number of partitions of an n-element set, show that n n B n ( 1 j.! j! 1 j0 Proof. We begin by noting B n S(n, 1 where S(n, is the Stirling number of the second ind. Thus (for n > 0: 1 1 1! 1 1 i0 i0 Substituting j i, it follows that: 1 j1 ( 1 i ( i ( i n. ( 1 i 1 i!( i! ( in. ( 1 j 1 ( j!j! jn Interchanging the order of summation, it follows that: ( 1 j 1 ( j!j! jn j1 j j1 j n j! ( 1 j 1 ( j! j Maing a change of variable in the above sum, it follows that: This finishes the proof. j1 j n n j ( 1 1 j!! 1 Problem 8. A permutation σ of the symmetric group S n is called an involution if σ 1. Let s(n denote the number of involutions of S n. Defining s(0 1, prove that s(nt n ( exp t + t. n0

8 8 KANNAPPAN SAMPATH Proof. We first establish a recurrence relation for s(n. Let σ S n such that σ 1. If σ(n n, then, σ is an involution in S n 1. Otherwise, (nσ(nσ is an involution on n symbols. This gives us the following recurrence: s(n s(n 1 + (n 1s(n. Let S(t s(nt n n0. We now do the following: s(nt n (1 + ts(t (1 + t n0 s(nt n s(nt n+1 + n0 n0 s(nt n s(n 1t n + (n 1! n0 n1 s(nt n ns(n 1t n + n0 n1 s(n + ns(n t n n1 s(n t n n1 ns(nt n n ns(nt n 1 n1 S (t This proves that S(t exp(t + t / since S(0 1. Problem 9. Prove that ( ( n m + n i ( 1 i i i i0 ( m if m and 0 otherwise. [Hint: if you have m red cards and n blue cards, count the number of -element subsets consisting solely of red cards.] Proof. Continuing the notation in Hint, let A denote the set of all -subsets of m + n cards. Index the blue cards from 1 to n. For each i [n], let A i denote the set of -subsets of m + n cards which consists of the ith blue card. The number of -subsets of m + n cards which consists only of red cards is then given by: n A \ {( m A i, if m 0, otherwise. i1

9 MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT 9 Applying the Principle of Inclusion-Exclusion, we see: m (1 A \ A i ( 1 I A I i1 I [n] where A I i I A i (with the obvious convention that A A. Clearly, A I is just the set of -subsets of m + n cards which contains all the blue cards whose indices are in I. If I i, then, this number is just ( m+n i i. Notice that this number is independent of the subset I (depends only on I. Now, continuing from (1: m A \ A i ( 1 I A I This completes the proof. i1 I [n] ( ( n m + n i ( 1 i. i i i0 Problem 10. Let A n denote the number of maps f : [n] [n] with the property that if i lies in the image of f, then, so does [i]. Prove that Deduce that A n 1 A n A n 0 n +1 In this problem, we have (by convention, for the scholars of the empty set that A 0 1. Proof. We reinterpret the number A n. Firstly, a function f : [n] [n] that satisfies the hypothesis of the problem must surject onto [] for some 1 n and conversely; now, a surjective function f : [n] [] determines an ordered partition of [n] into blocs and conversely, given a partition P : S 1 S S [n] of [n] into blocs, we may construct f P : [n] [] by f P (j l if j S l. Thus, A n is the number of ordered partition of [n] into non-empty blocs (for n > 0; let A n denote the set of ordered partitions of [n]. Given an ordered partition P of [n], we write P(1 for the first bloc of the given partition. Then, we have the following count (assuming that n > 0: A n 1 P A n 1 S [n] P[1]S

10 10 KANNAPPAN SAMPATH The inner sum counts the number of ordered partitions with first bloc S which is the same as the number of ordered partitions of [n S ]: S [n] 1 A n S A n This finishes the proof of the first equality. Now to prove the second equality, we proceed by induction on n. For n 0, the result holds. Indeed, the sum defining A 0 is a geometric series with initial term 1/ and common ratio 1/ whence its sum is 1 (by convention, as always, Since the recursion holds for all n 1, we plug this explicit formula into the recursion and get that: A n A n 1 1 l0 ( n l0 1 l n l+1 Interchanging the order of summation: 1 l+1 l n We eep the term l 0 out (and implement our convention that 0 0 1: 1 + l n l+1 l l1 1 + l1 1 + l1 l n l+1 1 (( l n 1 (l + 1 n l+1 l1 Maing a change of variable in the first sum: 1 + l n l l n l+1 This completes the problem. l1 l l n l+1 l1 l n l+1

1 Basic Combinatorics

1 Basic Combinatorics 1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set

More information

The Inclusion Exclusion Principle

The Inclusion Exclusion Principle The Inclusion Exclusion Principle 1 / 29 Outline Basic Instances of The Inclusion Exclusion Principle The General Inclusion Exclusion Principle Counting Derangements Counting Functions Stirling Numbers

More information

6 CARDINALITY OF SETS

6 CARDINALITY OF SETS 6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means

More information

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1). Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the

More information

Review problems solutions

Review problems solutions Review problems solutions Math 3152 December 15, 2017 1. Use the binomial theorem to prove that, for all n 1 and k satisfying 0 k n, ( )( ) { n i ( 1) i k 1 if k n; i k 0 otherwise. ik Solution: Using

More information

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A

More information

Solutions to Exercises Chapter 5: The Principle of Inclusion and Exclusion

Solutions to Exercises Chapter 5: The Principle of Inclusion and Exclusion Solutions to Exercises Chapter 5: The Principle of Inclusion and Exclusion An opinion poll reports that the percentage of voters who would be satisfied with each of three candidates A, B, C for President

More information

Axioms for Set Theory

Axioms for Set Theory Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:

More information

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

MATH FINAL EXAM REVIEW HINTS

MATH FINAL EXAM REVIEW HINTS MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any

More information

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets Introduction In this short article, we will describe some basic notions on cardinality of sets. Given two

More information

Lecture 5. Shearer s Lemma

Lecture 5. Shearer s Lemma Stanford University Spring 2016 Math 233: Non-constructive methods in combinatorics Instructor: Jan Vondrák Lecture date: April 6, 2016 Scribe: László Miklós Lovász Lecture 5. Shearer s Lemma 5.1 Introduction

More information

5 Set Operations, Functions, and Counting

5 Set Operations, Functions, and Counting 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,

More information

Math Fall 2014 Final Exam Solutions

Math Fall 2014 Final Exam Solutions Math 2001-003 Fall 2014 Final Exam Solutions Wednesday, December 17, 2014 Definition 1. The union of two sets X and Y is the set X Y consisting of all objects that are elements of X or of Y. The intersection

More information

Named numbres. Ngày 25 tháng 11 năm () Named numbres Ngày 25 tháng 11 năm / 7

Named numbres. Ngày 25 tháng 11 năm () Named numbres Ngày 25 tháng 11 năm / 7 Named numbres Ngày 25 tháng 11 năm 2011 () Named numbres Ngày 25 tháng 11 năm 2011 1 / 7 Fibonacci, Catalan, Stirling, Euler, Bernoulli Many sequences are famous. 1 1, 2, 3, 4,... the integers. () Named

More information

Counting Peaks and Valleys in a Partition of a Set

Counting Peaks and Valleys in a Partition of a Set 1 47 6 11 Journal of Integer Sequences Vol. 1 010 Article 10.6.8 Counting Peas and Valleys in a Partition of a Set Toufi Mansour Department of Mathematics University of Haifa 1905 Haifa Israel toufi@math.haifa.ac.il

More information

The Inclusion Exclusion Principle and Its More General Version

The Inclusion Exclusion Principle and Its More General Version The Inclusion Exclusion Principle and Its More General Version Stewart Weiss June 28, 2009 1 Introduction The Inclusion-Exclusion Principle is typically seen in the context of combinatorics or probability

More information

(n = 0, 1, 2,... ). (2)

(n = 0, 1, 2,... ). (2) Bull. Austral. Math. Soc. 84(2011), no. 1, 153 158. ON A CURIOUS PROPERTY OF BELL NUMBERS Zhi-Wei Sun and Don Zagier Abstract. In this paper we derive congruences expressing Bell numbers and derangement

More information

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

PRACTICE PROBLEMS: SET 1

PRACTICE PROBLEMS: SET 1 PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

On Certain Sums of Stirling Numbers with Binomial Coefficients

On Certain Sums of Stirling Numbers with Binomial Coefficients 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 18 (2015, Article 15.9.6 On Certain Sums of Stirling Numbers with Binomial Coefficients H. W. Gould Department of Mathematics West Virginia University

More information

Excluded permutation matrices and the Stanley Wilf conjecture

Excluded permutation matrices and the Stanley Wilf conjecture Excluded permutation matrices and the Stanley Wilf conjecture Adam Marcus Gábor Tardos November 2003 Abstract This paper examines the extremal problem of how many 1-entries an n n 0 1 matrix can have that

More information

Fall 2017 Test II review problems

Fall 2017 Test II review problems Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and

More information

The Symmetric Groups

The Symmetric Groups Chapter 7 The Symmetric Groups 7. Introduction In the investigation of finite groups the symmetric groups play an important role. Often we are able to achieve a better understanding of a group if we can

More information

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. 2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is

More information

Chapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula

Chapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula Chapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula Prof. Tesler Math 184A Fall 2019 Prof. Tesler Ch. 7. Inclusion-Exclusion Math 184A / Fall 2019 1 / 25 Venn diagram and set sizes A = {1, 2, 3, 4,

More information

Indistinguishable objects in indistinguishable boxes

Indistinguishable objects in indistinguishable boxes Counting integer partitions 2.4 61 Indistinguishable objects in indistinguishable boxes When placing k indistinguishable objects into n indistinguishable boxes, what matters? We are partitioning the integer

More information

Irredundant Families of Subcubes

Irredundant Families of Subcubes Irredundant Families of Subcubes David Ellis January 2010 Abstract We consider the problem of finding the maximum possible size of a family of -dimensional subcubes of the n-cube {0, 1} n, none of which

More information

PROBABILITY VITTORIA SILVESTRI

PROBABILITY VITTORIA SILVESTRI PROBABILITY VITTORIA SILVESTRI Contents Preface. Introduction 2 2. Combinatorial analysis 5 3. Stirling s formula 8 4. Properties of Probability measures Preface These lecture notes are for the course

More information

MATH39001 Generating functions. 1 Ordinary power series generating functions

MATH39001 Generating functions. 1 Ordinary power series generating functions MATH3900 Generating functions The reference for this part of the course is generatingfunctionology by Herbert Wilf. The 2nd edition is downloadable free from http://www.math.upenn. edu/~wilf/downldgf.html,

More information

Applications of Chromatic Polynomials Involving Stirling Numbers

Applications of Chromatic Polynomials Involving Stirling Numbers Applications of Chromatic Polynomials Involving Stirling Numbers A. Mohr and T.D. Porter Department of Mathematics Southern Illinois University Carbondale, IL 6290 tporter@math.siu.edu June 23, 2008 The

More information

Propositional Logic, Predicates, and Equivalence

Propositional Logic, Predicates, and Equivalence Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If

More information

Sums of Products of Bernoulli Numbers*

Sums of Products of Bernoulli Numbers* journal of number theory 60, 234 (996) article no. 00 Sums of Products of Bernoulli Numbers* Karl Dilcher Department of Mathematics, Statistics, and Computing Science, Dalhousie University, Halifax, Nova

More information

Counting. Mukulika Ghosh. Fall Based on slides by Dr. Hyunyoung Lee

Counting. Mukulika Ghosh. Fall Based on slides by Dr. Hyunyoung Lee Counting Mukulika Ghosh Fall 2018 Based on slides by Dr. Hyunyoung Lee Counting Counting The art of counting is known as enumerative combinatorics. One tries to count the number of elements in a set (or,

More information

CSCE 222 Discrete Structures for Computing. Review for Exam 2. Dr. Hyunyoung Lee !!!

CSCE 222 Discrete Structures for Computing. Review for Exam 2. Dr. Hyunyoung Lee !!! CSCE 222 Discrete Structures for Computing Review for Exam 2 Dr. Hyunyoung Lee 1 Strategy for Exam Preparation - Start studying now (unless have already started) - Study class notes (lecture slides and

More information

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Dr. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Sequences and Summations Dr. Hyunyoung Lee Based on slides by Andreas Klappenecker 1 Sequences 2 Sequences A sequence is a function from a subset of the set of

More information

CDM Combinatorial Principles

CDM Combinatorial Principles CDM Combinatorial Principles 1 Counting Klaus Sutner Carnegie Mellon University Pigeon Hole 22-in-exclusion 2017/12/15 23:16 Inclusion/Exclusion Counting 3 Aside: Ranking and Unranking 4 Counting is arguably

More information

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4 Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement

More information

Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian , China (Submitted June 2002)

Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian , China (Submitted June 2002) SELF-INVERSE SEQUENCES RELATED TO A BINOMIAL INVERSE PAIR Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, China (Submitted June 2002) 1 INTRODUCTION Pairs of

More information

Notes on counting. James Aspnes. December 13, 2010

Notes on counting. James Aspnes. December 13, 2010 Notes on counting James Aspnes December 13, 2010 1 What counting is Recall that in set theory we formally defined each natural number as the set of all smaller natural numbers, so that n = {0, 1, 2,...,

More information

MATH 402 : 2017 page 1 of 6

MATH 402 : 2017 page 1 of 6 ADMINISTRATION What? Math 40: Enumerative Combinatorics Who? Me: Professor Greg Smith You: students interested in combinatorics When and Where? lectures: slot 00 office hours: Tuesdays at :30 6:30 and

More information

F 2k 1 = F 2n. for all positive integers n.

F 2k 1 = F 2n. for all positive integers n. Question 1 (Fibonacci Identity, 15 points). Recall that the Fibonacci numbers are defined by F 1 = F 2 = 1 and F n+2 = F n+1 + F n for all n 0. Prove that for all positive integers n. n F 2k 1 = F 2n We

More information

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS. 4 Functions Before studying functions we will first quickly define a more general idea, namely the notion of a relation. A function turns out to be a special type of relation. Definition: Let S and T be

More information

A product of γ-sets which is not Menger.

A product of γ-sets which is not Menger. A product of γ-sets which is not Menger. A. Miller Dec 2009 Theorem. Assume CH. Then there exists γ-sets A 0, A 1 2 ω such that A 0 A 1 is not Menger. We use perfect sets determined by Silver forcing (see

More information

Generating Functions

Generating Functions Semester 1, 2004 Generating functions Another means of organising enumeration. Two examples we have seen already. Example 1. Binomial coefficients. Let X = {1, 2,..., n} c k = # k-element subsets of X

More information

Basic Combinatorics. Math 40210, Section 01 Fall Homework 8 Solutions

Basic Combinatorics. Math 40210, Section 01 Fall Homework 8 Solutions Basic Combinatorics Math 4010, Section 01 Fall 01 Homework 8 Solutions 1.8.1 1: K n has ( n edges, each one of which can be given one of two colors; so Kn has (n -edge-colorings. 1.8.1 3: Let χ : E(K k

More information

MATH 580, midterm exam SOLUTIONS

MATH 580, midterm exam SOLUTIONS MATH 580, midterm exam SOLUTIONS Solve the problems in the spaces provided on the question sheets. If you run out of room for an answer, continue on the back of the page or use the Extra space empty page

More information

Iowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v

Iowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v Math 501 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 015 Exam #1 Solutions This is a take-home examination. The exam includes 8 questions.

More information

Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting

Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 39 Chapter Summary The Basics

More information

Binomial Coefficient Identities/Complements

Binomial Coefficient Identities/Complements Binomial Coefficient Identities/Complements CSE21 Fall 2017, Day 4 Oct 6, 2017 https://sites.google.com/a/eng.ucsd.edu/cse21-fall-2017-miles-jones/ permutation P(n,r) = n(n-1) (n-2) (n-r+1) = Terminology

More information

Actions and Identities on Set Partitions

Actions and Identities on Set Partitions Actions and Identities on Set Partitions The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Marberg,

More information

Combinatorial Unification of Binomial-Like Arrays

Combinatorial Unification of Binomial-Like Arrays University of Tennessee, Knoxville Trace: Tennessee Research and Creative Exchange Doctoral Dissertations Graduate School 5-2010 Combinatorial Unification of Binomial-Lie Arrays James Stephen Lindsay University

More information

Discrete Mathematics. Kishore Kothapalli

Discrete Mathematics. Kishore Kothapalli Discrete Mathematics Kishore Kothapalli 2 Chapter 4 Advanced Counting Techniques In the previous chapter we studied various techniques for counting and enumeration. However, there are several interesting

More information

Linear Recurrence Relations for Sums of Products of Two Terms

Linear Recurrence Relations for Sums of Products of Two Terms Linear Recurrence Relations for Sums of Products of Two Terms Yan-Ping Mu College of Science, Tianjin University of Technology Tianjin 300384, P.R. China yanping.mu@gmail.com Submitted: Dec 27, 2010; Accepted:

More information

CS 336. We use the principle of inclusion and exclusion. Let B. = {five digit decimal numbers ending with a 5}, and

CS 336. We use the principle of inclusion and exclusion. Let B. = {five digit decimal numbers ending with a 5}, and CS 336 1. The important issue is the logic you used to arrive at your answer. 2. Use extra paper to determine your solutions then neatly transcribe them onto these sheets. 3. Do not submit the scratch

More information

The Gaussian coefficient revisited

The Gaussian coefficient revisited The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial

More information

ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS

ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that

More information

Exercises for Unit VI (Infinite constructions in set theory)

Exercises for Unit VI (Infinite constructions in set theory) Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize

More information

Written Homework # 2 Solution

Written Homework # 2 Solution Math 516 Fall 2006 Radford Written Homework # 2 Solution 10/09/06 Let G be a non-empty set with binary operation. For non-empty subsets S, T G we define the product of the sets S and T by If S = {s} is

More information

Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

More information

Combinatorics. But there are some standard techniques. That s what we ll be studying.

Combinatorics. But there are some standard techniques. That s what we ll be studying. Combinatorics Problem: How to count without counting. How do you figure out how many things there are with a certain property without actually enumerating all of them. Sometimes this requires a lot of

More information

Math 105A HW 1 Solutions

Math 105A HW 1 Solutions Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S

More information

Rook Polynomials In Higher Dimensions

Rook Polynomials In Higher Dimensions Grand Valley State University ScholarWors@GVSU Student Summer Scholars Undergraduate Research and Creative Practice 2009 Roo Polynomials In Higher Dimensions Nicholas Krzywonos Grand Valley State University

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

Finite and Infinite Sets

Finite and Infinite Sets Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following

More information

Notes. Combinatorics. Combinatorics II. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006

Notes. Combinatorics. Combinatorics II. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006 Combinatorics Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 4.1-4.6 & 6.5-6.6 of Rosen cse235@cse.unl.edu

More information

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS

DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent

More information

q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.

q xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation. Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both

More information

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:

More information

The initial involution patterns of permutations

The initial involution patterns of permutations The initial involution patterns of permutations Dongsu Kim Department of Mathematics Korea Advanced Institute of Science and Technology Daejeon 305-701, Korea dskim@math.kaist.ac.kr and Jang Soo Kim Department

More information

Review 3. Andreas Klappenecker

Review 3. Andreas Klappenecker Review 3 Andreas Klappenecker Final Exam Friday, May 4, 2012, starting at 12:30pm, usual classroom Topics Topic Reading Algorithms and their Complexity Chapter 3 Logic and Proofs Chapter 1 Logic and Proofs

More information

What you learned in Math 28. Rosa C. Orellana

What you learned in Math 28. Rosa C. Orellana What you learned in Math 28 Rosa C. Orellana Chapter 1 - Basic Counting Techniques Sum Principle If we have a partition of a finite set S, then the size of S is the sum of the sizes of the blocks of the

More information

Parity Theorems for Statistics on Domino Arrangements

Parity Theorems for Statistics on Domino Arrangements Parity Theorems for Statistics on Domino Arrangements Mar A Shattuc Mathematics Department University of Tennessee Knoxville, TN 37996-1300 shattuc@mathutedu Carl G Wagner Mathematics Department University

More information

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The

More information

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2 Solution Sangchul Lee February 19, 2018 1 Solutions of Homework 1 Problem 1.2 Let A and B be nonempty subsets of R + :: {x R : x > 0} which are bounded above. Let us define C = {xy : x A and y B} Show

More information

Math 564 Homework 1. Solutions.

Math 564 Homework 1. Solutions. Math 564 Homework 1. Solutions. Problem 1. Prove Proposition 0.2.2. A guide to this problem: start with the open set S = (a, b), for example. First assume that a >, and show that the number a has the properties

More information

Ch6 Addition Proofs of Theorems on permutations.

Ch6 Addition Proofs of Theorems on permutations. Ch6 Addition Proofs of Theorems on permutations. Definition Two permutations ρ and π of a set A are disjoint if every element moved by ρ is fixed by π and every element moved by π is fixed by ρ. (In other

More information

a construction for sets of integers with distinct subset sums

a construction for sets of integers with distinct subset sums a construction for sets of integers with distinct subset sums Tom Bohman Department of Mathematics, 2-339 Massachusetts Institute of Technology 77 Massachusetts Ave. Cambridge, MA 02139 bohman@math.mit.edu

More information

The integers. Chapter 3

The integers. Chapter 3 Chapter 3 The integers Recall that an abelian group is a set A with a special element 0, and operation + such that x +0=x x + y = y + x x +y + z) =x + y)+z every element x has an inverse x + y =0 We also

More information

A Short Review of Cardinality

A Short Review of Cardinality Christopher Heil A Short Review of Cardinality November 14, 2017 c 2017 Christopher Heil Chapter 1 Cardinality We will give a short review of the definition of cardinality and prove some facts about the

More information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

More information

Chapter 5: Integer Compositions and Partitions and Set Partitions

Chapter 5: Integer Compositions and Partitions and Set Partitions Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Winter 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Winter 2017 1 / 32 5.1. Compositions A strict

More information

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set

Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp April 28, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct nonempty

More information

THE GRIGORCHUK GROUP

THE GRIGORCHUK GROUP THE GRIGORCHUK GROUP KATIE WADDLE Abstract. In this survey we will define the Grigorchuk group and prove some of its properties. We will show that the Grigorchuk group is finitely generated but infinite.

More information

Extensions of the linear bound in the Füredi Hajnal conjecture

Extensions of the linear bound in the Füredi Hajnal conjecture Extensions of the linear bound in the Füredi Hajnal conjecture Martin Klazar Adam Marcus May 17, 2006 Abstract We present two extensions of the linear bound, due to Marcus and Tardos, on the number of

More information

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

More information

Lecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya

Lecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya Resources: Kenneth

More information

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014 Functions and cardinality (solutions) 21-127 sections A and F TA: Clive Newstead 6 th May 2014 What follows is a somewhat hastily written collection of solutions for my review sheet. I have omitted some

More information

0 Sets and Induction. Sets

0 Sets and Induction. Sets 0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set

More information

Stirling Numbers of the 1st Kind

Stirling Numbers of the 1st Kind Daniel Reiss, Colebrook Jackson, Brad Dallas Western Washington University November 28, 2012 Introduction The set of all permutations of a set N is denoted S(N), while the set of all permutations of {1,

More information

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

MATH 13 SAMPLE FINAL EXAM SOLUTIONS MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.

More information

Math 109 September 1, 2016

Math 109 September 1, 2016 Math 109 September 1, 2016 Question 1 Given that the proposition P Q is true. Which of the following must also be true? A. (not P ) or Q. B. (not Q) implies (not P ). C. Q implies P. D. A and B E. A, B,

More information

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below). Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately

More information

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Name (please print) Mathematics Final Examination December 14, 2005 I. (4) Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,

More information

Counting permutations by cyclic peaks and valleys

Counting permutations by cyclic peaks and valleys Annales Mathematicae et Informaticae 43 (2014) pp. 43 54 http://ami.ektf.hu Counting permutations by cyclic peaks and valleys Chak-On Chow a, Shi-Mei Ma b, Toufik Mansour c Mark Shattuck d a Division of

More information

Week Some Warm-up Questions

Week Some Warm-up Questions 1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after

More information

Math 378 Spring 2011 Assignment 4 Solutions

Math 378 Spring 2011 Assignment 4 Solutions Math 3 Spring 2011 Assignment 4 Solutions Brualdi 6.2. The properties are P 1 : is divisible by 4. P 2 : is divisible by 6. P 3 : is divisible by. P 4 : is divisible by 10. Preparing to use inclusion-exclusion,

More information

Space complexity of cutting planes refutations

Space complexity of cutting planes refutations Space complexity of cutting planes refutations Nicola Galesi, Pavel Pudlák, Neil Thapen Nicola Galesi Sapienza - University of Rome June 19, 2015 () June 19, 2015 1 / 32 Cutting planes proofs A refutational

More information