Форум » Логические уравнения » Метод отображений » Ответить
Метод отображений
malvin: Добрый день! Учитель обьяснил как решать методом отображения различные системы уравнений и сами уравнения по отдельности. Но что это за метод? Кто его придумал и как он работает? Хотелось бы узнать подробности. А то для меня это "магия" сейчас.
Ответов - 13
Поляков: malvin пишет: Учитель обьяснил как решать методом отображения различные системы уравнений и сами уравнения по отдельности. Но что это за метод? Кто его придумал и как он работает? Хотелось бы узнать подробности. А то для меня это "магия" сейчас. Это метод придумала Елена Александровна Мирончик, учитель из Новокузнецка. По сути это метод динамического программирования. Прочитать про него можно здесь, здесь и здесь. Примеры решений задач на системы логических уравнений этим методом можно посмотреть здесь.
MEA: *PRIVAT*
gvozdenko77@mail.ru: Добрый день, помогите мне найти ошибку, решаю систему 3 из файла mea-2014-8, журнал "Информатика" (ссылка на файл выше) У автора значение пары Х1, Х2 (1,1) и Х3,Х4 (0,0) не подходит, не могу понять почему. Если подставить в первое уравнение, то получится 1*(1следует1)+0*0=1. Выходит подходит. Спасибо за ответ
MEA: gvozdenko77@mail.ru пишет: Если подставить в первое уравнение, то получится 1*(1следует1)+0*0=1. Выходит подходит. Да Вы правы. Во время работы над статьей несколько раз делались исправления и убирали отрицание над x3 Для системы с оставленным отрицанием пара 11 приводит к парам 00 и 01.
gvozdenko77@mail.ru: Спасибо за ответ!
ELE: (¬ (x1 ≡ x2) \/ ¬ (y1 ≡ y2) ) = 1 (¬ (x2 ≡ x3) \/ ¬ (y2 ≡ y3) ) = 1 (¬ (x3 ≡ x4) \/ ¬ (y3 ≡ y4) ) = 1 (¬ (x4 ≡ x5) \/ ¬ (y4 ≡ y5) ) = 1 x5 ≡ y5 = 1 я решаю методом отображений: a'=b+c b'=a+b+c+d c'=a+b+c+d d'=b+c тогда в 4 уравнении 80 128 128 80. Но из-за 5 ур-ия остается только 80+80=160 Это правильно? Заранее спасибо!
Поляков: ELE пишет: Это правильно? Заранее спасибо! Это точно неправильно, потому что правильный ответ - 162. Разбор этого задания есть на сайте, правда, не методом отображений.
MEA: ELE пишет: я решаю методом отображений: a'=b+c b'=a+b+c+d c'=a+b+c+d d'=b+c тогда в 4 уравнении 80 128 128 80. Но из-за 5 ур-ия остается только 80+80=160 Что у Вас обозначено как a, b, c, d? Здесь надо по паре (x1, y1) находить (x2, y2) - общая часть первого и второго уравнения.
Поляков: ELE пишет: я решаю методом отображений: На сайте опубликовано решение этой задачи методом отображений (А.Н. Носкин). Но оно значительно длиннее, чем первое.
MEA: Поляков пишет: Но оно значительно длиннее, чем первое. Оно длинное и запутанное у Носкина, т.к. столбцы в другом порядке. Если столбцы подписать x1 y1 x2 y2, а потом вместо стрелок матрицу смежности, то очень коротко.
Поляков: MEA пишет: Оно длинное и запутанное у Носкина, т.к. столбцы в другом порядке. Если это не сложно, не могли бы Вы привести короткое решение методом отображений?
Привезенов: Поляков пишет: Если это не сложно, не могли бы Вы привести короткое решение методом отображений? Я ,конечно,не тот человек,которого вы попросили решить методом отображения данную задачу,но вот http://vfl.ru/fotos/foto_zoom/d9dab49615855115.html ,если что -то непонятно,постараюсь объяснить
Поляков: Поляков пишет: Если это не сложно, не могли бы Вы привести короткое решение методом отображений? Решение методом отображений уже есть на сайте. Даже два варианта. :-)
полная версия страницы