Page 1

Displaying 1 – 3 of 3

Showing per page

Immunity and Simplicity for Exact Counting and Other Counting Classes

J. Rothe (2010)

RAIRO - Theoretical Informatics and Applications

Ko [26] and Bruschi [11] independently showed that, in some relativized world, PSPACE (in fact, ⊕P) contains a set that is immune to the polynomial hierarchy (PH). In this paper, we study and settle the question of relativized separations with immunity for PH and the counting classes PP, C = P , and ⊕P in all possible pairwise combinations. Our main result is that there is an oracle A relative to which C = P contains a set that is immune BPP⊕P. In particular, this C = P A set is immune to PHA and to ⊕PA. Strengthening...

Currently displaying 1 – 3 of 3

Page 1