Consider the following two-player game:
The game begins with k tokens placed at the number 0 on the integer number line spanning [0,n].
Each round,one player, called the chooser, selects two disjoint and nonempty sets of tokens A and B. (The sets A and B need not cover all the remaining tokens; they only need to be disjoint.) The second player, called the remover, takes all the tokens from one of the sets off the board. The tokens from the other set all move up one space on the number line from their current position.
The chooser wins if any token ever reaches n. The remover wins if the chooser finishes with one token that has not reached n.
1) If k>= 2^n , how can I find a winning strategy for the chooser?
2) If k< 2^n , how can I prove with a probabilitic method that a winning strategy for the remover exists ?
3) How can I use the method of conditional expectations to derandomize the winning strategy for the remover when k < 2^n ?
1) The chooser can guarantee that after $r$ rounds ($r\le n$), at least $2^{n-r}$ tokens are on field $r$ (in particular, there is at least one token on field $n$ after $n$ rounds). This is clear for $r=0$. For the induction step $r\to r+1$ (with $r<n$), the chooser partitions the $\ge 2^{n-r}$ tokens on field $r$ into two sets of size at least $2^{n-r-1}$ each. Then the remover will push these to field $r+1$.
2) Let the remover simply toss a coin to decide which of the to sets to remove. A token ending up on field $n$ must have been in the "lucky" subset $n$ times (an never in the "unlucky" subset). The expected number of tokens with such a streak of luck is at most $2^{-n}k$, so less than one. We conclude that a deterministic strategy can also enforce less than one, i.e., no token on field $n$.
3) Say that the "value" of a situation with $a_i$ tokens on field $i$ is $\sum 2^ia_i$. If we remove $A$ and advance $B$, we get rid of the value of $A$ and double the value of $B$. It follows that removing the more valuable of the sets $A,B$ cannot increase the total value. Thus when starting from an initial value of $k<2^n$, the remover can avoid that the value ever grows to $2^n$ or more.