Аннотация:
В работе строится общий метод распознавания принадлежности функций классам, замкнутым относительно подстановки констант, использующий разложение по переменной.
Статья поступила: 28.10.2002
Реферативные базы данных:
УДК:519.7
Образец цитирования:
А. А. Вороненко, “О методе разложения для распознавания принадлежности инвариантным классам”, Дискрет. матем., 14:4 (2002), 110–116; Discrete Math. Appl., 12:6 (2002), 607–614
Н. Г. Парватов, “Нахождение множеств переменных частичной булевой функции, достаточных для её реализации в классах, задаваемых предикатами”, Дискретн. анализ и исслед. опер., 27:1 (2020), 110–126; N. G. Parvatov, “Finding the subsets of variables of a partial Boolean function which are sufficient for its implementation in the classes defined by predicates”, J. Appl. Industr. Math., 14:1 (2020), 186–192
S. N. Selezneva, “Lower bound on the complexity of finding polynomials of Boolean functions in the class of circuits with separated variables”, Comput Math Model, 24:1 (2013), 146
S. N. Selezneva, “The circuit complexity of checking polynomiality for functions over residue ring modulo a composite number is linear”, MoscowUniv.Comput.Math.Cybern., 37:1 (2013), 21
A. A. Voronenko, “Recognizing the nonrepeating property in an arbitrary basis”, Comput Math Model, 18:1 (2007), 55
А. А. Вороненко, “Бесповторность распознается схемами линейной сложности”, Дискрет. матем., 17:4 (2005), 111–115; A. A. Voronenko, “The representability of a Boolean function by a repetition-free formula can be verified by a circuit of linear complexity”, Discrete Math. Appl., 15:5 (2005), 507–511