Recherche locale et méthodes évolutives pour les problèmes MAX-SAT et PDG

par Dalila Boughaci

Thèse de doctorat en Informatique et mathématiques

Sous la direction de Belaïd Benhamou.


  • Résumé

    Dans cette thèse, deux problèmes réputés NP-difficiles sont étudiés, à savoir : le problème de satisfiabilité maximale MAX-SAT et le problème de la détermination du gagnant dans les enchères combinatoires PDG. Notre but principal est de contribuer à la résolution de ces deux problèmes par des méthodes évolutives et de recherche locale. Nous proposons, tout d’abord, une nouvelle stratégie de sélection qui se base sur la diversité et la qualité pour choisir une collection d’individus qui vont participer à la phase de reproduction et donner une descendance. Ensuite, nous utilisons un opérateur de combinaison spécifique au problème à étudier pour générer de nouveaux enfants qui sont améliorés par une recherche locale stochastique (SLS). Dans le but de tester et de prouver l’efficacité de nos approches, une étude comparative avec quelques algorithmes de l’état de l’art concernant MAX-SAT et PDG est faite dans la thèse.

  • Titre traduit

    Local search and evolutionary methods for MAX-SAT and PDG problems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (119 p.)
  • Annexes : Bibliographie p. 107-115

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Aix-Marseille (Marseille. St Charles). Service commun de la documentation. Bibliothèque universitaire de sciences lettres et sciences humaines.
  • Disponible pour le PEB
  • Cote : SCT 885
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.