The Computational Power of a Family of Decision Forests

  • Authors:
  • Kazuyuki Amano;Tsukuru Hirosawa;Yusuke Watanabe;Akira Maruoka

  • Affiliations:
  • -;-;-;-

  • Venue:
  • MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we consider the help bit problem in the decision tree model proposed by Nisan, Rudich and Saks (FOCS '94). When computing k instances of a Boolean function f, Beigel and Hirst (STOC '98) showed that ⌊log2 k⌋ + 1 help bits are necessary to reduce the complexity of f, for any function f, and exhibit the functions for which ⌊log2 k⌋+1 help bits reduce the complexity. Their functions must satisfy the condition that their complexity is greater than or equal to k - 1. In this paper, we show new functions satisfying the above conditions whose complexity are only 2√k. We also investigate the help bit problem when we are only allowed to use decision trees of depth 1. Moreover, we exhibit the close relationship between the help bit problem and the complexity for circuits with a majority gate at the top.