Abstract
Two classical problems are considered: recognizing the properties of a Boolean function given a column of its values and constructing a diagnostic test. The problems are investigated for nonrepeating functions in an arbitrary basis B. For the first problem, the decomposition method is applied to prove linear complexity of the corresponding sequential circuits; for the second problem we derive the order of the Shannon functions for a number of bases, in particular, for the basis of all functions of four variables.
Similar content being viewed by others
References
A. A. Voronenko, “The decomposition method for recognizing membership in invariant classes,” Diskretnaya Matematika, 14, No. 4, 110–116 (2002).
V. B. Alekseev, Lectures in Discrete Mathematics [in Russian], MAKS Press, Moscow (2004).
J. E. Savage, The Complexity of Computing [Russian translation], Izd. “Faktorial,” Moscow (1998).
G. P. Gavrilov and A. A. Sapozhenko, Collection of Problems in Discrete Mathematics [in Russian], Nauka, Moscow (1992).
A. A. Voronenko, “On diagnostic tests for nonrepeating functions,” Matem. Voprosy Kibern., 11, 163–176 (2002).
S. V. Vinokurov and N. A. Peryazev (eds.), Issues in the Theory of Boolean Functions [in Russian], Fizmatlit, Moscow (2001).
A. A. Voronenko, Testing on Some Sets of Nonrepeating Functions [in Russian], MAKS Press, Moscow (2005).
A. A. Voronenko, “On the length of a diagnostic test for nonrepeating functions in the basis {0, 1, &, ∨, ¬},” Diskretnaya Matematika, 17, No. 2, 139–143 (2005).
A. A. Voronenko, “Estimating the length of a diagnostic test for some nonrepeating functions,” Prikladnaya Matematika i Informatika, MAKS Press, Moscow, 15, 85–97 (2003).
Additional information
__________
Translated from Prikladnaya Matematika i Informatika, No. 23, pp. 67–84, 2006.
Rights and permissions
About this article
Cite this article
Voronenko, A.A. Recognizing the nonrepeating property in an arbitrary basis. Comput Math Model 18, 55–65 (2007). https://doi.org/10.1007/s10598-007-0006-z
Issue Date:
DOI: https://doi.org/10.1007/s10598-007-0006-z