A Probabilistic Nonequivalence Test for Syntactic (1; +k)-branching Programs

  • Petr Savick
  • Published 2007

Abstract

We present a satissability test and a probabilistic nonequivalence test for syntactic (1; +k)-branching programs. The satissability test works in time at most O(? 4en k k sd), where s and d are the size and depth of the input branching program. The probabilistic nonequivalence test works in time O(? 12en k k sd log 2 n). The result has consequences also for parity syntactic (1; +k)-branching programs.

Extracted Key Phrases

Cite this paper

@inproceedings{Savick2007APN, title={A Probabilistic Nonequivalence Test for Syntactic (1; +k)-branching Programs}, author={Petr Savick}, year={2007} }