首页> 外文期刊>Electronic Colloquium on Computational Complexity >New Bounds for Energy Complexity of Boolean Functions
【24h】

New Bounds for Energy Complexity of Boolean Functions

机译:布尔函数能量复杂度的新界

获取原文
           

摘要

For a Boolean function f : 0 1 n 0 1 computed by a circuit C over a finite basis , the energy complexity of C (denoted by EC ( 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 EC ( f ) : = min C EC ( 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 3 n (1 + ( n )) for a small ( n ) (which we observe is improvable to 3 n ? 1 ). We show several new results and connections between energy complexity and other well-studied parameters of Boolean functions.1. For all Boolean functions f , EC ( f ) O ( D T ( f ) 3 ) where D T ( f ) is the optimal decision tree depth of f . 2. We define a parameter {positive sensitivity} (denoted by psens ), 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 , EC ( C ) psens ( f ) 3 .3. For a monotone function f , we show that EC ( f ) = ( K W + ( f )) where K W + ( f ) is the cost of monotone Karchmer-Wigderson game of f .4. Restricting the above notion of energy complexity to Boolean formulas, we show EC ( F ) = L ( F ) ? d epth ( F ) where L ( F ) is the size and depth ( F ) is the depth of a formula F .
机译:对于电路C在有限基础上计算出的布尔函数f:0 1 n 0 1,C的能量复杂度(用EC(C)表示)在所有输入0 1 n上电路的门数上最大C(不包括输入)输出1。布尔函数在有限基础上的能量复杂度,表示为EC(f):= min C EC(C)其中C是计算f的电路。我们研究当标准布尔基础= 2 2时的情况。众所周知,任何布尔函数都可以由电路(具有潜在的大尺寸)以小(n)(我们观察到不超过3 n)的能量最多为3 n(1 +(n))的方式计算。 1)。我们展示了一些新的结果以及能量复杂度和布尔函数的其他经过充分研究的参数之间的联系。1。对于所有布尔函数f,EC(f)O(D T(f)3),其中D T(f)是f的最佳决策树深度。 2.我们定义了一个参数{positivesensitive}(用psens表示),该值小于灵敏度并以类似方式定义,并且表明对于任何布尔电路C计算布尔函数f,EC(C)psens( f)3 .3。对于单调函数f,我们证明EC(f)=(K W +(f)),其中K W +(f)是f .4的单调Karchmer-Wigderson博弈的成本。将以上能量复杂度的概念限制为布尔公式,我们显示EC(F)= L(F)?深度(F),其中L(F)是大小,深度(F)是公式F的深度。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号