Un homomorphisme est une fonction entre deux structures, par exemple des graphes, qui respecte certaines contraintes. Dans ce mémoire, on étudie la complexité des problèmes d'homomorphisme, c'est-à-dire des problèmes où l'on doit décider s'il existe une telle fonction entre deux structures. On présentera des propriétés sur ces structures qui permettent de déterminer cette complexité. On s'intéressera particulièrement aux problèmes d'homomorphisme qui appartiennent à la classe de complexité NL, une classe contenant des problèmes dont la résolution par un algorithme non déterministe nécéssite peu d'espace mémoire.
Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2014/30347 |
Date | 04 1900 |
Creators | Bédard, Catherine |
Contributors | Tesson, Pascal |
Publisher | Université Laval |
Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
Language | French |
Detected Language | French |
Type | Electronic Thesis or Dissertation |
Format | application/pdf |
Rights | © Catherine Bédard, 2014 |
Page generated in 0.0037 seconds