Parallel Attribute-Efficient Learning of Monotone Boolean Functions

  • Authors:
  • Peter Damaschke

  • Affiliations:
  • -

  • Venue:
  • SWAT '00 Proceedings of the 7th Scandinavian Workshop on Algorithm Theory
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider exact learning of monotone Boolean functions by membership queries, in the case that only r of the n variables are relevant. The learner proceeds in a number of rounds. In each round he submits to the function oracle a set of queries which may be chosen depending on the results from previous rounds. In a STOC'98 paper we proved that O(2r + r log n) queries in O(r) rounds are sufficient. While the query bound is optimal for trivial information-theoretic reasons, it was open whether parallelism can be improved without increasing the amount of queries. In the present paper we prove a negative answer: Θ(r) rounds are necessary in the worst case, even for learning a very special type of monotone function. The proof is an adversary argument, based on a distance inequality in binary codes. On the other hand, a Las Vegas strategy based on another STOC'98 result can learn monotone functions in 2 log2 r + O(1) rounds, without using significantly more queries. We also study the constant factors in the deterministic case.