Alice and Bob take turns to remove numbers from a list Alice and Bob play the following game. In the beginning there is list of numbers 
$$\{0, 1, 2,\dotsc, 1024\}.$$ 
Alice starts, and removes 512 numbers of her choice. Bob continues and removes 256 numbers of his choice. Alice continues and removes 128 numbers of her choice, and so on, until only 2 numbers remain. Then Alice pays Bob the difference between the two numbers.
What are the optimal strategies for Alice and for Bob, respectively?
 A: Given a set $X$, let $A(X)$ denote the largest distance between any two points in $X$ and $B(X)$ denote the smallest distance between any two different points in $X$. For a two-element set, $A(X)=B(X)$. We start with $A(X)=1024$ and $B(X)=1$. I will show Alice can halve $A(X)$ at each of her turns, and Bob can double $B(X)$ at each of his turns. Since both players have 5 turns, this means that Alice can ensure that the result is at most 32 and Bob can ensure the result is at least 32.
Note that at each turn, the player to move is given a set with an odd number of elements.
Given $X=\{x_0,\dots,x_{n/2},\dots,x_n\}$ sorted ascending, we have $A(X)=x_n-x_0 = (x_n - x_{n/2}) + (x_{n/2} - x_0)=A(\{x_{n/2},\dots,x_n\})+A(\{x_0,\dots,x_{n/2}\})$. At least one of the two summands is $\leq A(X)/2$. Therefore, Alice removes all topmost or all bottommost elements on each of her turns, depending on the situation.
Given $X=\{x_0,x_1,..,x_{n}\}$, Bob removes $x_i$ such that $i$ is odd. It's easy to see that this guarantees that $B(X)$ is at least doubled.
A slight generalization: in your problem Alice and Bob have the same number of turns. In general, if we start with $\{0,1,\dots,2^n\}$ and remove almost-half of remaining elements at every turn, then the optimal payoff will be $2^k$ where $k$ is the number of turns controlled by Bob and $n-k$ the number of turns controlled by Alice; the players don't have to alternate.
