МАКСИМАЛЬНІ ТИПИ МОНОТОННИХ БУЛЕВИХ ФУНКЦІЙ
DOI:
https://doi.org/10.36074/grail-of-science.07.06.2024.058Keywords:
Монотонні Булеві Функції, Рекурентні Обчислення, Матриці Розподілу, Тип Монотонних Булевих Функцій, Множина Шпернера, Зсув-СумаSummary
У статті виведено критерій визначення максимального типу монотонних булевих функцій (МБФ). Отримано матричні рівняння для рекурентного обчислення розподілу кількості типів максимального рангу. Використовуючи ці рівняння, можна будувати матриці розподілу великих типів МБФ. Виведено рекурентні формули для перерахування всіх типів довільного рангу. За допомогою них можна будувати коригувальний код. Наведено два алгоритми для обчислення кількості максимальних типів МБФ та перерахування всіх максимальних типів певного рангу.
Downloads
Downloads
License
Copyright (c) 2024 Юрій Аркатов, Олена Георгаліна, Олег Сінявський, Олексій Соловйов
References
Engel K. (1997). Sperner theory, Cambridge University Press. DOI: https://doi.org/10.1017/CBO9780511574719
Stephen T., Yusun T. (2012). Сounting inequivalent Monotone Boolean Functions. Вилучено з arXiv : 1209.4623v1 [cs.DS].
Ткаченко В.Г. (2008). Перелік типів монотонних булевих функцій під час синтезу цифрових схем. Наукові праці ОНАЗ ім О.С. Попова, (2), 54 - 69.
Ткаченко В.Г. (2008). Класифікація монотонних булевих функцій під час синтезу цифрових схем. Наукові праці ОНАЗ ім . О.С. Попова, (1), 35 - 43.
Dedekind R. (1897). Uber Zerlegungen von Zahlen durch ihre gr ¨ ¨ ossten gemainsamen Teilor. Festschrift Hoch Braunschweig u ges . Werke, II, 103-148. DOI: https://doi.org/10.1007/978-3-663-07224-9_1
Downloads
How to Cite
Issue
Section
Categories
