Content deleted Content added
Elestrophe (talk | contribs) →Gilbert–Varshamov bound theorem: copy-editing |
m fix dead link |
||
(One intermediate revision by one other user not shown) | |||
Line 52:
:<math>\Pr_{\text{random }G} (mG = y) = q^{-n}</math>
Let <math>\operatorname{Vol}_q(r,n)</math> be the volume of a [[Hamming ball]] with the radius <math>r</math>. Then:<ref>The later inequality comes from [
: <math> P \leqslant q^k W = q^k \left ( \frac{\operatorname{Vol}_q(d-1,n)}{q^n} \right ) \leqslant q^k \left ( \frac{q^{nH_q(\delta)}}{q^n} \right ) = q^k q^{-n(1-H_q(\delta))}</math>
|