{"id":122,"date":"2009-07-13T15:56:01","date_gmt":"2009-07-13T13:56:01","guid":{"rendered":"http:\/\/wp1.fredptitgars.net\/index.php\/2009\/07\/13\/graph-particulier\/"},"modified":"2009-07-13T15:56:01","modified_gmt":"2009-07-13T13:56:01","slug":"graph-particulier","status":"publish","type":"post","link":"https:\/\/fredptitgars.ovh\/?p=122","title":{"rendered":"Graph Particulier"},"content":{"rendered":"<p><math>\n<strong>Graph Sym\u00e9trique<\/strong>\n&#8211; Si pour toute paire de sommets (x,y) $\\in$ X il existe autant d&rsquo;arcs de la forme (x,y) que de la forme (y,x)<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-113\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph1-3-5e1.png\" alt=\"graph1-3.png\" align=\"center\" width=\"282\" height=\"133\" \/><\/p>\n<p>&#8211; Cas du 1-Graphe G=(X,U), il est sym\u00e9trique ssi :\n (x,y) $\\in$ U  (y,x) $\\in$ U<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-114\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph2-3-6ff.png\" alt=\"graph2-3.png\" align=\"center\" width=\"652\" height=\"171\" srcset=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph2-3-6ff.png 652w, https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph2-3-6ff-300x79.png 300w\" sizes=\"auto, (max-width: 652px) 100vw, 652px\" \/><\/p>\n<p><strong>Graph Anti-Sym\u00e9trique<\/strong>\n&#8211; Si pour toute paire de sommets (x,y) C $\\in$ X il n&rsquo;existe pas autant d&rsquo;arcs de la forme (x,y) que de la forme (y,x) Le graphe G est dit anti-sym\u00e9trique\n&#8211; Cas du 1-graphe G=(X,U) il est anti-sym\u00e9trique ssi :<\/p>\n<p>(x,y) $\\in$ U  $\\Rightarrow $ (y,x) $\\in$ U<\/p>\n<p><strong>Graph complet<\/strong><\/p>\n<p>&#8211; Un graghe G est complet si:\n<br \/>$m_<em>G<\/em>$  (x,y) = $m^<em>+<\/em>_<em>G<\/em>$(x,y)+$m^<em>&#8211;<\/em>_<em>G<\/em>$(x,y) $\\geq$ 1 pour tout x,y $\\in$ X avec x $\\neq$ y\n&#8211; Si G est un 1-graphe il est complet ssi : (x,y) $\\notin$ U $\\Rightarrow$ (y,x) $\\in$ U<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-115\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph3-3-c98.png\" alt=\"graph3-3.png\" align=\"center\" width=\"388\" height=\"247\" srcset=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph3-3-c98.png 388w, https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph3-3-c98-300x191.png 300w\" sizes=\"auto, (max-width: 388px) 100vw, 388px\" \/><\/p>\n<h2>Les arbres :<\/h2>\n<p><strong>DEFINITION:<\/strong>\nGraphe connexe sans cycle\n<br \/>Soit n sommets(n>=2) on obtient un arbre en joignant les n sommets sans former de cycle. Cet arbre a (n-1) ar\u00eates\nPreuve :<\/p>\n<ul>\n<li> vrai si n=2: arbre \u00e0 une ar\u00eate<\/li>\n<li> Supposons cela vrai pour (n = k-1) ar\u00eates:\n<ul>\n<li> arbre obtenu en connectant (k-1) sommets sans jamais former de cycle, (k-2) ar\u00eates<\/li>\n<\/ul>\n<\/li>\n<li> Ajoutons un keme sommet pour rendre le graphe connexe il suffit de relier le nouveau sommet \u00e0 l\u2019un des (k-1) sommets par une ar\u00eate\n<ul>\n<li> (k-2)+1=k-1 ar\u00eates<\/li>\n<li> (k-1)+1=k sommets<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>Un arbre est un graphe connexe sans circuit, donc en un seul morceau et sans \u00ab\u00a0boucle\u00a0\u00bb\n<br \/>THEOREME:\n<br \/>Soit H =(X,U) un graphe d \u2019ordre card(X)=n>=2\n<br \/>Les propri\u00e9t\u00e9 suivantes caract\u00e9risent un arbre :<\/p>\n<ol>\n<li> H est connexe et sans cycle<\/li>\n<li> H est sans cycle et admet (n-1) ar\u00eates<\/li>\n<li> H est connexe et admet (n-1) ar\u00eates<\/li>\n<li> H est sans cycle et en ajoutant une ar\u00eate on cr\u00e9e un cycle et un seul<\/li>\n<li> H est connexe et si on supprime une ar\u00eate qcq, il n \u2019est plus connexe.<\/li>\n<li> Tout couple de sommets est reli\u00e9 par une cha\u00eene et une seule.<\/li>\n<\/ol>\n<h2>Arbre recouvrant minimal<\/h2>\n<p><strong>Algorithme de Kruskal<\/strong><\/p>\n<ol>\n<li> Faire le liste des ar\u00eates par valuation croissante.<\/li>\n<\/ol>\n<ul>\n<li> S \u2019il existe des valeurs identiques ajouter une valeur \u03b5 \u00e0 la premi\u00e8re, 2\u03b5 \u00e0 la suivante. n \u03b5 \u00e0 la $n^<em>eme<\/em>$. \u03b5 doit satisfaire la condition suivante : $n \\epsilon + v_<em>i<\/em> \\leq v_<em>i<\/em> +n$<\/li>\n<\/ul>\n<ol>\n<li> Choisir l\u2019ar\u00eate de valeur minimale, puis successivement, au fur et mesure de la construction de l\u2019arbre, l\u2019ar\u00eate de valeur imm\u00e9diatement sup\u00e9rieure dans la liste mais sans former de cycle avec les ar\u00eates d\u00e9j\u00e0 retenues.<\/li>\n<li> Arr\u00eat lorsque tous les sommets sont connect\u00e9s nombre d\u2019ar\u00eates=n-1<\/li>\n<\/ol>\n<p>La complexit\u00e9 est en O(m log m).<\/p>\n<p>donc plus m grandit, plus les temps de r\u00e9ponse seront \u00e9normes<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-116\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph4-2-314.png\" alt=\"graph4-2.png\" align=\"center\" width=\"403\" height=\"192\" srcset=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph4-2-314.png 403w, https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph4-2-314-300x143.png 300w\" sizes=\"auto, (max-width: 403px) 100vw, 403px\" \/><\/p>\n<table>\n<caption>Liste des ar\u00eates<\/caption>\n<tbody>\n<tr class='row_even'>\n<td> ab=13 <\/td>\n<td>fa=7<\/td>\n<\/tr>\n<tr class='row_odd'>\n<td> be=5 <\/td>\n<td>fc=11<\/td>\n<\/tr>\n<tr class='row_even'>\n<td> bd=4 <\/td>\n<td>ga=5<\/td>\n<\/tr>\n<tr class='row_odd'>\n<td> ea=19<\/td>\n<td> gf=7<\/td>\n<\/tr>\n<tr class='row_even'>\n<td> ec=10 <\/td>\n<td>hf=2<\/td>\n<\/tr>\n<tr class='row_odd'>\n<td> ed=5 <\/td>\n<td>hg=9<\/td>\n<\/tr>\n<tr class='row_even'>\n<td> cd=13 <\/td>\n<td>hc=19<\/td>\n<\/tr>\n<tr class='row_odd'>\n<td> ca=23<\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-117\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph5-2-973.png\" alt=\"graph5-2.png\" align=\"center\" width=\"405\" height=\"211\" srcset=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph5-2-973.png 405w, https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph5-2-973-300x156.png 300w\" sizes=\"auto, (max-width: 405px) 100vw, 405px\" \/><\/p>\n<table>\n<caption>Arbre couvrant mini<\/caption>\n<tbody>\n<tr class='row_even'>\n<td><strong>hf=2<\/strong> <\/td>\n<td><strong>ec=10<\/strong><\/td>\n<\/tr>\n<tr class='row_odd'>\n<td><strong>bd=4<\/strong> <\/td>\n<td><strong>fc=11<\/strong><\/td>\n<\/tr>\n<tr class='row_even'>\n<td><strong>be=5<\/strong> <\/td>\n<td>ab=13<\/td>\n<\/tr>\n<tr class='row_odd'>\n<td>ed=5,(1) <\/td>\n<td>cd=13,(1)<\/td>\n<\/tr>\n<tr class='row_even'>\n<td><strong>ga=5<\/strong>,(2)<\/td>\n<td><\/td>\n<\/tr>\n<tr class='row_odd'>\n<td><strong>gf=7<\/strong><\/td>\n<td> hc=19<\/td>\n<\/tr>\n<tr class='row_even'>\n<td>fa=7,(1) <\/td>\n<td>ea=19,(1)<\/td>\n<\/tr>\n<tr class='row_odd'>\n<td>hg=9<\/td>\n<td> ca=23<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><strong>Algorithme de Sollin<\/strong><\/p>\n<p>je prends le premier A \n<br \/>Quel est l&rsquo;arr\u00eate qui va vers A qui coute le moins cher ?\n<br \/>F=3\n<br \/>mon paquet devient $\\<em>$A, F$\\<\/em>$\n<br \/>Le point suivant c\u2019est B, le moins cher est $\\<em>$B,E$\\<\/em>$ un $2^<em>eme<\/em>$ paquet\n<br \/>Le point suivant est C, le moins cher est $\\<em>$C,B$\\<\/em>$, le $2^<em>eme<\/em>$ paquet devient $\\<em>$C,B,E$\\<\/em>$\n<br \/>Le point suivant D, le moins cher est $\\<em>$D,G$\\<\/em>$, le $3^<em>eme<\/em>$ paquet $\\<em>$D,G$\\<\/em>$\n<br \/>On recommence avec les 3 paquets $\\<em>$A,F$\\<\/em>$, $\\<em>$C,B,E$\\<\/em>$ et $\\<em>$D,G$\\<\/em>$<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-118\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph6-2-a6d.png\" alt=\"graph6-2.png\" align=\"center\" width=\"310\" height=\"210\" srcset=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph6-2-a6d.png 310w, https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph6-2-a6d-300x203.png 300w\" sizes=\"auto, (max-width: 310px) 100vw, 310px\" \/><\/p>\n<p>$c_<em>1<\/em>$=$\\<em>$A$\\<\/em>$;$c_<em>2<\/em>$=$\\<em>$B$\\<\/em>$; $c_<em>3<\/em>$=$\\<em>$C$\\<\/em>$; $c_<em>4<\/em>$=$\\<em>$D$\\<\/em>$; $c_<em>5<\/em>$=$\\<em>$E$\\<\/em>$; $c_<em>6<\/em>$=$\\<em>$F$\\<\/em>$; $c_<em>7<\/em>$=$\\<em>$G$\\<\/em>$;<\/p>\n<p>$c_<em>1<\/em>$ non marqu\u00e9, $v_<em>1j<\/em>$=min($c_<em>1<\/em>$,j)=[A,F]marquer $c_<em>1<\/em>$ et $c_<em>6<\/em>$\n<br \/>$c_<em>2<\/em>$ non marqu\u00e9, $v_<em>2j<\/em>$=min($c_<em>2<\/em>$,j)=[B,E]marquer $c_<em>2<\/em>$ et $c_<em>5<\/em>$\n<br \/>$c_<em>3<\/em>$ non marqu\u00e9, $v_<em>3j<\/em>$=min($c_<em>3<\/em>$,j)=[C,B]marquer $c_<em>3<\/em>$et $c_<em>5<\/em>$\n<br \/>$c_<em>4<\/em>$ non marqu\u00e9, $v_<em>4j<\/em>$=min($c_<em>4<\/em>$,j)=[D,G]marquer $c_<em>4<\/em>$et $c_<em>7<\/em>$\n<br \/>Tous les $c_<em>i<\/em>$ sont marqu\u00e9s,\n<br \/>$U_<em>1<\/em>$= <em>[A,F], [B,E], [C,B], [D,G]<\/em> &#8212;> \u00e9tape 2<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-119\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph7-2-00a.png\" alt=\"graph7-2.png\" align=\"center\" width=\"331\" height=\"281\" srcset=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph7-2-00a.png 331w, https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph7-2-00a-300x255.png 300w\" sizes=\"auto, (max-width: 331px) 100vw, 331px\" \/><\/p>\n<p>Sous-arbres :\n<br \/>$c_<em>1<\/em>$=$\\<em>$A,F$\\<\/em>$, $c_<em>2<\/em>$=$\\<em>$B,C,E$\\<\/em>$, $c_<em>3<\/em>$=$\\<em>$G,D$\\<\/em>$,\n<br \/>$c_<em>1<\/em>$ non marqu\u00e9, $v_<em>1,j<\/em>$ =min ($c_<em>3<\/em>$,j)=[B,F]marquer $c_<em>1<\/em>$ et $c_<em>2<\/em>$\n<br \/>$c_<em>3<\/em>$ non marqu\u00e9, $v_<em>1,j<\/em>$ =min ($c_<em>3<\/em>$,j)=[G,F]marquer $c_<em>3<\/em>$ et $c_<em>1<\/em>$<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-120\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph8-2-f6e.png\" alt=\"graph8-2.png\" align=\"center\" width=\"336\" height=\"267\" srcset=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph8-2-f6e.png 336w, https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph8-2-f6e-300x238.png 300w\" sizes=\"auto, (max-width: 336px) 100vw, 336px\" \/><\/p>\n<p><strong>Sous-arbres :<\/strong>\n<br \/>$c_<em>1<\/em>$=$\\<em>$A,F$\\<\/em>$, $c_<em>2<\/em>$=$\\<em>$B,C,E$\\<\/em>$, $c_<em>3<\/em>$=$\\<em>$G,D$\\<\/em>$,\n<br \/>$c_<em>1<\/em>$ non marqu\u00e9, $v_<em>1,j<\/em>$ =min ($c_<em>1<\/em>$,j)=[B,F]marquer $c_<em>1<\/em>$ et $c_<em>2<\/em>$\n<br \/>$c_<em>3<\/em>$ non marqu\u00e9, $v_<em>1,j<\/em>$ =min ($c_<em>3<\/em>$,j)=[G,F]marquer $c_<em>3<\/em>$ et $c_<em>1<\/em>$\n<br \/>Tous les ci sont marqu\u00e9s\n<br \/>$U_<em>2<\/em>$=$\\<em>$U1, [B,F] ,[G,F]$\\<\/em>$<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" aligncenter size-full wp-image-121\" src=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph9-2-509.png\" alt=\"graph9-2.png\" align=\"center\" width=\"336\" height=\"235\" srcset=\"https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph9-2-509.png 336w, https:\/\/fredptitgars.ovh\/wp-content\/uploads\/2009\/07\/graph9-2-509-300x210.png 300w\" sizes=\"auto, (max-width: 336px) 100vw, 336px\" \/><\/p>\n<p>On obtient l \u2019arbre recouvrant A qui est minimal $\\lambda$(A)=16<\/p>\n<p><\/math><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Graph Sym\u00e9trique &#8211; Si pour toute paire de sommets (x,y) $\\in$ X il existe autant d&rsquo;arcs de la forme (x,y) que de la forme (y,x) &#8211; Cas du 1-Graphe G=(X,U), il est sym\u00e9trique ssi : (x,y) $\\in$ U (y,x) $\\in$ U Graph Anti-Sym\u00e9trique &#8211; Si pour toute paire de sommets (x,y) C $\\in$ X il [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":113,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12],"tags":[],"class_list":["post-122","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-rcp101-recherche-operationnelle-et-aide-a-la-decision"],"blocksy_meta":[],"_links":{"self":[{"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/posts\/122","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=122"}],"version-history":[{"count":0,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/posts\/122\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=\/wp\/v2\/media\/113"}],"wp:attachment":[{"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=122"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=122"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/fredptitgars.ovh\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=122"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}