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

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

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

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

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

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

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

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

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

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

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

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

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

Les graphes planaires

Les graphes planaires Les graphes planaires Complément au chapitre 2 «Les villas du Bellevue» Dans le chapitre «Les villas du Bellevue», Manori donne la définition suivante à Sébastien. Définition Un graphe est «planaire» si

Plus en détail

M2 MPRO. Optimisation dans les Graphes 2014-2015

M2 MPRO. Optimisation dans les Graphes 2014-2015 M2 MPRO Optimisation dans les Graphes 2014-2015 Programmation linéaire et problèmes d'optimisation dans les graphes 1 Problèmes d'optimisation dans les graphes : quelles méthodes pour les résoudre? Théorie

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

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

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

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

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

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

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

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

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

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

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

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

Équations et inéquations du 1 er degré

Équations et inéquations du 1 er degré Équations et inéquations du 1 er degré I. Équation 1/ Vocabulaire (rappels) Un équation se présente sous la forme d'une égalité constituée de nombres, de lettres et de symboles mathématiques. Par exemple

Plus en détail

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

CH.2 CODES CORRECTEURS

CH.2 CODES CORRECTEURS CH.2 CODES CORRECTEURS 2.1 Le canal bruité 2.2 La distance de Hamming 2.3 Les codes linéaires 2.4 Les codes de Reed-Muller 2.5 Les codes circulaires 2.6 Le câblage des codes circulaires 2.7 Les performances

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

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

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

Test de sélection du 4 juin 2013

Test de sélection du 4 juin 2013 Test de sélection du 4 juin 2013 Vous étiez 270 candidat-e-s à ce test de sélection, et 62 d entre vous (23%) participeront au stage olympique de Montpellier, du 19 au 29 août 2013, dont 12 filles : la

Plus en détail

Feuille 1 : Autour du problème SAT

Feuille 1 : Autour du problème SAT Master-2 d Informatique 2014 2015 Complexit Algorithmique Applique. Feuille 1 : Autour du problème SAT 1 Rappels sur SAT Énoncé du problème. Le problème SAT (ou le problème de Satisfaisabilité) est le

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

Espaces de probabilités.

Espaces de probabilités. Université Pierre et Marie Curie 2010-2011 Probabilités et statistiques - LM345 Feuille 2 Espaces de probabilités. 1. Donner un exemple d'une famille de parties d'un ensemble qui ne soit pas une tribu.

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

Arbres binaires de recherche et arbres rouge noir

Arbres binaires de recherche et arbres rouge noir Institut Galilée lgo, rbres, Graphes I nnée 006-007 License rbres binaires de recherche et arbres rouge noir Rappels de cours et correction du TD rbres binaires de recherche : définitions Un arbre binaire

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

INF-130 Travail Pratique #2

INF-130 Travail Pratique #2 École de technologie supérieure INF-30 Travail Pratique #2 Travail individuel Tracé d un métro Francis Bourdeau, Frédérick Henri et Patrick Salois Remise à la 0 e semaine. Objectifs - Amener l étudiant

Plus en détail

Mini-Projet de Prolog : Solver de Sudoku

Mini-Projet de Prolog : Solver de Sudoku UNIVERSITE François Rabelais TOURS Polytech Tours-Département Informatique 64, Avenue Jean Portalis 37200 TOURS Mini-Projet de Prolog : Solver de Sudoku Encadré par : Présenté par : M. J-L Bouquard Florent

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

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

LA PROGRAMMATION LINEAIRE : UN OUTIL DE MODELISATION

LA PROGRAMMATION LINEAIRE : UN OUTIL DE MODELISATION LA PROGRAMMATION LINEAIRE : UN OUTIL DE MODELISATION Dans les leçons précédentes, nous avons modélisé des problèmes en utilisant des graphes. Nous abordons dans cette leçon un autre type de modélisation.

Plus en détail

Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications

Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au

Plus en détail

Invariants, Principe des tiroirs

Invariants, Principe des tiroirs DOMAINE : Combinatoire AUTEUR : Pierre BERTIN NIVEAU : Débutants STAGE : Montpellier 2013 CONTENU : Exercices Invariants, Principe des tiroirs - Principe des tiroirs - S il y a (n + 1) chaussettes à ranger

Plus en détail

Introduction à l étude des Corps Finis

Introduction à l étude des Corps Finis Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur

Plus en détail

Contrôle Classant Informatique 431

Contrôle Classant Informatique 431 Contrôle Classant Informatique 431 Dominique Perrin 3 juillet 2002 Tous les documents du cours sont autorisés. On attachera une grande importance à la concision, à la clarté, et à la précision de la rédaction.

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

