P1.1
a)

We claim that for all we have Proof: Assume we have an arbitrary subset of Consider the edge set Because the graph is bipartite, every edge contains exactly one vertex from and one vertex from Therefore, we have (by definition of (k-l)-regular) (since , which means )
By using the Hall’s theorem and the claim we just proved, there exists a matching ...
b)
Graph
We build a graph in the following way:
Each vertex in set A is an unique combination of five cards, and each vertex in set is an unique permutation of four cards. This means we have and
A vertex is connected to a vertex with an edge if and only if the permutation of is fully contained in the combination of .
Observations: Every vertex in has a degree of , since any four of the five cards in arbitrary order is a valid vertex in that is contained in it. Every vertex in has a degree of , since the fifth card can be chosen arbitrarily, and the order does not matter. This is a (120,48)-regular bipartite graph. Using the conclusion from part a), there exists a matching of size exactly (since )
Strategy Now this matching gives us a strategy to succeed the trick:
- For any 5 cards chosen, the assistant finds the 4-cards-permutation according to the matching, and give those four cards to the magician with the specific order.
- The magician then reverse the process by finding the corresponding 5-cards-combination from any given 4-cards using the same matching. Since the matching covers all vertices in set , it is guaranteed to be able to find such vertex in set . By definition of matching, it is also guaranteed that the 5-cards-combination the magician find must be the original 5 cards the audience member provided
- The magician can then find the fifth card in the 5-cards-combination that is not in the 4-cards-combination, which completes the trick.