Algorithmes efficaces en géométrie algébrique réelle - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2015

Algorithmes efficaces en géométrie algébrique réelle

Mohab Safey El Din

Résumé

En calcul scientifique, la résolution de problèmes algébriques non linéaires est une t\^ache importante et difficile. Dans plusieurs domaines de l'ingénierie, les problèmes algébriques encodent des contraintes géométriques sur des variables à valeurs réelles. C'est ainsi qu'il est fréquent de chercher à obtenir des informations sur l'ensemble des solutions réelles d'un système polynomial. La complexité théorique de la résolution de ces problèmes est souvent simplement exponentielle par rapport au nombre de variables. Les algorithmes initialement proposés dans cette classe de complexité se sont révélés inexploitables en pratique. Ainsi, jusque récemment, la plupart des logiciels mettent en œuvre des algorithmes dont la complexité est doublement exponentielle par rapport au nombre de variables. De plus, la nature non linéaire des problèmes considérés fait qu'il est difficile d'utiliser des méthodes numériques tout en garantissant l'exactitude du résultat fourni. Cela encourage l'utilisation de méthodes issues du calcul formel. Dans ce contexte, il s'agit alors de développer des algorithmes exacts, de contrôler adéquatement leur complexité, de les implémenter efficacement et cerner les spécifications les plus utiles. Ce cours présente des idées récentes guidées par des principes géométriques. Elles sont à la base d'algorithmes simplement exponentiels, parfois sous des hypothèses de généricité supplémentaires, et d'implémentations qui reflètent en pratique ces complexités. Nous étudierons plusieurs problèmes: calcul d'une solution d'un système d'équations algébriques multivariées, le problème de décider si deux points sont dans la même composante connexe et un cas particulier de l'élimination des quantificateurs.
Fichier non déposé

Dates et versions

hal-01237922 , version 1 (04-12-2015)

Identifiants

  • HAL Id : hal-01237922 , version 1

Citer

Mohab Safey El Din. Algorithmes efficaces en géométrie algébrique réelle. Informatique Mathématique Une photographie en 2015, CNRS Editions, 2015, 978-2-271-08791-1. ⟨hal-01237922⟩
175 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More