Problem of selection from overlapping sets For a positive integer m, let A 1 </ms

seiyakou2005n1

seiyakou2005n1

Answered question

2022-05-22

Problem of selection from overlapping sets
For a positive integer m, let A 1 , , A m be (not necessarily disjoint and potentially empty) finite sets and let c 1 , , c m be non-negative integers. Suppose that
- each set A i contains at least c i elements; and
- the union i = 1 m A i contains precisely i = 1 m c i elements.
Intuitively, it should be possible to choose precisely c i elements from each A i in such a way that no element is picked twice. Formally, what I want to prove is that there exist sets ( B i ) i = 1 m such that
- B i A i for each i;
- the cardinality of B i is precisely c i for each i; and
- B i B j = for i j.
I tried induction on the number of sets. The case m = 2 is pretty straightforward. (Assign A 1 A 2 to B 1 , assign A 2 A 1 to B 2 , and divvy up A 1 A 2 between B 1 and B 2 ; this can be done in the desired way, so that # B 1 = c 1 and # B 2 = c 2 .) But then I got stuck with having the induction hypothesis carry over.
In particular, the main difficulty is that if i = 1 m + 1 A i contains i = 1 m + 1 c i elements, this does not necessarily imply that the smaller union i = 1 m A i contains precisely i = 1 m c i elements, as the sets are not necessarily disjoint. This makes the inductive proof more difficult, and a non-inductive proof (relying on, say, inclusion-exclusion) seems prohibitively complicated.
I am hoping that someone reading this may have an ingenious shortcut in mind as to how to make the induction hypothesis go through.

Answer & Explanation

thoumToofwj

thoumToofwj

Beginner2022-05-23Added 16 answers

Step 1
This need not be true.
EG Take c 1 = c 2 = c 3 = 1 , A 1 = { a } , A 2 = { a } , A 3 = { a , b , c }
For a more elaborate answer, apply Hall Marriage Theorem to the bipartite graph G ( X + Y , E ), where
- X is the multi set { c i A i } (Total c i of them)
- Y are the elements of the base set (Total c i of them)
- E is the edge where element y is in set A i .
Step 2
A solution to the original problem is a perfect matching of this bipartite graph.
Apply Hall Marriage theorem, we know that a perfect matching exists iff for each subfamily W, the connected vertices satisfy | W | | N G ( W ) | .
This is true for the singletons A i by the definitions. However, if sets A 1 , A 2 have a high overlap, then it is possible that | { A 1 , A 2 } | > | N G ( { A 1 , A 2 } ) | . Hence, we should be able to find a counter example here.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?