Difficulté du résultant et des grands déterminants - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2009

Difficulté du résultant et des grands déterminants

Résumé

Le résultant est un polynôme permettant de déterminer si plusieurs polynômes donnés ont une racine commune. Canny a pu donner un algorithme PSPACE calculant le résultant à l'aide de calculs de déterminants, mais pose la question de sa complexité exacte. On s'intéresse ici à donner une estimation plus fine de cette complexité. D'une part, on montre que le résultant est dans AM, et qu'il est NP-difficile sous réduction probabiliste. D'autre part, les matrices en jeu étant descriptibles par des circuits de taille raisonnable, on montre que le calcul du déterminant pour de telles matrices est PSPACE-complet.
Fichier principal
Vignette du fichier
rapp-rech.pdf (285.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-00431714 , version 1 (13-11-2009)

Licence

Identifiants

  • HAL Id : ensl-00431714 , version 1

Citer

Bruno Grenet. Difficulté du résultant et des grands déterminants. [Rapport de recherche] RRLIP2009-32, Laboratoire de l'Informatique du Parallélisme. 2009. ⟨ensl-00431714⟩
123 Consultations
358 Téléchargements

Partager

More