A sufficient condition for sets hitting the class of read-once branching programs of width 3

  • Authors:
  • Jiří Šíma;Stanislav Žák

  • Affiliations:
  • Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 8, Czech Republic;Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague 8, Czech Republic

  • Venue:
  • SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We characterize the hitting sets for read-once branching programs of width 3 by a so-called richness condition which is independent of a rather technical definition of branching programs. The richness property proves to be (in certain sense) necessary and sufficient condition for such hitting sets. In particular, we show that any rich set extended with all strings within Hamming distance of 3 is a hitting set for width-3 read-once branching programs. Applying this result to an example of an efficiently constructible rich set from our previous work we achieve an explicit polynomial time construction of an ε -hitting set for read-once branching programs of width 3 with acceptance probability ε 11/12.