Counting I: Bijection and Choice Trees

Slides:



Advertisements
Similar presentations
Counting I: Choice Trees and Correspondences Great Theoretical Ideas In Computer Science Anupam Gupta Danny Sleator CS Fall 2010 Lecture 7Sep 14,
Advertisements

Counting. Counting = Determining the number of elements of a finite set.
4/16/2015 MATH 224 – Discrete Mathematics Counting Basic counting techniques are important in many aspects of computer science. For example, consider the.
Counting Chapter 6 With Question/Answer Animations.
Counting Chapter 6 With Question/Answer Animations.
Great Theoretical Ideas in Computer Science.
Algebraic Structures: Group Theory II
Discrete Structures & Algorithms Counting Counting I: One-To-One Correspondence and Choice Trees.
Discrete Structures & Algorithms More Counting. + + ( ) + ( ) = ? Counting II: Recurring Problems and Correspondences.
Great Theoretical Ideas in Computer Science.
Counting II: Recurring Problems And Correspondences Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 10Feb 12, 2004Carnegie.
Counting I: One To One Correspondence and Choice Trees Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 9Feb 10,
Counting II: Pascal, Binomials, and Other Tricks Great Theoretical Ideas In Computer Science A. Gupta D. Sleator CS Fall 2010 Lecture 8Sept. 16,
Recursive Definitions Rosen, 3.4 Recursive (or inductive) Definitions Sometimes easier to define an object in terms of itself. This process is called.
Cantor’s Legacy: Infinity And Diagonalization Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 25Apr 13, 2004Carnegie.
CompSci 102 Discrete Math for Computer Science March 22, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
4. Counting 4.1 The Basic of Counting Basic Counting Principles Example 1 suppose that either a member of the faculty or a student in the department is.
Set, Combinatorics, Probability & Number Theory Mathematical Structures for Computer Science Chapter 3 Copyright © 2006 W.H. Freeman & Co.MSCS Slides Set,
Basic Counting Lecture 12: Oct 28. This Lecture We will study some basic rules for counting. Sum rule, product rule, generalized product rule Permutations,
Basic Counting. This Lecture We will study some basic rules for counting. Sum rule, product rule, generalized product rule Permutations, combinations.
Chapter 6 With Question/Answer Animations 1. Chapter Summary The Basics of Counting The Pigeonhole Principle Permutations and Combinations Binomial Coefficients.
Fall 2002CMSC Discrete Structures1 One, two, three, we’re… Counting.
Great Theoretical Ideas in Computer Science.
The Basics of Counting Section 6.1.
COMPSCI 102 Discrete Mathematics for Computer Science.
Discrete Mathematics for Computer Science. + + ( ) + ( ) = ? Counting II: Recurring Problems and Correspondences Chapter 9 slides 1-54.
Great Theoretical Ideas in Computer Science.
1 Counting by Mapping Lecture 15: Nov 4 A B …… f.
CompSci 102 Discrete Math for Computer Science March 20, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Great Theoretical Ideas in Computer Science.
Counting II: Recurring Problems And Correspondences Great Theoretical Ideas In Computer Science John LaffertyCS Fall 2005 Lecture 7Sept 20, 2005Carnegie.
Counting I: One To One Correspondence and Choice Trees Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 9Feb 10,
1 Melikyan/DM/Fall09 Discrete Mathematics Ch. 7 Functions Instructor: Hayk Melikyan Today we will review sections 7.3, 7.4 and 7.5.
Counting II: Recurring Problems And Correspondences Great Theoretical Ideas In Computer Science V. AdamchikCS Spring 2006 Lecture 6Feb 2, 2005Carnegie.
CS Lecture 8 Developing Your Counting Muscles.
2/24/20161 One, two, three, we’re… Counting. 2/24/20162 Basic Counting Principles Counting problems are of the following kind: “How many different 8-letter.
Counting I: One To One Correspondence and Choice Trees Great Theoretical Ideas In Computer Science John LaffertyCS Fall 2005 Lecture 6Sept 15,
Section Basic Counting Principles: The Product Rule The Product Rule: A procedure can be broken down into a sequence of two tasks. There are n 1.
CS Lecture 6 How To Count Without Counting.
CS 104: Discrete Mathematics
Section 6.3. Section Summary Permutations Combinations.
The Pigeonhole Principle
Introduction to Discrete Mathematics
Developing Your Counting Muscles
Permutations and Combinations
CSC 321: Data Structures Fall 2015 Counting and problem solving
CSE15 Discrete Mathematics 04/19/17
Chapter 5, Section 5.1 The Basics of Counting
COCS DISCRETE STRUCTURES
CSC 321: Data Structures Fall 2016 Counting and proofs
Great Theoretical Ideas In Computer Science
Counting Chapter 6 With Question/Answer Animations
CS100: Discrete structures
COUNTING AND PROBABILITY
Counting I: One-To-One Correspondence and Choice Trees
Basic Counting.
More Counting A B … f Lecture 16: Nov 9.
CSC 321: Data Structures Fall 2018 Counting and proofs
One-to-One and Onto, Inverse Functions
Counting Discrete Mathematics.
Basic Counting Lecture 9: Nov 5, 6.
Permutations and Combinations
Counting III: Pascal’s Triangle, Polynomials, and Vector Programs
Counting II: Recurring Problems And Correspondences
Great Theoretical Ideas in Computer Science
Representations of Integers
Counting Elements of Disjoint Sets: The Addition Rule
Counting II: Recurring Problems And Correspondences
Counting I: Choice Trees and Correspondences
Mathematical Induction II
Presentation transcript:

