Difference between revisions of "2008 IMO Problems/Problem 5"

(Solution)
(5 intermediate revisions by the same user not shown)
Line 14: Line 14:
 
<math>(a_1, a_2, \ldots, a_k)</math>, where <math>a_i \in A \cup B</math> signifies which lamp was switched on the <math>i</math>-th move for <math>i=1,2,\ldots k</math>.  
 
<math>(a_1, a_2, \ldots, a_k)</math>, where <math>a_i \in A \cup B</math> signifies which lamp was switched on the <math>i</math>-th move for <math>i=1,2,\ldots k</math>.  
  
Let <math>\cal{N}</math> consist of those sequences that contain each of the numbers in <math>A</math> an ''odd'' number of times and each of the numbers in <math>B</math> an ''even'' number of times. Similarly, let <math>\cal{M}</math> denote the set of those sequences that contain no numbers from <math>B</math> and each of the numbers in <math>A</math> an odd number of times. By definition, <math>M=|\cal{M}</math> and <math>N=\cal{N}</math>.
+
Let <math>\cal{N}</math> consist of those sequences that contain each of the numbers in <math>A</math> an ''odd'' number of times and each of the numbers in <math>B</math> an ''even'' number of times. Similarly, let <math>\cal{M}</math> denote the set of those sequences that contain no numbers from <math>B</math> and each of the numbers in <math>A</math> an odd number of times. By definition, <math>M=|\cal{M}|</math> and <math>N=|\cal{N}|</math>.
  
Define the mapping <math>f:\cal{N}->\cal{M}</math> as
+
Define the mapping <math>f:\cal{N} \rightarrow \cal{M}</math> as
 
<cmath>f(a_1, a_2, \ldots, a_k) = (b_1,b_2,\ldots b_k) :  
 
