New bounds for energy complexity of Boolean functions

被引:5
|
作者
Dinesh, Krishnamoorthy [1 ]
Otiv, Samir [1 ,2 ]
Sarma, Jayalal [1 ]
机构
[1] Indian Inst Technol Madras, Chennai, Tamil Nadu, India
[2] Maximl Labs, Vatakara, India
关键词
Energy complexity; Boolean circuits; Decision tree complexity; Sensitivity; Karchmer-Wigderson games; Formula size; THRESHOLD CIRCUITS; MONOTONE CIRCUITS; SIZE;
D O I
10.1016/j.tcs.2020.09.003
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
For a Boolean function f:{0, 1}(n) ->{0, 1} computed by a Boolean circuit Cover a finite basis B, the energy complexityof 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 Bdenoted by ECB(f) (def)= min(C) ECB(C) where Cis a Boolean circuit over Bcomputing f. We study the case when B={boolean AND(2), boolean OR(2), (sic)}, 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 + is an element of(n)) for a small is an element of(n)(which we observe is improvable to 3n - 1). We show several new results and connections between energy complexity and other wellstudied 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. 1986, [3]) and defined in a similar way, and show that for any Boolean circuit Ccomputing a Boolean function f, EC(C) >= psens(f)/3. For a monotone function f, we show that EC(f) = Omega(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) = Omega(root L(F)-Depth(F)) where L(F) is the size and Depth(F) is the depth of a formula F. (C) 2020 Elsevier B.V. All rights reserved.
引用
收藏
页码:59 / 75
页数:17
相关论文
共 50 条
  • [1] New Bounds for Energy Complexity of Boolean Functions
    Dinesh, Krishnamoorthy
    Otiv, Samir
    Sarma, Jayalal
    COMPUTING AND COMBINATORICS (COCOON 2018), 2018, 10976 : 738 - 750
  • [2] On the complexity bounds of restrictions of Boolean functions
    Chashkin, AV
    DOKLADY AKADEMII NAUK, 1996, 348 (05) : 595 - 597
  • [3] New upper bounds on the Boolean circuit complexity of symmetric functions
    Demenkov, E.
    Kojevnikov, A.
    Kulikov, A.
    Yaroslavtsev, G.
    INFORMATION PROCESSING LETTERS, 2010, 110 (07) : 264 - 267
  • [4] LOWER BOUNDS TO THE COMPLEXITY OF SYMMETRICAL BOOLEAN FUNCTIONS
    BABAI, L
    PUDLAK, P
    RODL, V
    SZEMEREDI, E
    THEORETICAL COMPUTER SCIENCE, 1990, 74 (03) : 313 - 323
  • [5] Lower bounds for the complexity of restrictions of Boolean functions
    Chashkin, AV
    DISCRETE APPLIED MATHEMATICS, 2001, 114 (1-3) : 61 - 93
  • [6] Upper bounds on the multiplicative complexity of symmetric Boolean functions
    Brandao, Luis T. A. N.
    Calik, Cagdas
    Sonmez Turan, Meltem
    Peralta, Rene
    CRYPTOGRAPHY AND COMMUNICATIONS-DISCRETE-STRUCTURES BOOLEAN FUNCTIONS AND SEQUENCES, 2019, 11 (06): : 1339 - 1362
  • [7] 2 LINEAR LOWER BOUNDS ON COMPLEXITY OF BOOLEAN FUNCTIONS
    SCHNORR, CP
    COMPUTING, 1974, 13 (02) : 155 - 171
  • [9] LOWER BOUNDS ON THE MONOTONE COMPLEXITY OF SOME BOOLEAN FUNCTIONS
    RAZBOROV, AA
    DOKLADY AKADEMII NAUK SSSR, 1985, 281 (04): : 798 - 801
  • [10] Upper bounds on the multiplicative complexity of symmetric Boolean functions
    Luís T. A. N. Brandão
    Çağdaş Çalık
    Meltem Sönmez Turan
    René Peralta
    Cryptography and Communications, 2019, 11 : 1339 - 1362