Counting I: Bijection and Choice Trees Great Theoretical Ideas In Computer Science Victor Adamchik CS 15-251 Spring 2006 Lecture 5 Jan 31, 2006 Carnegie Mellon University Counting I: Bijection and Choice Trees

Not everything that can be counted counts, and not everything that counts can be counted. A. Einstein

If I have 14 teeth on the top and 12 teeth on the bottom, how many teeth do I have in all?

How many seats in this auditorium? Hint: Count without counting!

Addition Rule Let A and B be two disjoint finite sets. The size of AB is the sum of the size of A and the size of B.

Corollary (by induction) Let A1, A2, A3, …, An be disjoint, finite sets.

Suppose I roll a white die and a black die.

S  Set of all outcomes where the dice show different values. S = ? T  set of outcomes where the two dice agree. Two ways of counting… |S| =

S  Set of all outcomes where the dice show different values. S = ? T  set of outcomes where the two dice agree.

S  Set of all outcomes where the black die shows a smaller number than the white die. S = ? Ai  set of outcomes where the black die says i and the white die says something larger.

S  Set of all outcomes where the black die shows a smaller number than the white die. S = ? L  set of all outcomes where the black die shows a larger number than the white die. S + L = 30 It is clear by symmetry that S = L. Therefore S = 15

It is clear by symmetry that S = L.

Pinning down the idea of symmetry by exhibiting a correspondence. Let’s put each outcome in S in correspondence with an outcome in L by swapping the color of the dice. S L

Pinning down the idea of symmetry by exhibiting a correspondence. Let’s put each outcome in S in correspondence with an outcome in L by swapping the color of the dice. Each outcome in S gets matched with exactly one outcome in L, with none left over. Thus: S = L.

Let f:A®B be a function from a set A to a set B. What is a function??? Read 21-127’s textbook, ch. 6

Let f:A®B be a function from a set A to a set B. f is 1-1 (or injective) if and only if x,yÎA, x ¹ y Þ f(x) ¹ f(y) f is onto (or surjective) if and only if zÎB xÎA f(x) = z There Exists For Every

 1-1 f:A®B Þ A £ B A B

 onto f:A®B Þ A  B A B

 bijection f:A®B Þ A = B

1-1 Onto Correspondence (just “correspondence” for short) A B

Correspondence Principle If two finite sets can be placed into 1-1 onto correspondence, then they have the same size.

Correspondence Principle If two finite sets can be placed into 1-1 onto correspondence, then they have the same size. It’s one of the most important mathematical ideas of all time!

Question: How many n-bit sequences are there? 000000  0 000001  1 000010  2 000011  3 ... 1…11111  2n-1 2n sequences

S = a,b,c,d,e has many subsets. a, a,b, a,d,e, a,b,c,d,e, e, Ø, … The empty set is a set with all the rights and privileges pertaining thereto.

1 means “TAKE IT” 0 means “LEAVE IT” Question: How many subsets can be formed from the elements of a 5-element set? a b c d e 1 b c e 1 means “TAKE IT” 0 means “LEAVE IT”

Question: How many subsets can be formed from the elements of a 5-element set? 1 Each subset corresponds to a 5-bit sequence (using the “take it or leave it” code)

a1 a2 a3 … an b1 b2 b3 bn f(b) = ai | bi=1  S = a1, a2, a3,…, an b = b1b2b3…bn a1 a2 a3 … an b1 b2 b3 bn f(b) = ai | bi=1 

