Advertisement

Complexity of DNF and Isomorphism of Monotone Formulas

  • Judy Goldsmith
  • Matthias Hagen
  • Martin Mundhenk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3618)

Abstract

We investigate the complexity of finding prime implicants and minimal equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DNF related problems, the complexity of the monotone case strongly differs from the arbitrary case. We show that it is DP-complete to check whether a monomial is a prime implicant for an arbitrary formula, but checking prime implicants for monotone formulas is in L. We show PP-completeness of checking whether the minimum size of a DNF for a monotone formula is at most k. For k in unary, we show the complexity of the problem to drop to coNP. In [Uma01] a similar problem for arbitrary formulas was shown to be \(\Sigma^P_2\)-complete. We show that calculating the minimal DNF for a monotone formula is possible in output-polynomial time if and only if P = NP. Finally, we disprove a conjecture from [Rei03] by showing that checking whether two formulas are isomorphic has the same complexity for arbitrary formulas as for monotone formulas.

Keywords

Polynomial Time Conjunctive Normal Form Boolean Formula Disjunctive Normal Form Satisfying Assignment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AT00]
    Agrawal, M., Thierauf, T.: The formula isomorphism problem. SIAM Journal on Computing 30(3), 990–1009 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  2. [BEGK00]
    Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L.: An efficient incremental algorithm for generating all maximal independent sets in hypergraphs of bounded dimension. Parallel Processing Letters 10(4), 253–266 (2000)CrossRefMathSciNetGoogle Scholar
  3. [BRS98]
    Borchert, B., Ranjan, D., Stephan, F.: On the computational complexity of some classical equivalence relations on Boolean functions. Theory of Computing Systems 31(6), 679–693 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  4. [Czo99]
    Czort, S.L.A.: The complexity of minimizing Disjunctive Normal Form formulas. Technical Report IR-130, Dept. of Computer Science, University of Aarhus (January 1999)Google Scholar
  5. [EG95]
    Eiter, T., Gottlob, G.: Identifying the minimal transversals of a hypergraph and related problems. SIAM Journal on Computing 24(6), 1278–1304 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  6. [FK96]
    Fredman, M.L., Khachiyan, L.: On the complexity of dualization of monotone Disjunctive Normal Forms. Journal of Algorithms 21, 618–628 (1996)zbMATHCrossRefMathSciNetGoogle Scholar
  7. [Mas79]
    Masek, W.J.: Some NP-complete set covering problems. Unpublished manuscript (1979)Google Scholar
  8. [Pap94]
    Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)zbMATHGoogle Scholar
  9. [Pap97]
    Papadimitriou, C.H.: NP-completeness: a retrospective. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 2–6. Springer, Heidelberg (1997)Google Scholar
  10. [PY84]
    Papadimitriou, C.H., Yannakakis, M.: The complexity of facets (and some facets of complexity). Journal of Computer and System Sciences 28, 224–259 (1984)MathSciNetGoogle Scholar
  11. [Rei03]
    Reith, S.: On the complexity of some equivalence problems for propositional calculi. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 632–641. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. [Uma01]
    Umans, C.: The minimum equivalent DNF problem and shortest implicants. Journal of Computer and System Sciences 63(4), 597–611 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  13. [Val79]
    Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM Journal on Computing 8(3), 410–421 (1979)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Judy Goldsmith
    • 1
  • Matthias Hagen
    • 2
  • Martin Mundhenk
    • 2
  1. 1.Dept. of Computer ScienceUniversity of KentuckyLexington
  2. 2.Institut für InformatikFriedrich-Schiller-Universität JenaJena

Personalised recommendations