Abstract
We consider the problem of decomposing a positive DNF into a conjunction of DNFs, which may share a (possibly empty) given set of variables \(\varDelta \). This problem has interesting connections with traditional applications of positive DNFs, e.g., in game theory, and with the broad topic of minimization of boolean functions. We show that the finest \(\varDelta \)-decomposition components of a positive DNF can be computed in polynomial time and provide a decomposition algorithm based on factorization of multilinear boolean polynomials.
This work was supported by the grant of Russian Foundation for Basic Research No. 17-51-45125 and by the Ministry of Science and Education of the Russian Federation under the 5-100 Excellence Program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A well–known heuristic optimizer based on the work of Brayton et al., which is often used as a reference tool for optimization of boolean functions.
References
Bioch, J.C.: Decomposition of Boolean functions. In: Crama, Y., Hammer, P.L. (eds.) Boolean Models and Methods in Mathematics, Computer Science, and Engineering. Encyclopedia of Mathematics and its Applications, vol. 134, pp. 39–78. Cambridge University Press, New York (2010)
Villa, T., Brayton, R.K., Sangiovanni-Vincentelli, A.: Synthesis of multilevel Boolean networks. In: Crama, Y., Hammer, P.L. (eds.) Boolean Models and Methods in Mathematics, Computer Science, and Engineering. Encyclopedia of Mathematics and its Applications, vol. 134, pp. 675–722. Cambridge University Press, New York, NY, USA (2010)
Boros, E.: Horn functions. In: Crama, Y., Hammer, P.L. (eds.) Boolean Functions: Theory, Algorithms, and Applications. Encyclopedia of Mathematics and its Applications, vol. 134, pp. 269–325. Cambridge University Press, New York (2011)
Gursky, S.: Special classes of Boolean functions with respect to the complexity of their minimization. Ph.D. thesis, Charles University in Prague (2014)
Emelyanov, P., Ponomaryov, D.: Algorithmic issues of conjunctive decomposition of Boolean formulas. Program. Comput. Softw. 41(3), 162–169 (2015)
Ponomaryov, D.: On decomposability in logical calculi. Bull. Novosib. Comput. Cent. 28, 111–120 (2008)
Emelyanov, P., Ponomaryov, D.: On tractability of disjoint AND-decomposition of Boolean formulas. In: Voronkov, A., Virbitskaite, I. (eds.) PSI 2014. LNCS, vol. 8974, pp. 92–101. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-46823-4_8
Shpilka, A., Volkovich, I.: On the relation between polynomial identity testing and finding variable disjoint factors. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6198, pp. 408–419. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14165-2_35
Crama, Y., Hammer, P.L.: Boolean Functions - Theory, Algorithms, and Applications. Encyclopedia of Mathematics and Its Applications, vol. 142. Cambridge University Press, Cambridge (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Ponomaryov, D. (2019). A Polynomial Time Delta-Decomposition Algorithm for Positive DNFs. In: van Bevern, R., Kucherov, G. (eds) Computer Science – Theory and Applications. CSR 2019. Lecture Notes in Computer Science(), vol 11532. Springer, Cham. https://doi.org/10.1007/978-3-030-19955-5_28
Download citation
DOI: https://doi.org/10.1007/978-3-030-19955-5_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-19954-8
Online ISBN: 978-3-030-19955-5
eBook Packages: Computer ScienceComputer Science (R0)