MATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2
|
|
- Lesley Leonard
- 5 years ago
- Views:
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.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 informationThe 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 information6 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 informationare 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 informationReview 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 informationMATH 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 informationSolutions 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 informationAxioms 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 informationOn 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 informationMath 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 informationMATH 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 informationMath 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 informationLecture 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 information5 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 informationMath 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 informationNamed 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 informationCounting 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 informationThe 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)
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 informationMATH 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 informationPRACTICE 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 informationFoundations 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 informationOn 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 informationExcluded 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 informationFall 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 informationThe 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 information2.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 informationChapter 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 informationIndistinguishable 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 informationIrredundant 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 informationPROBABILITY 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 informationMATH39001 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 informationApplications 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 informationPropositional 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 informationSums 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 informationCounting. 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 informationCSCE 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 informationCSCE 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 informationCDM 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 informationHomework #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 informationYi 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 informationNotes 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 informationMATH 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 informationF 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 informationDefinition: 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 informationA 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 informationGenerating 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 informationBasic 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 informationMATH 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 informationIowa 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 informationDiscrete 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 informationBinomial 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 informationActions 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 informationCombinatorial 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 informationDiscrete 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 informationLinear 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 informationCS 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 informationThe 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 informationON 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 informationExercises 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 informationWritten 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 informationMath 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 informationCombinatorics. 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 informationMath 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 informationRook 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 informationChapter 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 informationFinite 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 informationNotes. 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 informationDISCRETIZED 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 informationq 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 informationThus, 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 informationThe 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 informationReview 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 informationWhat 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 informationParity 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 information1. 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 informationSolution. 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 informationMath 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 informationCh6 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 informationa 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 informationThe 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 informationA 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 informationADVANCED 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 informationChapter 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 informationColoring 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 informationTHE 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 informationExtensions 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 informationMATH 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 informationLecture 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 informationFunctions 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 information0 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 informationStirling 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 informationMATH 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 informationMath 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 informationHW2 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 informationName (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 informationCounting 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 informationWeek 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 informationMath 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 informationSpace 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