Report
A combinatorial technique for separating counting complexity classes
| Τίτλος: | A combinatorial technique for separating counting complexity classes |
|---|---|
| Συγγραφείς: | Torán Romero, Jacobo |
| Έτος έκδοσης: | 1988 |
| Συλλογή: | Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge |
| Θεματικοί όροι: | À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 |
| Περιγραφή: | 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) |
| Τύπος εγγράφου: | report |
| Περιγραφή αρχείου: | 14 p.; application/pdf |
| Γλώσσα: | English |
| Relation: | LSI-88-7; Torán, J. "A combinatorial technique for separating counting complexity classes". 1988.; https://hdl.handle.net/2117/189298 |
| Διαθεσιμότητα: | 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 |
| Αριθμός Καταχώρησης: | edsbas.8FBB31B |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!