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.

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


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


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