Изменения

Перейти к: навигация, поиск

Выражение функции XOR через медианы

25 байт убрано, 22:04, 17 октября 2018
Нет описания правки
{{Теорема
|statement = Докажите, что $x_0 \oplus x_1 \oplus \ldots \oplus x_{2m} = \langle \neg x_0, s_1, s_2, \ldots, s_{2m} \rangle$, $s_j = \langle x_0, x_j, x_{j+1}, \ldots, x_{j+m-1}, \neg x_{j+m}, \neg x_{j+m+1}, \ldots, \neg x_{j+2m-1} \rangle$, где $x_{2m+k}$ обозначает то же, что и $x_k$, при $k \geqslant 1$.
}}
66
правок

Навигация