Setting up Python 3.8.5 on Linux && Getting LibreOffice 7.0 for free

$  wget https://www.python.org/ftp/python/3.8.5/Python-3.8.5.tgz
$   sudo dnf groupinstall "Development Tools" -y
$   tar xvf Python-3.8.5.tgz
$  cd  ./Python-3.8.5
$    ./configure --enable-optimizations
$  sudo make altinstall

[boris@Server82 ~]$ python3.8 --version
Python 3.8.5
[boris@Server82 ~]$ 

Just for fun solve #25 from USE Demo 2021  (optimal code belongs to Eugene Dzhobs)
#25

Would you like to install sqlite3 Python embedded database on CentOS 8.2

$ sudo dnf install sqlite-devel

$  cd  ./Python-3.8.5
$    ./configure --enable-optimizations
$  sudo make altinstall

Стрим 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
Как нам порвать закольцованность и найти число решений
клонированной системы ?

Решение одгой системы уравнений в булевских переменных Метод Отображений и техника таблиц перекрестных ссылок

Толчком для демонстрации гибкости МО в сочетании техникой перекрестных ссылок для двух или трехместных предикатов образующих саму систему послужили некоторые системы из числа последних, пополнивших ege23.doc. Здесь совершенно все равно какая логическая операция связывает предикаты уравнения . Мощности попарного пересечения множеств истинности и ложности каждого из двух предикатов, образуюших систему однозначно определяют саму таблицу перекрестных ссылок. Количество переменных от  которых зависит предикат ( от 2 до 4 ) также не приводит к необходимости писать код для алгоритма МО.

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

((x1=>x2)=>x3) v ((x4≡x5)≡x6)≡1
((x4=>x5)=>x6) v ((x7≡x8)≡x9)≡1
((x7=>x8)=>x9) v ((x10≡x11)≡x12)≡1

Генерация матрицы

    Контроль

  

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

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

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

(x1=>y1)^(x1⊕x2)=1
(x2=>y2)^(x2⊕x3)=1
(x3=>y3)^(x3⊕x4)=1
. . . . . .
(x8=>y8)^(x8⊕x9)=1
x9=>y9=1

Генерация диаграммы

Решение задачи #T29796 Яндекс Репетитор Методом Отображений с использованием таблицы перекрестных ссылок

Оригинальное уравнение

 Генерация диаграммы. В действительности, для любой пары двуместных предикатов с той же таблицей перекрестных ссылок результат будет тем же самым.

Chains of tie nodes of a multi-part graph && reverse pass to center per Helen Mironchick's "MAPPING METHOD - VISIBLE PART OF ICEBERG " - Computer science at school №10 2019

Original system

System 1

((x1^x2=>x3)^x4)=>x5=1
((y1^y2=>y3)^y4)=>y5=1
((z1^z2=>z3)^z4)=>z5=1
((x1=>y3))=>z4=1

For X-LINE

#2 is (x1^x2)
#3 is (x1^x2)=>x3
#4 is ((x1^x2)=>x3)^x4
#5 is (((x1^x2)=>x3)^x4)=>x5

For Y-LINE and Z-LINE replace x by y and x by z correspondingly

*******************
Chaining order
*******************
1) We get x3 via reverse pass to center
2) Getting y3 via reverse pass to center
3) Getting z4  via reverse pass to center

System 2

(x1^x2=>x3)^x4=>x5=1
(y1^y2=>y3)^y4=>y5=1
(z1^z2=>z3)^z4=>z5=1
(x3⊕y3)^(y4⊕z4)=1

For X-LINE

#2 is (x1^x2)
#3 is (x1^x2)=>x3
#4 is ((x1^x2)=>x3)^x4
#5 is (((x1^x2)=>x3)^x4)=>x5

For Y-LINE and Z-LINE replace x by y and x by z correspondingly

*******************
Chaining order
*******************
1) We get x3 via reverse pass to center
2) Getting y3 via direct XOR
3) Getting y4  via reverse pass to center
    Here we calculate y1^y2=>y3 (#3) Y-LINE.
    Perform move from y5 to #4 in the opposite direction.
    Now calculate y4 as usual.
4) Getting z4 via direct XOR
5) Completing Z-LINE having z4  (on line-0 112 , on line-1-200)