Vous devez vous rappeler que les sommets diagonaux les uns des autres peuvent être colorés de la même manière! Votre formule n'en tient pas compte. Nous pouvons trouver le nombre chromatique d'un graphe via le principe d'inclusion-exclusion. Il s'agit d'une technique de comptage très générale qui nous permet de compter des structures complexes, si nous pouvons prouver certaines limites sur certains sous-ensembles.
L'idée principale est que nous comptons toutes les façons possibles pour une propriété. Ensuite, nous supprimons certains «mauvais» éléments. Cependant, nous avons peut-être trop supprimé et nous devons rajouter de "bons" éléments. Cela va et vient jusqu'à ce que nous ayons parcouru tous les sous-ensembles.
Le principe d'inclusion-exclusion nous dit que, étant donné un ensemble de base , le nombre d'éléments de qui ne se trouvent dans aucun des sous-ensembles est
X A i ∑ I ⊆ [ n ] ( - 1 ) | Je | | A I | , où |X|=nXAi
∑I⊆[n](−1)|I||AI|, where I is the set of indices in X and AI=⋂i∈IAi
Soit le nombre de couleurs, et soit l'ensemble de toutes les colorations possibles (ie, ), et soitλX|X|=λ4
Ae={coloring:e=(i,j)∈E,color(i)=color(j)}
Avant d'obtenir notre polynôme final, nous devons compter la taille de nos ensembles et la taille de tous les sous-ensembles qui se croisent.Ae
Observez que . Cela est dû au fait que nous colorions simplement mais que nous choisissons toujours les mêmes couleurs pour les sommets voisins. À l'avenir, nous avons,|A12|=|A23|=|A34|=|A41|=λ3G
|A12∩A23|=|A23∩A34|=|A34∩A41|=|A41∩A12|=|A12∩A34|=|A41∩A23|=λ2
Je ne vais pas lister chaque 3 sets, mais ils ont tous le même nombre. . Et enfin, . Maintenant, collectons nos conditions et additionnons.| A 12 ∩ A 23 ∩ A 34 ∩ A 41 | = λ|Ae∩Ae′∩Ae′′|=λ|A12∩A23∩A34∩A41|=λ
λ4−4λ3+6λ2−4λ+λ=λ4−4λ3+6λ2−3λ
Maintenant, compter avec inclusion-exclusion pour ce problème n'était pas si mal parce que nous avions un simple cycle de 4. Si le graphique avait plus de structure, il deviendrait rapidement ennuyeux de déterminer chaque taille d'intersection pour toutes les intersections possibles.