New results on the power of space-bounded probabdlmc game automata are presented. Space-bounded analogues of Arthur-Merlin games and mtemctive proof systems, which are denoted by BC and BP respectively, for Bounded random game automata with Complete and Partial mformatlon, are considered.
No takes yet. Share an insight, caveat, or question.
Anne Condon (1991) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: