Monotone boolean formulas, distributive lattices, and the complexities of logics, algebraic structures, and computation structures (preliminary report)

  • H. B. HuntIII
  • R. E. Stearns
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 210)


We refine and significantly extend the known results on the complexities of the Satisfiability, Tautology, Equivalence, and ≤-Problems for classes of Boolean formulas. Results are presented on the relationships between the number of repetitions of variables occurring in formulas and the complexities of decision problems for the formulas. Results are also presented on the complexities of very simple monotone Boolean formulas and of implication.

A variety of applications of these results are presented to a number of logics studied in the literature, to computational probability and counting, to algebraic structures, and to program schemes and Binary Decision Diagrams.

Assuming P ↮ NP, a number of the results are “best” possible or are close to “best” possible.


Polynomial Time Distributive Lattice Algebraic Structure Propositional Calculus Equivalence Problem 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

4. References

  1. [Ab]
    J.C. Abbott, Sets, Lattices, and Boolean Algebras, Allyn and Bacon, Boston, Mass., 1969.Google Scholar
  2. [Ak1]
    S.B. Akers, Binary decision diagrams, IEEE Trans. on Computers, vol. C-27, 1978, pp. 509–516.Google Scholar
  3. [Ak2]
    S.B. Akers, A procedure for functional design verification, Digest of 10-th International Symp. on Fault Tolerant Computing, 1980, pp. 65–67.Google Scholar
  4. [ACHM]
    D.N. Arden, S. Chakravarty, H.B. Hunt III, and R.M. Murray, Computational probability with application to fault detection, Technical Report 84-17, Department of Computer Science, SUNY Albany, Albany, New York, 1984.Google Scholar
  5. [Bi]
    G. Birkhoff, Lattice Theory, (3rd Edition), Am. Math. Soc., Providence, R.I., 1967.Google Scholar
  6. [BCW]
    M. Blum, A.K. Chandra, and M.N. Wegman, Equivalence of free Boolean graphs can be decided probabilistically in polynomial time, Information Processing Letters 10, 1980, pp. 80–82.Google Scholar
  7. [BHR]
    P.A. Bloniarz, H.B. Hunt III, and D.J. Rosenkrantz, Algebraic structures with hard equivalence and minimization problems, J. ACM, 31, 1984, pp. 879–904.CrossRefGoogle Scholar
  8. [CH]
    S.K. Chakravarti and H.B. Hunt III, Binary decision diagrams, unpublished manuscript.Google Scholar
  9. [CHS]
    R.L. Constable, H.B. Hunt III, and S. Sahni, On the computational complexity of scheme equivalence, Proc. 8-th Annual Princeton Conference of Information Sciences and Systems, Princeton, N.J., 1974. Also appears as — H.B.Hunt III, R.L. Constable, and S. Sahni, On the computational complexity of program scheme equivalence, SICOMP 9, 1980, pp. 349–416.Google Scholar
  10. [Co]
    S.A. Cook, The complexity of theorem-proving procedures, Proc. Third Annual ACM Symp. on Theory of Computing, 1971, pp. 151–158.Google Scholar
  11. [Fe]
    W. Feller, An Introduction to Probability Theory and its Applications Vol. 1 (3rd Edition), John Wiley and Sons, New York, 1968.Google Scholar
  12. [FHS]
    S. Fortune, J. Hopcroft, and E.M. Schmidt, The complexity of equivalence and containment for free single variable program schemes, Technical Report TR 77-310, Department of Computer Science, Cornell University, Ithaca, New York, 1977.Google Scholar
  13. [GJ]
    M.R. Garey and D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman, San Francisco, Ca., 1979.Google Scholar
  14. [Go]
    E.M. Gold, Complexity of automaton identification from given data, Inf. and Control 37, 1978, pp. 302–320.Google Scholar
  15. [He]
    A. Heyting, Intuitionism, North-Holland, Amsterdam, 1959.Google Scholar
  16. [HB]
    D. Hibert and P. Bernays, Grundlagen der Mathematik, vol. 1, Springer, Berlin, 1934.Google Scholar
  17. [HS1]
    H.B. Hunt III and R.E. Stearns, Distributive lattices, and the complexity of logics and probability, submitted for publication.Google Scholar
  18. [HS2]
    H.B. Hunt III and R.E. Stearns, Nonlinear algebra for rings is “hard”, submitted for publication.Google Scholar
  19. [IM]
    O.H. Ibarra and S. Moran, Probabilistic algorithms for deciding equivalence of straight-line programs, JACM 30, 1983, pp. 217–228.Google Scholar
  20. [Kl]
    S.C. Kleene, Introduction to Metamathematics, D. VanNostrand Co., Inc., Princeton, N.J., 1950.Google Scholar
  21. [LL]
    C.I. Lewis and C.H. Langford, Symbolic Logic, New York, 1932.Google Scholar
  22. [MacLB]
    S. MacLane and G. Birkhoff, Algebra, MacMillan, New York, 1967.Google Scholar
  23. [Ma]
    Z. Manna, Mathematical Theory of Computation, McGraw-Hill, New York, 1974.Google Scholar
  24. [Me]
    E. Mendelson, Introduction to Mathematical Logic (2nd edition), D. VanNostrand, New York, 1979.Google Scholar
  25. [Mo]
    B.M.E. Moret, Decision trees and diagrams, Computing Surveys 14, 1982, pp. 593–623.Google Scholar
  26. [PMcC]
    K.P. Parker and E.J. McCluskey, Probabilistic treatment of general combinational networks, IEEE Trans. on Computers, 24, 1975, pp. 668–670.Google Scholar
  27. [Po]
    E.L. Post, Introduction to a general theory of elementary propositions, Amer. J. Math., 43, 1921, pp. 165–185.Google Scholar
  28. [Ra]
    H. Rasiowa, An Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam, 1974.Google Scholar
  29. [RaS]
    H. Rasiowa and R. Sikorski, The Mathematics of Meta-mathematics, Panstwowe Wydawnictwo Naukowe, Warzawa, 1963.Google Scholar
  30. [To]
    C.A. Tovey, A simplified NP-complete satisfiability problem, Discrete Applied Mathematics 8, 1984, pp. 85–89.CrossRefGoogle Scholar
  31. [Va]
    L.G. Valiant, The complexity of enumeration and reliability problems, SIAM J. Comput. 8, 1979, pp. 410–421.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • H. B. HuntIII
    • 1
  • R. E. Stearns
    • 1
  1. 1.Computer Science DepartmentState University of New York at AlbanyAlbanyUSA

Personalised recommendations