Using inductive counting to simulate nondeterministic computation

Abstract

Immerman and Szelepcsényi's inductive counting technique demonstrated that, for space classes, the nondeterministic acceptance mechanism can simulate with no space penalty any reasonable acceptance mechanism based on censuses of configurations. However, the efficiency with which other acceptance mechanisms can simulate nondeterminism remains an open question. This paper uses inductive counting to study the cost of simulating nondeterminism with Valiant's paradigm of unique computation—nondeterministic computation in which each input generates at most one accepting computation. We show that unique computation can simulate nondeterministic computation with a space penalty logarithmic in the ambiguity of the nondeterministic computation tree. Relatedly, we show that unique AuxPDAs, logspace reductions to unambiguous context-free languages, and PRAMs can efficiently simulate ambiguity-bounded nondeterministic computation. In particular, all nondeterministic logspace languages of polynomial ambiguity are in CREW¹, and thus have fast parallel algorithms.

Research supported in part by a Hewlett-Packard Corporation equipment grant and the National Science Foundation under grant CCR-8809174/CCR-8996198 and a Presidential Young Investigator Award.