Le théorème de Vizing est un théorème de la théorie des graphes qui stipule que la coloration des arêtes d'un graphe G peut s'effectuer à l'aide de Δ+1 couleurs au maximum, où Δ est le degré maximal du graphe G. Il est dû à Vadim G. Vizing.
Une coloration des arêtes d'un graphe consiste à attribuer à chaque arête une couleur, en évitant que deux arêtes ayant une extrémité commune soient de la même couleur. On note χ′(G) le nombre minimum de couleur nécessaire pour avoir une coloration des arêtes.
On remarque que χ′(G) est forcement supérieure ou égal au degré maximum des nœuds (noté Δ), en effet toutes les arêtes adjacentes à ce nœud doivent avoir des couleurs différentes.
Le théorème stipule qu'étant donné un graphe G, le nombre χ′(G) est égal ou bien à Δ ou bien à Δ+1.
D'après la remarque de la section précédente, ce résultat est surtout important comme borne supérieure sur χ′.
File:Desargues graph 3color edge.svg|Un graphe où χ′(G)=Δ.
File:Class-2-planar-3-regular.svg|Un graphe où χ′(G)=Δ+1.
Montrons la propriété par récurrence sur le nombre d'arêtes du graphe G, noté m.
Il s'agit donc de montrer qu'on peut colorer tout graphe à n sommets déterminés à l'avance avec au plus Δ+1 couleurs, où Δ est le degré maximal du graphe considéré.
m = 0 :
Un graphe à 0 arête peut se colorer avec une couleur.
m = m+1 :
Supposons la propriété vraie pour un entier m quelconque, et montrons qu'elle reste vraie pour l'entier m+1.
Soit G un graphe à m+1 arêtes. Enlevons une arête μ de ce graphe. On obtient un graphe G à m arêtes
dont on peut colorer les arêtes, d'après l'hypothèse de récurrence. Essayons à présent de « remettre » μ dans G''' pour obtenir à nouveau le graphe G.
On appellera A et B1 les sommets initialement reliés par l'arête μ.
Nécessairement, puisque A est de degré inférieur ou égal à Δ, il existe une couleur parmi les Δ+1 disponibles qui n'est pas utilisée pour colorer les arêtes incidentes au sommet A.
De même, il existe une couleur parmi les Δ+1 qui n'est pas utilisée pour la coloration des arêtes de B1.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
We develop a sophisticated framework for solving problems in discrete mathematics through the use of randomness (i.e., coin flipping). This includes constructing mathematical structures with unexpecte
En mathématiques, et plus particulièrement dans la théorie des graphes, le théorème de Brooks donne une relation entre le degré maximal d'un graphe connexe non orienté et son nombre chromatique. Selon ce théorème, dans un graphe où chaque sommet a au plus Δ voisins, les sommets peuvent être colorés avec au plus Δ couleurs, sans que deux sommets adjacents n'aient la même couleur, sauf dans deux cas, les graphes complets et les graphes cycles de longueur impaire, qui ont besoin de Δ + 1 couleurs.
In graph theory, total coloring is a type of graph coloring on the vertices and edges of a graph. When used without any qualification, a total coloring is always assumed to be proper in the sense that no adjacent edges, no adjacent vertices and no edge and either endvertex are assigned the same color. The total chromatic number χ′′(G) of a graph G is the fewest colors needed in any total coloring of G.
In graph-theoretic mathematics, a cycle double cover is a collection of cycles in an undirected graph that together include each edge of the graph exactly twice. For instance, for any polyhedral graph, the faces of a convex polyhedron that represents the graph provide a double cover of the graph: each edge belongs to exactly two faces. It is an unsolved problem, posed by George Szekeres and Paul Seymour and known as the cycle double cover conjecture, whether every bridgeless graph has a cycle double cover.
Couvre les fondamentaux des chaînes de Markov et de leurs applications dans les algorithmes, en se concentrant sur la coloration correcte et l'algorithme Metropolis.
Natural language processing has experienced significant improvements with the development of Transformer-based models, which employ self-attention mechanism and pre-training strategies. However, these models still present several obstacles. A notable issue ...
The exploration of one-factorizations of complete graphs is the foundation of some classical sports scheduling problems. One has to traverse the landscape of such one-factorizations by moving from one of those to a so-called neighbor one-factorization. Thi ...
A classic result of Erdos, Gyarfas and Pyber states that for every coloring of the edges of K-n with r colors, there is a cover of its vertex set by at most f(r)=O(r2logr) vertex-disjoint monochromatic cycles. In particular, the minimum number of such cove ...