Abstract:A perceptron, as an “artificial neuron”, plays a crucial role in the research of neural networks. As a mathematical model of linearly separable Boolean functions, perceptron neurons can realize any nonlinearly separable Boolean function. Linearly separable Boolean functions can be divided into a smaller number of the same functional classes. These functional classes are equivalent to the core basic units (AND, NOT, OR, and other components) that make up the circuit. Therefore, the research on the classification problem of linearly separable Boolean functions is very important. In this study, a novel algorithm, called a topological equivalence classification algorithm, is proposed for classifying balanced linearly separable Boolean functions. By the proposed algorithm, the total number of the topological equivalence classes and the number of balanced linearly separable Boolean functions in each of the topological equivalence classes are obtained. According to the one-to-one correspondence between n-input balanced linearly separable Boolean functions and n-1-input linearly separable Boolean functions, we get the topological classification of linearly separable Boolean functions. As for n=9, the accurate results of classification and counting the number of linearly separable Boolean functions are obtained: There are 53,063,448 topological equivalence classes, and the total number of linearly separable Boolean functions is 144,380,202,286,068,288.

A Group Algebraic Approach to NPN Classification of Boolean Functions

Rethinking NPN Classification from Face and Point Characteristics of Boolean Functions

Fast Exact NPN Classification by Co-Designing Canonical Form and Its Computation Algorithm

Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism.

Topological Equivalence Classification and Enumeration of N-Input Linearly Separable Boolean Functions

Fast Adjustable NPN Classification Using Generalized Symmetries

Computing the Number of Affine Equivalent Classes on ℛ(s,n)/ℛ(k,n)

The Number of Affine Equivalent Classes and Extended Affine Equivalent Classes of Vectorial Boolean Functions

Classifier construction in Boolean networks using algebraic methods

On Pinning Reachability of Probabilistic Boolean Control Networks

Fast Exact NPN Classification with Influence-aided Canonical Form

Boolean-aware Boolean Circuit Classification: A Comprehensive Study on Graph Neural Network

Computing the Number of Equivalent Classes on $\mathcal{R}(s,n)/\mathcal{R}(k,n)$

On Analysis And Generation Of Biologically Important Boolean Functions

Cofactor-based NPN Boolean Matching Algorithm

Stratification and enumeration of Boolean functions by canalizing depth

On Analysis and Generation of some Biologically Important Boolean Functions

Algorithmic analysis on a class of Boolean equations

Beyond Boolean networks, a multi-valued approach

Numerical P Systems with Boolean Condition

Computing the Number of the Equivalence Classes for Reversible Logic Functions