Transfer theorems via sign conditions
Résumé
We show that P = PSPACE implies the collapse of the boolean polynomial hierarchy over any structure which admits ``efficient enumeration of sign conditions''. This fairly rich class of structures contains in particular R and C.
Nous montrons que si P = PSPACE la hiérarchie polynomiale booléenne s'effondre pour toute structure vérifiant la propriétée d'énumération efficace des conditions de signes. Cette classe de structures assez riche contient en particulier R et C.
Origine | Fichiers produits par l'(les) auteur(s) |
---|