Binomial Coefficient Identities/Complements

Size: px
Start display at page:

Download "Binomial Coefficient Identities/Complements"

Transcription

1 Binomial Coefficient Identities/Complements CSE21 Fall 2017, Day 4 Oct 6,

2 permutation P(n,r) = n(n-1) (n-2) (n-r+1) = Terminology n! (n r)! Counts the number of sequences of r elements from a set of n (without repeats) Counts the number of strings (words) of length r from an alphabet of n letters (without repeats.) combination C(n,r) = n!/ ( r! (n-r)! ) = n n choose r r Counts the number of r-element subsets of a set of size n Counts the number of length n binary strings with exactly r ones. Rosen p

3 Subsets Binary strings We claim that n counts the number of k k-element subsets of a set of cardinality n e.g. 1,2,, n. Length n binary strings with exactly k ones. Can you think of a bijection (one-to-one correspondence) between these two sets of objects? Exercise: 4 2 = 6 Write down all 6 4-element subsets of {1,2,3,4}. Write down all 6 length 4 binary strings with exactly 2 ones.

4 We claim that n counts the number of k k-element subsets of a set of cardinality n e.g. 1,2,, n. Length n binary strings with exactly k ones. Example: 4 2 = 6 { {1,2},{1,3},{1,4},{2,3},{2,4},{3,4} } { 1100,1010,1001,0110,0101,0011 } Is there a natural way to pair these up? Subsets Binary strings

5 Fixed-density Binary Strings How many length n binary strings contain k ones? Rosen p. 413 Another way to think about it Out of all the positions {1,2,,n}, how many ways can you choose k of those positions to be ones and n-k of those positions to be zeros?

6 Examples: Suppose I am picking 7 people from this class to go on a field trip. How many ways can I do this? Suppose I am picking 7 people from this class and each one will go on a field trip on a different day of the week. How many days can I do this? Suppose you are doing a group project with a team of 20 people. You must pick a team leader, a scribe, a treasurer, and a presenter. How many ways can you do this? Suppose you are doing a group project with a team of 20 people and you want to pick 4 of the 20 to go to a conference. How many ways can you do this?

7 Binomial Coefficient Identities What's an identity? An equation that is always true. To prove LHS = RHS Use algebraic manipulations of formulas. OR Interpret each side as counting some collection of strings, and then prove a statements about those sets of strings.

8 Symmetry Identity Theorem: Rosen p. 411

9 Symmetry Identity Theorem: Rosen p. 411 Proof 1: Use formula

10 Symmetry Identity Theorem: Rosen p. 411 Proof 1: Use formula Proof 2: Combinatorial interpretation? LHS counts number of binary strings of length n with k ones RHS counts number of binary strings of length n with n-k ones

11 Symmetry Identity Theorem: Rosen p. 411 Proof 1: Use formula Proof 2: Combinatorial interpretation? LHS counts number of binary strings of length n with k ones and n-k zeros RHS counts number of binary strings of length n with n-k ones and k zeros

12 Symmetry Identity Theorem: Rosen p. 411 Proof 1: Use formula Proof 2: Combinatorial interpretation? LHS counts number of binary strings of length n with k ones and n-k zeros RHS counts number of binary strings of length n with n-k ones and k zeros Can match up these two sets by pairing each string with another where 0s, 1s are flipped. This bijection means the two sets have the same size. So LHS = RHS.

13 Pascal's Identity Theorem: Rosen p. 418 Proof 1: Use formula Proof 2: Combinatorial interpretation? LHS counts number of binary strings??? RHS counts number of binary strings???

14 Pascal's Identity Theorem: Rosen p. 418 Proof 2: Combinatorial interpretation? LHS counts number of binary strings of length n+1 that have k ones. RHS counts number of binary strings??? Length n+1 binary strings with k ones

15 Pascal's Identity Theorem: Rosen p. 418 Proof 2: Combinatorial interpretation? LHS counts number of binary strings of length n+1 that have k ones. RHS counts number of binary strings??? Start with 1 Start with 0

16 Pascal's Identity How many length n+1 strings start with 1 and have k ones in total? Rosen p. 418 A. C(n+1, k+1) B. C(n, k) C. C(n, k+1) D. C(n, k-1) E. None of the above. Start with 1 Start with 0

17 Pascal's Identity How many length n+1 strings start with 0 and have k ones in total? Rosen p. 418 A. C(n+1, k+1) B. C(n, k) C. C(n, k+1) D. C(n, k-1) E. None of the above. Start with 1 Start with 0

18 Pascal's Identity Theorem: Rosen p. 418 Proof 2: Combinatorial interpretation? LHS counts number of binary strings of length n+1 that have k ones. RHS counts number of binary strings of length n+1 that have k ones, using two cases Start with 1 Start with 0

