Transfer theorems via sign conditions - LARA - Libre accès aux rapports scientifiques et techniques
Rapport (Rapport De Recherche) Année : 2000

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.
Fichier principal
Vignette du fichier
RR2000-13.pdf (241.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02101937 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02101937 , version 1

Citer

Pascal Koiran. Transfer theorems via sign conditions. [Research Report] LIP RR-2000-13, Laboratoire de l'informatique du parallélisme. 2000, 2+7p. ⟨hal-02101937⟩
18 Consultations
147 Téléchargements

Partager

More