670eacb1b5ba1af8.tex
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: