ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ЛОГИКО-КОМБИНАТОРНЫХ ЗАДАЧ
Аннотация
Предлагается описание средств для программирования трудоемких алгоритмов логико-комбинаторного характера, основанных на представлении информации булевыми векторами и матрицами. Такие средства определяются классами в языке программирования С++. Приводятся результаты экспериментов по сравнению времен исполнения популярных логических операций, реализованных в разработанных классах.
Список литературы
1. Закревский А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте // Успехи современной радиоэлектроники. – 1998. – № 2. – С. 59–67.
2. Романов В.И. Разработка инструментальных средств логического проектирования // Логическое проектирование. Вып. 6. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – С. 151–170.
3. Василькова И.В., Романов В.И. Булевы векторы и матрицы в С++ // Логическое проектирование. Вып. 2. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1997. – С. 150–158.
4. Черемисинов Д.И., Черемисинова Л.Д. Троичные векторы и матрицы в С++ // Логическое проектирование. Вып. 3. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1998. – С.146–156.
5. Закревский А.Д., Василькова И.В. Криптоанализ машины Hagelin – метод решения системы логических уравнений // Комплексная защита информации. Вып 2. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – С. 129–138.
6. Романов В.И. Перезагрузка операторов в С++ и эффективность программ // Актуальные проблемы радиоэлектроники: научные исследования, подготовка кадров: сб. науч. статей. В 3 ч. Ч. 2. – Мн.: МГВРК, 2005. – С. 163–168.
7. Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. –М.: Мир, 1980. – 476 с.
8. Romanov V. Tools for programming boolean calculations // ECCO XVIII «Combinatorics for modern manufacturing, logistics and supply chains»: Abstracts of the XVIII European Conference 26–28 May, Minsk, Belarus. – Minsk: UIIP of the NASB, 2005. – C. 57–58.
9. Романов В.И. Оптимизация булевых вычислений на программном уровне // Танаевские чтения: докл. Второй науч. конф. 28 марта 2005 г., Минск. – Мн.: ОИПИ НАН Беларуси, 2005. – С. 91–93.
10. Романов В.И. Списковое представление булевых векторов // Известия Белорусской инженерной академии. – № 1(19)/2. – 2005. – С. 72–75.
Рецензия
Для цитирования:
Романов В.И. ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ЛОГИКО-КОМБИНАТОРНЫХ ЗАДАЧ. Информатика. 2005;(4(8)):114-123.
Просмотров: 528
Послать статью по эл. почте 