Условие однозначности разложения в произведение функций p-значной логики при линейной замене переменных

doi:10.17223/2226308X/14/10

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Условие однозначности разложения в произведение функций p-значной логики при линейной замене переменных	122 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/2226308X/14/10

#двоичные функции

#разложение в прямую сумму

#линейное преобразование

Title: Условие однозначности разложения в произведение функций p-значной логики при линейной замене переменных
Creator: Черемушкин, Александр Васильевич
Date: 2021
DOI: 10.17223/2226308X/14/10
Description: Рассматривается множество разложений функции p-значной логики в произведение функций от непересекающихся множеств переменных при различных линейных преобразованиях аргументов. Каждому такому разложению соответствует разложение векторного пространства в прямую сумму подпространств. Приведены условия, при которых разложение определяется однозначно с точностью до перестановки подпространств между собой. Let f : Vn ^ be p-logic function, n ^ 2, and Уп = Z'f is considered as a vector space over Zp. A disjunctive decomposition of f into a product of p-logic functions under various linear transformations of arguments is considered. Function f is linearly decomposable into disjunctive product if there exists a linear transformation A of the vector space Vn such that f(xA) = fi(xi, . . . ,Xfc)f2(Xfc+i,. .. ,Xn) for some k, 1 ^ k < n, and functions fi and f2- We say that argument of functions f (x) is essential iff f (x) = f (x + en) for en = (0,..., 0,1). The main result is: if all arguments of all functions f (xA) under linear substitutuions A of the vector space Уп are essential, the set {a G Уп : f (a) = 0} is not contained in hyperplane of У„, and f is linearly decompsable into the disjunctive product fi fm, where m is maximal, then the direct sum of subspaces УП = У(1) + ... + Уis unique and invariant under the stabilizer group of the function f in general linear group.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Прикладная дискретная математика. Приложение. 2021. № 14. С. 55-57
Language: rus

Created: 13-10-2021

335 Visitors

234 Hits

108 Downloads

Журналы ТГУ Условие однозначности разложения в произведение функций p-значной логики при линейной замене переменных