VK's Weekly test Informatics Variant 13 by Eugene Jobs

Source  180226 Информатика - Пробный вариант №13.pdf

 

Решение задачи 23 Демо версии ЕГЭ Информатика 2017 Методом отображений vs Метод битовых масок vs Информатик БУ Видео

Задача 23 Демо версии ЕГЭ Информатика 2017 хорошо известна  ролик
Информатика БУ  https://www.youtube.com/watch?v=uQtANwb_-Qs
Информатик БУ не использует дистрибутивность импликации по
отношению к конъюнкции, что влечет за собой меньшую прозрачность в получении результата.

   Строим диаграмму  генерации матрицы на основании уравнения
                         (x1 => (x2^y1)) ^ (y1 => y2) =1

******************************

  Метод битовых масок
******************************

В силу дистрибутивности импликации по отношению к конъюнкции

(x1 => (x2^y1))^(y1 => y2) =1  <=> (x1=>x2)^(x1=>y1)^(y1=>y2) =1
(x2 => (x3^y2))^(y2 => y3) =1  <=> (x2=>x3)^(x2=>y2)^(y2=>y3) =1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 

и так для каждого уравнения
Получаем эквивалентную и хорошо известную систему

(x1 => x2)^(x2 => x3)^ . . . . . ^(x5 => x6) = 1
(y1 => y2)^(y2 => y3)^ . . . . . ^(y5 => y6) = 1
(x1 => y1)^(x2 => y2)^ . . . . . ^(x5 => y5)^(x6 => y6) = 1

Остается применить стандартную схему сцепления двух
верхнетреугольных битовых масок.  

x1 x2 x3 x4 x5 x6 

-------------------
1  1   1  1  1  1   1
0  1   1  1  1  1   2
0  0   1  1  1  1   3     Число конкатенаций 
0  0   0  1  1  1   4     каждого кортежа {x} строка номер j
0  0   0  0  1  1   5     c кортежами {y} ( с 1-го по j - ый)
0  0   0  0  0  1   6
0  0   0  0  0  0   7  Total = 1+2+3+ . . . .+7 = 28

y1 y2 y3 y4  y5 y6 

-------------------
1  1   1  1  1  1
0  1   1  1  1  1
0  0   1  1  1  1
0  0   0  1  1  1
0  0   0  0  1  1   x4=>y4 = False
0  0   0  0  0  1
0  0   0  0  0  0

Решение одной системы уравнений в булевских переменных Методом отображений вместо битовых масок ВК 09.02.18

     Конвертируем в эквивалетную систему

     (x1=>x2)^(y1=>y2) =1
     (x2=>x3)^(y2=>y3) =1
     . . . . . . . . .
     (x5=>x6)^(y5=>y6) =1
     x1=>y1 =1
  
    и применим метод отображений