I am stuck on the following question which was asked in our combinatorics exam:
Let us consider the set $S=\{1,2,3,4,5,6\}$. We want to find a set $A\subset S$ such that $A$ must have the following property:
- either $1$ or $4$ must belong to $A$.
- either $2$ or $5$ must belong to $A$.
- either $3$ or $6$ must belong to $A$.
Also $A$ must have $4$ elements in it.
What are the possible ways to form the set $A$?
My try:
For the 1st element of $A$ we have $2$ choices namely $1,4$, for second we have $2$ choices namely $2,5$ and for $3rd$ element we have $2$ choices namely $3,6$. Thus there are in total $2\times 2\times 2=8$ choices for the first 3 elements of $A$.
Now for the 4th element we have $3$ choices. So there will be $\binom{3}{1}=3$ choices.
So the total ways of forming $A$ is $8\times 3=24$ .
There was also a 2nd question which asked what if $A$ had $5$ or $6$ elements?
If $A$ had $5$ elements I answered that there will be $8\times \binom{3}{2}=24$ choices.
Now if $A$ had $6$ elements I answered that there will be $8\times \binom{3}{3}=8$ choices.
My both answers had gone wrong.Can someone please help me figure it out. I dont understand why my answer is wrong and how can I get the correct answer.
Is it possible for someone to please help me out?
It is never a good idea to start by fulfilling the condition and then letting the rest of the elements do whatever they want. You overcounting part of the results in this way. For example, the set $\{1,2,3,4\}$ is counted twice -- once when $1$ was selected in step 1 and once when it was $4$.
The correct answer will be to determine which couple is entirely in $A$. You have 3 ways to choose this couple, then 2 ways to choose a representative from each of the other couples. In total: $3\times 2 \times 2=12$.
Similarly, if $A$ had to have 5 elements, you need to choose which couple is not represented, then choose one element of this couple (and the 2 others come in completely). Total: $3\times 2=6$.
If $A$ to have 6 elements, there is one option.