Advertisement

A fast and simple algorithm for identifying 2-monotonic positive Boolean functions

  • Kazuhisa Makino
  • Toshihide Ibaraki
Session 8
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1004)

Abstract

Consider the problem of identifying min T(f) and max F(f) of a positive (i.e., monotone) Boolean function f, by using membership queries only, where min T(f) (max F(f)) denotes the set of minimal true vectors (maximal false vectors) of f. As the existence of a polynomial total time algorithm (i.e., polynomial time in the length of input and output) for this problem is still open, we consider here a restricted problem: given an unknown positive function f of n variables, decide whether f is 2-monotonic or not, and if f is 2-monotonic, output both min T(f) and max. F(f). For this problem, we propose a simple algorithm, which is based on the concept of maximum latency, and show that it uses O(n2m) time and O(n2m) queries, where m=¦ min T(f)¦+¦ max F(f)¦. This answers affirmatively the conjecture raised in [3, 4], and is an improvement over the two algorithms discussed therein: one uses O(n3m) time and O(n3m) queries, and the other uses O(nm2+n2m) time and O(nm) queries.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Anthony and N. Biggs, Computational Learning Theory, Cambridge University Press, 1992.Google Scholar
  2. 2.
    J. C. Bioch and T. Ibaraki, Complexity of identification and dualization of positive Boolean functions, RUTCOR Research Report RRR 25-93, Rutgers University, 1993; to appear in Information and Computation.Google Scholar
  3. 3.
    E. Boros, P. L. Hammer, T. Ibaraki and K. Kawakami, Identifying 2-monotonic positive Boolean functions in polynomial time, ISA'91 Algorithms, edited by W. L. Hsu and R. C. T. Lee, LNCS 557 (1991) 104–115.Google Scholar
  4. 4.
    E. Boros, P. L. Hammer, T. Ibaraki and K. Kawakami, Polynomial time recognition of 2-monotonic positive Boolean functions given by an oracle, RUTCOR Research Report RRR 10-95, Rutgers University, 1995; to appear in SIAM J. Computing.Google Scholar
  5. 5.
    Y. Crama, P. L. Hammer and T. Ibaraki, Cause-effect relationships and partially defined boolean functions, Annals of Operations Research, 16 (1988) 299–326.Google Scholar
  6. 6.
    M. Fredman and L. Khachiyan, On the complexity of dualization of monotone disjunctive normal forms, Technical Report LCSR-TR-225, Department of Computer Science, Rutgers University, 1994.Google Scholar
  7. 7.
    D. N. Gainanov, On one criterion of the optimality of an algorithm for evaluating monotonic Boolean functions, U.S.S.R. Computational Mathematics and Mathematical Physics, 24 (1984) 176–181.Google Scholar
  8. 8.
    T. Ibaraki and T. Kameda, A Theory of coteries: Mutual exclusion in distributed systems, IEEE Trans. on Parallel and Distributed Systems, 4 (1993) 779–794.Google Scholar
  9. 9.
    D. S. Johnson, M. Yannakakis and C. H. Papadimitriou, On generating all maximal independent sets, Information Processing Letters, 27 (1988) 119–123.Google Scholar
  10. 10.
    K. Makino and T. Ibaraki, The maximum latency and identification of positive Boolean functions, ISAAC'94 Algorithms and Computation, edited by D. Z. Du and X. S. Zhang, LNCS 834 (1994) 324–332.Google Scholar
  11. 11.
    K. Makino and T. Ibaraki, A fast and simple algorithm for identifying 2-monotonic positive Boolean functions, Technical Report of IEICE, COMP94-46 (1994) 11–20.Google Scholar
  12. 12.
    S. Muroga, Threshold Logic and Its Applications, Wiley-Interscience, 1971.Google Scholar
  13. 13.
    J. S. Provan and M. O. Ball, Efficient recognition of matroids and 2-monotonic systems, Applications of Discrete Mathematics, edited by R. Ringeisen and F. Roberts, SIAM, Philadelphia (1988) 122–134.Google Scholar
  14. 14.
    L. G. Valiant, A theory of the learnable, Communications of the ACM, 27 (1984) 1134–1142.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Kazuhisa Makino
    • 1
  • Toshihide Ibaraki
    • 1
  1. 1.Department of Applied Mathematics and Physics, Graduate School of EngineeringKyoto UniversityKyotoJapan

Personalised recommendations