Abstract
We present an efficient reduction mapping undirected graphs G with n = 2k vertices for integers k to tables of partially specified Boolean functions g: {0,1}\(^{\rm 4{\it k}+1}\) →{0,1,⊥} so that for any integer m, G has a vertex colouring using m colours if and only if g has a consistent ordered binary decision diagram with at most (2m + 2)n 2 + 4n decision nodes. From this it follows that the problem of finding a minimum-sized consistent OBDD for an incompletely specified truth table is NP-hard and also hard to approximate.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bellare, M., Goldreich, O., MadhuSudan: Free bits, PCPs, and non- approximability—towards tight results. SIAM J. Comput. 27(3), 804–915 (1998)
Bryant, R.E.: Symbolic manipulation of boolean functions using a graphical representation. In: Proceedings of the 22nd ACM/IEEE Design Automation Conference. IEEE Computer Society Press, Los Alamitos (1985)
Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35(8), 677–691 (1986)
Engebretsen, L., Holmerin, J.: Towards optimal lower bounds for clique and chromatic number. Theoret. Comput. Sci. 299(1-3), 537–584 (2003)
Feige, U., Kilian, J.: Zero knowledge and the chromatic number. J. Comput. System Sci. 57(2), 187–199 (1998)
Garey, M.R., Johnson, D.S.: Computers and intractability. W.H. Freeman and Co., San Francisco (1979)
Hirata, K., Shimozono, S., Shinohara, A.: On the hardness of approximating the minimum consistent OBDD problem. In: Karlsson, R., Lingas, A. (eds.) SWAT 1996. LNCS, vol. 1097, pp. 112–123. Springer, Heidelberg (1996)
Khot, S.: Improved in approximability results for MaxClique, chromatic number and approximate graph coloring. In: 42nd IEEE Symposiumon Foundations of Computer Science, Las Vegas, NV, pp. 600–609. IEEE Computer Soc., Los Alamitos (2001)
Kiefer, J.C., Flajolet, P., Yang, E.-H.: Data compression via binary decision diagrams. In: Proc. of the 2000 IEEE Intern. Symp. Inform. Theory, Sorrento, Italy, June 25–30, p. 296 (2000)
Kristensen, J.T.: Generation and compression of endgame tables in chess with fast random access using OBDDs. Master’s thesis, University of Aarhus, Department of Computer Science (2005)
Warmuth, L.P.M.K.: The minimum consistent DFA problem cannot be approximated within any polynomial. J. Assoc. Comput. Mach. 40(1), 95–142 (1993)
Sauerhoff, M., Wegener, I.: On the complexity of minimizing the OBDD size for in completely specified functions. IEEE Transactions on Computer-Aided Design 15, 435–1437 (1996)
Shimozono, S., Hirata, K., Shinohara, A.: On the hardness of approximating the minimum consistent a cyclic DFA and decision diagram. Inform. Process. Lett. 66(4), 165–170 (1998)
Simon, H.-U.: On approximate solutions for combinatorial optimization problems. SIAM J. Discrete Math. 3(2), 294–310 (1990)
Wegener, I.: Branching programs and binary decision diagrams. SIAM Mono graphs on Discrete Mathematics and Applications. Society for Industrial and Applied Mathematics (SIAM) (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kristensen, J.T., Miltersen, P.B. (2006). Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard. In: Chen, D.Z., Lee, D.T. (eds) Computing and Combinatorics. COCOON 2006. Lecture Notes in Computer Science, vol 4112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11809678_51
Download citation
DOI: https://doi.org/10.1007/11809678_51
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36925-7
Online ISBN: 978-3-540-36926-4
eBook Packages: Computer ScienceComputer Science (R0)