19 Pascal's Triangle Pascal s triangle is closely related to binomial coefficients C n, k = n k

20 Pascal's Triangle

21 What's in a name? Why are they called Binomial Coefficients? Binomial: sum of two terms, say x and y. What do powers of binomials look like? (x+y) 4 = (x+y)(x+y)(x+y)(x+y) = (x 2 +2xy+y 2 )(x 2 +2xy+y 2 ) = x 4 +4x 3 y+6x 2 y 2 +4xy 3 +y 4 In general, for (x+y) n A. All terms in the expansion are (some coefficient times) x k y n-k for some k, 0<=k<=n. B. All coefficients in the expansion are integers between 1 and n. C. There is symmetry in the coefficients in the expansion. D. The coefficients of x n and y n are both 1. E. All of the above.

22 Binomial Theorem (x+y) n = (x+y)(x+y) (x+y) Rosen p. 416 = x n + x n-1 y + x n-2 y x k y n-k + + x 2 y n-2 + xy n-1 + y n Number of ways we can choose k of the n factors (to contribute to x) and hence also n-k of the factors (to contribute to y)

23 Binomial Theorem (x+y) n = (x+y)(x+y) (x+y) Rosen p. 416 = x n + x n-1 y + x n-2 y x k y n-k + + x 2 y n-2 + xy n-1 + y n Number of ways we can choose k of the n factors (to contribute to x) and hence also n-k of the factors (to contribute to y) C(n,k) = x n + C(n,1) x n-1 y + + C(n,k) x k y n-k + + C(n,k-1) xy n-1 + y n

24 Binomial Theorem Rosen p. 416 x + y 0 = 1 x + y 1 = 1x + 1y x + y 2 = 1x 2 + 2xy + 1y 2 x + y 3 = 1x 3 + 3x 2 y + 3xy 2 + 1y 3 x + y 4 = 1x 4 + 4x 3 y + 6x 2 y 2 + 4xy 3 + 1y 4 x + y 5 = 1x 5 + 5x 4 y + 10x 3 y x 2 y 3 + 5xy 4 + 1y 5 x + y 6 = 1x 6 + 6x 5 y + 15x 4 y x 3 y x 2 y 4 + 6xy 5 + 1y 6

25 Sum Identity Theorem: Rosen p. 417

26 Sum Identity Theorem: Rosen p. 417 What set does the LHS count? A. Binary strings of length n that have k ones. B. Binary strings of length n that start with 1. C. Binary strings of length n that have any number of ones. D. None of the above.

27 Sum Identity Theorem: Rosen p. 417 Proof : Combinatorial interpretation? LHS counts number of binary strings of length n that have any number of 1s. By sum rule, we can break up the set of binary strings of length n into disjoint sets based on how many 1s they have, then add their sizes. RHS counts number of binary strings of length n. This is the same set so LHS = RHS.

28 Another Counting Problem How many 4 digit strings of digits 0-9 have at least one 0? A B C D. 9 3 E

29 Another Counting Problem How many 4 digit strings of digits 0-9 have at least one 0? All 4 digit strings of 0-9 All 4 digit strings of 1-9

30 Counting using the complement Whenever you see at least in the problem description, that is a clue. Count the entire set first. Then count the complement of the set you are interested in. Subtract the two counts.

31 Counting using the complement Exercise: How many length 4 strings of the digits 0-9 have at least two consecutive digits that are the same?

32 What is recursion? Solving a problem by successively reducing it to the same problem with smaller inputs. Rosen p. 360

33 Recurrences A recurrence relation (also called a recurrence or recursive formula) expresses f(n) in terms of previous values, such as f(n-1), f(n-2), f(n-3). Example: f(n) = 3*f(n-1) + 7 f(1) = 2 start tells us how to find f(n) from f(n-1) also need a base case to tell us where to

34 Some well known recurrences Fibonacci numbers: F 0 = 0, F 1 = 1, for n 2: F n = F n 1 + F n 2 Factorials: 0! = 1, for n 1: n! = n n 1! Summation of integers. S(1) = 1, for n 2: S n = S n 1 + n Rosen P. 158

35 Closed form Summation of integers. Rosen P. 158 S(1) = 1, for n 2: S n = S n 1 + n What is the closed form of this recursion? A. n B. 2 n C. n(n + 1) D. E. n n+1 n 2 2 2

36 Two ways to solve recurrences 1. Guess and Check find a closed form Start with small values of n and look for a pattern. Confirm your guess with a proof by induction. 2. Unravel Start with the general recurrence and keep replacing n with smaller input values. Keep unraveling until you reach the base case.

37 Closed form Summation of integers. Rosen P. 158 S(1) = 1, for n 2: S n = S n 1 + n Guess and check: (induction) Claim: S(n) = n n+1 2 for all n 1.

38 Closed form Summation of integers. Rosen P. 158 S(1) = 1, for n 2: S n = S n 1 + n Guess and check: (induction) Claim: S(n) = n n+1 2 for all n 1. Base Case: S 1 = 1 = Inductive Hypothesis: Suppose that for some k 1, S k = Inductive Step: We want to show that S k + 1 = (k+1)(k+2) 2 k k+1 2

39 Closed form Summation of integers. Rosen P. 158 S(1) = 1, for n 2: S n = S n 1 + n S k + 1 = S k + k + 1 k k + 1 = + k k k+1 +2(k+1) = 2 k + 2 k + 1 = 2

40 Unraveling Solve this recurrence by unraveling: a 1 = 2 a n = 2a n n for n 2

41 Unraveling Solve this recurrence by unraveling: a 1 = 2 a n = 2a n n for n 2 a n = 2a n n = 2 2a n n n = 2 2 a n n + 2 n = 2 2 2a n n n + 2 n = 2 3 a n n + 2 n + 2 n. = 2 k a n k + k 2 n. (k = n 1) = 2 n 1 a 1 + (n 1)2 n = n2 n

42 The Tower of Hanoi How many moves?

43 The Tower of Hanoi Recursive solution: 1) Move the stack of the smallest n-1 disks to an empty pole. 2) Move the largest disk to the remaining empty pole. 3) Move the stack of the smallest n-1 disks to the pole with the largest disk. How many moves? T(n) = # of moves to solve puzzle with n disks

44 Tower of Hanoi: WHEN Recursive solution: 1) Move the stack of the smallest n-1 disks to an empty pole. 2) Move the largest disk to the remaining empty pole. 3) Move the stack of the smallest n-1 disks to the pole with the largest disk. T(n) = # of moves to solve puzzle with n disks Recurrence? A. T(n) = 2T(n-1) B. T(n) = T(n-1) + 1 C. T(n) = n-1 + T(n) D. T(n) = 2T(n-1) + 1 Base case? A. T(1) = 1 B. T(1) = 2 C. T(0) = 0 D. T(2) = 2

45 Tower of Hanoi: WHEN But what's the value of T(n)? n T(n) n Recurrence for T(n): T(n) = 2T(n-1) + 1 T(1) = 1

46 Tower of Hanoi: WHEN But what's the value of T(n)? n T(n) n?? Is there a pattern we can guess? Recurrence for T(n): T(n) = 2T(n-1) + 1 T(1) = 1

47 After guessing, we check (i.e., validate) Tower of Hanoi: WHEN Claim: For each positive int n, T(n) = 2 n -1. Proof by induction on n Recurrence for T(n): T(n) = 2T(n-1) + 1 T(1) = 1 (Base case) If n = 1, then T(n) = 1 (according to the recurrence). Plugging n = 1 into the formula gives T(1) = = 2-1 = 1.

48 Tower of Hanoi: WHEN Claim: For each positive int n, T(n) = 2 n -1. Proof by induction on n Recurrence for T(n): T(n) = 2T(n-1) + 1 T(1) = 1 (Induction step) Suppose n is a positive integer greater than 1 and, as the induction hypothesis, assume that T(n-1) = 2 n-1-1. We need to show that T(n) = 2 n -1. From the recurrence, T(n) = 2 T(n-1) + 1 = 2 ( 2 n-1 1 ) + 1 = 2 n = 2 n 1. by the I.H.

49 Tower of Hanoi: WHEN Another method: UNRAVEL the recurrence: Recurrence for T(n): T(n) = 2T(n-1) + 1 T(1) = 1

Counting with Categories and Binomial Coefficients

Counting with Categories and Binomial Coefficients Counting with Categories and Binomial Coefficients CSE21 Winter 2017, Day 17 (B00), Day 12 (A00) February 22, 2017 http://vlsicad.ucsd.edu/courses/cse21-w17 When sum rule fails Rosen p. 392-394 Let A =

More information

Recursion: Introduction and Correctness

Recursion: Introduction and Correctness Recursion: Introduction and Correctness CSE21 Winter 2017, Day 7 (B00), Day 4-5 (A00) January 25, 2017 http://vlsicad.ucsd.edu/courses/cse21-w17 Today s Plan From last time: intersecting sorted lists and

More information

Counting Strategies: Inclusion-Exclusion, Categories

Counting Strategies: Inclusion-Exclusion, Categories Counting Strategies: Inclusion-Exclusion, Categories Russell Impagliazzo and Miles Jones Thanks to Janine Tiefenbruck http://cseweb.ucsd.edu/classes/sp16/cse21-bd/ May 4, 2016 A scheduling problem In one

More information

Counting. Math 301. November 24, Dr. Nahid Sultana

Counting. Math 301. November 24, Dr. Nahid Sultana Basic Principles Dr. Nahid Sultana November 24, 2012 Basic Principles Basic Principles The Sum Rule The Product Rule Distinguishable Pascal s Triangle Binomial Theorem Basic Principles Combinatorics: The

More information

Recursion and Induction

Recursion and Induction Recursion and Induction Themes Recursion Recurrence Definitions Recursive Relations Induction (prove properties of recursive programs and objects defined recursively) Examples Tower of Hanoi Gray Codes

More information

Advanced Counting Techniques. Chapter 8

Advanced Counting Techniques. Chapter 8 Advanced Counting Techniques Chapter 8 Chapter Summary Applications of Recurrence Relations Solving Linear Recurrence Relations Homogeneous Recurrence Relations Nonhomogeneous Recurrence Relations Divide-and-Conquer

More information

1 Sequences and Summation

1 Sequences and Summation 1 Sequences and Summation A sequence is a function whose domain is either all the integers between two given integers or all the integers greater than or equal to a given integer. For example, a m, a m+1,...,

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

Divide and Conquer. Recurrence Relations

Divide and Conquer. Recurrence Relations Divide and Conquer Recurrence Relations Divide-and-Conquer Strategy: Break up problem into parts. Solve each part recursively. Combine solutions to sub-problems into overall solution. 2 MergeSort Mergesort.

More information

Mathematical Structures Combinations and Permutations

Mathematical Structures Combinations and Permutations Definitions: Suppose S is a (finite) set and n, k 0 are integers The set C(S, k) of k - combinations consists of all subsets of S that have exactly k elements The set P (S, k) of k - permutations consists

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

1 Recursive Algorithms

1 Recursive Algorithms 400 lecture note #8 [ 5.6-5.8] Recurrence Relations 1 Recursive Algorithms A recursive algorithm is an algorithm which invokes itself. A recursive algorithm looks at a problem backward -- the solution

More information

Algorithm Analysis Recurrence Relation. Chung-Ang University, Jaesung Lee

Algorithm Analysis Recurrence Relation. Chung-Ang University, Jaesung Lee Algorithm Analysis Recurrence Relation Chung-Ang University, Jaesung Lee Recursion 2 Recursion 3 Recursion in Real-world Fibonacci sequence = + Initial conditions: = 0 and = 1. = + = + = + 0, 1, 1, 2,

More information

Counting Methods. CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo

Counting Methods. CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo Counting Methods CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures 1 / 48 Need for Counting The problem of counting

More information

Recursion and Induction

Recursion and Induction Recursion and Induction Themes Recursion Recursive Definitions Recurrence Relations Induction (prove properties of recursive programs and objects defined recursively) Examples Tower of Hanoi Gray Codes

More information

Recursion and Induction

Recursion and Induction Recursion and Induction Themes Recursion Recursive Definitions Recurrence Relations Induction (prove properties of recursive programs and objects defined recursively) Examples Tower of Hanoi Gray Codes

More information

Advanced Counting Techniques

Advanced Counting Techniques . All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Advanced Counting

More information

Algorithms: Background

Algorithms: Background Algorithms: Background Amotz Bar-Noy CUNY Amotz Bar-Noy (CUNY) Algorithms: Background 1 / 66 What is a Proof? Definition I: The cogency of evidence that compels acceptance by the mind of a truth or a fact.

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

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence

Section Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence Section 2.4 Section Summary Sequences. Examples: Geometric Progression, Arithmetic Progression Recurrence Relations Example: Fibonacci Sequence Summations Introduction Sequences are ordered lists of elements.

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

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