<cmath>f(a_1, a_2, \ldots, a_k) = (b_1,b_2,\ldots b_k) :  
b_i = \left\{ \begin{array}{l}
+
b_i =  
   a_i \textrm{ if }  a_i \in A \\
+
\begin{cases}
   a_i-n \textrm{ if } a_i  \in B
+
   a_i, & \mbox{ if }  a_i \in A \\
\end{array} \right .</cmath>
+
   a_i-n, & \mbox{ if } a_i  \in B
 +
\end{cases}</cmath>
  
What we want to show now is that each element of <math>\cal{M}</math> is an image of exactly <math>2^{k-n}</math> ekements from <math>cal{N}</math>, which would imply <math>N = 2^{k-n}M</math> and solve the problem.
+
What we want to show now is that each element of <math>\cal{M}</math> is an image of exactly <math>2^{k-n}</math> elements from <math>\cal{N}</math>, which would imply <math>N = 2^{k-n}M</math> and solve the problem.
  
Consider an element <math>y</math> of <math>\cal{M}</math> and let <math>B_1,</math>B_2,\ldots,B_n<math> be the sets of </math>1<math>-es, </math>2<math>-es, \ldots and </math>n$-s.
+
Consider an arbitrary element <math>y</math> of <math>\cal{M}</math> and let <math>l_i</math> be the number of appearances of the number <math>i</math> in <math>y</math> for <math>i=1,2,\ldots n</math>. Now consider the set of pre-images of <math>y</math>, that is <math>X_y = \{ x | f(x) = y \}</math>.
 +
 
 +
It is easy to see that each element <math>x\in X_y</math> is derived from <math>y</math> by ''flipping'' an ''even'' number of its <math>1</math>-s, <math>2</math>-s, and so on, where flipping means changing the number <math>j\in A</math> to <math>j+n\in B</math>. Since each such set of flippings results in a unique <math>x</math>, all we want to count is the number of flippings. We can flip exactly <math>0, 2, 4,\ldots </math> of the <math>1</math>-s, so that results in
 +
<cmath>\binom{l_1}{0} + \binom{l_1}{2}+\binom{l_1}{4}+\cdots = 2^{l_1-1}</cmath>
 +
flippings. Combine each of them with the <math>2^{l_2-1}</math>, <math>2^{l_3-1}</math>, etc. ways of flipping the <math>2</math>-s, <math>3</math>-s etc. respectively to get the total number of flippings:
 +
<cmath>2^{l_1-1}2^{l_2-1}\cdots2^{l_n-1} = 2^{l_1+l_2+\cdots+l_n-n} = 2^{k-n}.</cmath>
 +
This shows that <math>|X_y| = 2^{k-n}</math> and the proof is complete.
 +
--[[User:Vbarzov|Vbarzov]] 03:04, 5 September 2008 (UTC)

Revision as of 23:04, 4 September 2008

Problem 5

Let $n$ and $k$ be positive integers with $k \geq n$ and $k - n$ an even number. Let $2n$ lamps labelled $1$, $2$, ..., $2n$ be given, each of which can be either on or off. Initially all the lamps are off. We consider sequences of steps: at each step one of the lamps is switched (from on to off or from off to on).

Let $N$ be the number of such sequences consisting of $k$ steps and resulting in the state where lamps $1$ through $n$ are all on, and lamps $n + 1$ through $2n$ are all off.

Let $M$ be number of such sequences consisting of $k$ steps, resulting in the state where lamps $1$ through $n$ are all on, and lamps $n + 1$ through $2n$ are all off, but where none of the lamps $n + 1$ through $2n$ is ever switched on.

Determine $\frac {N}{M}$.

Solution

For convenience, let $A$ denote the set $(1,2,\ldots n)$ and $B$ the set $(n+1,n+2,\ldots,2n)$.

We can describe each sequences of switching the lamps as a $k$-dimensional vector $(a_1, a_2, \ldots, a_k)$, where $a_i \in A \cup B$ signifies which lamp was switched on the $i$-th move for $i=1,2,\ldots k$.

Let $\cal{N}$ consist of those sequences that contain each of the numbers in $A$ an odd number of times and each of the numbers in $B$ an even number of times. Similarly, let $\cal{M}$ denote the set of those sequences that contain no numbers from $B$ and each of the numbers in $A$ an odd number of times. By definition, $M=|\cal{M}|$ and $N=|\cal{N}|$.

Define the mapping $f:\cal{N} \rightarrow \cal{M}$ as \[f(a_1, a_2, \ldots, a_k) = (b_1,b_2,\ldots b_k) :  b_i =  \begin{cases}    a_i, & \mbox{ if }  a_i \in A \\    a_i-n, & \mbox{ if } a_i  \in B \end{cases}\]

What we want to show now is that each element of $\cal{M}$ is an image of exactly $2^{k-n}$ elements from $\cal{N}$, which would imply $N = 2^{k-n}M$ and solve the problem.

Consider an arbitrary element $y$ of $\cal{M}$ and let $l_i$ be the number of appearances of the number $i$ in $y$ for $i=1,2,\ldots n$. Now consider the set of pre-images of $y$, that is $X_y = \{ x | f(x) = y \}$.

It is easy to see that each element $x\in X_y$ is derived from $y$ by flipping an even number of its $1$-s, $2$-s, and so on, where flipping means changing the number $j\in A$ to $j+n\in B$. Since each such set of flippings results in a unique $x$, all we want to count is the number of flippings. We can flip exactly $0, 2, 4,\ldots$ of the $1$-s, so that results in \[\binom{l_1}{0} + \binom{l_1}{2}+\binom{l_1}{4}+\cdots = 2^{l_1-1}\] flippings. Combine each of them with the $2^{l_2-1}$, $2^{l_3-1}$, etc. ways of flipping the $2$-s, $3$-s etc. respectively to get the total number of flippings: \[2^{l_1-1}2^{l_2-1}\cdots2^{l_n-1} = 2^{l_1+l_2+\cdots+l_n-n} = 2^{k-n}.\] This shows that $|X_y| = 2^{k-n}$ and the proof is complete. --Vbarzov 03:04, 5 September 2008 (UTC)