Title :
On computing Boolean functions by sparse real polynomials
Author :
Krause, Matt Hias ; Pudlák, Pavel
Author_Institution :
Lehrstuhl Inf. II, Dortmund Univ., Germany
Abstract :
We investigate the complexity of Boolean functions f with respect to realizations by real polynomials p (voting polynomials) in the sense that the sign of p(x) determines the value f(x). Considerable research has been done on determining the minimal degree needed for realizing or approximating particular functions. In this paper we focus our interest on estimating the minimal number of monomials, i.e. the length of realizing polynomials. Our main observation is that, in contrast to the degree, the minimal length essentially depends on whether we realize f over the domain {0,1}n (which corresponds to threshold-and circuits for f), or over the domain {1,-1}n (which corresponds to threshold-parity circuits)
Keywords :
Boolean functions; computational complexity; polynomials; Boolean functions; complexity; polynomials; sparse real polynomials; threshold-and circuits; threshold-parity circuits; Boolean functions; Circuits; Feedforward neural networks; Neural networks; Polynomials; Switches; Voting;
Conference_Titel :
Foundations of Computer Science, 1995. Proceedings., 36th Annual Symposium on
Conference_Location :
Milwaukee, WI
Print_ISBN :
0-8186-7183-1
DOI :
10.1109/SFCS.1995.492670