Applications booléennes et projections polyèdrales

par Maria-José Trigueiros F. P.

Thèse de doctorat en Recherche opérationnelle

Sous la direction de Jean Fonlupt.

Soutenue en 1994

à Grenoble INPG .


  • Résumé

    Dans cette thèse, nous présentons une généralisation de l'approche polyédrale classique du problème de satisfiabilité d'un ensemble de fonctions booléennes {fl,…, fm} à n variables. Nous proposons d'élargir la représentation spatiale au graphe d'une application booléenne f = (fl,…, fm). Autrement dit, nous construisons le sous-ensemble des points de l'hypercube de dimension n+m dont les coordonnées sont les lignes de la table de vérité de fl,…, fm. Nous considérons ensuite l'enveloppe convexe de ces points. L'objet de ce travail est de donner un large ensemble d'applications booléennes dont le polytope associé admet par projection, une caractérisation polynomiale, c'est-à-dire une formulation compacte. La satisfiabilité des fonctions fl,…, fm pourra alors être déterminée en temps polynomial par des méthodes de programmation linéaire. La thèse est organisée comme suit: premièrement nous présentons le principe d'approche utilisée ici, que nous appelons projection par famille génératrice, et les résultats théoriques sur lesquels elle s'appuie. Deuxièmement, nous étudions trois classes d'applications booléennes. La première est bien connue, c'est celle des applications symétriques. Les deux autres qui la contiennent, sont nouvelles et sont les fonctions k-quasi―symétriques à n variables, 1≤k≤n, et leur concaténation. Finalement, nous appliquons la méthode de projection à ces applications pour obtenir des formulations compactes.

  • Titre traduit

    Boolean functions and polyhedral projections


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (107 p.)
  • Annexes : Bibliogr. 33 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1994-FOR
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 05774

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : MF-1994-FOR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.