Мне хочется вернуться к задачам Алгебры Логики и Алгебры Предикатов в контексте ЕГЭ Информатика до 2020, которые ФИПИ полностью заменил на задачи , решаемые сложным алгоритмом перебора на Python или PascalABC.NET.
Вне контекста ЕГЭ Я хочу обратить внимание на нетривиальную статью Елены А. Мирончик 2019 года.
https://kpolyakov.spb.ru/download/mea-2019-10.pdf
======================================================
В статье рассматривается метод решения задания 23 ЕГЭ по информатике и ИКТ. Одним из самых популярных методов решения
систем логических уравнений является метод отображения, но зачастую его применяют только для узкого круга систем, а между тем возможности метода значительно шире. Основой метода отображений, используемого для вычисления количества решений логического уравнения или системы логических уравнений, является выстраивание зависимости при добавлении уравнений или изменении самого уравнения. Выявленная зависимость оформляется в виде многодольного ориентированного графа. Построение оптимального графа и есть самое интересное в этом задании, что позволяет оценить много тем, проверяемых на ЕГЭ, но только при условии перевода этого задания из тестовой части в часть с развернутым ответом.
========================================================
Это чистая и сложная ( не вполне школьная ) математика. Понимание этой работы есть понимание того, что Метод Отображений уходит своими корнями в Теорию Многодольных Графов. Если построен многодольный граф задачи №23 то правильная навигация в нем неизбежно ведет к решению Системы уравнений в булевских переменных (2019). Именно поэтому, все системы, предложенные ФИПИ около 2-ух лет назад рано или поздно оказывались решенными техникой МО ( это и несколько моих работ тоже ). Тогда ФИПИ своей властью просто уничтожил 23-ю и перебор на Пайтон в задачах от 24 по 27 стал нормой жизни в 2021. Этот перебор в задаче 27 может требовать весьма нетривиального алгоритма, но от этого перебором он быть не перестает.
Я могу только сожалеть, что проблема восходящая к первому куратору ЕГЭ Информатика М.А. Ройтбергу ( профессору МФТИ ) была просто выброшена из ЕГЭ по решению ФИПИ. Мой последний пост на Кью умышленно демонстрирует, как прямой и вполне тривиальный Пайтон перебор решает задачу про шестерки ABCDFE , которые есть полные квадраты, преврашая красивую задачу по математике в умение следовать indentation rules in Python. Делая этот пост Я хочу обратить внимание сообщества математиков на работы Елены А. Мирончик по факту лежащими в области чистой математики , но никак не информатики.