Cours 1: Introduction à l algorithmique

Cours 1: Introduction à l algorithmique 1 Cours 1: Introduction à l algorithmique Olivier Bournez bournez@lix.polytechnique.fr LIX, Ecole Polytechnique 2011-12 Algorithmique 2 Aujourd hui Calcul de x n Maximum Complexité d un problème Problème

Plus en détail

Placements de tours sur les diagrammes de permutations

Placements de tours sur les diagrammes de permutations Placements de tours sur les diagrammes de permutations 5 août 0 Résumé Le problème des placements de tours consiste à compter le nombre de manières de placer k tours sur un échiquier sans que les tours

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

Chapitre 6. Modélisation en P.L.I. 6.1 Lien entre PL et PLI. 6.1.1 Approximation de la PLI

Chapitre 6. Modélisation en P.L.I. 6.1 Lien entre PL et PLI. 6.1.1 Approximation de la PLI Chapitre 6 Modélisation en P.L.I. 6.1 Lien entre PL et PLI (P) problème de PL. On restreint les variables à être entières : on a un problème de PLI (ILP en anglais). On restreint certaines variables à

Plus en détail

Espace de probabilité, indépendance et probabilité conditionnelle

Espace de probabilité, indépendance et probabilité conditionnelle Chapter 2 Espace de probabilité, indépendance et probabilité conditionnelle Sommaire 2.1 Tribu et événements........................................... 15 2.2 Probabilité................................................

Plus en détail

ATELIER «MATH en JEANS» 2008-2009

ATELIER «MATH en JEANS» 2008-2009 Lycée Paul Langevin --- 92150 Suresnes ATELIER «MATH en JEANS» 2008-2009 Le Jeu de Ping Élèves : Léa ANSEL, Pauline BOCOGNANO, Pierre DELVOYE, Julien FONTANA, Mortimer HOTTON, Robin LEGRAS Enseignants

Plus en détail

Algorithmes de tri. 1 Introduction

Algorithmes de tri. 1 Introduction Algorithmes de tri L objectif de ce document est de présenter plusieurs algorithmes classiques de tri. On commence par présenter chaque méthode de manière intuitive, puis on détaille un exemple d exécution

Plus en détail

1 Introduction. 2 Algorithmes sans élagage. 2.1 Minimax. Chapitre 3 : Jeux (Février 2007, Pierre Gançarski)

1 Introduction. 2 Algorithmes sans élagage. 2.1 Minimax. Chapitre 3 : Jeux (Février 2007, Pierre Gançarski) Chapitre 3 : Jeux (Février 2007, Pierre Gançarski) 1 Introduction Quatre caractérisques pour les jeux étudiés : jeux à deux : deux adversaires eectuent alternativement des coups, chaque défaillance de

Plus en détail

COURS DE DENOMBREMENT

COURS DE DENOMBREMENT COURS DE DENOMBREMENT 1/ Définition des objets : introduction Guesmi.B Dénombrer, c est compter des objets. Ces objets sont créés à partir d un ensemble E, formé d éléments. A partir des éléments de cet

Plus en détail

I Arbres binaires. Lycée Faidherbe 2014-2015. 1 Rappels 2 1.1 Définition... 2 1.2 Dénombrements... 2 1.3 Parcours... 3

I Arbres binaires. Lycée Faidherbe 2014-2015. 1 Rappels 2 1.1 Définition... 2 1.2 Dénombrements... 2 1.3 Parcours... 3 I Arbres binaires 2014-2015 Table des matières 1 Rappels 2 1.1 Définition................................................ 2 1.2 Dénombrements............................................ 2 1.3 Parcours.................................................

Plus en détail

CODES CORRECTEURS D'ERREURS

CODES CORRECTEURS D'ERREURS CODES CORRECTEURS D'ERREURS Marc URO TABLE DES MATIÈRES DÉTECTION ET CORRECTION D'ERREURS... 6 CAS D'UN CANAL SANS SYMBOLE D'EFFACEMENT...6 CAS D'UN CANAL AVEC SYMBOLE D'EFFACEMENT...7 GÉNÉRATION ET DÉTECTION

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

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

Le corps R des nombres réels

Le corps R des nombres réels Le corps R des nombres réels. Construction de R à l aide des suites de Cauchy de nombres rationnels On explique brièvement dans ce paragraphe comment construire le corps R des nombres réels à partir du

Plus en détail

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme? Exercices Alternatifs Quelqu un aurait-il vu passer un polynôme? c 2004 Frédéric Le Roux, François Béguin (copyleft LDL : Licence pour Documents Libres). Sources et figures: polynome-lagrange/. Version

Plus en détail

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme? Exercices Alternatifs Quelqu un aurait-il vu passer un polynôme? c 2004 Frédéric Le Roux, François Béguin (copyleft LDL : Licence pour Documents Libres). Sources et figures: polynome-lagrange/. Version

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

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

Chapitre 3 : Introduction aux probabilités

Chapitre 3 : Introduction aux probabilités IUT de Sceaux Département TC1 Mathématiques Chapitre 3 : Introduction aux probabilités 1. Évènements Les événements élémentaires sont les issues possibles d'une expérience aléatoire. Un événement est un

Plus en détail

Leçon 6. Savoir compter

Leçon 6. Savoir compter Leçon 6. Savoir compter Cette leçon est une introduction aux questions de dénombrements. Il s agit, d une part, de compter certains objets mathématiques (éléments, parties, applications,...) et, d autre

Plus en détail

Activité 1 : échantillonnage

Activité 1 : échantillonnage Activité échantillonnage, intervalle de fluctuation, prise de décision (à partir d un même thème) Les trois activités qui suivent s inspirent du document «ressources pour la classe de première générale

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

Programmation C++ (débutant)/les tableaux statiques

Programmation C++ (débutant)/les tableaux statiques Programmation C++ (débutant)/les tableaux statiques 1 Programmation C++ (débutant)/les tableaux statiques Le cours du chapitre 6 : les tableaux statiques Les tableaux Une variable entière de type int ne

Plus en détail

A.-M. Cubat PMB - Import de notices à partir d un tableur Page 1 Source : http://amcubat.be/docpmb/import-de-notices

A.-M. Cubat PMB - Import de notices à partir d un tableur Page 1 Source : http://amcubat.be/docpmb/import-de-notices A.-M. Cubat PMB - Import de notices à partir d un tableur Page 1 Comme beaucoup de personnes, j'ai voulu récupérer les notices de mon ancien logiciel de gestion de bibliothèque. Vu qu'il ne prévoyait pas

Plus en détail

Dénombrement Probabilité uniforme sur un ensemble fini

Dénombrement Probabilité uniforme sur un ensemble fini UPV - MathsL1S1 1 II Dénombrement Dénombrement Probabilité uniforme sur un ensemble fini I Dénombrement 1) Factorielles : Pour n entier 1, il y a : n! = n.(n - 1). (n - 2) 2.1 façons d aligner n objets

Plus en détail

Support du cours de Probabilités IUT d Orléans, Département d informatique

Support du cours de Probabilités IUT d Orléans, Département d informatique Support du cours de Probabilités IUT d Orléans, Département d informatique Pierre Andreoletti IUT d Orléans Laboratoire MAPMO (Bât. de Mathématiques UFR Sciences) - Bureau 126 email: pierre.andreoletti@univ-orleans.fr

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

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

Définitions. Numéro à préciser. (Durée : )

Définitions. Numéro à préciser. (Durée : ) Numéro à préciser (Durée : ) On étudie dans ce problème l ordre lexicographique pour les mots sur un alphabet fini et plusieurs constructions des cycles de De Bruijn. Les trois parties sont largement indépendantes.

Plus en détail

Optimisation en nombres entiers

Optimisation en nombres entiers Optimisation en nombres entiers p. 1/83 Optimisation en nombres entiers Michel Bierlaire michel.bierlaire@epfl.ch EPFL - Laboratoire Transport et Mobilité - ENAC Optimisation en nombres entiers p. 2/83

Plus en détail

Evaluer des élèves de Seconde par compétences en Sciences Physiques

Evaluer des élèves de Seconde par compétences en Sciences Physiques Evaluer des élèves de Seconde par compétences en Sciences Physiques Introduction Depuis quelques années, le terme de «compétences» s installe peu à peu dans notre quotidien ; aussi bien dans la vie de

Plus en détail

TOPOLOGIE DE LA DROITE REELLE

TOPOLOGIE DE LA DROITE REELLE TOPOLOGIE DE LA DROITE REELLE P. Pansu 16 mai 2005 1 Qu est-ce que la topologie? C est l étude des propriétés des objets qui sont conservées par déformation continue. Belle phrase, mais qui nécessite d

Plus en détail

Chapitre 1: Introduction au calcul des probabilités, cas d un univers fini.

Chapitre 1: Introduction au calcul des probabilités, cas d un univers fini. Chapitre 1: Introduction au calcul des probabilités, cas d un univers fini. 1 Introduction Des actions comme lancer un dé, tirer une carte d un jeu, observer la durée de vie d une ampoule électrique, etc...sont

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

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

Ebauche Rapport finale

Ebauche Rapport finale Ebauche Rapport finale Sommaire : 1 - Introduction au C.D.N. 2 - Définition de la problématique 3 - Etat de l'art : Présentatio de 3 Topologies streaming p2p 1) INTRODUCTION au C.D.N. La croissance rapide

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

Routage compact. 1 Préambule. 2 Détail du sujet. Sujet proposé par Gilles Schaeffer Gilles.Schaeffer@lix.polytechnique.fr. 2.1 Un modèle de routage

Routage compact. 1 Préambule. 2 Détail du sujet. Sujet proposé par Gilles Schaeffer Gilles.Schaeffer@lix.polytechnique.fr. 2.1 Un modèle de routage Routage compact Sujet proposé par Gilles Schaeffer Gilles.Schaeffer@lix.polytechnique.fr URL de suivi : http://www.enseignement.polytechnique.fr/profs/informatique/ Gilles.Schaeffer/INF431/projetX06.html

Plus en détail

Probabilités Loi binomiale Exercices corrigés

Probabilités Loi binomiale Exercices corrigés Probabilités Loi binomiale Exercices corrigés Sont abordés dans cette fiche : (cliquez sur l exercice pour un accès direct) Exercice 1 : épreuve de Bernoulli Exercice 2 : loi de Bernoulli de paramètre

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

CONCOURS GÉNÉRAL DES LYCÉES SESSION DE 2009 COMPOSITION DE MATHÉMATIQUES. (Classe terminale S)

CONCOURS GÉNÉRAL DES LYCÉES SESSION DE 2009 COMPOSITION DE MATHÉMATIQUES. (Classe terminale S) MA 09 CONCOURS GÉNÉRAL DES LYCÉES SESSION DE 009 COMPOSITION DE MATHÉMATIQUES (Classe terminale S) DURÉE : 5 heures La calculatrice de poche est autorisée, conformément à la réglementation. La clarté et

Plus en détail

5 ème Chapitre 4 Triangles

5 ème Chapitre 4 Triangles 5 ème Chapitre 4 Triangles 1) Médiatrices Définition : la médiatrice d'un segment est l'ensemble des points équidistants des extrémités du segment (cours de 6 ème ). Si M appartient à la médiatrice du

Plus en détail

1. Création d'un état... 2. 2. Création d'un état Instantané Colonnes... 3. 3. Création d'un état Instantané Tableau... 4

1. Création d'un état... 2. 2. Création d'un état Instantané Colonnes... 3. 3. Création d'un état Instantané Tableau... 4 1. Création d'un état... 2 2. Création d'un état Instantané Colonnes... 3 3. Création d'un état Instantané Tableau... 4 4. Création d'un état avec plusieurs tables... 9 5. Modifier la structure d'un état...11

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

Par combien de zéros se termine N!?

Par combien de zéros se termine N!? La recherche à l'école page 79 Par combien de zéros se termine N!? par d es co llèg es An dré Do ucet de Nanterre et Victor Hugo de Noisy le Grand en seignants : Danielle Buteau, Martine Brunstein, Marie-Christine

Plus en détail

Problèmes à propos des nombres entiers naturels

Problèmes à propos des nombres entiers naturels Problèmes à propos des nombres entiers naturels 1. On dispose d une grande feuille de papier, on la découpe en 4 morceaux, puis on déchire certains morceaux (au choix) en 4 et ainsi de suite. Peut-on obtenir

Plus en détail

UNIVERSITE D ORLEANS SL01MA11, Groupes 1 et 5 Département de Mathématiques 2009-2010. N. El Hage Hassan S EXPRIMER EN MATHÉMATIQUES

UNIVERSITE D ORLEANS SL01MA11, Groupes 1 et 5 Département de Mathématiques 2009-2010. N. El Hage Hassan S EXPRIMER EN MATHÉMATIQUES UNIVERSITE D ORLEANS SL01MA11, Groupes 1 et 5 Département de Mathématiques 2009-2010 N. El Hage Hassan S EXPRIMER EN MATHÉMATIQUES 1 Les énoncés La plupart des phrases que l on rencontre dans un livre

Plus en détail

Suites numériques 3. 1 Convergence et limite d une suite

Suites numériques 3. 1 Convergence et limite d une suite Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n

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

MÉRÉ Aurélien FIIFO1. Pathfinder

MÉRÉ Aurélien FIIFO1. Pathfinder MÉRÉ Aurélien FIIFO1 AMC Pathfinder 1 Sommaire Préambule... 3 Modélisation de l espace... 4 Modélisation des cases δ, α... 4 Interface en mode texte... 5 Modélisation du robot... 8 1 ) Le type Robot...

Plus en détail