Lecture 18 6.5 & 6.6 Inclusion-Exclusion. 6.5 Inclusion-Exclusion A AB U It’s simply a matter of not over-counting the blue area in the intersection.

Slides:



Advertisements
Similar presentations
THE WELL ORDERING PROPERTY Definition: Let B be a set of integers. An integer m is called a least element of B if m is an element of B, and for every x.
Advertisements

Inclusion-Exclusion Rosen 6.5 & 6.6
7.6 Applications of Inclusion/Exclusion Problem: Find the number of elements in a set that have none of n properties P1, P2,.. Pn.
7.5 Inclusion/Exclusion. Definition and Example- 2 sets |A  B| =|A| + |B| - |A ∩ B| Ex1: |A|=9, |B|=11, |A∩B|=5, |A  B| = ?
6.1 Vector Spaces-Basic Properties. Euclidean n-space Just like we have ordered pairs (n=2), and ordered triples (n=3), we also have ordered n-tuples.
Recursive Definitions and Structural Induction
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Lecture 17 Generating Functions. Recap Generating functions are defined by a sequence as follows: Thus: For every sequence there a generating function.
Week 21 Basic Set Theory A set is a collection of elements. Use capital letters, A, B, C to denotes sets and small letters a 1, a 2, … to denote the elements.
Induction and recursion
Discrete Mathematics Lecture 4 Harper Langston New York University.
Sequence A list of objects arranged in a particular order.
Introduction to Proofs Goals 1.Introduce notion of proof & basic proof methods. 2.Distinguish between correct & incorrect arguments 3.Understand & construct.
CSE115/ENGR160 Discrete Mathematics 03/29/11 Ming-Hsuan Yang UC Merced 1.
1 Strong Mathematical Induction. Principle of Strong Mathematical Induction Let P(n) be a predicate defined for integers n; a and b be fixed integers.
Induction and recursion
Operations on Sets – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Operations on Sets Reading: Kolman, Section 1.2.
Chapter 2 The Basic Concepts of Set Theory © 2008 Pearson Addison-Wesley. All rights reserved.
This section will discuss the symbolism and concepts of set theory
Induction and recursion
Discrete Mathematics, 1st Edition Kevin Ferland
CSE 311 Foundations of Computing I Lecture 15 Recursive Definitions and Structural Induction Autumn 2011 CSE 3111.
Section 5.3. Section Summary Recursively Defined Functions Recursively Defined Sets and Structures Structural Induction.
Binomial Coefficients, Inclusion-exclusion principle
Mathematical Induction II Lecture 21 Section 4.3 Mon, Feb 27, 2006.
1 ENM 503 Block 1 Algebraic Systems Lesson 2 – The Algebra of Sets The Essence of Sets What are they?
April 14, 2015Applied Discrete Mathematics Week 10: Equivalence Relations 1 Properties of Relations Definition: A relation R on a set A is called transitive.
1 Closures of Relations: Transitive Closure and Partitions Sections 8.4 and 8.5.
CS201: Data Structures and Discrete Mathematics I
CompSci 102 Discrete Math for Computer Science
SECTION 2-3 Set Operations and Cartesian Products Slide
Section 3.3: Mathematical Induction Mathematical induction is a proof technique that can be used to prove theorems of the form:  n  Z +,P(n) We have.
CompSci 102 Discrete Math for Computer Science March 1, 2012 Prof. Rodger Slides modified from Rosen.
Chapter 2 With Question/Answer Animations. Section 2.1.
Rosen 1.6, 1.7. Basic Definitions Set - Collection of objects, usually denoted by capital letter Member, element - Object in a set, usually denoted by.
Introduction to Set theory. Ways of Describing Sets.
Ch. 2 Basic Structures Section 1 Sets. Principles of Inclusion and Exclusion | A  B | = | A | + | B | – | A  B| | A  B  C | = | A | + | B | + | C.
Snick  snack Supplement: Worked Set Proofs Based on work by Meghan Allen.
1 INFO 2950 Prof. Carla Gomes Module Induction Rosen, Chapter 4.
Discrete Mathematics Set.
MAT 2720 Discrete Mathematics Section 2.2 More Methods of Proof Part II
Functions (Mappings). Definitions A function (or mapping)  from a set A to a set B is a rule that assigns to each element a of A exactly one element.
Mathematical Induction Section 5.1. Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If.
Mathematical Induction
Chapter 5. Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder: 1.We can reach the first rung of the ladder. 2.If we can reach.
1 Set Theory Second Part. 2 Disjoint Set let A and B be a set. the two sets are called disjoint if their intersection is an empty set. Intersection of.
Induction Practice CS1050. Prove that whenever n is a positive integer. Proof: Basis Case: Let n = 1, then.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
ICS 253: Discrete Structures I Counting and Applications King Fahd University of Petroleum & Minerals Information & Computer Science Department.
Section 9.1. Section Summary Relations and Functions Properties of Relations Reflexive Relations Symmetric and Antisymmetric Relations Transitive Relations.
Section 6.1 Set and Set Operations. Set: A set is a collection of objects/elements. Ex. A = {w, a, r, d} Sets are often named with capital letters. Order.
Introduction to Proofs Goals 1.Introduce notion of proof & basic proof methods. 2.Distinguish between correct & incorrect arguments 3.Understand & construct.
What is Probability? Quantification of uncertainty.
Advanced Algorithms Analysis and Design
Set Operations Section 2.2.
Copyright © Cengage Learning. All rights reserved.
CHAPTER 1 - Sets and Intervals
15.1 Venn Diagrams.
Lecture 3.2: Induction, and Strong Induction
CHAPTER 1 - Sets and Intervals
Lecture 3.2: Induction and Strong Induction (contd.)
CSE 321 Discrete Structures
Lecture 3.2: Induction, and Strong Induction
Lecture 3.2: Induction, and Strong Induction
Applications of Inclusion-Exclusion: Selected Exercises
Advanced Analysis of Algorithms
Mathematical Induction
Counting Elements of Disjoint Sets: The Addition Rule
Counting Elements of Disjoint Sets: The Addition Rule
Mathematical Induction II
Presentation transcript:

