New enumeration algorithm for regular boolean functions

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 intr...

Full description

Saved in:
Bibliographic Details
Main Author: Nasrallah, Walid F. (author)
Other Authors: Srour, F. Jordan (author)
Format: conferenceObject
Published: 2018
Online Access:http://hdl.handle.net/10725/6885
http://dx.doi.org/10.2139/ssrn.2683502
http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=2683502
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.