Preview

Информатика

Расширенный поиск

РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ

Полный текст:

Аннотация

Исследуется оригинальный эвристический алгоритм последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Рассматривается ключевая комбинаторная задача:  нахождение пригодного разбиения на множестве аргументов, т. е. такого, по которому функция разделима. Поиск пригодного разбиения существенно ускоряется путем предварительного обнаружения его следов. В рамках экспериментальной системы оценивается эффективность алгоритма, определяются границы его практического применения.

Об авторах

А. Д. Закревский
Объединенный институт проблем информатики НАН Беларуси
Беларусь


Н. Р. Торопов
Объединенный институт проблем информатики НАН Беларуси
Беларусь


Список литературы

1. Закревский, А.Д. Последовательная декомпозиция булевой функции – поиск подходящего разбиения на множестве аргументов / А.Д. Закревский // Доклады НАН Беларуси. – 2007. – Т. 51, № 1. – С. 7–11.

2. Zakrevskij, A.D. Parallel operations over neighbors in Boolean space / A.D. Zakrevskij // Proceedings of the Sixth International Conference CAD DD-07. – Minsk, 2007. – Vol. 2. – P. 6–13.

3. Закревский, А.Д. Реализация случайных событий с заданной вероятностью / А.Д. Закрев¬ский // Труды СФТИ. – 1965. – Вып. 47. – С. 56–59.

4. Закревский, А.Д. Декомпозиция частичных булевых функций – поиск подходящего разбиения / А.Д. Закревский // Информатика. – 2007. – № 2. – C. 45–52.


Для цитирования:


Закревский А.Д., Торопов Н.Р. РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2008;(4(20)):41-49.

Просмотров: 96


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)