New Bounds for Energy Complexity of Boolean Functions

08/22/2018
by   Krishnamoorthy Dinesh, et al.
0

For a Boolean function f:{0,1}^n →{0,1} computed by a circuit C over a finite basis B, the energy complexity of C (denoted by _(C)) is the maximum over all inputs {0,1}^n the numbers of gates of the circuit C (excluding the inputs) that output a one. Energy Complexity of a Boolean function over a finite basis denoted by _(f):= _C _(C) where C is a circuit over computing f. We study the case when = {_2, _2, }, the standard Boolean basis. It is known that any Boolean function can be computed by a circuit (with potentially large size) with an energy of at most 3n(1+ϵ(n)) for a small ϵ(n)(which we observe is improvable to 3n-1). We show several new results and connections between energy complexity and other well-studied parameters of Boolean functions. * For all Boolean functions f, (f) < O((f)^3) where (f) is the optimal decision tree depth of f. * We define a parameter positive sensitivity (denoted by ), a quantity that is smaller than sensitivity and defined in a similar way, and show that for any Boolean circuit C computing a Boolean function f, (C) >(f)/3. * For a monotone function f, we show that (f) = Ω(^+(f)) where ^+(f) is the cost of monotone Karchmer-Wigderson game of f. * Restricting the above notion of energy complexity to Boolean formulas, we show (F) = Ω (√(L(F))-depth(F) ) where L(F) is the size and depth(F) is the depth of a formula F.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/09/2018

On the Relationship between Energy Complexity and Other Boolean Function Measures

In this work we investigate into energy complexity, a Boolean function m...
research
12/31/2022

Power of Decision Trees with Monotone Queries

In this paper, we initiate study of the computational power of adaptive ...
research
04/22/2019

Almost Optimal Testers for Concise Representations

We give improved and almost optimal testers for several classes of Boole...
research
10/05/2017

Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth

In this paper we give a characterization of both Boolean and arithmetic ...
research
07/01/2021

Circuit Complexity of Visual Search

We study computational hardness of feature and conjunction search throug...
research
07/11/2021

Karchmer-Wigderson Games for Hazard-free Computation

We present a Karchmer-Wigderson game to study the complexity of hazard-f...
research
06/17/2022

Rectifying Mono-Label Boolean Classifiers

We elaborate on the notion of rectification of a Boolean classifier Σ. G...

Please sign up or login with your details

Forgot password? Click here to reset