Threshold functions provide a simple but fundamental model for many questions investigated in image recognition, artificial neural networks and many other areas. In this paper, the results in Boolean threshold function decomposition are advanced to Boolean functions represented by one quadratic inequality. Quadratic polynomials are the most compact non-linear polynomials and this property sometimes is quite important. We prove three criteria for non-trivial decomposition of quadratic Boolean threshold functions. One of them can be applied without analysis of truth table and only uses the threshold structure parameters.
Download file
Counter downloads: 354
- Title Functional decomposability criteria for quadratic threshold Boolean functions
- Headline Functional decomposability criteria for quadratic threshold Boolean functions
- Publesher
Tomsk State University
- Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 2 (28)
- Date:
- DOI
Keywords
функциональная разделимость, декомпозиция, булевы пороговые функции, квадратичные неравенства, Boolean functions, threshold functions, decomposition, quadratic inequalitiesAuthors
References
Черемушкин А. В. Бесповторная декомпозиция сильно зависимых функций // Дискретная математика. 2004. Т. 16. Вып.3. С. 3-42.
Ежов А. А., Шумский С. А. Нейрокомпьютинг и его применения в экономике и бизнесе. М.: МИФИ, 1998. 222 с.
Шурупов А. Н. О функциональной разделимости булевых пороговых функций // Дискретная математика. 1997. Т. 9. Вып. 2. С. 59-73.
Ashenhurst R. L. The decomposition of switching functions // Ann. Comput. Laborat. Harv. Univ. 1959. V. 29. P. 74-116.
Дертоузос М. Пороговая логика. М.: Мир, 1967. 343 с.
Логачев О. А., Сальников А. А., Ященко В. В. Булевы функции в теории кодирования и криптологии. М.: МЦНМО, 2004. 470с.
Подольский В. В. Оценки весов персептронов (полиномиальных пороговых булевых функций): автореф. дис.. канд. физ.-мат. наук. М.: МГУ им. М.В. Ломоносова, 2009.
Crama Y. and Hammer P. Boolean Functions. Theory, Algorithms and Applications. Cambridge University Press, 2011.

Functional decomposability criteria for quadratic threshold Boolean functions | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2015. № 2 (28).
Download full-text version
Counter downloads: 1302