The Hardness of Approximating Minima in OBDDs, FBDDs and Boolean Functions
Abstract
This paper presents approximation hardness results for three equivalent problems in Boolean function complexity. Consider a Boolean function f on n variables. The first problem is to minimize the level i in the Ordered Binary Decision Diagram (OBDD) for f at which the number of nodes is less than 2(i-1). We show that this problem is not approximable to within the factor 2(exp log(1-E)n), for any E > 0, unless NP is contained in RQP, the class of all problems solvable in random quasi-polynomial time. This minimization problem is shown to be equivalent to the problem of finding the minimum size subset S of variables so that f has two equivalent cofactors with respect to the variables in S. Both problems are proved equivalent to the analogous problem for Free BDDs and hence the approximation hardness result holds for all three.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 2000
- Accession Number
- ADA382687
Entities
People
- R. E. Bryant
- S. A. Seshia
Organizations
- Carnegie Mellon University