Sunday, August 6, 2017

Насколько гибким может быть метод отображений "Сдам ЕГЭ Задание 23 7768"

Оригинальная идея исходит из техники Е.А. Мирончик, изложенной в документе ege23.doc на сайте К.Ю. Полякова. Конкретная задача отличается диспозицией нулей при генерации матрицы первых 5-ти уравнений и деревом решений при завершении подсчета окончательного числа решений с учетом 2-ух последних уравнений. Исходное уравнение взято на https://inf-ege.sdamgia.ru/test?theme=264. Этот пост носит характер попытки применения метода отображения в ситуации несколько более сложной, чем этого обычно требуют задачи ЕГЭ.
 
Мы преднамеренно игнорируем известную битовую маску для {x} и решение представленное в видео Информатика БУ (2015

Демо Версия ЕГЭ Информатика)

https://www.youtube.com/watch?v=MDL5Mym5Aac


(x1 ∨ x2) ∧ ((x1 ∧ x2) →x3) ∧ ¬ (x1 ∧ y1) = 1
(x2 ∨ x3) ∧ ((x2 ∧ x3) →x4) ∧ ¬ (x2 ∧ y2) = 1
...
(x5 ∨ x6) ∧ ((x5 ∧ x6) →x7) ∧ ¬ (x5 ∧ y5) = 1
(x6 ∨ x7) ∧ ¬(x6 ∧ y6) = 1
x7 ∧ y7 = 0


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

Конвертация :-
*************************************

(x1 ∨ x2) ∧ ((x1 ∧ x2) →x3) ∧ (x1 => ¬y1) = 1
(x2 ∨ x3) ∧ ((x2 ∧ x3) →x4) ∧ (x2 => ¬y2) = 1
...
(x5 ∨ x6) ∧ ((x5 ∧ x6) →x7) ∧ (x5 => ¬ y5) = 1
(x6 ∨ x7) ∧ (x6 => ¬y6) = 1
x7 ∧ y7 = 0


Дерево решений:

 x1  x2  x3  y1
0
1
0
1
0
1
1
0
1
0
0
0
1
0
1
1
0

Отображение уравнений 1-5
Наличие у1 {0,1} удваивает
число путей из 01 {x1,x2} в  10 и 11 {x2,x3}


Дерево решений:

(x6 ∨ x7) ∧ (x6 => ¬y6) = 1
x7 ∧ y7 = 0


x6 x7 y6 y7
0 1 1 0
0 0
1 0 0 1
0
1 0 0


      Генерируем матрицу
  


No comments:

Post a Comment