Linearly definable classes of Boolean functions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Linearly definable classes of Boolean functions

Résumé

In this paper we address the question "How many properties of Boolean functions can be defined by means of linear equations?" It follows from a result by Sparks that there are countably many such linearly definable classes of Boolean functions. In this paper, we refine this result by completely describing these classes. This work is tightly related with the theory of function minors and stable classes, a topic that has been widely investigated in recent years by several authors including Maurice Pouzet.
Fichier principal
Vignette du fichier
main.pdf (281.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02912876 , version 1 (07-08-2020)

Identifiants

  • HAL Id : hal-02912876 , version 1

Citer

Miguel Couceiro, Erkko Lehtonen. Linearly definable classes of Boolean functions. ALGOS 2020 - 1st International Conference on Algebras, Graphs and Ordered Sets, Aug 2020, Nancy, France. ⟨hal-02912876⟩
63 Consultations
459 Téléchargements

Partager

More