Commutative Queries

Richard Beigel, Richard Chang
2001 Information and Computation  
We consider polynomial-time Turing machines that have access to two oracles and investigate when the order of oracle queries is significant. The oracles used here are complete languages for the Polynomial Hierarchy (PH). We prove that, for solving decision problems, the order of oracle queries does not matter. This improves upon the previous result of E. Hemaspaandra, L. A. Hemaspaandra, and H. Hempel (1998, J. Universal Computer Sci. 4, 574-588), who showed that the order of the queries does
more » ... t matter if the base machine asks only one query to each oracle. On the other hand, we prove that, for computing functions, the order of oracle queries does matter,
doi:10.1006/inco.2000.2918 fatcat:gdwhmor7nnfndly2o5pnkrb62i