One more method for proving lower bounds on the formula complexity of boolean functions

Author(s):  
V. A. Stetsenko
1990 ◽  
Vol 74 (3) ◽  
pp. 313-323 ◽  
Author(s):  
L. Babai ◽  
P. Pudlák ◽  
V. Rödl ◽  
E. Szemeredi

2010 ◽  
Vol 180 (2) ◽  
pp. 266-273 ◽  
Author(s):  
Sugata Gangopadhyay ◽  
Sumanta Sarkar ◽  
Ruchi Telang

2014 ◽  
Vol 24 (1) ◽  
pp. 65-101 ◽  
Author(s):  
Arnab Bhattacharyya ◽  
Ning Xie

2001 ◽  
Vol Vol. 4 no. 2 ◽  
Author(s):  
Anna Bernasconi

International audience Any attempt to find connections between mathematical properties and complexity has a strong relevance to the field of Complexity Theory. This is due to the lack of mathematical techniques to prove lower bounds for general models of computation.\par This work represents a step in this direction: we define a combinatorial property that makes Boolean functions ''\emphhard'' to compute in constant depth and show how the harmonic analysis on the hypercube can be applied to derive new lower bounds on the size complexity of previously unclassified Boolean functions.


2014 ◽  
Vol 25 (03) ◽  
pp. 343-353 ◽  
Author(s):  
YU ZHOU ◽  
LIN WANG ◽  
WEIQIONG WANG ◽  
XINFENG DONG ◽  
XIAONI DU

The Global Avalanche Characteristics (including the sum-of-squares indicator and the absolute indicator) measure the overall avalanche characteristics of a cryptographic Boolean function. Son et al. (1998) gave the lower bound on the sum-of-squares indicator for a balanced Boolean function. In this paper, we give a sufficient and necessary condition on a balanced Boolean function reaching the lower bound on the sum-of-squares indicator. We also analyze whether these balanced Boolean functions exist, and if they reach the lower bounds on the sum-of-squares indicator or not. Our result implies that there does not exist a balanced Boolean function with n-variable for odd n(n ≥ 5). We conclude that there does not exist a m(m ≥ 1)-resilient function reaching the lower bound on the sum-of-squares indicator with n-variable for n ≥ 7.


Sign in / Sign up

Export Citation Format

Share Document