1: \begin{definition}[difficulty function]
2: \mbox{}
3:
4: A difficulty function that considers $k$ past blocks $\Psi_k:\{0,1,...,n-1\}^k\rightarrow [0,1]^n$ is a mapping from $k$ past history $W{(b-1)}, W{(b-2)},..., W{(b-k)}$ to a difficulty vector for $n$ players: $D_1{(b)}, D_2{(b)},...,D_n{(b)}$.
5:
6: Also, with Theorem~\ref{thm:proportional}, we assume $\sum_{j=0}^{n-1}D_j{(b)}=1$ for simplicity.
7: \end{definition}
8: