Colorations identiantes de graphes

Dimension: px
Commencer à balayer dès la page:

Download "Colorations identiantes de graphes"

Transcription

1 Institut Supérieur d'informatique, de Modélisation et de leurs Applications Campus des Cézeaux avenue des Landais BP 05 7 AUBIERE Cedex Laboratoire d'analyse et d'architecture des Systèmes 7 avenue du Colonel Roche BP Toulouse cedex Rapport d'ingénieur Stage de ème année Filière Calcul et Modélisation scientiques Colorations identiantes de graphes Présenté par : Pierre COUPECHOUX Responsable LAAS : Julien MONCEL Responsable ISIMA : Philippe MAHEY septembre 0 Stage de 5 mois

2

3 Remerciements Je tiens tout d'abord à remercier Julien Moncel, mon tuteur de stage, pour avoir mis à ma disposition plusieurs livres, et pour les conseils qu'il m'a donnés, tout au long de mon stage. Je remercie aussi Christian Artigues, chef de l'équipe ROC, pour son implication dans la validation de la thèse à venir à la suite du stage. Je remercie plus généralement l'ensemble de l'équipe ROC, pour l'accueil sympathique que j'ai reçu au sein du LAAS, et pour le challenge proposé pendant la journée d'équipe. i

4 ii

5 Résumé Les colorations identiantes sont un sujet assez récent en théorie des graphes. Le but de ce stage de recherche était d'obtenir une bibliographie aussi large que possible, et d'explorer ce domaine de la théorie des graphes en étudiant des questions de la littérature. J'ai pu travailler ce sujet avec une session sur le réseau informatique du LAAS, sous une version d'ubuntu. J'ai eu l'occasion de créer plusieurs programmes en C/C++, ainsi que des scripts bash. Mes travaux m'ont permis d'améliorer un résultat et répondre à une question de Parreau. J'ai également commencé à explorer deux nouvealles questions liées aux colorations identiantes. Mots-clés : coloration identiante, théorie des graphes, C/C++, bash Abstract Identifying coloring of graphs is a fairly recent topic in graph theory. The purpose of this internship was to get a wide bibliography and explore this part of graph theory. I worked with a computer session of the LAAS network, using Ubuntu. I created some C/C++ programs, and bash scripts. My work allowed me to improve a result and answer a question of Parreau. I also addressed two new questions on identifying colorations. Keywords : identifying coloring, graph theory, C/C++, bash iii

6 iv

7 Table des matières Introduction Contexte et sujet du stage. Présentation du laboratoire Le CNRS Le LAAS L'équipe ROC Origine du sujet de stage Domination Identication Lien vers les colorations identiantes Colorations identiantes de graphes Principaux résultats sur les colorations globalement et localement identiantes Diérents types de coloration Travail réalisé Cycles universels 7. Séquences de de Bruijn Dénition Cas particulier pour les cycles universels d'ordre Résultats Construction des cycles universels Relation d'équivalence Types Graphe associé aux types Cycles universels avec répétition Nouvelles questions ouvertes 5. Suppression d'un sommet Conjecture Arbres innis Treillis des couleurs Nouveaux problèmes Problème de modication des couleurs Problème du sous-graphe identié Heuristique Retour à un cadre général v

8 .. L'identication Continuité du stage Conclusion 7 Bibliographie 8 A Résumé des résultats de la littérature I A. [AGS] I A. [HM] I A. [WW08] II A. [BKT] III A.5 [PW] III A. [TCSW] V B Codes et scripts VII vi

9 Table des gures Les 0 instituts du CNRS Le LAAS Exemple de dominant d'un graphe. Le dominant est constitué des sommets rouges ; tout sommet est soit rouge soit voisin d'au moins un sommet rouge... 5 Exemple de code identiant. Les sommets du code sont coloriés en noir Exemples de graphes tels que χ id (G) = V Exemple de graphe tel que χ id (G) = log ( V + ) Exemple de coloration localement identiante d'une grille avec couleurs Graphe extrémal pour la coloration localement identiante Exemple d'une coloration localement identiante avec couleurs d'un graphe biparti Colorations optimums pour quelques graphes cycliques. Celles-ci respectent le motif donné par l'expression régulière fournie par Parreau Capture d'écran du programme graphique réalisé Graphe de de Bruijn B(, ) Une suite de de Bruijn obtenue par un circuit hamiltonien du graphe de la Figure Un cycle universel d'ordre sur l'alphabet [, 8]. Chaque sous-ensemble à trois éléments distincts de [, 8] apparaît exactement une fois comme suite de sommets successifs Exemple d'amélioration des cycles universels pour les colorations globalement identiantes Exemples d'ensembles équivalents pour L = 8 couleurs Liste des ensembles à éléments de [0, L ] et leur type associé. Pour plus de clarté, les ensembles {i, j, k} (i j k) sont représentés ijk. Les types sont indiqués en gras Graphe orienté des types pour L = Exemple de cycle universel avec répétition qui n'est pas une coloration globalement identiante. Un doublon a été mis en évidence, mais il en existe d'autres.. 0 Graphes obtenus après le choix des types Cycle obtenu pour L = 8 en appliquant 8 fois la somme des sommets du circuit eulérien C Construction d'un cycle contenant tous les ensembles représentés par les types du graphe pour L = Insertion de nouveaux ensembles dans le cas L impair vii

10 Cycle obtenu dans la deuxième partie pour L = 8 couleurs. Si l'on retire l'un des sommets verts, la coloration reste une coloration globalement identiante. Si l'on retire un sommet noir, alors on obtient un doublon Un graphe G muni d'une coloration globalement identiante. Les valeurs inscrites dans les sommets sont celles de la coloration, et les valeurs inscrites à côté sont les noms des sommets Valeurs de la fonction f sur le graphe de la Figure Arbre construit à partir de la fonction f de l'exemple de la Figure 5, en choisissant une racine étiquetée par a Treillis associé à l'exemple de la Figure 5. Les ensembles de couleurs du voisinage de chaque sommet sont indiqués à côté de chaque sommet, sous forme de mot Treillis associé à l'exemple de la Figure 5, coloré. Les ensembles de couleurs du voisinage de chaque sommet sont indiqués à côté de chaque sommet, sous forme de mot. Les sommets blancs sont les sommets que l'on peut retirer dans le graphe d'origine sans créer de collisions. Les sommets rouges sont ceux que l'on ne peut pas retirer sans créer de collision Un graphe G muni d'une coloration quelconque, qui n'est pas globalement identiante. Il y a deux collisions, entre les sommets dont les ensembles de couleurs sont écrits en rouge Modication d'une couleur par rapport au graphe de la Figure 0 pour essayer de faire disparaître une collision Solution optimale du problème de modication des couleurs, par rapport au graphe initial de la Figure Solution optimale du problème du sous-graphe identié, par rapport au graphe initial de la Figure

11 Introduction Le thème de recherche sur lequel j'ai travaillé au LAAS est la coloration identiante de graphes. Le principe est de donner une couleur à chacun des sommets d'un graphe, pour que chaque sommet voie un ensemble de couleurs unique. Le document sur lequel je me suis le plus basé est le mémoire de thèse d'aline Parreau, daté de juillet 0. Le sujet est assez récent, mais on trouve tout de même plusieurs articles sur le sujet. Dans un premier temps, je me suis familiarisé avec les notions en jeu, et j'ai pris connaissance des divers résultats actuels. À l'aide d'un papier et d'un crayon, j'ai pu me rendre compte quelles étaient les dicultés, et où se situaient les problèmes. Dans un second temps, j'ai créé un programme qui me permettait de faire beaucoup plus rapidement ce que je faisais à la main, et de manière plus dynamique. Ceci m'a permis de partiellement répondre à une question ouverte de la thèse d'aline Parreau, en utilisant des cycles universels. J'ai aussi pu, en constatant divers phénomènes, énoncer une conjecture et poser deux nouveaux problèmes. Dans ce rapport, je commencerai par situer les colorations identiantes dans la théorie des graphes. Je présenterai ensuite les améliorations que j'ai apportées aux cycles universels dans le cadre des coloration identiantes, en expliquant d'où viennent ces améliorations. Enn, j'exposerai une conjecture et deux problèmes, ainsi que diérentes pistes que j'ai suivies pour les aborder.

12 Contexte et sujet du stage. Présentation du laboratoire.. Le CNRS Source : Site du CNRS [CNR] Le Centre National de la Recherche Scientique (CNRS) est un organisme public de recherche (Etablissement public à caractère scientique et technologique, placé sous la tutelle du Ministère de l'éducation nationale, de l'enseignement supérieur et de la Recherche). Il produit du savoir et met ce savoir au service de la société. Sa gouvernance est assurée par Alain Fuchs, président du CNRS, assisté de deux directeurs généraux délégués, Philippe Baptiste à la science et Xavier Inglebert aux ressources. Avec près de 000 personnes (dont 955 statutaires - 0 chercheurs et 75 ingénieurs, techniciens et administratifs), un budget pour 0 de, milliards d'euros dont 89 millions d'euros de ressources propres, une implantation sur l'ensemble du territoire national, le CNRS exerce son activité dans tous les champs de la connaissance, en s'appuyant sur plus de 00 unités de recherche et de service. Figure Les 0 instituts du CNRS. Des chercheurs éminents ont travaillé, à un moment ou à un autre de leur carrière, dans des laboratoires du CNRS [LAU]. Avec 9 lauréats du prix Nobel et de la Médaille Fields,

13 Figure Le LAAS. le CNRS a une longue tradition d'excellence. Le CNRS a été créé en 99, en cherchant à regrouper tous les organismes d'état, non spécialisés, de recherche fondamentale ou appliquée, et de coordonner les recherches à l'échelon national. Les premières années sont orientées vers les recherches appliquées (militaires jusqu'à l'armistice, économiques jusqu'en 9). Après 95, l'organisme s'oriente nettement vers la recherche fondamentale. Aujourd'hui, le CNRS mène des recherches dans l'ensemble des domaines scientiques, technologiques et sociétaux, regroupés au sein de 0 instituts (voir Figure )... Le LAAS Le Laboratoire d'analyse et d'architecture des Systèmes (LAAS), situé à Toulouse, est rattaché à l'institut des Sciences de l'ingénierie et des Systèmes (INSIS) et à l'institut des Sciences de l'information et de leurs Interactions (INSI). Le LAAS mène des recherches dans 8 domaines scientiques : Informatique critique ; Réseaux et communications ; Robotique ;

14 Décision et optimisation ; Hyperfréquences et optique : de l'électromagnétisme aux systèmes ; Nano ingénierie et intégration ; Micro nano bio technologies ; Gestion de l'énergie. Ces domaines sont recouverts par équipes de recherche, pour un total de personnes (hors stagiaires). En 0, ces personnes sont à l'origine de 0 publications... L'équipe ROC Les travaux de l'équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (ROC) se situent dans des branches de la recherche opérationnelle et de l'intelligence articielle ; ils correspondent donc parfaitement au master recherche MAD de l'isima. L'équipe ROC est constituée de membres permanents, doctorants (pour l'année 0/0), 7 stagiaires (pendant l'été 0), et une doctorante invitée. Parmi les problèmes qu'elle traite, on trouve : Des problèmes de satisfaction de contraintes (CSP, pour Constraint Satisfaction Problem) [HOO0] [LETH] ; Des problèmes d'ordonnancement (scheduling en anglais) [KALM] [OBB] ; Des problèmes de programmation en nombres entiers (MILP pour Mixed Integer Linear Programming) [JLS] [KALM] ; Des problèmes d'allocation de ressources [HAC] [KAHM] ; Des problèmes de tournée de véhicules [GAFJ0] [NPC] ; Des problèmes d'optimisation combinatoire sur les graphes [BMP] [GKM + ] ;. Origine du sujet de stage.. Domination En théorie des graphes, le problème de domination est très classique, et a été très étudié [AL78][HHS98] (le premier étant l'un des plus anciens articles à ce sujet, et le second une célèbre monographie). Un dominant d'un graphe (ou ensemble dominant, ou code couvrant) est un ensemble de sommets D tel que chaque sommet qui n'est pas dans D possède au moins un voisin qui est dans D. Le problème de domination consiste à trouver un dominant de taille minimum (l'ensemble de tous les sommets du graphe étant un dominant trivial). La Figure montre un exemple de dominant d'un graphe.

15 Le problème suivant a été montré NP-complet [GJ79] : DOMINATION_DEC : Instance : Un graphe G, un entier k Question : Existe-t-il un dominant D de G tel que D k? Figure Exemple de dominant d'un graphe. Le dominant est constitué des sommets rouges ; tout sommet est soit rouge soit voisin d'au moins un sommet rouge. L'ensemble des voisins d'un sommet u, appelé voisinage ouvert, est noté N(u) (il faut cependant bien voir que cette notation dépend du graphe duquel u est issu). Le voisinage fermé d'un sommet u, noté N[u], est le voisinage ouvert du sommet, auquel on ajoute le sommet u. Avec ces termes, on peut redénir un dominant D d'un graphe G = (V, E) comme étant un sous-sensemble des sommets du graphe tel que : u V, N[u] V. Dans les applications, les applications de ce problème sont nombreuses. On peut par exemple imaginer la surveillance d'un musée par des caméras, le but étant de surveiller la totalité du musée, avec un nombre minimal de caméras. On peut modéliser ce problème de façon très simple : les sommets du graphe sont les pièces du musée, et deux sommets sont voisins si une caméra posée dans l'une des deux pièces peut voir la seconde. Trouver une répartition optimale des caméras correspond exactement à trouver un ensemble dominant du graphe, de cardinalité minimum. Puisque DOMINATION_DEC est NP-complet, et donc NP-dicile, les autres problèmes de la classe NP peuvent se réduire à un problème de domination... Identication La domination n'est cependant pas toujours une propriété susante. Par exemple, si on veut surveiller d'éventuelles pannes dans un réseau, modélisé par un graphe, il est intéressant, non seulement d'avoir une vue sur tout le graphe (propriété de domination), mais aussi de pouvoir localiser la panne. C'est de ce constat qu'ont été créé les codes identiants, en 998 [KCL98]. Dans ce contexte, un code désigne un sous-ensemble des sommets du graphe ; d'où l'appellation code couvrant pour parler d'un ensemble dominant. Avant de dénir ce qu'est un code identiant, il faut dénir la notion de séparation : Dénition (Sommet séparant). Un sommet x sépare deux sommets u et v s'il est dans la diérence symétrique de leur voisinage fermé : x N[u] N[v]. Dénition (Code séparant). Un code C est dit séparant si toutes les paires de sommets du graphe sont séparées par au moins un sommet de C. 5

16 Finalement, on peut dénir simplement un code identiant : Dénition (Code identiant). Un code identiant est un code couvrant et un code séparant. Un code identiant correspond au cas concret d'un réseau multiprocesseurs dans lequel on voudrait détecter et identier les processeurs défectueux. Cela reviendrait à choisir des processeurs (le code, en terme graphes), qui renverraient un signal pour dire que tous les processeurs autour d'eux ainsi qu'eux-mêmes sont fonctionnels. Si tous les processeurs du code renvoient bien un signal, cela veut dire qu'il n'y a aucune panne (propriété de domination, tous les processeurs sont surveillés). Si au moins un des processeurs du code indique qu'il y a une panne, alors on peut identier quel est le processeur défectueux (propriété de séparation). La gure donne un exemple de code identiant. Le tableau indique, pour chaque sommet, quels sont les éléments du code dans son voisinage ; on constate bien que toutes les lignes sont diérentes. v v v C v v V v v v - v - v - - v - - v 5 v v v 5 v Figure Exemple de code identiant. Les sommets du code sont coloriés en noir. Depuis leur création, les codes ont été très étudiés (on peut par exemple citer la thèse de Julien Moncel [Mon05]). Des articles présentent diverses applications, comme c'est le cas de [RSTU0] et de [SRP + 0]... Lien vers les colorations identiantes C'est sur cette notion de code identiant qu'est basée celle de coloration identiante. Elle a été proposée en 009 par Eric Duchêne et Julien Moncel lors de la semaine discrète de l'institut Fourier. L'idée est toujours de pouvoir identier les sommets de manière unique, non pas grâce à un sous-ensemble de sommets comme dans le cas des codes, mais avec un ensemble de couleurs, que l'on obtient en coloriant les sommets du graphe. Cette coloration particulière, qui sera dénie plus loin, est nommée coloration globalement identiante.

17 Il existe aussi des notions plus anciennes de colorations identiantes, qui colorient les arêtes et non pas les sommets [RS08]. Dans la partie., je donnerai des exemples de diérentes colorations identiantes possibles. Les résultats obtenus pour ces colorations sont donnés dans l'annexe A.. Colorations identiantes de graphes Dans sa thèse [Par], Aline Parreau a étudié deux types de colorations identiantes. Toutes les deux reposent sur une coloration des sommets. Dénition (Coloration de sommets). Une coloration c des sommets d'un graphe G = (V, E) est une fonction de V dans N. La valeur c(v) pour un sommet v du graphe est alors appelée la couleur de v. Si A est un ensemble de sommets, on note alors c(a) = v Ac(v). En général, par souci de clarté, on choisit c de telle sorte que c(v ) = [, n] ou c(v ) = [0, n ]. Le problème certainement le plus célèbre lié aux colorations de sommets consiste à trouver une coloration propre (le théorème des couleurs [co] dans le cas des graphes planaires). C'est pour cette raison qu'on trouve parfois dans la littérature l'emploi abusif du terme coloration pour désigner une coloration propre. Dénition 5 (Coloration propre). Une coloration propre est une coloration d'un graphe G = (V, E) telle que deux sommets voisins n'aient pas la même couleur. An de faciliter les dénitions à venir, je vais introduire quelques notations. Pour v un sommet d'un graphe, on note N(v) son voisinage ouvert, c'est à dire l'ensemble de tout ses voisins, et N[v] son voisinage fermé, auquel on ajoute le sommet v (N[v] = N(v) {v}). Dénition (Coloration globalement identiante). Une coloration globalement identiante est une coloration c d'un graphe G = (V, E) telle que : u, v V, u v c(n[u]) c(n[v]) Dénition 7 (Coloration localement identiante). Une coloration localement identiante est une coloration propre telle que : (u, v) E, c(n[u]) c(n[v]) 7

18 C'est sur ces deux premières colorations qu'a travaillé Aline Parreau dans sa thèse, et sur lesquelles j'ai moi-même travaillé. Dans les cas, on cherche à utiliser un nombre de couleurs minimum. Le nombre chromatique χ(g) d'un graphe G est le nombre minimum de couleurs d'une coloration propre de G. La déclinaison de ce nombre dans le cas de la coloration globalement identiante (resp. coloration localement identiante) est notée χ id (G) (resp. χ lid (G)). Si on peut obtenir d'un graphe une coloration globalement identiante (resp. localement) avec k couleurs, on dira que le graphe est k-id-coloriable (resp. k-lid-coloriable). La coloration en question sera une k-id-coloration (resp. k-lid-coloration)... Principaux résultats sur les colorations globalement et localement identiantes Avant même de pouvoir parler du nombre minimal de couleurs pour avoir une coloration globalement ou localement identiante, il faut être sûr que celle-ci existe. Or, ce n'est pas toujours le cas. Dénition 8 (Sommets jumeaux). Deux sommets u et v d'un graphe sont dits jumeaux si N[u] = N[v]. Il est clair qu'en présence de tels sommets, on ne pourra pas avoir de coloration globalement ou localement identiante, car quel que soit c, on aura c(n[u]) = c(n[v]). Pour résoudre ce problème, on peut modier la dénition des colorations (il faut seulement séparer les sommets non jumeaux), ou travailler avec des graphes sans jumeaux. On connaît des bornes serrées sur χ id, en fonction du nombre de sommets du graphe. Théorème (Parreau). Soit G un graphe connexe sans jumeaux. Alors log ( V + ) χ id (G) V En eet, avec k couleurs, on peut identier au plus k sommets diérents (un sommet possède au moins une couleur dans son voisinage, la sienne), d'où la première inégalité. En donnant une couleur diérente à chaque sommet, on obtient une coloration globalement identiante, d'où la seconde inégalité. On sait caractériser les graphes qui vérient χ id (G) = V. Il va d'abord falloir dénir plusieurs notations : Dénition 9 (Joint de deux graphes). Soit G = (V, E ) et G = (V, E ) deux graphes. Le joint de G et G, noté G G, est le graphe ayant pour sommets l'ensemble V V et pour arêtes l'ensemble E E {(u, v) : u V, v V }. 8

19 Dénition 0 (Puissance d'un graphe). Soit G = (V, E) un graphe et k un entier. La puissance k-ème du graphe G, notée G k, est le graphe ayant pour sommets l'ensemble V, et tel que deux sommets u et v sont adjacents si et seulement si la distance de u à v dans le graphe G est inférieure ou égale à k. Le chemin consistué de k sommets est noté P k. Le graphe complet (tout sommet est voisin de tous les autres) constitué de k sommets est noté K k. Le complémentaire d'un graphe G, noté G, est le graphe dont les sommets sont ceux de G et où (u, v) est une arête si et seulement si (u, v) n'est pas une arête de G. Un couplage d'un graphe est un ensemble d'arêtes qui n'ont aucun sommet en commun. Un couplage maximum d'un graphe est un couplage contenant le plus grand nombre d'arêtes possible. Théorème (Parreau). Il y a équivalence entre les deux propriétés :. χ id (G) = V. G est un graphe complet privé d'un couplage maximum, ou G est de la forme G = K G... G l, avec G i = K ou G i = P k k i [, l]. La Figure 5 montre deux exemples de tels graphes. On peut en eet montrer que tous les sommets doivent être coloriés avec des couleurs diérentes pour obtenir une coloration globalement identiante. Supposons que l'on ait une k-id-coloration du premier graphe, avec k < 5. Alors il existe au moins deux sommets qui ont la même couleur. Notons les u et v. Au moins l'un des deux n'est pas voisin de tous les sommets du graphe (sinon, le couplage ne serait pas maximum). Considérons par exemple que u n'est pas voisin de tous les autres sommets. Il existe donc un unique u tel que (u, u ) n'est pas une arête du graphe. u et u sont voisins avec tous les autres sommets, et N[u] N[u ]. Si u = v, alors notons V = V \ {u, u }. c(n[u]) = c(v ) {c(u)}, et c(n[u ]) = c(v ) {c(u )} ; donc c(n[u]) = c(n[u ]) (car u et v ont la même couleur), ce qui est absurde. Si u = v, alors appelons v le sommet qui n'est pas relié à v s'il existe, ou posons v = v si v est voisin de tous les autres sommets. Dans les deux cas, c(n[v ]) = c(v ) et N[v ] N[u ]. De plus u est relié à tous les sommets sauf u, qui est de la même couleur que v. Donc c(n[u ]) = c(v ), ce qui est absurde. On peut construire des graphes qui au contraire possèdent une coloration globalement identiante avec très peu de couleurs. C'est le cas du graphe de la Figure. Les couleurs sont notées à l'intérieur des sommets, et pour chaque sommet u gure c(n[u]), sous forme d'un mot pour plus de lisibilité. On trouve beaucoup plus de résultats concernant les colorations localement identiantes que les colorations globalement identiantes. Ceci s'explique par le fait que la version locale permet, lorsque l'on travaille sur un sommet u en particulier, de ne regarder que les sommets 9

20 K 5 privé d'un couplage maximum K K P Figure 5 Exemples de graphes tels que χ id (G) = V. Figure Exemple de graphe tel que χ id (G) = log ( V + ). qui sont susamment proches de u. C'est d'ailleurs sur cette idée qui sont basés le lemme et la propriété suivante : Lemme (Parreau). Si G est un graphe connexe tel que χ lid (G), alors G a au plus sommets. Démonstration. Supposons que G a au moins sommets, et que c est une coloration localement identiante de G. Si G contient un triangle, alors il faut au moins couleurs pour le colorier (coloration propre). Sinon, considérons u et v deux voisins, qui sont de couleurs diérentes. Si la coloration n'était composée que de couleurs, alors on aurait nécessairement c(n[u]) = c(n[v]). Mais, le graphe étant connexe et sans triangle, N[u] N[v]. Il faut donc au moins couleurs pour obtenir une coloration localement identiante de G. Théorème (Parreau). Il existe une innité de graphes G tels que χ lid (G). 0

21 Démonstration. On peut par exemple considérer des grilles de taille quelconque, que l'on peut colorier comme sur la gure 7, avec seulement couleurs. On peut de plus préciser que d'après le Lemme, ces colorations sont optimum. Figure 7 Exemple de coloration localement identiante d'une grille avec couleurs. En revanche, on peut, comme dans le cas des colorations globalement identiantes, trouver des graphes qui nécessitent autant de couleurs qu'ils ont de sommets. Considérons un graphe complet, auquel on rajoute un sommet pendant à chaque sommet, sauf un, qu'on notera u. Tous les sommets de la clique issue du graphe complet ont des couleurs diérentes (coloration propre). De plus, pour séparer u des autres sommets de la clique, il faut que les sommets pendants de ceux-ci aient une couleur diérente des couleurs de la clique. Enn, si on considère v et v deux sommets de la clique, diérents de u, alors leurs sommets pendants ne peuvent pas avoir la même couleur (séparation de v et v ). v u v Figure 8 Graphe extrémal pour la coloration localement identiante Cependant, on ne sait pas caractériser les graphes G tels que χ lid (G) = V (G). Parreau a montré le théorème suivant pour les graphes -lid-coloriables : Théorème. Un graphe -lid-coloriable est soit un triangle, soit un graphe biparti.

22 Parreeau a aussi montré les deux théorèmes suivants pour les graphes bipartis : Théorème 5 (Parreau). Les graphes bipartis sont tous -lid-coloriables. Théorème (Parreau). Si un graphe biparti G = (U V, E) est -lid-coloriable et u U est tel que c(n[u]) = {,, }, alors : c(u) = c(u) c(v ) = {,, } \ {c(u)} u U, c(n[u ]) = {,, } La Figure 9 montre un exemple d'une coloration d'un graphe biparti -lid-coloriable vériant les hypothèses du Théorème. Figure 9 Exemple d'une coloration localement identiante avec couleurs d'un graphe biparti Les cycles présentent un comportement particulier face aux colorations localement identiantes. C 5 et C 7 sont les seuls à ne pas être -coloriables. En eet, on peut vérier la propriété suivante : χ lid (C 5 ) = χ lid (C 7 ) = 5 χ lid (C k ) =, si n 0[], n χ lid (C k ) =, si n 0[], n 5, n 7 Parreau donne de plus des colorations identiantes optimums des graphes C k, pour k. Celles-ci sont créées à partir de l'expression régulière : [][]() Une motif entre crochets, [M], signie que l'on peut prendre le motif M ou ne pas le prendre. (M) signie que le motif M peut-être répété autant de fois que l'on veut, ou ne pas l'utiliser... Diérents types de coloration Comme je l'ai précisé plus tôt, il existe plusieurs sortes de colorations, et a fortiori, plusieurs sortes de colorations identiantes. Pour l'instant, je n'ai parlé que de coloration de sommet. On peut aussi colorier les arêtes, ou les sommets et les arêtes.

23 C 5 5 C C 7 5 C 8 C 9 C 0 Figure 0 Colorations optimums pour quelques graphes cycliques. Celles-ci respectent le motif donné par l'expression régulière fournie par Parreau. Dénition (Coloration d'arêtes). Une coloration d'arêtes d'un graphe G = (V, E) est une fonction de E dans N. Dénition (Coloration totale). Une coloration totale est une union d'une coloration d'arêtes et d'une coloration de sommets d'un même graphe. Il est possible de dénir de nouvelles colorations identiantes à partir de ces dénitions. Dénition (Coloration localement identiante relaxée). c est une coloration localement identiante relaxée d'un graphe G = (V, E) si : c est une coloration de sommets, et (u, v) E, N[u] N[v] c(n[u]) c(n[v]) Le nombre minimum de couleurs d'une coloration localement identiante relaxée d'un graphe G est noté χ rlid (G). Les résultats portant sur cette coloration présents dans l'annexe A proviennent de [AGS].

24 Lorsque l'on rajoute la condition de coloration propre, on retrouve la dénition de la coloration localement identiante. Dénition (Coloration d'arêtes globalement identiante). c est une coloration d'arête globalement identiante si : e, e E, e et e sont adjacentes c(e ) c(e ) et u, v V, F (u) F (v), où F (u) est l'ensemble des couleurs des arêtes incidentes à u. Le nombre minimum de couleurs d'une coloration d'arêtes globalement identiante d'un graphe G est noté χ s(g). De même que pour la version de coloration des sommets, on peut dénir une version locale : Dénition 5 (Coloration d'arêtes localement identiante). c est une coloration d'arêtes localement identiantes si : e, e E, e et e sont adjacentes c(e ) c(e ) et (u, v) E, F (u) F (v), où F (u) est l'ensemble des couleurs des arêtes incidentes à u. Le nombre minimum de couleurs d'une coloration d'arêtes globalement identiante d'un graphe G est noté χ α(g). La version globale est étudiée dans [BKT], et la version locale dans [TCSW], [BKT], [HM] et [WW08]. On retrouve le même genre de coloration identiante pour les coloration totales, étudiée dans [TCSW], [BKT] et [WW08], dont les résultats sont listés dans l'annexe [?]. Enn, la dernière coloration que je présenterai ici est la coloration totale localement identi- ante par somme. On dénit pour cela, étant donné une coloration totale c, la fonction f c qui à un sommet v V associe la somme des couleurs des arêtes incidentes à v et de la couleur de v. Dénition (Coloration totale localement identiante par somme). c est une coloration totale localement identiante par somme si : c est une coloration totale propre et (u, v) E, f c (u) f c (v) Cette coloration a été étudiée dans [PW], dont les résultats sont aussi présentés dans l'annexe A.

25 .. Travail réalisé Pendant mon stage, mon document de référence était la thèse d'aline Parreau [Par], dont le dernier chapitre portait sur les colorations identiantes. J'ai pu me familiariser avec les diérentes notions mises en jeu, à travers les exemples et les preuves exposés. Une fois que cela a été fait, je me suis interessé à des questions qui étaient restées ouvertes. La deuxième partie de ce rapport traitera l'une d'elles, qui porte sur les cycles universels [Jac9], cousins des séquences de de Bruijn [db]. Figure Capture d'écran du programme graphique réalisé. J'ai disposé pendant mon stage d'un compte informatique LAAS, et d'un ordinateur sous Ubuntu.0 LTS. Cela m'a permis, entre autre, de créer diérents programmes/scripts pour m'assister dans mes recherches. J'ai ainsi développé un programme graphique (avec Xlib) me permettant de manipuler des graphes : ajouter ou retirer des sommets, ajouter ou retirer des 5

INTRODUCTION AUX PROBLEMES COMBINATOIRES "DIFFICILES" : LE PROBLEME DU VOYAGEUR DE COMMERCE ET LE PROBLEME DE COLORATION D'UN GRAPHE

INTRODUCTION AUX PROBLEMES COMBINATOIRES DIFFICILES : LE PROBLEME DU VOYAGEUR DE COMMERCE ET LE PROBLEME DE COLORATION D'UN GRAPHE Leçon 10 INTRODUCTION AUX PROBLEMES COMBINATOIRES "DIFFICILES" : LE PROBLEME DU VOYAGEUR DE COMMERCE ET LE PROBLEME DE COLORATION D'UN GRAPHE Dans cette leçon, nous présentons deux problèmes très célèbres,

Plus en détail

LE PROBLEME DU PLUS COURT CHEMIN

LE PROBLEME DU PLUS COURT CHEMIN LE PROBLEME DU PLUS COURT CHEMIN Dans cette leçon nous définissons le modèle de plus court chemin, présentons des exemples d'application et proposons un algorithme de résolution dans le cas où les longueurs

Plus en détail

Gestion d'un entrepôt

Gestion d'un entrepôt Gestion d'un entrepôt Épreuve pratique d'algorithmique et de programmation Concours commun des écoles normales supérieures Durée de l'épreuve: 3 heures 30 minutes Juin/Juillet 2010 ATTENTION! N oubliez

Plus en détail

Généralités sur les graphes

Généralités sur les graphes Généralités sur les graphes Christophe ROSSIGNOL Année scolaire 2008/2009 Table des matières 1 Notion de graphe 3 1.1 Un peu de vocabulaire.......................................... 3 1.2 Ordre d un graphe,

Plus en détail

LE PROBLEME DU FLOT MAXIMAL

LE PROBLEME DU FLOT MAXIMAL LE PROBLEME DU FLOT MAXIMAL I Exemple d introduction Deux châteaux d'eau alimentent 3 villes à travers un réseau de canalisations au sein duquel se trouvent également des stations de pompage. Les châteaux

Plus en détail

Quelques problèmes NP-complets

Quelques problèmes NP-complets Chapitre 12 Quelques problèmes NP-complets Maintenant que nous connaissons la NP-complétude d au moins un problème (SAT), nous allons montrer qu un très grand nombre de problèmes sont NP-complets. Le livre

Plus en détail

Algorithmique des graphes quelques notes de cours. Ioan Todinca, avec le concours de Julien Tesson

Algorithmique des graphes quelques notes de cours. Ioan Todinca, avec le concours de Julien Tesson Algorithmique des graphes quelques notes de cours Ioan Todinca, avec le concours de Julien Tesson 29 avril 2008 2 Table des matières I Algorithmes de base 5 1 Généralités 7 1.1 Dénitions et notations...............................

Plus en détail

Calcul rapide des puissances

Calcul rapide des puissances Calcul rapide des puissances Par Mathtous Il s'agit de puissances à exposant entier naturel (avec la convention a 0 = 1, et a 1 = a). Si on applique la dénition pour calculer a n, on calcule de proche

Plus en détail

Structures de données non linéaires

Structures de données non linéaires Structures de données non linéaires I. Graphes Définition Un graphe (simple) orienté G est un couple (S, A), où : S est un ensemble dont les éléments sont appelés les sommets. A est un ensemble de couples

Plus en détail

Table des matières I La programmation linéaire en variables continues 1 Présentation 3 1 Les bases de la programmation linéaire 5 1.1 Formulation d'un problème de programmation linéaire........... 5 1.2

Plus en détail

Couplages et colorations d arêtes

Couplages et colorations d arêtes Couplages et colorations d arêtes Complément au chapitre 5 «Une employée mécontente» et au chapitre 9 «L apprentie sudokiste» Considérons n équipes de hockey qui doivent s affronter lors d un tournoi.

Plus en détail

Inter'Action 2014 : Jeux de Nim sur les graphes.

Inter'Action 2014 : Jeux de Nim sur les graphes. Qu'est-ce qu'un jeu combinatoire 9 mai 204 Qu'est-ce qu'un jeu combinatoire 2 Le jeu de Nim : un exemple de partie. Le jeu de Nim : Deux joueurs : Plusieurs piles de jetons. On retire alternativement autant

Plus en détail

Introduction à la programmation en variables entières Cours 3

Introduction à la programmation en variables entières Cours 3 Introduction à la programmation en variables entières Cours 3 F. Clautiaux francois.clautiaux@math.u-bordeaux1.fr Université Bordeaux 1 Bât A33 - Bur 272 Sommaire Notion d heuristique Les algorithmes gloutons

Plus en détail

RapidMiner. Data Mining. 1 Introduction. 2 Prise en main. Master Maths Finances 2010/2011. 1.1 Présentation. 1.2 Ressources

RapidMiner. Data Mining. 1 Introduction. 2 Prise en main. Master Maths Finances 2010/2011. 1.1 Présentation. 1.2 Ressources Master Maths Finances 2010/2011 Data Mining janvier 2011 RapidMiner 1 Introduction 1.1 Présentation RapidMiner est un logiciel open source et gratuit dédié au data mining. Il contient de nombreux outils

Plus en détail

Méthodes d optimisation pour un problème de co-voiturage couplé aux transports en commun

Méthodes d optimisation pour un problème de co-voiturage couplé aux transports en commun Méthodes d optimisation pour un problème de co-voiturage couplé aux transports en commun Aziz Amnay Encadrant : Nadia Brauner Responsable Ensimag : Florence MARANINCHI Grenoble, le 16 mai 2012 Table des

Plus en détail

Diagrammes de décisions binaires

Diagrammes de décisions binaires Diagrammes de décisions binaires Épreuve pratique d'algorithmique et de programmation Concours commun des écoles normales supérieures Durée de l'épreuve: 3 heures 30 minutes Juillet 2009 ATTENTION! N oubliez

Plus en détail

Placement de centres logistiques

Placement de centres logistiques Master 1 - Spécialité Androide Année 2014/2015 Module RP Résolution de Problèmes Projet Placement de centres logistiques On considère dans ce projet la résolution du problème de placement de centres logistiques

Plus en détail

UNIVERSITE SAAD DAHLAB DE BLIDA

UNIVERSITE SAAD DAHLAB DE BLIDA Chapitre 5 :. Introduction aux méthodes par séparation et évaluation Les méthodes arborescentes ( Branch and Bound Methods ) sont des méthodes exactes d'optimisation qui pratiquent une énumération intelligente

Plus en détail

7.1 Un exemple en guise d introduction : Gérer les incompatibilités

7.1 Un exemple en guise d introduction : Gérer les incompatibilités CHAPITRE 7 COLORATION DE GRAPHES 51 Chapitre 7: Coloration de graphes 7.1 Un exemple en guise d introduction : Gérer les incompatibilités Problème : Une entreprise qui fabrique six sortes de produits chimiques

Plus en détail

Correction des exemples. Mathieu EMILY

Correction des exemples. Mathieu EMILY Correction des exemples Mathieu EMILY Novembre 2005 Table des Matières Exemple_Exercice 1 Page 2 Exemple_Exercice 2 Page 3 Exemple_Exercice 3 Page 5 Exemple_Exercice 4 Page 6 Exemple_Exercice 5 Page 7

Plus en détail

Sur l algorithme RSA

Sur l algorithme RSA Sur l algorithme RSA Le RSA a été inventé par Rivest, Shamir et Adleman en 1978. C est l exemple le plus courant de cryptographie asymétrique, toujours considéré comme sûr, avec la technologie actuelle,

Plus en détail

PARCOURS DU CAVALIER SUR L ÉCHIQUIER

PARCOURS DU CAVALIER SUR L ÉCHIQUIER I05 ÉPREUVE COMMUNE DE TIPE 2011 - Partie D TITRE : PARCOURS DU CAVALIER SUR L ÉCHIQUIER Temps de préparation :.. 2 h 15 minutes Temps de présentation devant les examinateurs :.10 minutes Dialogue avec

Plus en détail

Objectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2)

Objectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2) Objectifs du cours d aujourd hui Informatique II : Cours d introduction à l informatique et à la programmation objet Complexité des problèmes Introduire la notion de complexité d un problème Présenter

Plus en détail

6. Les différents types de démonstrations

6. Les différents types de démonstrations LES DIFFÉRENTS TYPES DE DÉMONSTRATIONS 33 6. Les différents types de démonstrations 6.1. Un peu de logique En mathématiques, une démonstration est un raisonnement qui permet, à partir de certains axiomes,

Plus en détail

Ensimag 2A. Rapport de TER. Application de la Recherche Opérationnelle à la Finance

Ensimag 2A. Rapport de TER. Application de la Recherche Opérationnelle à la Finance Ensimag 2A Rapport de TER Application de la Recherche Opérationnelle à la Finance Elève : Yuefei HUANG Tuteur : Zoltán SZIGETI Mai, 2010 2 Sommaire 1. Introduction... 3 2. Le marché des changes et arbitrage...

Plus en détail

Jusqu'à présent. Au programme. Cardinalité Ensembles nis Ensembles dénombrables. Relations Opérations Relations. Conclusions. Nous avons déjà abordé

Jusqu'à présent. Au programme. Cardinalité Ensembles nis Ensembles dénombrables. Relations Opérations Relations. Conclusions. Nous avons déjà abordé Jusqu'à présent Nous avons déjà abordé Vers l'inni David Teller 23/01/2007 Les ensembles Le regroupement de valeurs caractérisées par des critères. Informatique Types. Physique Unités. Logique Domaines.

Plus en détail

chapitre 4 Nombres de Catalan

chapitre 4 Nombres de Catalan chapitre 4 Nombres de Catalan I Dénitions Dénition 1 La suite de Catalan (C n ) n est la suite dénie par C 0 = 1 et, pour tout n N, C n+1 = C k C n k. Exemple 2 On trouve rapidement C 0 = 1, C 1 = 1, C

Plus en détail

Introduction à la théorie des graphes. Solutions des exercices

Introduction à la théorie des graphes. Solutions des exercices CAHIERS DE LA CRM Introduction à la théorie des graphes Solutions des exercices Didier Müller CAHIER N O 6 COMMISSION ROMANDE DE MATHÉMATIQUE 1 Graphes non orientés Exercice 1 On obtient le graphe biparti

Plus en détail

Cours de spécialité mathématiques en Terminale ES

Cours de spécialité mathématiques en Terminale ES Cours de spécialité mathématiques en Terminale ES O. Lader 2014/2015 Lycée Jean Vilar Spé math terminale ES 2014/2015 1 / 51 Systèmes linéaires Deux exemples de systèmes linéaires à deux équations et deux

Plus en détail

Algorithmique et Analyse d Algorithmes

Algorithmique et Analyse d Algorithmes Algorithmique et Analyse d Algorithmes L3 Info Cours 11 : Arbre couvrant Prétraitement Benjamin Wack 2015-2016 1 / 32 La dernière fois Rappels sur les graphes Problèmes classiques Algorithmes d optimisation

Plus en détail

Fondements de l informatique: Examen Durée: 3h

Fondements de l informatique: Examen Durée: 3h École polytechnique X2013 INF412 Fondements de l informatique Fondements de l informatique: Examen Durée: 3h Sujet proposé par Olivier Bournez Version 3 (corrigé) L énoncé comporte 4 parties (sections),

Plus en détail

Conjecture de Syracuse

Conjecture de Syracuse Conjecture de Syracuse Énoncé du problème [1] : Soit (U)n la suite définie par : (U)0=N, avec N N* [(U)n]/2 si (U)n est pair. et (U)n+1 = 3(U)n +1 si (U)n est impair. La Conjecture de Syracuse affirme

Plus en détail

Ordonnancement. N: nains de jardin. X: peinture extérieure. E: électricité T: toit. M: murs. F: fondations CHAPTER 1

Ordonnancement. N: nains de jardin. X: peinture extérieure. E: électricité T: toit. M: murs. F: fondations CHAPTER 1 CHAPTER 1 Ordonnancement 1.1. Étude de cas Ordonnancement de tâches avec contraintes de précédences 1.1.1. Exemple : construction d'une maison. Exercice. On veut construire une maison, ce qui consiste

Plus en détail

est diagonale si tous ses coefficients en dehors de la diagonale sont nuls.

est diagonale si tous ses coefficients en dehors de la diagonale sont nuls. Diagonalisation des matrices http://www.math-info.univ-paris5.fr/~ycart/mc2/node2.html Sous-sections Matrices diagonales Valeurs propres et vecteurs propres Polynôme caractéristique Exemples Illustration

Plus en détail

Espaces vectoriels euclidiens. Groupe orthogonal

Espaces vectoriels euclidiens. Groupe orthogonal 19 Espaces vectoriels euclidiens. Groupe orthogonal Dans un premier temps, E est un espace vectoriel réel de dimension n 1. 19.1 Espaces vectoriels euclidiens Dénition 19.1 On dit qu'une forme bilinéaire

Plus en détail

Couples de variables aléatoires discrètes

Couples de variables aléatoires discrètes Couples de variables aléatoires discrètes ECE Lycée Carnot mai Dans ce dernier chapitre de probabilités de l'année, nous allons introduire l'étude de couples de variables aléatoires, c'est-à-dire l'étude

Plus en détail

Marches, permutations et arbres binaires aléatoires

Marches, permutations et arbres binaires aléatoires Marches, permutations et arbres binaires aléatoires Épreuve pratique d algorithmique et de programmation Concours commun des Écoles Normales Supérieures Durée de l épreuve: 4 heures Cœfficient: 4 Juillet

Plus en détail

Systèmes Binaires. V. Langlet

Systèmes Binaires. V. Langlet Systèmes Binaires V. Langlet Niveau : De la Terminale aux Maths du supérieur Diculté : De plus en plus dur au l des exercices. Durée : Environ deux heures, suivant la compréhension du sujet. Rubrique(s)

Plus en détail

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France. La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of

Plus en détail

Partie I : Automates et langages

Partie I : Automates et langages 2 Les calculatrices sont interdites. N.B. : Le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction. Si un candidat est amené à repérer ce qui peut

Plus en détail

Les mathématiques du calcul

Les mathématiques du calcul Les mathématiques du calcul Module Maths Discrètes, INSA, Univ Lyon 1, 2015-2016 Eric Tannier (eric.tannier@univ-lyon1.fr) Les mathématiques du calcul Tradition orientale Al-Khawarizmi Al-Khawarizmi, 783-850

Plus en détail

Coloriages et invariants

Coloriages et invariants DOMAINE : Combinatoire AUTEUR : Razvan BARBULESCU NIVEAU : Débutants STAGE : Montpellier 013 CONTENU : Exercices Coloriages et invariants - Coloriages - Exercice 1 Le plancher est pavé avec des dalles

Plus en détail

Les graphes d intervalles

Les graphes d intervalles Les graphes d intervalles Complément au chapitre 3 «Vol aux archives cantonales» Considérons un ensemble de tâches ayant chacune une heure de début et une heure de fin bien précises. Supposons qu on demande

Plus en détail

Graphes Pour la Terminale ES

Graphes Pour la Terminale ES Graphes Pour la Terminale ES Groupe IREM de Luminy Pierre Arnoux Fernand Didier Catherine Dufossé Nicolas Lichiardopol Christian Mauduit Dominique Proudhon Christiane Rambaud 18 octobre 2002 Table des

Plus en détail

Exercices de dénombrement

Exercices de dénombrement Exercices de dénombrement Exercice En turbo Pascal, un entier relatif (type integer) est codé sur 6 bits. Cela signifie que l'on réserve 6 cases mémoires contenant des "0" ou des "" pour écrire un entier.

Plus en détail

Théorie des graphes. Introduction. Programme de Terminale ES Spécialité. Résolution de problèmes à l aide de graphes. Préparation CAPES UCBL

Théorie des graphes. Introduction. Programme de Terminale ES Spécialité. Résolution de problèmes à l aide de graphes. Préparation CAPES UCBL Introduction Ces quelques pages ont pour objectif de vous initier aux notions de théorie des graphes enseignées en Terminale ES. Le programme de Terminale (voir ci-après) est construit sur la résolution

Plus en détail

Algorithmique IN102 TD 3

Algorithmique IN102 TD 3 Algorithmique IN10 TD 16 décembre 005 Exercice 1 Clairement, il existe des arbres de hauteur h à h + 1 éléments : il sut pour cela que leurs n uds internes aient au plus un ls non vide. On a alors un arbre

Plus en détail

Factorisation des matrices creuses

Factorisation des matrices creuses Chapitre 5 Factorisation des matrices creuses 5.1 Matrices creuses La plupart des codes de simulation numérique en mécanique des fluides ou des structures et en électromagnétisme utilisent des discrétisations

Plus en détail

CH.8 Décidabilité. Propriétés des langages récursifs : Fermés par complémentation, union et intersection. oui. non. oui M 1. non. oui M 2.

CH.8 Décidabilité. Propriétés des langages récursifs : Fermés par complémentation, union et intersection. oui. non. oui M 1. non. oui M 2. CH.8 Décidabilité 8.1 Les langages récursifs 8.2 La machine de Turing universelle 8.3 Des problèmes de langages indécidables 8.4 D'autres problèmes indécidables Automates ch8 1 8.1 Les langages récursifs

Plus en détail

CHAPITRE VIII : Les circuits avec résistances ohmiques

CHAPITRE VIII : Les circuits avec résistances ohmiques CHAPITRE VIII : Les circuits avec résistances ohmiques VIII. 1 Ce chapitre porte sur les courants et les différences de potentiel dans les circuits. VIII.1 : Les résistances en série et en parallèle On

Plus en détail

Exercices théoriques

Exercices théoriques École normale supérieure 2008-2009 Département d informatique Algorithmique et Programmation TD n 9 : Programmation Linéaire Avec Solutions Exercices théoriques Rappel : Dual d un programme linéaire cf.

Plus en détail

TP : Shell Scripts. 1 Remarque générale. 2 Mise en jambe. 3 Avec des si. Systèmes et scripts

TP : Shell Scripts. 1 Remarque générale. 2 Mise en jambe. 3 Avec des si. Systèmes et scripts E3FI ESIEE Paris Systèmes et scripts B. Perret TP : Shell Scripts 1 Remarque générale Lorsque vous cherchez des informations sur Internet, n'oubliez pas que langage de shell script que nous avons vu correspond

Plus en détail

Exercices corrigés de SQ20

Exercices corrigés de SQ20 1 Exercices corrigés de SQ2 Corrigés TD 1 à 4 Printemps 215 responsable de l'uv : André Turbergue SQ2 TD1 : espaces probabilisés TD1 : espaces probabilisés 1 Énoncés Exercice 1. Calculer si possible une

Plus en détail

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.

Plus en détail

Rapport de stage. Simulation d'algorithmes auto-stabilisants

Rapport de stage. Simulation d'algorithmes auto-stabilisants Université Joseph Fourier Département Licence Sciences & Technologies Rapport de stage Simulation d'algorithmes auto-stabilisants DIAKITE Moussa Laboratoire d'accueil : Verimag Directeur du laboratoire

Plus en détail

Déroulement de l épreuve

Déroulement de l épreuve Déroulement de l épreuve Le sujet, volontairement très long, se compose de deux problèmes indépendants. Le candidat pourra au choix se concentrer sur l un des deux problèmes ou les aborder tous les deux.

Plus en détail

ÉPREUVE D'INFORMATIQUE

ÉPREUVE D'INFORMATIQUE LUC 321 J. 6372 SESSION DE 1999 ÉPREUVE D'INFORMATIQUE (Sujet commun ENS : ULM et LYON) DURÉE : 4 heures L'usage de la calculatrice n 'est pas autorisé Tournez la page S.V.P. Les correcteurs attendent

Plus en détail

Applications linéaires

Applications linéaires Applications linéaires I) Applications linéaires - Généralités 1.1) Introduction L'idée d'application linéaire est intimement liée à celle d'espace vectoriel. Elle traduit la stabilité par combinaison

Plus en détail

Théorie des Graphes Cours 3: Forêts et Arbres II / Modélisation

Théorie des Graphes Cours 3: Forêts et Arbres II / Modélisation IFIPS S7 - informatique Université Paris-Sud 11 1er semestre 2009/2010 Théorie des Graphes Cours 3: Forêts et Arbres II / 1 Forêts et arbres II Théorème 1.1. Les assertions suivantes sont équivalentes

Plus en détail

Aspects théoriques et algorithmiques du calcul réparti Placement - Compléments

Aspects théoriques et algorithmiques du calcul réparti Placement - Compléments A- 0/0 Aspects théoriques et algorithmiques du calcul réparti Placement - Compléments Patrick CIARLET Enseignant-Chercheur UMA patrick.ciarlet@ensta-paristech.fr Françoise LAMOUR franc.lamour@gmail.com

Plus en détail

Par : Abdel YEZZA, Ph.D. Date : avril 2011 / mise à jour oct. 2012 (ajout de la section 3 et augmentation de la section 1)

Par : Abdel YEZZA, Ph.D. Date : avril 2011 / mise à jour oct. 2012 (ajout de la section 3 et augmentation de la section 1) 1 Que signifient AON et AOA? Par : Abdel YEZZA, Ph.D. Date : avril 2011 / mise à jour oct. 2012 (ajout de la section 3 et augmentation de la section 1) Sommaire 1. Concepts... 2 2. Méthode PCM appliquée

Plus en détail

Sauf mention contraire, le contenu de cet ouvrage est publié sous la licence : Creative Commons BY-NC-SA 2.0 La copie de cet ouvrage est autorisée

Sauf mention contraire, le contenu de cet ouvrage est publié sous la licence : Creative Commons BY-NC-SA 2.0 La copie de cet ouvrage est autorisée Sauf mention contraire, le contenu de cet ouvrage est publié sous la licence : Creative Commons BY-NC-SA 2.0 La copie de cet ouvrage est autorisée sous réserve du respect des conditions de la licence Texte

Plus en détail

Cours de Master Recherche

Cours de Master Recherche Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 1 - Introduction Qu est-ce qu un

Plus en détail

Applications #2 Problème du voyageur de commerce (TSP)

Applications #2 Problème du voyageur de commerce (TSP) Applications #2 Problème du voyageur de commerce (TSP) MTH6311 S. Le Digabel, École Polytechnique de Montréal H2014 (v2) MTH6311: Heuristiques pour le TSP 1/34 Plan 1. Introduction 2. Formulations MIP

Plus en détail

Programmation de robots

Programmation de robots Programmation de robots 1 Le robot Le but de ces séances d'initiation est de vous apprendre les bases de la programmation du robot en quelques heures. Pour arriver au plus vite au c ur du sujet, nous avons

Plus en détail

D'UN THÉORÈME NOUVEAU

D'UN THÉORÈME NOUVEAU DÉMONSTRATION D'UN THÉORÈME NOUVEAU CONCERNANT LES NOMBRES PREMIERS 1. (Nouveaux Mémoires de l'académie royale des Sciences et Belles-Lettres de Berlin, année 1771.) 1. Je viens de trouver, dans un excellent

Plus en détail

Solutions optimales multiples. 3D.1 Unicité de la solution optimale du modèle (FRB)

Solutions optimales multiples. 3D.1 Unicité de la solution optimale du modèle (FRB) 3D Solutions optimales multiples 3D.1 Unicité de la solution optimale du modèle (FRB) Le modèle (FRB) admet une solution optimale unique. En effet (voir page 182), l'algorithme du simplexe se termine par

Plus en détail

Aide à la gestion du projet final ISN

Aide à la gestion du projet final ISN Aide à la gestion du projet final ISN 1 - La place du projet dans l ISN «Les activités des élèves sont organisées autour d une équipe de projet dont les tâches sont les suivantes : repérer le besoin ou

Plus en détail

Gestion de projet. Jean-Charles Régin. Licence Informatique 3 ème année - MIAGE

Gestion de projet. Jean-Charles Régin. Licence Informatique 3 ème année - MIAGE Gestion de projet Jean-Charles Régin Licence Informatique 3 ème année - MIAGE Gestion de projet : Ordonnancement Jean-Charles Régin Licence Informatique 3 ème année - MIAGE Remerciements Michel Minoux

Plus en détail

CH.5 SYSTÈMES À CLÉ PUBLIQUE

CH.5 SYSTÈMES À CLÉ PUBLIQUE CH.5 SYSTÈMES À CLÉ PUBLIQUE 5.1 Les clés publiques : RSA 5.2 Les clés publiques : le sac à dos 5.3 Les clés publiques : le logarithme discret 5.4 L'authentification et la signature électronique 5.5 Les

Plus en détail

Un corrigé de l épreuve de mathématiques du baccalauréat blanc

Un corrigé de l épreuve de mathématiques du baccalauréat blanc Terminale ES Un corrigé de l épreuve de mathématiques du baccalauréat blanc EXERCICE ( points). Commun à tous les candidats On considère une fonction f : définie, continue et doublement dérivable sur l

Plus en détail

1 Exercice 1 Question de cours (4 points)

1 Exercice 1 Question de cours (4 points) Info32B Systèmes d'exploitation année 2013-2014 Examen (1ère session) 16 décembre 2014 N. Sabouret L'épreuve dure 2h30. Tous les documents sont autorisés. Les exercices sont indépendants. 1 Exercice 1

Plus en détail

UEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.

UEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux. UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases

Plus en détail

Formules d inclusion-exclusion

Formules d inclusion-exclusion Université de Rouen L1 M.I.EEA 2011 2012 Mathématiques discrètes Formules d inclusion-exclusion Je présente ici une correction détaillée de l Exercice 5 de la Feuille d exercices 1, en reprenant le problème

Plus en détail

Recherche opérationnelle. Programmation linéaire et recherche opérationnelle. Programmation linéaire. Des problèmes de RO que vous savez résoudre

Recherche opérationnelle. Programmation linéaire et recherche opérationnelle. Programmation linéaire. Des problèmes de RO que vous savez résoudre Recherche opérationnelle Programmation linéaire et recherche opérationnelle Ioan Todinca Ioan.Todinca@univ-orleans.fr tél. 0 38 41 7 93 bureau : en bas à gauche Tentative de définition Ensemble de méthodes

Plus en détail

2010 My Maths Space Page 1/6

2010 My Maths Space Page 1/6 A. Des statistiques aux probabilités 1. Statistiques descriptives, analyse de données. Vocabulaire des statistiques : Population : c'est l'ensemble étudié. Individu : c'est un élément de la population.

Plus en détail

Raisonnement par récurrence Suites numériques

Raisonnement par récurrence Suites numériques Chapitre 1 Raisonnement par récurrence Suites numériques Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Raisonnement par récurrence. Limite finie ou infinie d une suite.

Plus en détail

Machine de Turing. Informatique II Algorithmique 1

Machine de Turing. Informatique II Algorithmique 1 Machine de Turing Nous avons vu qu un programme peut être considéré comme la décomposition de la tâche à réaliser en une séquence d instructions élémentaires (manipulant des données élémentaires) compréhensibles

Plus en détail

Eteindre. les. lumières MATH EN JEAN 2013-2014. Mme BACHOC. Elèves de seconde, première et terminale scientifiques :

Eteindre. les. lumières MATH EN JEAN 2013-2014. Mme BACHOC. Elèves de seconde, première et terminale scientifiques : MTH EN JEN 2013-2014 Elèves de seconde, première et terminale scientifiques : Lycée Michel Montaigne : HERITEL ôme T S POLLOZE Hélène 1 S SOK Sophie 1 S Eteindre Lycée Sud Médoc : ROSIO Gauthier 2 nd PELGE

Plus en détail

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1 Exemples de problèmes et d applications INF6953 Exemples de problèmes Sommaire Quelques domaines d application Quelques problèmes réels Allocation de fréquences dans les réseaux radio-mobiles Affectation

Plus en détail

Rubik's Cube résentation :

Rubik's Cube résentation : Rubik's Cube Présentation : Le Rubik's Cube est composé de 20 cubes mobiles (8 cubes sommet et 12 cubes arête) et 6 cubes immobiles (1 au centre de chaque face). Le cube au centre d'une face peut en fait

Plus en détail

Mathématiques pour l'informatique? Au programme. Objectif du semestre

Mathématiques pour l'informatique? Au programme. Objectif du semestre Mathématiques pour l'informatique? Calcul des Ensembles David Teller 09/02/2007 Q L'informatique, au juste, c'est quoi? A L'informatique, c'est : de l'électronique de la théorie des processus de la linguistique

Plus en détail

Nombres premiers. Comment reconnaître un nombre premier? Mais...

Nombres premiers. Comment reconnaître un nombre premier? Mais... Introduction Nombres premiers Nombres premiers Rutger Noot IRMA Université de Strasbourg et CNRS Le 19 janvier 2011 IREM Strasbourg Definition Un nombre premier est un entier naturel p > 1 ayant exactement

Plus en détail

Enveloppes convexes dans le plan

Enveloppes convexes dans le plan ÉCOLE POLYTECHNIQUE ÉCOLES NORMALES SUPÉRIEURES ÉCOLE SUPÉRIEURE DE PHYSIQUE ET DE CHIMIE INDUSTRIELLES CONCOURS D ADMISSION FILIÈRE MP HORS SPÉCIALITÉ INFO FILIÈRE PC COMPOSITION D INFORMATIQUE B (XECLR)

Plus en détail

CHAPITRE 2 CALCULS ALGEBRIQUES

CHAPITRE 2 CALCULS ALGEBRIQUES Classe de Troisième CHAPITRE CALCULS ALGEBRIQUES UTILISER DES LETTRES... 34 EXPRESSIONS EQUIVALENTES... 36 VOCABULAIRE DU CALCUL LITTERAL... 37 REDUCTIONS D'ECRITURES... 39 DEVELOPPER UN PRODUIT... 40

Plus en détail

Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101. Travail pratique #2

Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101. Travail pratique #2 Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101 Danny Dubé Hiver 2014 Version : 11 avril Questions Travail pratique #2 Traduction orientée-syntaxe

Plus en détail

Algorithmes de recherche

Algorithmes de recherche Algorithmes de recherche 1 Résolution de problèmes par recherche On représente un problème par un espace d'états (arbre/graphe). Chaque état est une conguration possible du problème. Résoudre le problème

Plus en détail

INTRODUCTION À L ALGORITHMIQUE RÉPARTIE

INTRODUCTION À L ALGORITHMIQUE RÉPARTIE INTRODUCTION À L ALGORITHMIQUE RÉPARTIE Chargée de cours: Transparents :http://www-npa.lip6.fr/~blin/enseignements.html Email: lelia.blin@lip6.fr ALGORITHMIQUE SÉQUENTIELLE Une tâche / un calcul Série

Plus en détail

Recherche dans un tableau

Recherche dans un tableau Chapitre 3 Recherche dans un tableau 3.1 Introduction 3.1.1 Tranche On appelle tranche de tableau, la donnée d'un tableau t et de deux indices a et b. On note cette tranche t.(a..b). Exemple 3.1 : 3 6

Plus en détail

À propos des matrices échelonnées

À propos des matrices échelonnées À propos des matrices échelonnées Antoine Ducros appendice au cours de Géométrie affine et euclidienne dispensé à l Université Paris 6 Année universitaire 2011-2012 Introduction Soit k un corps, soit E

Plus en détail

Projet de traitement d'image - SI 381 reconstitution 3D d'intérieur à partir de photographies

Projet de traitement d'image - SI 381 reconstitution 3D d'intérieur à partir de photographies Projet de traitement d'image - SI 381 reconstitution 3D d'intérieur à partir de photographies Régis Boulet Charlie Demené Alexis Guyot Balthazar Neveu Guillaume Tartavel Sommaire Sommaire... 1 Structure

Plus en détail

RAPPORT DE STAGE GENERATION DE TESTS POUR AMELIORER DES OUTILS DE CALCUL DE TEMPS D'EXECUTION PIRE CAS

RAPPORT DE STAGE GENERATION DE TESTS POUR AMELIORER DES OUTILS DE CALCUL DE TEMPS D'EXECUTION PIRE CAS Université Joseph Fourier Département Licence Sciences & Technologie RAPPORT DE STAGE GENERATION DE TESTS POUR AMELIORER DES OUTILS DE CALCUL DE TEMPS D'EXECUTION PIRE CAS Laboratoire d'accueil : Verimag

Plus en détail

TD 2 Exercice 1. Un bûcheron a 100 hectares de bois de feuillus. Couper un hectare de bois et laisser la zone se régénérer naturellement coûte 10 kf par hectares, et rapporte 50 kf. Alternativement, couper

Plus en détail

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé A. P. M. E. P. Exercice 1 5 points 1. Réponse d. : 1 e Le coefficient directeur de la tangente est négatif et n est manifestement pas 2e

Plus en détail

Heuristique et métaheuristique. 8. Optimisation combinatoire et métaheuristiques. Optimisation combinatoire. Problème du voyageur de commerce

Heuristique et métaheuristique. 8. Optimisation combinatoire et métaheuristiques. Optimisation combinatoire. Problème du voyageur de commerce Heuristique et métaheuristique IFT1575 Modèles de recherche opérationnelle (RO) 8. Optimisation combinatoire et métaheuristiques Un algorithme heuristique permet d identifier au moins une solution réalisable

Plus en détail

RAPPORT DE STAGE : Création d un programme pour la reconnaissance de ballons récursivement arbitrairement partitionnables

RAPPORT DE STAGE : Création d un programme pour la reconnaissance de ballons récursivement arbitrairement partitionnables Laboratoire Bordelais de Recherche en Informatique Licence 3 : Informatique RAPPORT DE STAGE : Création d un programme pour la reconnaissance de ballons récursivement arbitrairement partitionnables Auteur

Plus en détail

Eléments de Théorie des Graphes et Programmation Linéaire

Eléments de Théorie des Graphes et Programmation Linéaire INSTITUT NATIONAL POLYTECHNIQUE DE LORRAINE Ecole Nationale Supérieure d Electricité et de Mécanique Eléments de Théorie des Graphes et Programmation Linéaire Didier Maquin Professeur à l INPL Version

Plus en détail

Date : 18.11.2013 Tangram en carré page

Date : 18.11.2013 Tangram en carré page Date : 18.11.2013 Tangram en carré page Titre : Tangram en carré Numéro de la dernière page : 14 Degrés : 1 e 4 e du Collège Durée : 90 minutes Résumé : Le jeu de Tangram (appelé en chinois les sept planches

Plus en détail

Arbres ordonnés, binaires, tassés, FAP, tri par FAP, tas, tri par tas

Arbres ordonnés, binaires, tassés, FAP, tri par FAP, tas, tri par tas Arbres ordonnés, binaires, tassés, FAP, tri par FAP, tas, tri par tas 1. Arbres ordonnés 1.1. Arbres ordonnés (Arbres O) On considère des arbres dont les nœuds sont étiquetés sur un ensemble muni d'un

Plus en détail

Baccalauréat ES Centres étrangers 12 juin 2014 - Corrigé

Baccalauréat ES Centres étrangers 12 juin 2014 - Corrigé Baccalauréat ES Centres étrangers 1 juin 14 - Corrigé A. P. M. E. P. Exercice 1 5 points Commun à tous les candidats 1. On prend un candidat au hasard et on note : l évènement «le candidat a un dossier

Plus en détail