Bibliographic Details
| Title: |
A combinatorial technique for separating counting complexity classes |
| Authors: |
Torán Romero, Jacobo |
| Publication Year: |
1988 |
| Collection: |
Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge |
| Subject Terms: |
Àrees temàtiques de la UPC::Informàtica, Combinatorial analysis -- Data processing, Computational complexity, Combinatòria, Complexitat, Anàlisi combinatòria -- Informàtica, Complexitat computacional |
| Description: |
We introduce a new combinatorial technique to obtain relativized separations of certain complexity classes related to the idea of counting, like PP, G (exact counting), and ¿P (parity). To demonstrate its usefulness we present three relativizations separating NP from G, NP from ¿P and ¿P from PP. Other separations follow from these results, and as a consequence we obtain an oracle separating PP from PSPACE, thus solving an open problem proposed by Angluin in [An,80]. From the relativized separations to obtain absolute separations for counting complexity classes with log-time bounded computation time. ; Postprint (published version) |
| Document Type: |
report |
| File Description: |
14 p.; application/pdf |
| Language: |
English |
| Relation: |
LSI-88-7; Torán, J. "A combinatorial technique for separating counting complexity classes". 1988.; https://hdl.handle.net/2117/189298 |
| Availability: |
https://hdl.handle.net/2117/189298 |
| Rights: |
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ ; Open Access ; Attribution-NonCommercial-NoDerivs 3.0 Spain |
| Accession Number: |
edsbas.8FBB31B |
| Database: |
BASE |