New Enumeration Algorithm for Regular Boolean Functions
21 Pages Posted: 25 Jan 2016
Date Written: January 24, 2016
This paper introduces a new algorithm for enumerating regular Boolean functions. This algorithm exploits the equivalence between regular Boolean functions and positive threshold functions that can be used to represent instances of the knapsack problem. After proving this equivalence, this paper introduces a novel data structure that may, with further tweaking, enable faster enumeration algorithms for both regular Boolean functions and all-capacities knapsack problem instances.
Keywords: Regular Boolean Functions, Binary Majorization Lattice
Suggested Citation: Suggested Citation