The Plogi and ACi-1 operators on the polynomial time hierarchy
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97278
Tipus de documentReport de recerca
Data publicació1993-11
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In a previous paper ([CS-92]) we studied the agreement of operators P_{log^i} and AC^{i-1} acting on NP. In this article we extend this work to other classes of the polynomial time hierarchy. We show that on Sigma_k^p, Pi_k^p, Delta_k^P and Theta_k^P-classes both operators have the same behaviour, but this coincidence does not seem to be true on other classes included in the PH hierarchy: we give a set A such that, relativized to A, P_{log^i}(P_{log^j}(NP)) is different from AC^{i-1}(P_{log^j}(NP)). As a result of these characterizations we show P_{log}(Theta_k^p) = Theta_k^p, an equality that is useful to show lowness properties. In fact, we get easily the Theta-lowness results given by Long and Sheu in their paper [LS-91]. Besides, we clarify the situation of the classes in L_2^{p,Delta} for which their membership to L_2^{p,Theta} was not clear.
CitacióCastro, J., Seara, C. "The Plogi and ACi-1 operators on the polynomial time hierarchy". 1993.
Forma partLSI-93-44-R
Col·leccions
- DCCG - Grup de recerca en geometria computacional, combinatoria i discreta - Reports de recerca [14]
- Departament de Matemàtiques - Reports de recerca [403]
- LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge - Reports de recerca [68]
- Departament de Ciències de la Computació - Reports de recerca [1.107]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400190181.pdf | 861,3Kb | Visualitza/Obre |