|
|
@ -8735,7 +8735,7 @@ Define: |
|
|
|
\vspace{-1ex} |
|
|
|
\begin{formulae} |
|
|
|
\hfuzz=10pt |
|
|
|
\item $\mean(S) := \hfrac{\ssum{i=1}{\length(S)} S_i}{\length(S)}$. |
|
|
|
\item $\mean(S) := \hfrac{\ssum{i=1}{\length(S)} S_i}{\length(S)}$ |
|
|
|
\item $\median(S) := \sorted(S)_{\sceiling{\length(S) / 2}}$ |
|
|
|
\item $\bound{\Lower}{\Upper}(x) := \maximum(\Lower, \minimum(\Upper, x)))$ |
|
|
|
\item $\trunc{x} := \begin{cases} |
|
|
@ -8754,7 +8754,7 @@ Define: |
|
|
|
\item $\MeanTarget(\BlockHeight) := \begin{cases} |
|
|
|
\PoWLimit, \hspace{16em}\text{if } \BlockHeight \leq \PoWAveragingWindow \\ |
|
|
|
\mean(\listcomp{\ToTarget(\nBits(i)) \for i \from \BlockHeight - \PoWAveragingWindow \upto \BlockHeight - 1}),\\ |
|
|
|
\hspace{20.7em}\text{otherwise} |
|
|
|
\hspace{20.7em}\text{otherwise.} |
|
|
|
\end{cases}$ |
|
|
|
\end{formulae} |
|
|
|
|
|
|
|