{ 0! = 1 n! = n(n 1)!, n 1. n! =

{ 0! = 1 n! = n(n 1)!, n 1. n! = Summations Question? What is the sum of the first 100 positive integers? Counting Question? In how many ways may the first three horses in a 10 horse race finish? Multiplication Principle: If an event

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

Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University

Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University U Kang 1 In This Lecture Set concepts and notation Logarithms Summations Recurrence Relations Recursion Induction Proofs

More information

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime. PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

More information

Discrete Mathematics -- Chapter 10: Recurrence Relations

Discrete Mathematics -- Chapter 10: Recurrence Relations Discrete Mathematics -- Chapter 10: Recurrence Relations Hung-Yu Kao ( 高宏宇 ) Department of Computer Science and Information Engineering, National Cheng Kung University First glance at recurrence F n+2

More information

Mathematical Fundamentals

Mathematical Fundamentals Mathematical Fundamentals Sets Factorials, Logarithms Recursion Summations, Recurrences Proof Techniques: By Contradiction, Induction Estimation Techniques Data Structures 1 Mathematical Fundamentals Sets

More information

Sets. A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set.

Sets. A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set. Sets A set is a collection of objects without repeats. The size or cardinality of a set S is denoted S and is the number of elements in the set. If A and B are sets, then the set of ordered pairs each

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

1 The Basic Counting Principles

1 The Basic Counting Principles 1 The Basic Counting Principles The Multiplication Rule If an operation consists of k steps and the first step can be performed in n 1 ways, the second step can be performed in n ways [regardless of how

More information

1. Determine (with proof) the number of ordered triples (A 1, A 2, A 3 ) of sets which satisfy

1. Determine (with proof) the number of ordered triples (A 1, A 2, A 3 ) of sets which satisfy UT Putnam Prep Problems, Oct 19 2016 I was very pleased that, between the whole gang of you, you solved almost every problem this week! Let me add a few comments here. 1. Determine (with proof) the number

More information

Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University

Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University Data Structure Lecture#4: Mathematical Preliminaries U Kang Seoul National University U Kang 1 In This Lecture Set Concepts and Notation Relation Logarithm and Summations Recurrence Relations Recursion

More information

5. Sequences & Recursion

5. Sequences & Recursion 5. Sequences & Recursion Terence Sim 1 / 42 A mathematician, like a painter or poet, is a maker of patterns. Reading Sections 5.1 5.4, 5.6 5.8 of Epp. Section 2.10 of Campbell. Godfrey Harold Hardy, 1877

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

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska

cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska cse547, math547 DISCRETE MATHEMATICS Professor Anita Wasilewska LECTURE 1 INTRODUCTION Course Web Page www.cs.stonybrook.edu/ cse547 The webpage contains: detailed lectures notes slides; very detailed

More information

CS 2110: INDUCTION DISCUSSION TOPICS

CS 2110: INDUCTION DISCUSSION TOPICS CS 110: INDUCTION DISCUSSION TOPICS The following ideas are suggestions for how to handle your discussion classes. You can do as much or as little of this as you want. You can either present at the board,

More information

CSE 21 Practice Exam for Midterm 2 Fall 2017

CSE 21 Practice Exam for Midterm 2 Fall 2017 CSE 1 Practice Exam for Midterm Fall 017 These practice problems should help prepare you for the second midterm, which is on monday, November 11 This is longer than the actual exam will be, but good practice

More information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics I- MCA / III- CS & IS LECTURE NOTES (B. E OF VTU) VTU-EDUSAT Programme-17 Dr. V. Lokesha Professor of Mathematics DEPARTMENT OF MATHEMATICS ACHARYA INSTITUTE OF TECNOLOGY Soldevanahalli,

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

12 Sequences and Recurrences

12 Sequences and Recurrences 12 Sequences and Recurrences A sequence is just what you think it is. It is often given by a formula known as a recurrence equation. 12.1 Arithmetic and Geometric Progressions An arithmetic progression

More information

Some Review Problems for Exam 3: Solutions

Some Review Problems for Exam 3: Solutions Math 3355 Spring 017 Some Review Problems for Exam 3: Solutions I thought I d start by reviewing some counting formulas. Counting the Complement: Given a set U (the universe for the problem), if you want

More information

Quiz 3 Reminder and Midterm Results

Quiz 3 Reminder and Midterm Results Quiz 3 Reminder and Midterm Results Reminder: Quiz 3 will be in the first 15 minutes of Monday s class. You can use any resources you have during the quiz. It covers all four sections of Unit 3. It has

More information

Examples of Finite Sequences (finite terms) Examples of Infinite Sequences (infinite terms)

Examples of Finite Sequences (finite terms) Examples of Infinite Sequences (infinite terms) Math 120 Intermediate Algebra Sec 10.1: Sequences Defn A sequence is a function whose domain is the set of positive integers. The formula for the nth term of a sequence is called the general term. Examples

More information

What we have learned What is algorithm Why study algorithm The time and space efficiency of algorithm The analysis framework of time efficiency Asympt

What we have learned What is algorithm Why study algorithm The time and space efficiency of algorithm The analysis framework of time efficiency Asympt Lecture 3 The Analysis of Recursive Algorithm Efficiency What we have learned What is algorithm Why study algorithm The time and space efficiency of algorithm The analysis framework of time efficiency

More information

Every subset of {1, 2,...,n 1} can be extended to a subset of {1, 2, 3,...,n} by either adding or not adding the element n.

Every subset of {1, 2,...,n 1} can be extended to a subset of {1, 2, 3,...,n} by either adding or not adding the element n. 11 Recurrences A recurrence equation or recurrence counts things using recursion. 11.1 Recurrence Equations We start with an example. Example 11.1. Find a recurrence for S(n), the number of subsets of

More information

CHAPTER 8 Advanced Counting Techniques

CHAPTER 8 Advanced Counting Techniques 96 Chapter 8 Advanced Counting Techniques CHAPTER 8 Advanced Counting Techniques SECTION 8. Applications of Recurrence Relations 2. a) A permutation of a set with n elements consists of a choice of a first

More information

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

INDUCTION AND RECURSION. Lecture 7 - Ch. 4 INDUCTION AND RECURSION Lecture 7 - Ch. 4 4. Introduction Any mathematical statements assert that a property is true for all positive integers Examples: for every positive integer n: n!

More information

Practical Session #3 - Recursions

Practical Session #3 - Recursions Practical Session #3 - Recursions Substitution method Guess the form of the solution and prove it by induction Iteration Method Convert the recurrence into a summation and solve it Tightly bound a recurrence

More information

Divide and Conquer. CSE21 Winter 2017, Day 9 (B00), Day 6 (A00) January 30,

Divide and Conquer. CSE21 Winter 2017, Day 9 (B00), Day 6 (A00) January 30, Divide and Conquer CSE21 Winter 2017, Day 9 (B00), Day 6 (A00) January 30, 2017 http://vlsicad.ucsd.edu/courses/cse21-w17 Merging sorted lists: WHAT Given two sorted lists a 1 a 2 a 3 a k b 1 b 2 b 3 b

More information

Discrete Structures for Computer Science: Counting, Recursion, and Probability

Discrete Structures for Computer Science: Counting, Recursion, and Probability Discrete Structures for Computer Science: Counting, Recursion, and Probability Michiel Smid School of Computer Science Carleton University Ottawa, Ontario Canada michiel@scs.carleton.ca December 18, 2017

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

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

CMSC Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005

CMSC Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005 CMSC-37110 Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005 Instructor: László Babai Ryerson 164 e-mail: laci@cs This exam contributes 20% to your course grade.

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

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH WINTER CSE 20 DISCRETE MATH WINTER 2016 http://cseweb.ucsd.edu/classes/wi16/cse20-ab/ Today's learning goals Explain the steps in a proof by (strong) mathematical induction Use (strong) mathematical induction

More information

Homework 7 Solutions, Math 55

Homework 7 Solutions, Math 55 Homework 7 Solutions, Math 55 5..36. (a) Since a is a positive integer, a = a 1 + b 0 is a positive integer of the form as + bt for some integers s and t, so a S. Thus S is nonempty. (b) Since S is nonempty,

More information

Counting. Spock's dilemma (Walls and mirrors) call it C(n,k) Rosen, Chapter 5.1, 5.2, 5.3 Walls and Mirrors, Chapter 3 10/11/12

Counting. Spock's dilemma (Walls and mirrors) call it C(n,k) Rosen, Chapter 5.1, 5.2, 5.3 Walls and Mirrors, Chapter 3 10/11/12 Counting Rosen, Chapter 5.1, 5.2, 5.3 Walls and Mirrors, Chapter 3 Spock's dilemma (Walls and mirrors) n n planets in the solar system n can only visit k

More information

2 - Strings and Binomial Coefficients

2 - Strings and Binomial Coefficients November 14, 2017 2 - Strings and Binomial Coefficients William T. Trotter trotter@math.gatech.edu Basic Definition Let n be a positive integer and let [n] = {1, 2,, n}. A sequence of length n such as

More information

Chapter12. Relations, Functions, and Induction

Chapter12. Relations, Functions, and Induction . Relations. Functions. Seuences.4 Mathematical Induction.5 Recurrence Relations Chapter Review Chapter Relations, Functions, and Induction In this chapter we introduce the concepts of a relation and a

More information

Sums and Products. a i = a 1. i=1. a i = a i a n. n 1

Sums and Products. a i = a 1. i=1. a i = a i a n. n 1 Sums and Products -27-209 In this section, I ll review the notation for sums and products Addition and multiplication are binary operations: They operate on two numbers at a time If you want to add or

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

Counting Strategies: Inclusion/Exclusion, Categories

Counting Strategies: Inclusion/Exclusion, Categories Counting Strategies: Inclusion/Exclusion, Categories CSE21 Winter 2017, Day 16 (B00), Day 11 (A00) February 17, 2017 http://vlsicad.ucsd.edu/courses/cse21-w17 Sum rule For any disjoint sets, A and B: A

More information

Equivalence of Propositions

Equivalence of Propositions Equivalence of Propositions 1. Truth tables: two same columns 2. Sequence of logical equivalences: from one to the other using equivalence laws 1 Equivalence laws Table 6 & 7 in 1.2, some often used: Associative:

More information

Mathematical Background

Mathematical Background Chapter 1 Mathematical Background When we analyze various algorithms in terms of the time and the space it takes them to run, we often need to work with math. That is why we ask you to take MA 2250 Math

More information

CS Analysis of Recursive Algorithms and Brute Force

CS Analysis of Recursive Algorithms and Brute Force CS483-05 Analysis of Recursive Algorithms and Brute Force Instructor: Fei Li Room 443 ST II Office hours: Tue. & Thur. 4:30pm - 5:30pm or by appointments lifei@cs.gmu.edu with subject: CS483 http://www.cs.gmu.edu/

More information

Mathathon Round 1 (2 points each)

Mathathon Round 1 (2 points each) Mathathon Round ( points each). A circle is inscribed inside a square such that the cube of the radius of the circle is numerically equal to the perimeter of the square. What is the area of the circle?

More information

Binomial Coefficients MATH Benjamin V.C. Collins, James A. Swenson MATH 2730

Binomial Coefficients MATH Benjamin V.C. Collins, James A. Swenson MATH 2730 MATH 2730 Benjamin V.C. Collins James A. Swenson Binomial coefficients count subsets Definition Suppose A = n. The number of k-element subsets in A is a binomial coefficient, denoted by ( n k or n C k

More information

1 Examples of Weak Induction

1 Examples of Weak Induction More About Mathematical Induction Mathematical induction is designed for proving that a statement holds for all nonnegative integers (or integers beyond an initial one). Here are some extra examples of

More information

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

CSC2100B Data Structures Analysis

CSC2100B Data Structures Analysis CSC2100B Data Structures Analysis Irwin King king@cse.cuhk.edu.hk http://www.cse.cuhk.edu.hk/~king Department of Computer Science & Engineering The Chinese University of Hong Kong Algorithm An algorithm

More information

MATH 10B METHODS OF MATHEMATICS: CALCULUS, STATISTICS AND COMBINATORICS

MATH 10B METHODS OF MATHEMATICS: CALCULUS, STATISTICS AND COMBINATORICS MATH 10B METHODS OF MATHEMATICS: CALCULUS, STATISTICS AND COMBINATORICS Lior Pachter and Lawrence C. Evans Department of Mathematics University of California Berkeley, CA 94720 January 21, 2013 Lior Pachter

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

3.1 Induction: An informal introduction

3.1 Induction: An informal introduction Chapter 3 Induction and Recursion 3.1 Induction: An informal introduction This section is intended as a somewhat informal introduction to The Principle of Mathematical Induction (PMI): a theorem that establishes

More information

Recurrence Relations and Recursion: MATH 180

Recurrence Relations and Recursion: MATH 180 Recurrence Relations and Recursion: MATH 180 1: Recursively Defined Sequences Example 1: The sequence a 1,a 2,a 3,... can be defined recursively as follows: (1) For all integers k 2, a k = a k 1 + 1 (2)

More information

Trees/Intro to counting

Trees/Intro to counting Trees/Intro to counting Russell Impagliazzo and Miles Jones Thanks to Janine Tiefenbruck http://cseweb.ucsd.edu/classes/sp16/cse21-bd/ April 29, 2016 Equivalence between rooted and unrooted trees Goal

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

Induction and Recursion

Induction and Recursion . All rights reserved. Authorized only for instructor use in the classroom. No reproduction or further distribution permitted without the prior written consent of McGraw-Hill Education. Induction and Recursion

More information

Sec$on Summary. Sequences. Recurrence Relations. Summations. Ex: Geometric Progression, Arithmetic Progression. Ex: Fibonacci Sequence

Sec$on Summary. Sequences. Recurrence Relations. Summations. Ex: Geometric Progression, Arithmetic Progression. Ex: Fibonacci Sequence Section 2.4 Sec$on Summary Sequences Ex: Geometric Progression, Arithmetic Progression Recurrence Relations Ex: Fibonacci Sequence Summations 2 Introduc$on Sequences are ordered lists of elements. 1, 2,

More information

CSC236H Lecture 2. Ilir Dema. September 19, 2018

CSC236H Lecture 2. Ilir Dema. September 19, 2018 CSC236H Lecture 2 Ilir Dema September 19, 2018 Simple Induction Useful to prove statements depending on natural numbers Define a predicate P(n) Prove the base case P(b) Prove that for all n b, P(n) P(n

More information

CSC B36 Additional Notes sample induction and well-ordering proofs. c Nick Cheng

CSC B36 Additional Notes sample induction and well-ordering proofs. c Nick Cheng CSC B36 Additional Notes sample induction and well-ordering proofs c Nick Cheng Introduction We present examples of induction proofs here in hope that they can be used as models when you write your own

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

MAT115A-21 COMPLETE LECTURE NOTES

MAT115A-21 COMPLETE LECTURE NOTES MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes

More information

CS 5321: Advanced Algorithms - Recurrence. Acknowledgement. Outline. Ali Ebnenasir Department of Computer Science Michigan Technological University

CS 5321: Advanced Algorithms - Recurrence. Acknowledgement. Outline. Ali Ebnenasir Department of Computer Science Michigan Technological University CS 5321: Advanced Algorithms - Recurrence Ali Ebnenasir Department of Computer Science Michigan Technological University Acknowledgement Eric Torng Moon Jung Chung Charles Ofria Outline Motivating example:

More information

MODEL ANSWERS TO THE THIRD HOMEWORK. 1. We prove this result by mathematical induction. Let P (n) be the statement that

MODEL ANSWERS TO THE THIRD HOMEWORK. 1. We prove this result by mathematical induction. Let P (n) be the statement that MODEL ANSWERS TO THE THIRD HOMEWORK 1 We prove this result by mathematical induction Let P (n) be the statement that 1 + + 3 + + (n 1) + n n(n + 1)(n + 1) We have to prove that P (1) holds and that P (k)

More information

SERIES

SERIES SERIES.... This chapter revisits sequences arithmetic then geometric to see how these ideas can be extended, and how they occur in other contexts. A sequence is a list of ordered numbers, whereas a series

More information

Contents. Counting Methods and Induction

Contents. Counting Methods and Induction Contents Counting Methods and Induction Lesson 1 Counting Strategies Investigations 1 Careful Counting... 555 Order and Repetition I... 56 3 Order and Repetition II... 569 On Your Own... 573 Lesson Counting

More information

Recurrence Relations

Recurrence Relations Recurrence Relations Winter 2017 Recurrence Relations Recurrence Relations A recurrence relation for the sequence {a n } is an equation that expresses a n in terms of one or more of the previous terms

More information

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School

Basic counting techniques. Periklis A. Papakonstantinou Rutgers Business School Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED

More information

Module 9: Mathematical Induction

Module 9: Mathematical Induction Module 9: Mathematical Induction Module 9: Announcements There is a chance that this Friday s class may be cancelled. Assignment #4 is due Thursday March 16 th at 4pm. Midterm #2 Monday March 20 th, 2017

More information

CHAPTER 4 SOME METHODS OF PROOF

CHAPTER 4 SOME METHODS OF PROOF CHAPTER 4 SOME METHODS OF PROOF In all sciences, general theories usually arise from a number of observations. In the experimental sciences, the validity of the theories can only be tested by carefully

More information

Analysis of Algorithm Efficiency. Dr. Yingwu Zhu

Analysis of Algorithm Efficiency. Dr. Yingwu Zhu Analysis of Algorithm Efficiency Dr. Yingwu Zhu Measure Algorithm Efficiency Time efficiency How fast the algorithm runs; amount of time required to accomplish the task Our focus! Space efficiency Amount

More information

Announcements. CSE 321 Discrete Structures. Counting. Counting Rules. Important cases of the Product Rule. Counting examples.

Announcements. CSE 321 Discrete Structures. Counting. Counting Rules. Important cases of the Product Rule. Counting examples. Announcements CSE 321 Discrete Structures Winter 2008 Lecture 16 Counting Readings Friday, Wednesday: Counting 6 th edition: 5.1, 5.2, 5.3, 5 th edition: 4.1, 4.2. 4.3 Lecture 16 video will be posted on

More information

Principles of Counting. Debdeep Mukhopadhyay IIT Madras

Principles of Counting. Debdeep Mukhopadhyay IIT Madras Principles of Counting Debdeep Mukhopadhyay IIT Madras Part-I The Sum Rule Two tasks T 1 and T 2 are to be performed. If the task T 1 can be performed in m different ways and if the task T 2 can be performed

More information

CS 5321: Advanced Algorithms Analysis Using Recurrence. Acknowledgement. Outline

CS 5321: Advanced Algorithms Analysis Using Recurrence. Acknowledgement. Outline CS 5321: Advanced Algorithms Analysis Using Recurrence Ali Ebnenasir Department of Computer Science Michigan Technological University Acknowledgement Eric Torng Moon Jung Chung Charles Ofria Outline Motivating

More information

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Review for the Final! Hyunyoung Lee! 1 Final Exam Section 501 (regular class time 8:00am) Friday, May 8, starting at 1:00pm in our classroom!! Section 502 (regular

More information

Mathematical Induction. How does discrete math help us. How does discrete math help (CS160)? How does discrete math help (CS161)?

Mathematical Induction. How does discrete math help us. How does discrete math help (CS160)? How does discrete math help (CS161)? How does discrete math help us Helps create a solution (program) Helps analyze a program How does discrete math help (CS160)? Helps create a solution (program) q Logic helps you understand conditionals

More information

Combinatorics. Problem: How to count without counting.

Combinatorics. Problem: How to count without counting. Combinatorics Problem: How to count without counting. I 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

Fibonacci numbers. Chapter The Fibonacci sequence. The Fibonacci numbers F n are defined recursively by

Fibonacci numbers. Chapter The Fibonacci sequence. The Fibonacci numbers F n are defined recursively by Chapter Fibonacci numbers The Fibonacci sequence The Fibonacci numbers F n are defined recursively by F n+ = F n + F n, F 0 = 0, F = The first few Fibonacci numbers are n 0 5 6 7 8 9 0 F n 0 5 8 55 89

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