A Search for Nonlinear Balanced Boolean Functions by Leveraging Phenotypic Properties

06/15/2023
by   Bruno Gašperov, et al.
0

In this paper, we consider the problem of finding perfectly balanced Boolean functions with high non-linearity values. Such functions have extensive applications in domains such as cryptography and error-correcting coding theory. We provide an approach for finding such functions by a local search method that exploits the structure of the underlying problem. Previous attempts in this vein typically focused on using the properties of the fitness landscape to guide the search. We opt for a different path in which we leverage the phenotype landscape (the mapping from genotypes to phenotypes) instead. In the context of the underlying problem, the phenotypes are represented by Walsh-Hadamard spectra of the candidate solutions (Boolean functions). We propose a novel selection criterion, under which the phenotypes are compared directly, and test whether its use increases the convergence speed (measured by the number of required spectra calculations) when compared to a competitive fitness function used in the literature. The results reveal promising convergence speed improvements for Boolean functions of sizes N=6 to N=9.

READ FULL TEXT
research
06/22/2022

The Influence of Local Search over Genetic Algorithms with Balanced Representations

We continue the study of Genetic Algorithms (GA) on combinatorial optimi...
research
02/16/2022

Evolutionary Construction of Perfectly Balanced Boolean Functions

Finding Boolean functions suitable for cryptographic primitives is a com...
research
07/02/2019

Representing fitness landscapes by valued constraints to understand the complexity of local search

Local search is widely used to solve combinatorial optimisation problems...
research
06/15/2018

Landscape Boolean Functions

In this paper we define a class of Boolean and generalized Boolean funct...
research
04/23/2019

Balanced Crossover Operators in Genetic Algorithms

In several combinatorial optimization problems arising in cryptography a...
research
10/20/2018

Testability Analysis of PUFs Leveraging Correlation-Spectra in Boolean Functions

Testability of digital ICs rely on the principle of controllability and ...
research
05/30/2023

Algorithmic Foundations of Inexact Computing

Inexact computing also referred to as approximate computing is a style o...

Please sign up or login with your details

Forgot password? Click here to reset