GATE 2019 CS – Question 15
Let $U=\{1,2,\dots,n\}$. Let $A=\{(x,X)\mid x\in X,\ X\subseteq U\}$. Consider the following two statements on $|A|$.
I. $|A|=n2^{n-1}$
II. $|A|=\sum_{k=1}^{n}k\binom nk$
Which of the above statements is/are TRUE?
Practise this question in The GATE Grind →
Show answer and explanation
Correct answer: (C) Both I and II
Explanation
Counting pairs by the element $x$: each of the $n$ elements lies in $2^{n-1}$ subsets, so $|A|=n2^{n-1}$. Counting by the size $k$ of $X$, there are $\binom nk$ subsets, each with $k$ choices for $x$, which gives $\sum k\binom nk$. Both are true (and equal).