, 2020

Solution:
The answer is given by computing the sum of the lengths of all intervals in $S$ and dividing this value by $1000$, where the length of an interval $[i, j]$ is given by $j-i+1$. An interval may be categorized based on how many times $[1,1000]$ must be split to attain it. An interval that is derived from splitting $[1,1000]$ $k$ times will be called a $k$-split.

The only $0$-split is $[1,1000]$, with a total length of $1000$. The $1$-splits are $[1,500]$ and $[501,1000]$, with a total length of $1000$. As long as none of the $k$-splits have length $1$, the $(k+1)$-splits will have the same total length. Since the length of the intervals is reduced by half each time (rounded down), we find that the sum of the lengths of the $k$-splits is $1000$ for $0 \leq k \leq 9$.

Note that the $9$-splits consist of $2^{10}-1000$ intervals of length $1$ and $1000-2^{9}$ intervals of length $2$. Then the $10$-splits consist of $2\left(1000-2^{9}\right)$ intervals of length $1$, with total length $2\left(1000-2^{9}\right)$. The total interval length across all splits is equal to $12(1000)-2^{10}$, so our answer is

$$12-\frac{2^{10}}{1000}=10.976$$