informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-795Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ЛОГИКО-КОМБИНАТОРНЫХ ЗАДАЧРомановВ. И.Объединенный институт проблем информатики НАН БеларусиBelarus20052901201904(8)114123Copyright © Романов В.И., 20192019Романов В.И.Романов В.И.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/795

Предлагается описание средств для программирования трудоемких алгоритмов логико-комбинаторного характера, основанных на представлении информации булевыми векторами и матрицами. Такие средства определяются классами в языке программирования С++. Приводятся результаты экспериментов по сравнению времен исполнения популярных логических операций, реализованных в разработанных классах.

ReferencesЗакревский А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте // Успехи современной радиоэлектроники. – 1998. – № 2. – С. 59–67.Закревский А.Д. Комбинаторные задачи над логическими матрицами в логическом проектировании и искусственном интеллекте // Успехи современной радиоэлектроники. – 1998. – № 2. – С. 59–67.Романов В.И. Разработка инструментальных средств логического проектирования // Логическое проектирование. Вып. 6. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – С. 151–170.Романов В.И. Разработка инструментальных средств логического проектирования // Логическое проектирование. Вып. 6. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 2001. – С. 151–170.Василькова И.В., Романов В.И. Булевы векторы и матрицы в С++ // Логическое проектирование. Вып. 2. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1997. – С. 150–158.Василькова И.В., Романов В.И. Булевы векторы и матрицы в С++ // Логическое проектирование. Вып. 2. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1997. – С. 150–158.Черемисинов Д.И., Черемисинова Л.Д. Троичные векторы и матрицы в С++ // Логическое проектирование. Вып. 3. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1998. – С.146–156.Черемисинов Д.И., Черемисинова Л.Д. Троичные векторы и матрицы в С++ // Логическое проектирование. Вып. 3. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1998. – С.146–156.Закревский А.Д., Василькова И.В. Криптоанализ машины Hagelin – метод решения системы логических уравнений // Комплексная защита информации. Вып 2. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – С. 129–138.Закревский А.Д., Василькова И.В. Криптоанализ машины Hagelin – метод решения системы логических уравнений // Комплексная защита информации. Вып 2. – Мн.: Ин-т техн. кибернетики НАН Беларуси, 1999. – С. 129–138.Романов В.И. Перезагрузка операторов в С++ и эффективность программ // Актуальные проблемы радиоэлектроники: научные исследования, подготовка кадров: сб. науч. статей. В 3 ч. Ч. 2. – Мн.: МГВРК, 2005. – С. 163–168.Романов В.И. Перезагрузка операторов в С++ и эффективность программ // Актуальные проблемы радиоэлектроники: научные исследования, подготовка кадров: сб. науч. статей. В 3 ч. Ч. 2. – Мн.: МГВРК, 2005. – С. 163–168.Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. –М.: Мир, 1980. – 476 с.Рейнгольд Э., Нивергельт Ю., Део Н. Комбинаторные алгоритмы. Теория и практика. –М.: Мир, 1980. – 476 с.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.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.Романов В.И. Оптимизация булевых вычислений на программном уровне // Танаевские чтения: докл. Второй науч. конф. 28 марта 2005 г., Минск. – Мн.: ОИПИ НАН Беларуси, 2005. – С. 91–93.Романов В.И. Оптимизация булевых вычислений на программном уровне // Танаевские чтения: докл. Второй науч. конф. 28 марта 2005 г., Минск. – Мн.: ОИПИ НАН Беларуси, 2005. – С. 91–93.Романов В.И. Списковое представление булевых векторов // Известия Белорусской инженерной академии. – № 1(19)/2. – 2005. – С. 72–75.Романов В.И. Списковое представление булевых векторов // Известия Белорусской инженерной академии. – № 1(19)/2. – 2005. – С. 72–75.

The authors declare that there are no conflicts of interest present.