New upper bounds on the Boolean circuit complexity of symmetric functions
نویسندگان
چکیده
In this note, we present improved upper bounds on the circuit complexity of symmetric Boolean functions. In particular, we describe circuits of size 4.5n + o(n) for any symmetric function of n variables, as well as circuits of size 3n for MOD3 function.
منابع مشابه
Learning Circuits with few Negations
Monotone Boolean functions, and the monotone Boolean circuits that compute them, have been intensively studied in complexity theory. In this paper we study the structure of Boolean functions in terms of the minimum number of negations in any circuit computing them, a complexity measure that interpolates between monotone functions and the class of all functions. We study this generalization of m...
متن کاملThe exponential functions of central-symmetric $X$-form matrices
It is well known that the matrix exponential function has practical applications in engineering and applied sciences. In this paper, we present some new explicit identities to the exponential functions of a special class of matrices that are known as central-symmetric $X$-form. For instance, $e^{mathbf{A}t}$, $t^{mathbf{A}}$ and $a^{mathbf{A}t}$ will be evaluated by the new formulas in this par...
متن کاملIkenmeyer C, Komarath B, Lenzen C, Lysikov V, Mokhov A, Sreenivasaiah K.
The problem of constructing hazard-free Boolean circuits dates back to the 1940s and is an important problem in circuit design. Our main lower-bound result unconditionally shows the existence of functions whose circuit complexity is polynomially bounded while every hazardfree implementation is provably of exponential size. Previous lower bounds on the hazard-free complexity were only valid for ...
متن کاملOn Constant-Depth Canonical Boolean Circuits for Computing Multilinear Functions
We consider new complexity measures for the model of multilinear circuits with general multilinear gates introduced by Goldreich and Wigderson (ECCC, 2013). These complexity measures are related to the size of canonical constant-depth Boolean circuits, which extend the definition of canonical depth-three Boolean circuits. We obtain matching lower and upper bound on the size of canonical constan...
متن کاملLeast Upper Bounds for the Size of OBDDs Using Symmetry Properties
ÐThis paper investigates reduced ordered binary decision diagrams (OBDD) of partially symmetric Boolean functions when using variable orders where symmetric variables are adjacent. We prove upper bounds for the size of such symmetry ordered OBDDs (SymOBDD). They generalize the upper bounds for the size of OBDDs of totally symmetric Boolean functions and nonsymmetric Boolean functions proven by ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 110 شماره
صفحات -
تاریخ انتشار 2010