(2023) Coloriages... et maths

Exposé sur le problème de Hadwiger-Nelson pour le séminaire de diffusion de la Fédération Normandie-Mathématiques (Université du Havre) donné le 6 mars 2023.

Transcript

1. Coloriages... et maths Le problème de Hadwiger-Nelson Roger Mansuy Université Le Havre Normandie, le 6 mars 2023
3. Quelques contraintes: • colorier tous les points du plan, • deux points quelconques à distance 1 ne sont jamais de la même couleur, • on utilise le moins de couleurs possibles.
4. Quelques contraintes: • colorier tous les points du plan, • deux points quelconques à distance 1 ne sont jamais de la même couleur, • on utilise le moins de couleurs possibles. Le nombre minimal de couleur est appelé nombre chromatique du plan et noté χ.
5. Quelques contraintes: • colorier tous les points du plan, • deux points quelconques à distance 1 ne sont jamais de la même couleur, • on utilise le moins de couleurs possibles. Le nombre minimal de couleur est appelé nombre chromatique du plan et noté χ. Le problème de Hadwiger-Nelson consiste à calculer χ.
6. Ce que l’on peut... Pour montrer que χ ≤ N, il suffit d’exhiber un coloriage du plan (qui satisfait les contraintes) avec N couleurs.
7. Avec un pavage ”carré”
8. Avec un pavage ”carré” < 1 ▶ Chaque carré est de diagonale strictement inférieure à 1.
9. Avec un pavage ”carré” 1 ▶ Chaque carré est de diagonale strictement inférieure à 1. ▶ Des carrés de même couleur sont à distance strictement supérieure à 1.
10. Avec un pavage ”carré” ▶ Chaque carré est de diagonale strictement inférieure à 1. ▶ Des carrés de même couleur sont à distance strictement supérieure à 1.
11. Avec un pavage ”carré” ▶ Chaque carré est de diagonale strictement inférieure à 1. ▶ Des carrés de même couleur sont à distance strictement supérieure à 1.
12. Avec un pavage ”carré” ▶ Chaque carré est de diagonale strictement inférieure à 1. ▶ Des carrés de même couleur sont à distance strictement supérieure à 1.
13. Théorème On peut colorier le plan avec 9 couleurs (en respectant les contraintes). Autrement dit, χ ≤ 9.
14. Avec un pavage ”hexagonal”
15. Avec un pavage ”hexagonal” < 1
16. Avec un pavage ”hexagonal” 1
17. Avec un pavage ”hexagonal”
18. Avec un pavage ”hexagonal”
19. Théorème On peut colorier le plan avec 7 couleurs (en respectant les contraintes). Autrement dit, χ ≤ 7.
20. Avec un autre pavage ”carré” 1 Avec la convention suivante pour les côtés et sommets:
21. Avec un autre pavage ”carré” 1 Avec la convention suivante pour les côtés et sommets:
22. Avec un autre pavage ”carré”
23. Avec un autre pavage ”carré”
24. On retrouve la même majoration. Théorème On peut colorier le plan avec 7 couleurs (en respectant les contraintes). Autrement dit, χ ≤ 7.
25. Ce que l’on ne peut pas... Pour montrer que χ > N, il suffit d’exhiber un ensemble de points que l’on ne peut pas colorier (en respectant les contraintes) avec seulement N couleurs.
26. Théorème Une seule couleur ne suffit pas: χ > 1.
27. Théorème Une seule couleur ne suffit pas: χ > 1. Il suffit de regarder deux points à distance 1: 1
28. Théorème Une seule couleur ne suffit pas: χ > 1. Il suffit de regarder deux points à distance 1:
29. Théorème Deux couleurs ne suffisent pas. Autrement dit, χ > 2.
30. Théorème Deux couleurs ne suffisent pas. Autrement dit, χ > 2. Il suffit de regarder trois points deux à deux à distance 1: 1
31. Théorème Deux couleurs ne suffisent pas. Autrement dit, χ > 2. Il suffit de regarder trois points deux à deux à distance 1:
32. Théorème Trois couleurs ne suffisent pas. Autrement dit, χ > 3.
33. Théorème Trois couleurs ne suffisent pas. Autrement dit, χ > 3. On ne peut pas utiliser le même argument puisqu’il n’existe pas quatre points du plan deux à deux à distance 1.
34. Théorème Trois couleurs ne suffisent pas. Autrement dit, χ > 3. On ne peut pas utiliser le même argument puisqu’il n’existe pas quatre points du plan deux à deux à distance 1.
35. Théorème Trois couleurs ne suffisent pas. Autrement dit, χ > 3. On ne peut pas utiliser le même argument puisqu’il n’existe pas quatre points du plan deux à deux à distance 1. ?
36. Théorème Trois couleurs ne suffisent pas. Autrement dit, χ > 3. On ne peut pas utiliser le même argument puisqu’il n’existe pas quatre points du plan deux à deux à distance 1.
37. Essayons de ”coupler” deux telles structures.
38. Essayons de ”coupler” deux telles structures.
39. Essayons de ”coupler” deux telles structures.
40. Essayons de ”coupler” deux telles structures.
41. Essayons de ”coupler” deux telles structures.
42. Essayons de ”coupler” deux telles structures.
43. Essayons de ”coupler” deux telles structures. La configuration obtenue lorsque les deux points de droite sont à distance 1 est appelée graphe de Moser.
44. Une autre preuve est fournie en essayant de colorier le graphe de Gollomb:
45. Une autre preuve est fournie en essayant de colorier le graphe de Gollomb:
46. Une autre preuve est fournie en essayant de colorier le graphe de Gollomb:
47. Une autre preuve est fournie en essayant de colorier le graphe de Gollomb: Les trois sommets restants doivent être coloriés de trois couleurs différentes. Or, ils sont tous les trois voisins d’un sommet bleu: il faut donc une nouvelle couleur!
48. Une autre preuve est fournie en essayant de colorier le graphe de Gollomb: Les trois sommets restants doivent être coloriés de trois couleurs différentes. Or, ils sont tous les trois voisins d’un sommet bleu: il faut donc une nouvelle couleur!
49. Aubrey de Grey • né le 20 avril 1963
50. Aubrey de Grey • né le 20 avril 1963 • diplomé en informatique à Cambridge University en 1985
51. Aubrey de Grey • né le 20 avril 1963 • diplomé en informatique à Cambridge University en 1985 • biogérontologue autodidacte
52. Aubrey de Grey • né le 20 avril 1963 • diplomé en informatique à Cambridge University en 1985 • biogérontologue autodidacte • docteur en biologie par procédure spéciale en 2000
53. Aubrey de Grey • né le 20 avril 1963 • diplomé en informatique à Cambridge University en 1985 • biogérontologue autodidacte • docteur en biologie par procédure spéciale en 2000 • auteur du best-seller Ending Aging en 2008
54. Aubrey de Grey • né le 20 avril 1963 • diplomé en informatique à Cambridge University en 1985 • biogérontologue autodidacte • docteur en biologie par procédure spéciale en 2000 • auteur du best-seller Ending Aging en 2008 • fondateur de Strategies for Engineered Negligible Senescence en 2009
55. En 2018, de Grey publie dans la revue Geombinatorics Quarterly un article dans lequel il propose une configuration de 1581 points du plan dont le coloriage requiert au moins cinq couleurs!
56. En 2018, de Grey publie dans la revue Geombinatorics Quarterly un article dans lequel il propose une configuration de 1581 points du plan dont le coloriage requiert au moins cinq couleurs! Comme pour le graphe de Moser, il cherche à coupler des graphes en reliant des points de sorte à les empêcher d’avoir la même couleur...
57. En 2018, de Grey publie dans la revue Geombinatorics Quarterly un article dans lequel il propose une configuration de 1581 points du plan dont le coloriage requiert au moins cinq couleurs! Comme pour le graphe de Moser, il cherche à coupler des graphes en reliant des points de sorte à les empêcher d’avoir la même couleur... mais la réalisation est plus virtuose.
58. Il commence par étudier les différents coloriages avec quatre couleurs du graphe roue à 7 sommets, W7.
59. Il combine treize roues W7 pour former un graphe, appelé J.
60. Ensuite, le graphe K est composé de deux copies de J tournées l’une par rapport à l’autre d’un angle de 2 arcsin 1 4 autour du centre (K contient donc 26 roues).
61. Le graphe L est composé de deux copies de K tournées autour de A avec l’angle 2 arcsin 1 8 (L contient donc 52 roues). Ici les points B et B′ sont à distance 1, donc de couleurs différentes.
62. Par ailleurs, il construit un graphe M avec 1345 sommets, un très grand nombre de graphes de Moser et surtout un graphe W7 en son ”centre”.
63. Le graphe N est obtenu en copiant le graphe M ”sur” chacun des 52 graphes roues de L (chaque copie de M est centrée sur l’une des occurrences de W7 dans L). Il suffit alors de vérifier la coloriabilité de ce graphe. Théorème Le graphe N ainsi obtenu n’est pas coloriable avec 4 couleurs.
64. Le graphe N admet 20425 sommets. De Grey l’élague en enlevant les sommets qui ne contraignent pas la coloriabilité pour obtenir finalement sur un graphe G à seulement 1581 sommets.
65. Le graphe N admet 20425 sommets. De Grey l’élague en enlevant les sommets qui ne contraignent pas la coloriabilité pour obtenir finalement sur un graphe G à seulement 1581 sommets.
66. Ensuite... Pour l’instant, on ne sait pas davantage que: Théorème χ ∈ {5, 6, 7}.
67. Ensuite... Pour l’instant, on ne sait pas davantage que: Théorème χ ∈ {5, 6, 7}. Mais on comprend davantage les arguments pour χ > 4.
68. Preuve alternative de Geoffrey Exoo et Dan Ismailescu. Supposons disposer d’un coloriage du plan avec quatre couleurs. Ils montrent successivement les résultats suivants. • Il existe deux points de même couleur à distance √ 11 √ 3 .
69. Preuve alternative de Geoffrey Exoo et Dan Ismailescu. Supposons disposer d’un coloriage du plan avec quatre couleurs. Ils montrent successivement les résultats suivants. • Il existe deux points de même couleur à distance √ 11 √ 3 . • Il existe un triangle équilatéral de côté √ 3 3 à sommets de même couleur.
70. Preuve alternative de Geoffrey Exoo et Dan Ismailescu. Supposons disposer d’un coloriage du plan avec quatre couleurs. Ils montrent successivement les résultats suivants. • Il existe deux points de même couleur à distance √ 11 √ 3 . • Il existe un triangle équilatéral de côté √ 3 3 à sommets de même couleur. • Il existe un graphe à arêtes de longueur 1 qui ne peut être colorié correctement.
71. Simplification du graphe de De Grey par Marijn Heule.
72. Simplification du graphe de De Grey par Marijn Heule. ▶ Traduction de la non coloriabilité du graphe en une formule logique non satisfiable.
73. Simplification du graphe de De Grey par Marijn Heule. ▶ Traduction de la non coloriabilité du graphe en une formule logique non satisfiable. ▶ Simplification de la formule logique (en conservant la non satisfiabilité) avec des outils algorithmiques de logique booléenne: • les SAT solvers qui permettent de savoir si une formule est satisfiable, • les proof checkers qui permettent de réduire les formules non satisfiables, et un recours au calcul intensif, High-performance computing (HPC).
74. Le jeu de Sudoku est un exemple de problème qui se ramène à la satisfiabilité d’une formule logique (ou à un coloriage avec les couleurs 1, 2, …, 9 avec contraintes). 2 1 9 4 8 2 3 6 3 6 7 9 3 8 2 8 4 3 7 1 3 9 7 6
75. Le jeu de Sudoku est un exemple de problème qui se ramène à la satisfiabilité d’une formule logique (ou à un coloriage avec les couleurs 1, 2, …, 9 avec contraintes). Illustrons l’idée de Heule. 2 1 9 4 8 2 3 6 3 6 7 9 3 8 2 8 4 3 7 1 3 9 7 6 Grille sans solution
76. Le jeu de Sudoku est un exemple de problème qui se ramène à la satisfiabilité d’une formule logique (ou à un coloriage avec les couleurs 1, 2, …, 9 avec contraintes). Illustrons l’idée de Heule. 2 1 9 4 8 2 3 6 3 6 7 9 3 8 2 8 4 3 7 1 3 9 7 6 Grille sans solution 2 1 9 8 2 3 6 3 6 7 9 3 8 2 8 4 3 7 1 3 9 7 6
77. Le jeu de Sudoku est un exemple de problème qui se ramène à la satisfiabilité d’une formule logique (ou à un coloriage avec les couleurs 1, 2, …, 9 avec contraintes). Illustrons l’idée de Heule. 2 1 9 4 8 2 3 6 3 6 7 9 3 8 2 8 4 3 7 1 3 9 7 6 Grille sans solution 2 1 9 8 2 3 6 3 6 7 9 3 8 2 8 4 3 7 1 3 9 7 6 Grille sans solution moins remplie
78. Et bien d’autres perspectives!