Enumeration of Boolean Functions of Sensitivity Three and Inheritance of Nondegeneracy

被引:0
|
作者
Amano, Kazuyuki [1 ]
机构
[1] Gunma Univ, Dept Comp Sci, 1-5-1 Tenjin, Kiryu, Gunma 3768515, Japan
关键词
BLOCK SENSITIVITY; COMPLEXITY;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The sensitivity of a Boolean function is the maximum, over all inputs, of the number of input bits which when flipped change the output of the function. We enumerate all Boolean functions of sensitivity at most three and investigate their properties with the aid of computers. The number of NPN equivalence classes of nondegenerate n-variable Boolean functions of sensitivity three is 7, 80, 4215, 190221, 65694, 8873, 848, 64 and 8 for n = 3, 4,..., 11 and zero for n >= 12. We verify that, over all these functions, the maximum of block sensitivity, certificate complexity, decision tree complexity and degree is 6, 6, 9 and 9, respectively. A key to making this enumeration possible is the fact that, for every nondegenerate Boolean function f, a subfunction f vertical bar x(i)=0 or f vertical bar x(i)=1 is nondegenerate for some variable x(i), which was recently shown by Lee, Lokam, Tsai and Yang [in Proc. ISIT '15, pages 501-505]. We extend this result by showing that, the minimum number of nondegenerate subfunctions in {f vertical bar x(i)=0, f vertical bar x(i)=1} 1 <= i <= n is, in fact, four.
引用
收藏
页码:251 / 255
页数:5
相关论文
共 50 条
  • [1] Entropy and enumeration of Boolean functions
    Pippenger, N
    [J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 1999, 45 (06) : 2096 - 2100
  • [2] On the enumeration of Boolean functions with distinguished variables
    Josep Freixas
    [J]. Soft Computing, 2021, 25 : 12627 - 12640
  • [3] Enumeration of correlation immune Boolean functions
    Maitra, S
    Sarkar, P
    [J]. INFORMATION SECURITY AND PRIVACY, 1999, 1587 : 12 - 25
  • [4] On the enumeration of Boolean functions with distinguished variables
    Freixas, Josep
    [J]. SOFT COMPUTING, 2021, 25 (19) : 12627 - 12640
  • [5] Enumeration of Bent Boolean Functions by Reconfigurable Computer
    Shafer, J. L.
    Schneider, S. W.
    Butler, J. T.
    Stanica, P.
    [J]. 2010 18TH IEEE ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM 2010), 2010, : 265 - 272
  • [6] On the enumeration of some inequivalent monotone Boolean functions
    Freixas, Josep
    [J]. OPTIMIZATION, 2024, 73 (04) : 1253 - 1266
  • [7] ENUMERATION OF FANOUT-FREE BOOLEAN FUNCTIONS
    HAYES, JP
    [J]. JOURNAL OF THE ACM, 1976, 23 (04) : 700 - 709
  • [8] Stratification and enumeration of Boolean functions by canalizing depth
    He, Qijun
    Macauley, Matthew
    [J]. PHYSICA D-NONLINEAR PHENOMENA, 2016, 314 : 1 - 8
  • [9] Exclusion sensitivity of Boolean functions
    Broman, Erik I.
    Garban, Christophe
    Steif, Jeffrey E.
    [J]. PROBABILITY THEORY AND RELATED FIELDS, 2013, 155 (3-4) : 621 - 663
  • [10] Exclusion sensitivity of Boolean functions
    Erik I. Broman
    Christophe Garban
    Jeffrey E. Steif
    [J]. Probability Theory and Related Fields, 2013, 155 : 621 - 663