COMP 2711H: Lecture 9
Date: 2024-09-23 09:11:39
Reviewed: 2024-10-07 03:13:46
Topic / Chapter: Principle of Inclusion & Exclusion
summary
❓Questions
Notes
Functions
- 
Derangements- for , how many s.t.
- 
- choose first, then do casework
 
- what if: exactly  people, among , must be in position?
- how many such exist?
- or: exactly position s.t.
 
- 
- i.e. deranging  people
- and choosing people to remain seated (in their own)
 
- and for remaining people: only one way
 
- i.e. deranging  people
 
- 
No. of functions- how many functions from  to  are onto?
- or: surjective (French)
- i.e. all elements of has mapping?
 
- first, how many functions w/  possible input and  possible output exist?
- if , there is only 1
- if , there are
 
- and subtract no. of non-onto functions
- i.e. all mapped to , or only
- = 2 cases
- onto functions
 
- how about a recursive formula?
- first:  choices for input , let's say  was chosen
- then, later ones: can either include or not
 
- or: consider the reverse mapping. What's mapped to ?
- i.e. subset of mapped to
- assume: inputs are mapped to
- i.e. possibilities
 
 
- first:  choices for input , let's say  was chosen
- also: it's the same as dividing  into  non-empty sets
- based of the output they are mapped to
 
- let : no. of ways of dividing  into  non-empty sets
- without order
- 👨🏫 same as the ball-and-box problem!
- if the ball is in its own box:
- if the ball is sharing its bow with others
 
 
- how many functions from  to  are onto?
- 
Problem 1: how many paths do not go through marked segments?- i.e. segment ,,,
- let : no. of paths to point
- but, how many (invalid) paths go through at most exactly segments?
- simply: count each cases manually
- going through and
 
- 👨🏫 is there a more elegant formula?
- : no. of paths to point , including exact paths
 
 
Principle of Inclusion & Exclusion (PIE)
- 
Principles of inclusion & exclusion- how many no.  are divisible by ?
- how many no.  are divisible by ?
- how many no.  are divisible by both ?
- i.e. multiple of
 
- how many no.  are divisible by ?
- no double counting!
 
- same as:
- how many no.  are divisible by ?
- same as: 
- i.e. eliminate double counting within double-counted elements!
- ()
 
 
- same as: 
- how many no.  are divisible by ?
- same as: 
- i.e. eliminate double counting within double-counted elements!
- ()
 
 
- same as: 
- how about  sets?
- finding the pattern
 
- let
- then
- 👨🏫 how can we prove it without induction?
- induction: painful...
 
- proof: let , suppose  is in exactly  sets
- 👨🏫: ensure you count only once for both sides!
- if : it only gets added once in
- if : it only gets counted once in
- for general : gets added
- no. of being added: in , in
 
- 👨🏫 as proven, there are equal no. of even subsets & odd subsets (including )
- but we don't have in out equation (which could have been subtracted)
- thus,  
- from
 
 
 
 
- how many no.  are divisible by ?
- 
Problem 2: derangements- how many permutations of exist s.t. ?
- : set of perms s.t.
- solution: 
- not in position for all
 
- and, as we have total  perms
- 
- as there are permutations
 
- (as there are )
- 
- to be subtracted
 
 
- as converges to infinity, probability of picking a derangement:
- 
- : used because exponent of inside sum changed
- according to PIE
 
 
- 
Problem 3: how many functions from to are onto?- i.e. all element w/ at least 1 mapping?
- let : set of functions not covering
- let : set of functions not covering
- 
- 👨🏫 we can do so because we know that size of are all same
- ... and so on; thus:
 
- and, as above is the set of non-onto function