Article ID Journal Published Year Pages File Type
429221 Information Processing Letters 2007 5 Pages PDF
Abstract

We show that for every ∨-OBDD of quasipolynomial size there is a ⊕-OBDD of quasipolynomial size computing the same function up to a small fraction of the inputs. We also prove that the final step in the approximation cannot be improved and discuss possibilities of proving non-approximability results and connections to lower bounds on matrix rigidity.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics