?
О реализации булевых функций обобщенными формулами
С. 268–270.
Sysoeva L.
In book
Каз.: Отечество, 2014.
Ivanov N., Rubtsov A. A., Vyalyi M., , in: Descriptional Complexity of Formal Systems. 26th IFIP WG 1.02 International Conference, DCFS 2025 Loughborough, UK, July 22–24, 2025. Proceedings.: Springer, 2025. P. 137–150.
Added: August 24, 2025
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Added: November 12, 2023
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь: Тверской государственный университет, 2021.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Added: November 12, 2023
Коврижных М. А., Fomin D., Прикладная дискретная математика. Приложение 2021 № 14 С. 181–184
Bijective vector Boolean functions (permuta- tions) are used as nonlinear primitives of many symmetric ciphers. In this paper, we study a generalized construction of (2m, 2m)-functions using monomial and arbitrary m-bit per- mutations as constituent elements. A heuristic algorithm for obtaining bijective Boolean functions with given nonlinearity and differential uniformity, based on this construction, is proposed. For ...
Added: September 22, 2021
Fedorov S., Логачёв О. А., Ященко В. В., Дискретная математика 2021 Т. 33 № 2 С. 66–85
Рассматривается действие на множестве булевых функций расширения G полной аффинной группы преобразований с помощью группы аффинных функций: действие заключается в преобразовании булевых функций невырожденными аффинными заменами переменных и сложением с аффинными булевыми функциями. Введены и исследованы параметры булевых функций, инвариантные относительно действия группы G: амплитуда (тесно связанная с нелинейностью), размерность функции и некоторые другие. Эти ...
Added: June 16, 2021
Fedorov S., Логачёв О. А., Ященко В. В., Discrete Mathematics and Applications 2020 Vol. 30 No. 2 P. 93–101
Added: June 16, 2021
Fedorov S., Логачёв О. А., Сукаев А. А., Информатика и ее применения 2019 Т. 13 № 2 С. 37–46
Как известно, вычислительная задача решения систем нелинейных уравнений над полем из двух элементов является NP-трудной. Этим обстоятельством обуславливается стремление исследователей разрабатывать алгоритмы ее решения, минимизирующие необходимые вычислительные ресурсы для тех или иных классов систем уравнений.
В статье предлагается метод решения систем квадратичных булевых уравнений, использующий представление функций их аффинными нормальными формами, то есть, в некотором смысле, аппроксимацию ...
Added: June 16, 2021
Fedorov S., Логачёв О. А., Ященко В. В., Discrete Mathematics and Applications 2019 Vol. 29 No. 2 P. 89–101
Added: June 16, 2021
Sysoeva L., Moscow University Mathematics Bulletin 2019 Vol. 74 No. 6 P. 241–245
The problem of realization of Boolean functions by initial Boolean automata with constant states and n inputs is considered. Initial Boolean automaton with constant states and n inputs is an initial automaton with output such that in all states the output functions are n-ary constant Boolean functions 0 or 1. An example of an initial Boolean automaton with the minimum ...
Added: November 22, 2020
Yashunsky A., Вестник Московского университета. Серия 1: Математика. Механика 2019 № 4 С. 3–9
We consider systems of Boolean functions inducing algebras of Bernoulli distributions, whose universal set has a single limit point. We establish a criterion for an algebra generated by a given set of distributions to have a unique limit point. ...
Added: September 9, 2020
Yashunsky A., Lobachevskii Journal of Mathematics 2019 Vol. 40 No. 9 P. 1423–1432
We consider Bernoulli distribution algebras, i.e. sets of distributions that are closed under transformations achieved by substituting independent random variables for arguments of Boolean functions from a given system. We establish that, unless the transforming set contains only essentially unary functions, the set of algebra limit points is either empty, single-element or no less than ...
Added: September 9, 2020
Yashunsky A., Algebra Universalis 2019 Vol. 80 No. 1 (5) P. 1–16
We consider the problem of approximating distributions of Bernoulli random variables by applying Boolean functions to independent random variables with distributions from a given set. For a set B of Boolean functions, the set of approximable distributions forms an algebra, named the approximation algebra of Bernoulli distributions induced by B. We provide a complete description ...
Added: September 9, 2020
Ложкин С. А., Danilov B. R., Прикладная математика и информатика 2011 № 39 С. 107–129
The article investigates a model of delays in a network of functional elements (a gate network) in an arbitrary finite complete basis B, where basis elements may have different input delays. Asymptotic bounds of the form τ_B n ± O(1), where τ_B is a constant that depends only on the basis B, are obtained for ...
Added: December 2, 2019
Lozhkin S. A., Danilov B.R., Computational Mathematics and Modeling 2012 Vol. 23 No. 4 P. 487–506
The article investigates a model of delays in a network of functional elements (a gate network) in an arbitrary finite complete basis B, where basis elements may have different input delays. Asymptotic bounds of the form τ B n±O(1), where τ B is a constant that depends only on the basis B, are obtained for ...
Added: December 2, 2019
Danilov B. R., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика 2013 Т. 4 С. 25–33
В~работе изучается модель задержки схем из функциональных элементов в произвольном конечном полном базисе~$\lBase$, в которой задержки базисных элементов задаются произвольными положительными действительными числами для каждого входа и каждого входного набора переменных, поступающих на остальные входы. В~рассматриваемой модели для задержки мультиплексорной функции порядка~$n$ получены асимптотические оценки вида~$\tau_{\lBase} n \pm O(\log n)$, где~$\tau_{\lBase}$ "--- константа, зависящая только ...
Added: December 2, 2019
Ложкин С. А., Шуплецов М. С., Коноводов В. А. et al., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2016 Т. 1 С. 40–47
The synthesis of optimal or suboptimal switching circuits is an actual problem of theory of discrete control
systems. Libraries of such circuits could be used in various algorithms of logic synthesis (e.g., see [1]). The structure
analysis of optimal circuits for functions of few variables may be useful in the development of standard cell libraries.
The first catalogs ...
Added: December 2, 2019