Algorithmique de graphes Chapitre 1. La theorie des graphes et l'algorithmique qui lui est liee est un des outils privilegies de modelisation et de resolution de problemes dans un grand nombre de domaines allant de la science fondamentale aux applications technologiques concretes.
Lorsque le graphe ne presente pas de circuit, il faut determiner une numerotation des sommets allant de 1 a n qui constitue un ordre topologique (le sommet de depart i0 ayant le numero 1) et marquer les sommets dans cet ordre. 5.4. Determination de plus courts chemins d'origine longueurs quelconques
Pour determiner les composantes connexes d'un graphe G = (X; U) oriente, il su t de trans- former G en un graphe G0 non oriente et appliquer DFSno(G0). Chaque arbre de la for^ et obtenue couvre des sommets appartenant a une m^ eme composante connexe et le nombre d'arbres de la for^ et est donc le nombre de connexite de G. 4.3.
On la note Kn si n est son nombre de sommets. Le sous-graphe SG(Y ) de G = (X; U) engendre par le sous-ensemble de sommets Y X est le graphe dont les sommets sont les elements de Y et les arcs les elements de U ayant leurs deux extremites dans Y : SG(Y ) = (Y; UY ) avec UY = fu 2 Uju = (x; y); x; y 2 Y 2g.
Feuille de TD: 1. TD1: Langage mathématique [PDF] 2. TD2 Suites numériques [PDF] 3. TD3.1: Fonction: limte et continuité [PDF] See full list on math.univ-toulouse.fr
Feuille de TD: 1. TD1: Arithmétique [PDF] 2. TD2: Anneaux [PDF] 3. TD3: Arithmétique dans les anneaux [PDF] 4. TD4: Polynôme [PDF] 5. TD5: Corps [PDF] See full list on math.univ-toulouse.fr
Notes de cours: [PDF]Feuille de TD et méthodes: See full list on math.univ-toulouse.fr
Notes de cours: [PDF]Feuille de TD et méthodes:Transparents See full list on math.univ-toulouse.fr
Support pédagogique Slide 1. [PDF] Feuilles d'execices 1. TD1: Modèles de calcul et complexités en temps et espace [PDF] 2. TD2: Classes de complexité́ en temps dé́terministe [PDF] 3. TD3: Classes de complexité́ en temps non dé́terministe [PDF] 4. TD4: NP complétude [PDF] 5. TD5: Autres classes de complexité [PDF] Bibliographie 1. Complexité algorithmique Sylvain Perifel (le livre est accessisble gratuitement ici) 2. Computational ComplexitySanjeev Arora et Boaz Barak 3. Complexité et DécidabilitéPatrick Dehornoy Contrôle continue 1. guillaume.feuillade@irit.fr 2. msablik@math.univ-toulouse.fr Sujets d'exposés pour le contrôle continue 1. Equivalence entre machines à 2 piles et machines de turing: (section 7.3.1 de ici) 2. Equivalence entre machines à 2 compteurs et machines de turing: (section 7.3.2 de ici) 3. Indécidabilité des problèmes de Post modifié et Post: (section 3.5 de ici) 4. Indécidabilité de l'ambiguité d'une grammaire algébrique: (section 3.7.2 de ici) 5. Temps et espace de calcul utilisé par une machine