15.1

Задачи главы

[8/100%]
Показать
LaTeX
Задача 15.1.1

Рассмотрим четыре бинарные матрицы размера 2×22 \times 2

A=(1100),B=(0101),C=(1010),D=(0011) A = \begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix}, \quad B = \begin{pmatrix} 0 & 1 \\ 0 & 1 \end{pmatrix}, \quad C = \begin{pmatrix} 1 & 0 \\ 1 & 0 \end{pmatrix}, \quad D = \begin{pmatrix} 0 & 0 \\ 1 & 1 \end{pmatrix}

над полем F\mathbb {F}, char⁡(F)=2\operatorname {char}(\mathbb {F}) = 2. Найдите A+B+C+DA+B+C+D и ABCDABCD.

?
Задача 15.1.2

Для бинарной матрицы размера 2×22 \times 2

A=(a11a12a21a22),ajk∈{0,1} A = \begin{pmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{pmatrix}, \quad a_{jk} \in \left\{ 0,1\right\}

определим определитель как

det⁡(A)=(a11⋅a22)⊕(a12⋅a21) \operatorname {det}\left(A\right) = (a_{11} \cdot a_{22}) \oplus (a_{12} \cdot a_{21})

где ⋅\cdot — операция И, а ⊕\oplus — операция исключающего ИЛИ.

?
(i)

Найдите определитель для следующих матриц размера 2×22 \times 2

(1001),(0110),(1101),(0111),(1011),(1110). \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}, \quad \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \quad \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, \quad \begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix}, \quad \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}, \quad \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}.
(ii)

Найдите определитель для следующих матриц размера 2×22 \times 2

(0000),(1000),(0100),(1000),(0001) \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix} (1100),(1010),(0011),(0101),(1111). \begin{pmatrix} 1 & 1 \\ 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 1 & 0 \\ 1 & 0 \end{pmatrix}, \quad \begin{pmatrix} 0 & 0 \\ 1 & 1 \end{pmatrix}, \quad \begin{pmatrix} 0 & 1 \\ 0 & 1 \end{pmatrix}, \quad \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}.
Задача 15.1.3

Определитель матрицы 3×33 \times 3 A=(ajk)A = (a_{jk}) задаётся выражением

a11a22a33+a12a23a31+a13a21a32−a13a22a31−a11a23a32−a12a21a33. a_{11}a_{22}a_{33} + a_{12}a_{23}a_{31} + a_{13}a_{21}a_{32} - a_{13}a_{22}a_{31} - a_{11}a_{23}a_{32} - a_{12}a_{21}a_{33}.

Для бинарной матрицы BB мы заменяем это выражение на

det⁡(B)=(b11⋅b22⋅b33)⊕(b12⋅b23⋅b31)⊕(b13⋅b21⋅b32)⊕(b13⋅b22⋅b31)⊕(b11⋅b23⋅b32)⊕(b12⋅b21⋅b33). \begin{split} \operatorname {det}\left(B\right) = {} & (b_{11} \cdot b_{22} \cdot b_{33}) \oplus (b_{12} \cdot b_{23} \cdot b_{31}) \oplus (b_{13} \cdot b_{21} \cdot b_{32}) \\ & \oplus (b_{13} \cdot b_{22} \cdot b_{31}) \oplus (b_{11} \cdot b_{23} \cdot b_{32}) \oplus (b_{12} \cdot b_{21} \cdot b_{33}). \end{split}
?
(i)

Вычислите определитель для бинарных матриц

(100010001),(111011001). \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}, \quad \begin{pmatrix} 1 & 1 & 1 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \end{pmatrix}.
(ii)

Вычислите определитель для бинарных матриц

