Изучены условия однозначности разложения булевой функции в простую бесповторную декомпозицию при линейной замене переменных. Вводится понятие подпространства существенных переменных. Найдены условия, при выполнении которых каждое из двух подпространств существенных переменных функций-компонент в простой декомпозиции функции с тривиальной группой инерции в группе сдвигов однозначно определяет другое. Рассмотрен также случай итеративной декомпозиции.
Скачать электронную версию публикации
Загружен, раз: 265
- Title К вопросу о линейной декомпозиции двоичных функций
- Headline К вопросу о линейной декомпозиции двоичных функций
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 1(31)
- Date:
- DOI
Ключевые слова
iterative disjunctive decomposition, dual space, simple disjunctive decomposition, vector space, Boolean function, итеративная декомпозиция, простая декомпозиция, сопряжённое пространство, булевы функцииАвторы
Ссылки
Черемушкин А. В. Однозначность разложения двоичной функции в бесповторное произведение нелинейных неприводимых сомножителей // Вестник Московского государственного университета леса «Лесной вестник». 2004. №4(35). C. 86-90.
Черемушкин А. В. Методы аффинной и линейной классификации двоичных функций // Труды по дискретной математике. Т. 4. М.: Физматлит, 2001. С. 273-314.
К вопросу о линейной декомпозиции двоичных функций | Прикладная дискретная математика. 2016. № 1(31).