Write
262
edits
No edit summary |
No edit summary |
||
Line 30: | Line 30: | ||
** <math>A_\mathcal{I}</math> denotes the sub-string of <math>A_1^n</math> whose bit are in <math>\mathcal{I}</math>. | ** <math>A_\mathcal{I}</math> denotes the sub-string of <math>A_1^n</math> whose bit are in <math>\mathcal{I}</math>. | ||
* Let us define the following function. | * Let us define the following function. | ||
<math>\gamma(x):= x, \text{ if } x>1/2 </math></br> | <math>\gamma(x):= \begin{cases} a\\ b \end{cases} x, \text{ if } x>1/2 </math></br> | ||
<math>\quad\quad :=g^{-1}(x), \text{ if } x\leq 1/2</math>,</br> | <math>\quad\quad :=g^{-1}(x), \text{ if } x\leq 1/2</math>,</br> | ||
where <math>g(x):= h(x)+x-1</math>, and <math>h(x):=-x\log(x)-(1-x)\log(1-x)</math>.</br> | where <math>g(x):= h(x)+x-1</math>, and <math>h(x):=-x\log(x)-(1-x)\log(1-x)</math>.</br> |