a1 a2 a3 … an b1 b2 b3 bn f(b) = ai | bi=1  f is 1-1: Any two distinct binary sequences b and b’ have a position i at which they differ. Hence, f(b) is not equal to f(b’) because they disagree on element ai.

a1 a2 a3 … an b1 b2 b3 bn f(b) = ai | bi=1  f is onto: Let S be a subset of {a1,…,an}. Let bk = 1 if ak in S; bk = 0 otherwise. f(b1b2…bn) = S.

The number of subsets of an n-element set is 2n.

I own 3 beanies and 2 ties. How many different ways can I dress up in a beanie and a tie?

Choice Tree A choice tree is a rooted, directed tree with an object called a “choice” associated with each edge and a label on each leaf.

A choice tree provides a “choice tree representation” of a set S, if Each leaf label is in S No two leaf labels are the same

Choice Tree for 2n n-bit sequences 1 We can use a “choice tree” to represent the construction of objects of the desired type.

2n n-bit sequences 1 000 001 010 011 100 101 110 111 Label each leaf with the object constructed by the choices along the path to the leaf.

1 2 choices for first bit X 2 choices for second bit X 2 choices for third bit … X 2 choices for the nth

We will now combine the correspondence principle with the leaf counting lemma to make a powerful counting rule for choice tree representation.

Product Rule IF S has a choice tree representation with P1 possibilities for the first choice, P2 for the second, and so on, THEN there are P1P2P3…Pn objects in S

Product Rule Suppose that all objects of a type S can be constructed by a sequence of choices with P1 possibilities for the first choice, P2 for the second, and so on. IF 1) Each sequence of choices constructs an object of type S AND 2) No two different sequences create the same object THEN there are P1P2P3…Pn objects of type S.

How many different orderings of deck with 52 cards? What type of object are we making? Ordering of a deck Construct an ordering of a deck by a sequence of 52 choices: 52 possible choices for the first card; 51 possible choices for the second card; 50 possible choices for the third card; … 1 possible choice for the 52cond card.

How many different orderings of deck with 52 cards? By the product rule: 52 * 51 * 50 * … * 3 * 2 * 1 = 52! 52 “factorial” orderings

The number of permutations of n distinct objects is n! A permutation or arrangement of n objects is an ordering of the objects. The number of permutations of n distinct objects is n!

How many sequences of 7 letters are there? 267

How many sequences of 7 letters contain at least two of the same letter? 267 - 26*25*24*23*22*21*20

Sometimes it is easiest to count the number of objects with property Q, by counting the number of objects that do not have property Q.

Ordered Versus Unordered From a set of {1,2,3} how many ordered pairs can be formed? How many unordered pairs?

Ordered Versus Unordered From a deck of 52 cards how many ordered pairs can be formed? 52 * 51 How many unordered 5 card hands? pairs? 52*51 / 2  divide by overcount

A combination or choice of r out of n objects is an (unordered) set of r of the n objects. The number of r combinations of n objects: n choose r

The number of subsets of size r that can be formed from an n-element set is:

How many 8 bit sequences have two 0’s and six 1’s? 1) Choose the set of 2 positions to put the 0’s. The 1’s are forced. 2) Choose the set of 6 positions to put the 1’s. The 0’s are forced.

How many 8 bit sequences have two 0’s and six 1’s? Tempting, but incorrect: 8 ways to place first 0 times 7 ways to place second 0 Violates condition 2 of product rule! Choosing position i for the first 0 and then position j for the second 0 gives the same sequence as choosing position j for the first 0 and position i for the second.

How many hands have at least 3 aces?

How many hands have at least 3 aces? How many hands have exactly 3 aces? How many hands have exactly 4 aces? 4512 + 48 = 4560

At least one of the two counting arguments is not correct. 4704  4560 At least one of the two counting arguments is not correct.

Four different sequences of choices produce the same hand A A A A K A A A  A K A A A A K A A A A K

1) Choose 3 of 4 aces 2) Choose 2 non-ace cards A Q A A K The aces came from the first choice and the non-aces came from the second choice.

1) Choose 4 of 4 aces 2) Choose 1 non-ace A A A A K The aces came from the first choice and the non-ace came from the second choice.

Study Bee Correspondence Principle Choice Tree Product Rule If two finite sets can be placed into 1-1 onto correspondence, then they have the same size Choice Tree Product Rule two conditions Counting by complementing it’s sometimes easier to count the “opposite” of something Binomial coefficient Number of r sets of an n set Study Bee