Algorithms counting monotone Boolean functions

  • Authors:
  • Robert Fidytek;Andrzej W. Mostowski;Rafał Somla;Andrzej Szepietowski

  • Affiliations:
  • Univ. of Gdańsk, Gdańsk, Poland;Univ. of Gdańsk, Gdańsk, Poland;Univ. of Gdańsk, Gdańsk, Poland;Univ. of Gdańsk, Gdańsk, Poland

  • Venue:
  • Information Processing Letters
  • Year:
  • 2001

Quantified Score

Hi-index 0.89

Visualization

Abstract

We give a new algorithm couting monotone Boolean functions of n variables (or equivalently the elements of free distributive lattices of n generators). We computed the number of monotone functions of 8 variables which is 56 130 437 228 687 557 907 788.