(110110000),(100100100),(101010101). \begin{pmatrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 1 & 0 & 0 \\ 1 & 0 & 0 \\ 1 & 0 & 0 \end{pmatrix}, \quad \begin{pmatrix} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \end{pmatrix}.
Задача 15.1.4

Конечное поле GF(2)GF(2) состоит из элементов 00 и 11 (битов), которые удовлетворяют следующим таблицам сложения (XOR) и умножения (AND)

⊕01001110⋅01000101 \begin{array}{c|cc} \oplus & 0 & 1 \\ \hline 0 & 0 & 1 \\ 1 & 1 & 0 \end{array} \qquad \begin{array}{c|cc} \cdot & 0 & 1 \\ \hline 0 & 0 & 0 \\ 1 & 0 & 1 \end{array}

Найдите определитель бинарных матриц

A=(101010101),B=(111011001). A = \begin{pmatrix} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \end{pmatrix}, \qquad B = \begin{pmatrix} 1 & 1 & 1 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \end{pmatrix}.
?
Задача 15.1.5

Булева функция f:{0,1}n→{0,1}f : \left\{ 0,1\right\}^{n} \rightarrow \left\{ 0,1\right\} может быть преобразована из области {0,1}\left\{ 0,1\right\} в спектральную область с помощью линейного преобразования

Ty=s Ty = s

где TT — ортогональная матрица 2n×2n2^{n} \times 2^{n}, y=(y0,y1,…,y2n−1)Ty = (y_{0}, y_{1}, \ldots , y_{2^{n}-1})^{T} — двузначный ({+1,−1}\left\{ +1,-1\right\} с 0↔10 \leftrightarrow 1, 1↔−11 \leftrightarrow -1) вектор таблицы истинности булевой функции, а sjs_{j} (j=0,1,…,7j = 0, 1, \ldots , 7) — спектральные коэффициенты (s=(s0,s1,…,s2n−1)Ts = (s_{0}, s_{1}, \ldots , s_{2^{n}-1})^{T}). Поскольку TT обратима, имеем

T−1s=y. T^{-1}s = y.

В качестве TT выберем матрицу Адамара. Матрица Адамара H(n)H(n) размера 2n×2n2^{n} \times 2^{n} определяется рекурсивно как

H(n)=(H(n−1)H(n−1)H(n−1)−H(n−1)),n=1,2,… H(n) = \begin{pmatrix} H(n-1) & H(n-1) \\ H(n-1) & -H(n-1) \end{pmatrix}, \qquad n = 1, 2, \ldots

с H(0)=(1)H(0) = (1) (матрица 1×11 \times 1). Обратная к H(n)H(n) задаётся как

H−1(n)=12nH(n). H^{-1}(n) = \frac{1}{2^{n}} H(n).

Теперь любую булеву функцию f(x1,…,xn)f(x_{1}, \ldots , x_{n}) можно разложить в виде арифметического полинома

12n+1(2n−s0−s1(−1)xn−s2(−1)xn−1−⋯−s2n−1(−1)x1⊕x2⊕⋯⊕xn) \frac{1}{2^{n+1}} \left(2^{n} - s_{0} - s_{1}(-1)^{x_{n}} - s_{2}(-1)^{x_{n-1}} - \cdots - s_{2^{n}-1}(-1)^{x_{1} \oplus x_{2} \oplus \cdots \oplus x_{n}}\right)

где ⊕\oplus обозначает сложение по модулю 2.

Рассмотрим булеву функцию f:{0,1}3→{0,1}f : \left\{ 0,1\right\}^{3} \rightarrow \left\{ 0,1\right\}, заданную как

f(x1,x2,x3)=xˉ1⋅xˉ2⋅xˉ3+xˉ1⋅x2⋅xˉ3+x1⋅x2⋅xˉ3. f(x_{1}, x_{2}, x_{3}) = \bar{x}_{1} \cdot \bar{x}_{2} \cdot \bar{x}_{3} + \bar{x}_{1} \cdot x_{2} \cdot \bar{x}_{3} + x_{1} \cdot x_{2} \cdot \bar{x}_{3}.

Найдите таблицу истинности, вектор yy, а затем вычислите с помощью H(3)H(3) спектральные коэффициенты sjs_{j}, (j=0,1,…,7j = 0, 1, \ldots , 7).

?
Задача 15.1.6

Рассмотрим бинарные матрицы

A=(0110),B=(1111). A = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \qquad B = \begin{pmatrix} 1 & 1 \\ 1 & 1 \end{pmatrix}.

Вычислите произведение Адамара A∙BA \bullet B и звёздное произведение A⋆BA \star B.

?
Задача 15.1.7

Бинарной матрицей Адамара называется матрица MM размера n×nn \times n (где nn чётно) с элементами из {0,1}\left\{ 0,1\right\}, такая что любые две различные строки или столбца матрицы MM имеют расстояние Хэмминга n/2n/2. Расстояние Хэмминга между двумя векторами — это число позиций, в которых они отличаются. Найдите бинарную матрицу Адамара размера 4×44 \times 4.

?
Задача 15.1.8

Сколько бинарных матриц 2×22 \times 2 можно составить так, чтобы они содержали две единицы? Найдите коммутатор между этими матрицами.

?