Calcul et vérification parallèles de problèmes d'algèbre linéaire

par Sovanna Tan

Thèse de doctorat en Mathématiques

Sous la direction de Michel de Rougemont.

Soutenue en 1994

à Paris 11 .


  • Résumé

    Le sujet de cette thèse est l'étude des problèmes d'algèbre linéaire du point de vue de leur calcul et de leur vérification. Les problèmes de calcul sont dans nc2. On dit que leur vérification est facile lorsqu'elle est dans nc1. On présente différents modèles de vérification, dont les modèles probabilistes comme les testeurs d'instance (Blum), les preuves interactives et les preuves transparentes, puis des modèles de calculs parallèles. On décrit ensuite la classe Det des problèmes réductibles au calcul du déterminant d'une matrice d'entiers. Alors que certains problèmes sont faciles à vérifier, le problème de vérification du déterminant v-Det est difficile à calculer dans le sens suivant: si v-Det est dans nc1 alors les classes de complexité l et nl sont égales. On isole la classe v-Det des problèmes réductibles à v-Det qui contient d'autres problèmes difficiles. On montre ensuite l'existence de testeurs d'instance parallèles nc1 pour chaque programme p qui calcule une fonction complète f dans la classe Det et on donne une procédure pour les construire. Par définition, un testeur d'instance utilise p comme oracle pour vérifier avec une grande probabilité que p calcule f effectivement. Les testeurs que nous introduisons, vérifient en parallèle avec une probabilité 1. La dernière partie de l'étude est consacrée au problème de l'implantation de ces algorithmes sur une machine massivement parallèle, la connection machine 2. On s'attache à montrer l'importance des algorithmes de routage probabilistes pour obtenir des algorithmes dont le comportement suit l'analyse théorique de la complexité

  • Titre traduit

    Parallel computation and verification in linear algebra problems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 90 p.
  • Notes : Publication autorisée par le jury
  • Annexes : 41 REF. Bibliogr. p. 88-90

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB
  • Cote : T940632
  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011963

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1994-TAN
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.