Equivalence classes of Boolean functions for first-order correlation - Archive ouverte HAL
Article Dans Une Revue IEEE Transactions on Information Theory Année : 2010

Equivalence classes of Boolean functions for first-order correlation

Résumé

This paper presents a complete characterization of the first order correlation immune Boolean functions that includes the functions that are 1-resilient. The approach consists in defining an equivalence relation on the full set of Boolean functions with a fixed number of variables. An equivalence class in this relation, called a first-order correlation class, provides a measure of the distance between the Boolean functions it contains and the correlation-immune Boolean functions. The key idea consists on manipulating only the equivalence classes instead of the set of Boolean functions. To achieve this goal, a class operator is introduced to construct a class with n variables from two classes of n - 1 variables. In particular, the class of 1-resilient functions on n variables is considered. An original and efficient method to enumerate all the Boolean functions in this class is proposed by performing a recursive decomposition of classes with less variables. A bottom up algorithm provides the exact number of 1-resilient Boolean functions with seven variables which is 23478015754788854439497622689296. A tight estimation of the number of 1-resilient functions with eight variables is obtained by performing a partial enumeration. It is conjectured that the exact complete enumeration for general n is intractable
Fichier non déposé

Dates et versions

hal-01083545 , version 1 (17-11-2014)

Identifiants

Citer

Jean-Marie Le Bars. Equivalence classes of Boolean functions for first-order correlation. IEEE Transactions on Information Theory, 2010, pp.1247 - 1261. ⟨10.1109/TIT.2009.2039038⟩. ⟨hal-01083545⟩
66 Consultations
0 Téléchargements

Altmetric

Partager

More