Consider a set U of 23 different compounds in a chemistry lab. There is a subset S of U of 9 compounds, each of which reacts with exactly 3 compounds of U.
Consider the following statements:
Each compound in U \ S reacts with an odd number of compounds.
At least one compound in U \ S reacts with an odd number of compounds.
Each compound in U \ S reacts with an even number of compounds.
Which one of the above statements is ALWAYS TRUE?
A. Only I
B. Only II
C. Only III
D. None
==============================================================
Answer given in book is- The sum of the degrees of all the vertices in a graph is equal to twice the number of edges.
Here, Set S has 9 elements and each element has a degree of 3 as each element in S reacts to exactly 3 elements. So 9*3 + Sum. of degrees of vertices in U-S = 2* e
Since 2*e is even no, Sum of degrees of vertices in U-S is odd .
Thus,some vertex in U-S must have odd degree. .At least one compound in U-S reacts with an odd number of compounds. Option B is the correct answer.
But How to solve it using set theory? Also, is there any other way solve this question!
Here is a restatement of the book solution which does not use graph theory. For shorthand, let's call a compound "even" if it reacts with an even number of compounds, and "odd" if reacts with an odd number of compounds.
Since each compound of $S$ reacts with exactly $3$ compounds of $U$, there are a total of $27$ reactions between $U$ and $S$. Distributing those $27$ reactions between the $13$ compounds in $U \setminus S$ can be done in many ways, but we know that it's impossible for all $13$ compounds in $U \setminus S$ to be even, because then the total number of reactions would be even, but $27$ is odd.
In fact, no matter how we distribute the reactions, the number of odd compounds in $U \setminus S$ is odd, because the total must be odd. (If we add up $k$ odd numbers, and $13-k$ even numbers, then the total is odd when $k$ is odd, and even when $k$ is even.)
So far, it seems that statement II is true. But we haven't yet considered reactions between two compounds in $U \setminus S$.
It turns out that this doesn't make a difference. There are three cases:
As a result, no matter how many reactions between compounds in $U \setminus S$ there are, one compound in $U \setminus S$ will still be odd, proving statement II.