Etude de la symétrie et de la dominance dans les réseaux de contraintes au sens CSPs [Constraint satisfaction problems] à domaines finis discrets

par Mohamed Réda Saïdi

Thèse de doctorat en Informatique

Sous la direction de Belaïd Benhamou.

Soutenue en 2007

à Aix-Marseille 1 , en partenariat avec Université de Provence. Section sciences (autre partenaire) .


  • Résumé

    En théorie, la résolution de CSPs est un problème NP-complet. L'élimination de la symétrie permet de diminuer cette complexité dans la pratique. Dans le cadre de cette thèse, nous avons étudié en première partie la symétrie locale ainsi que la dominance dans les CSPs à contraintes de différence. Nous avons donné une condition suffisante pour tester la symétrie et la dominance entre deux valeurs d'un même domaine. En deuxième partie, nous nous sommes intéressés au cas plus général des CSPs binaires quelconques, en proposant la méthode de résolution LSBDS qui exploite la symétrie locale détecté par SAUCY. En troisième et dernière partie de cette thèse, nous avons proposé une nouvelle approche incomplète pour le test d'inconsistance de CSP binaire. Cette approche est basée sur les notions de la dominance et de la coloration de la microstructure. Cette technique est aussi une contribution pour un challenge encore très peu étudié : preuve d'inconsistance par des méthodes incomplètes

  • Titre traduit

    Study of symmetry and dominance in constraint satisfaction problems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XIV-78 p.)
  • Annexes : Bibliographie p. 71-77

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
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.