Lecture & 6.6 Inclusion-Exclusion

6.5 Inclusion-Exclusion A AB U It’s simply a matter of not over-counting the blue area in the intersection.

Now three Sets A B C U Image a blue circle has area 4. The intersections between 2 circles have area 2 and the intersection between three circles 1. What is the total area covered? A=4+4+4 – = 12 – = 7. area = 2-1=1 area = 1 area = 4-3=1

General Case Proof: We show that each element is counted exactly once. Assume element ‘a’ is in r sets out of the n sets A1,...,An. -The first term counts ‘a’ r-times=C(r,1). -The second term counts ‘a’ -C(r,2) times (there are C(r,2) pairs in a set of r elements). -The k’th term counts ‘a’ -C(r,k) times (there are C(r,k) k-subsets in a set of r elements) If k=r then there are precisely (-1)^(r+1) C(r,r) terms. - For k>r ‘a’ is not in the intersection: it is counted 0 times. Total: C(r,1)-C(r,2)+...+(-1)^(r+1)C(r,r) Now use: to show that each element is counted exactly once.

Applications of Incl.-Excl. We can use inclusion/exclusion to count the number of members of a set that do not have a bunch of properties: P1,P2,...,Pn. Call N(Pi,Pj,Pk,...) the number of elements of a set that do have properties Pi, Pj, Pk,.... and N the total number of elements in the set. By inclusion/exclusion we then have: Theorem: Let Ai be the subset of elements of a set A that has property Pi. The number of elements in a set A that do not have properties P1,...Pn is given then by:

A Picture A B C U

