Hardness of identifying the minimum ordered binary decision diagram

Yasuhiko Takenaga, Shuzo Yajima
2000 Discrete Applied Mathematics  
An ordered binary decision diagram (OBDD) is a graph representation of a Boolean function. We consider minimum OBDD identiÿcation problems: given positive and negative examples of a Boolean function, identify the OBDD with minimum number of nodes (or with minimum width) that is consistent with all the examples. We prove in this paper that the problems are NP-complete. The result implies that f(n)-width OBDD and f(n)-node OBDD are not learnable for some ÿxed f(n) under the PAC-learning model
more » ... ss NP = RP. We also show that the problems are still NP-hard even if we restrict the functions to monotone functions. ? 2000 Elsevier Science B.V. All rights reserved.
doi:10.1016/s0166-218x(99)00226-7 fatcat:5mjpej5qbncmrpuiyyl63w3iku