Добро пожаловать, гость
:: алгоритмы  и методы :: :: олимпиадные задачи :: :: связь :: :: о сайте :: :: форум ::

Форум работает в режиме архива, только для чтения и поиска.
Архив 2004 Архив 2007 Архив 2013

 
 
Опции темы Поиск в этой теме Опции просмотра
  #1  
Старый 13.04.2011, 02:18
Новичок

Отправить личное сообщение для allbuk Посмотреть профиль Найти все сообщения от allbuk
 
Регистрация: 27.05.2009
Сообщений: 4

Сравнение двух булевых функций
Господа, подскажите, пожалуйста, решение следующей задачи (желательно на С++). Буду очень благодарен.

Сравнить две булевы функции, заданные дизъюнктивными нормальными формами (ДНФ). ДНФ представляется троичной матрицей. Предварительно построить булеву матрицу и привести ее к альфа-канонической форме.

Заранее спасибо.
  #2  
Старый 14.04.2011, 21:50
Пользователь

Отправить личное сообщение для lordKelvin Посмотреть профиль Найти все сообщения от lordKelvin
 
Регистрация: 25.01.2010
Сообщений: 51

Пример входных данных.
  #3  
Старый 19.04.2011, 23:39
Новичок

Отправить личное сообщение для allbuk Посмотреть профиль Найти все сообщения от allbuk
 
Регистрация: 27.05.2009
Сообщений: 4

Короче говоря, есть две булевы функции, они представляются двумя троичными матрицами. Каждой троичной матрице строится по две соответствующие булевы матрицы. Вот эти булевы матрицы нужно привести к альфа-кононической форме и просто стравнить, равны ли они или нет.

Например,
2 0 0 2
1 0 2 0
0 2 0 0
2 0 1 2

и

1 2 0 1
0 0 1 2
2 0 1 0
1 1 2 0
  #4  
Старый 06.05.2011, 03:10
Аватар для pavlinux
Пользователь

Отправить личное сообщение для pavlinux Посмотреть профиль Найти все сообщения от pavlinux
 
Регистрация: 16.11.2008
Сообщений: 93

1. Что такое альфа-каноническая форма матрицы?
2. Пусть даже она существует, то нафига делать преобразования булевых значений? Или они тоже линейно-зависимы?
3. Матрицы равны тогда и только тогда, когда попарно равны их элементы.
 


Опции темы Поиск в этой теме
Поиск в этой теме:

Расширенный поиск
Опции просмотра


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
структура данных функций!!!! Бароха Сортировка и поиск 9 14.03.2011 22:40
Сравнение фалов. гость Сортировка и поиск 1 04.01.2009 22:01
массив функций в паскаль незарегистрированный Реализация, исходники, языки 2 10.05.2008 17:12
Минимизация логических функций Linwё Реализация, исходники, языки 1 25.12.2007 12:36
ищу алгоритм минимизации логических функций методом квайна незарегистрированный Реализация, исходники, языки 0 26.05.2007 01:40