当前位置: X-MOL 学术Theor. Comput. Sci. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
New bounds for energy complexity of Boolean functions
Theoretical Computer Science ( IF 1.1 ) Pub Date : 2020-09-11 , DOI: 10.1016/j.tcs.2020.09.003
Krishnamoorthy Dinesh , Samir Otiv , Jayalal Sarma

For a Boolean function f:{0,1}n{0,1} computed by a Boolean circuit C over a finite basis B, the energy complexity of C (denoted by ECB(C)) is the maximum over all inputs {0,1}n of the number gates of the circuit C (excluding the inputs) that output a one. Energy Complexity of a Boolean function over a finite basis B denoted by ECB(f)=defminCECB(C) where C is a Boolean circuit over B computing f.

We study the case when B={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 3n1). We show several new results and connections between energy complexity and other well-studied parameters of Boolean functions.

For all Boolean functions f, EC(f)O(DT(f)3) where DT(f) is the optimal decision tree depth of f.

We define a parameter positive sensitivity (denoted by psens), a quantity that is smaller than sensitivity [Cook et al.,SIAM Journal of Computing, 15(1):87–97, 1986] and defined in a similar way, and show that for any Boolean circuit C computing a Boolean function f, EC(C)psens(f)/3.

For a monotone function f, we show that EC(f)=Ω(KW+(f)) where KW+(f) is the cost of monotone Karchmer-Wigderson game of f.

Restricting the above notion of energy complexity to Boolean formulas, we show EC(F)=Ω(L(F)Depth(F)) where L(F) is the size and Depth(F) is the depth of a formula F.



中文翻译:

布尔函数能量复杂度的新界限

对于布尔函数 F{01个}ñ{01个}由布尔电路C在有限的基础上计算中,能量复杂Ç(表示为通过欧共体C)是所有输入的最大值 {01个}ñ输出1的电路C的门数(不包括输入)。布尔函数在有限基础上的能量复杂度 表示为 欧共体F=定义C欧共体C其中C是布尔电路计算f

我们研究的情况是 ={22¬},标准布尔基础。众所周知,任何布尔函数都可以由能量最大为零的电路(可能具有较大的尺寸)来计算3ñ1个+ϵñ 一小会儿 ϵñ (我们观察到的 3ñ-1个)。我们展示了一些新的结果以及能量复杂度和布尔函数的其他经过充分研究的参数之间的联系。

对于所有布尔函数f欧共体FØDTF3 哪里 DTFf的最佳决策树深度。

我们定义一个参数正灵敏度(用psens),其数量小于灵敏度[Cook等人,SIAM Journal of Computing,15(1):87-97,1986],并且以类似方式定义,并且表明对于任何布尔电路C,计算布尔函数˚F欧共体CpsensF/3

对于单调函数f,我们证明欧共体F=Ω千瓦+F 哪里 千瓦+Ff的单调Karchmer-Wigderson游戏的成本。

将以上能量复杂度的概念限制为布尔公式,我们显示 欧共体F=Ω大号F-深度F 哪里 大号F 是大小和 深度F是公式F的深度。

更新日期:2020-09-11
down
wechat
bug