Counting unate and balanced monotone Boolean functions
Abstract
We show that the problem of counting the number of -variable unate functions reduces to the problem of counting the number of -variable monotone functions. Using recently obtained results on -variable monotone functions, we obtain counts of -variable unate functions up to . We use an enumeration strategy to obtain the number of -variable balanced monotone functions up to . We show that the problem of counting the number of -variable balanced unate functions reduces to the problem of counting the number of -variable balanced monotone functions, and consequently, we obtain the number of -variable balanced unate functions up to . Using enumeration, we obtain the numbers of equivalence classes of -variable balanced monotone functions, unate functions and balanced unate functions up to . Further, for each of the considered sub-class of -variable monotone and unate functions, we also obtain the corresponding numbers of -variable non-degenerate functions.
Keywords
Cite
@article{arxiv.2304.14069,
title = {Counting unate and balanced monotone Boolean functions},
author = {Aniruddha Biswas and Palash Sarkar},
journal= {arXiv preprint arXiv:2304.14069},
year = {2023}
}