Examples Compute the number of solutions to x1+x2+x3=11 where x1,x2,x3 non-negative integers and x1 <=3, x2<=4, x4<=6. P1: x1 > 3 P2: x2 > 4 P3: x3 > 6 The solution must have non of the properties P1,P2,P3.  The solution of a problem x1+x2+x3=11 with constraints x1 > 3 is solved as follows: x1 x2 x3 7 more balls 4 balls in basket x1 already. Total number of ways: C(7+3-1,7)=36 Therefore: N-N(P1)-N(P2)-N(P3)+N(P1,P2)+N(P2,P3)+N(P1,P3)-N(P1,P2,P3) C(11+3-1,11) – C(7+3-1,7) – C(6+3-1,6)... – 0.

Connection with De Morgan’s law So we have 2 ways to solve the last example: x1+x2+x3 = 11 such that non of the following properties hold: P1: x1 > 3 P2: x2 > 4 P3: x3 > 6 or x1+x2+x3=11 such all of the following properties hold: Q1=NOT P1: 0<x1<=3 Q2=NOT P2: 0<x2<=4 Q3=NOT P3: 0<x3<=6 Sometimes this is easier to compute.

Number of Onto-Functions A B f y x There is no element without incoming arrows Onto or surjective functions: A function f from A to B is onto if for every element b in B there is an element a in A with f(a)=b. If we have m elements in A and n in B, how many onto functions are there?  We want all yi in the range of the function f. Call Pi the property that yi is not in the range of the the function f. Then we are looking for the number of functions that has none of the properties P1,...,Pn

Number of Onto-Functions A B f y x There is no element without incoming arrows N-N(P1)-N(P2)... + N(P1,P2) -...+(-1)^n N(P1,...,Pn). N: number of function from A  B: n^m N(Pi): number of functions that do not have y1 in its range: (n-1)^m. There are n=C(n,1) such terms. N(Pi,Pj): (n-2)^m with C(n,2) terms. Total: n^m – C(n,1)(n-1)^m + C(n,2)(n-2)^m –...+(-1)^(n-1)C(n,n-1)1^m.

Derangements A derangement: is a permutation that leaves non of the elements in its place. Example: (3,2,1) is not a derangement, but (2,3,1) is one. Then: how many derangements are there of a set of n elements. This is the answer to the Hatcheck problem: If n people check in their hats and the employee randomly returns hats back to people: what is the probability no-one gets their own hat back:  P = number of derangements of n / total number of permutations = Dn / n!

Derangements A B permutation A permutation is a one-to-one correspondence of a set A with n elements to a B set n elements. There are n! such functions. Call Pi the property that xi is mapped to yi at the same “position”. Then the total number of derangements is the number of permutation that do not have properties P1,P2,P3,...Pn. Example: (1,2,3) A1: (1,2,3) & (1,3,2) A2: (1,2,3) & (3,2,1) A3: (1,2,3) & (2,1,3) A12: (1,2,3) A13: (1,2,3) A23: (1,2,3) A123: (1,2,3) total = 6-3x2+3x1-1=2 namely: (3,1,2) and (2,3,1)

Derangements More generally we have: N(Pi) = (n-1)! and there are C(1,n) such terms N(Pi,Pj) = (n-2)! and there are C(n,2) such terms. Total: Dn = n! – C(n,1)(n-1)! + C(n,2)(n-2)! (-1)^n C(n,n) (n-n)! = n! – [n!/1!(n-1)!] (n-1)! + [n!/2!(n-2)!](n-2)!... = n!(1-1/1! + 1/2! -1/3!+...+(-1)^n 1/n!) P(hatcheck) = 1-1/1!+1/2!-...(-1)^n1/n! = if n is large. so even if 1M people check in their hat there is a probability of that no-one gets there hat returned correctly.

Excercises On White Board.

THE END... Next time we will do a review of the material you need to know for your final exam. This will be useful if you want to know what kind of questions to expect and on what topics. I will also ask you to fill out evaluation forms.