Стрим 70 2020 Инфоматика БУ и решение задачи №18

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

   1 час 35 мин

 Эквивалентно
         (A*(x-2) >= y) v (((x-10)*(20-x) < y)  ≡ True
Найти наименьшее А  при котором облась ложности второй скобки, то есть (((x-10)*(20-x) >= y) находится в полуплоскости  (A*(x-2) >= y) 

Решение задачи #T2414 Яндекс Репетитор Методом Отображений 10.2019

Оригинальная система

Эквивалентная система

(x1≡x2)⊕(x3≡x4)=1
(x3≡x4)⊕(x5≡x6)=1
(x5≡x6)⊕(x7≡x8)=1

Рассмотрим ее клон :-
(x1≡x2)⊕(x3≡x4)=1
(x3≡x4)⊕(x5≡x6)=1
(x5≡x6)⊕(x7≡x8)=1
(x7≡x8)=>(x1≡x2)=1
Как нам порвать закольцованность и найти число решений
клонированной системы ?