Deux (deux ?) minutes pour... le théorème des 4 couleurs 

rip mes heures de cours de français a essayer de trouver un contre exemple :(

Coq !

Est-il possible, la prochaine fois que tu fais une vidéo en utilisant des notions de couleurs d'utiliser des verts et jaunes un peu plus marqués ? :D Je connaissait déjà le théorème mais mon daltonisme m'as fait mettre pause à plusieurs moment parce que je bloquais sur les couleurs. (en gros, le jaune et le vert sont identiques pour moi, c'est comme si tu me démontrait que 1+1 = 2 mais qu'à la place du 2 tu utilisais un 3 (mais qui aurait toujours le sens du 2), tu as beau le savoir à la fin tu reste troublé parce que tu viens de voir :)

Je ne comprends pas le passage de la réduction du losange de birkoff, en particulier la phrase : "En remplaçant cette configuration par celle-ci, on obtiendra une carte plus petite". En quoi substituer une configuration par une autre va répondre à la première ? comment ça "une carte plus petite" ? c'est en terme de nombre de région ? sinon bonne vidéo.

J'ai vraiment mieux compris ce problème. Bravo ;) Mais du coup je me demande si il existe une procédure (un algorithme) qui, si on lui donne une carte, trouve le bon coloriage avec 4 couleurs plutôt que d'y allez à tâtons.

alfred kempe, ce n'est pas "alfred campe", c'est "alfred kem'pé" (je ne sais pas écrire en phonétique.... par contre, vidéo bien sympathique, bravo!!!)

C'est utile si en cours d'histoire géo un élève n'a que 4 crayons de couleur sous la main. Ou son stylo 4 couleurs pour hachurer sa carte.

Est-ce que le théorème est vrai sur un globe, un tore ou sur un ruban de mobiüs ?

Euler est fort hein j'ettend toujour parler de lui dans tes videos

Et quand t'es daltonien et que tu vois pas la différence entre le vert et le jaune, tu comprend rien.. Rip moi

C'est d'ailleurs mon professeur d'université en informatique qui a été l'un des développeurs du logiciel COQ, et j'ai appris à l'utiliser dans mes études :)

10:56 J'imagine la réaction du type qui a trouvé l'erreur... Le parfait opposé du développeur qui trouve le point virgule manquant !

Merci pour cette vidéo ! J'aime beaucoup le fait que vous donniez les grandes lignes de la démonstration sans pour autant rentrer dans les détails, ça nous permet de mieux apprécier le génie des mathématiciens qui ont travaillé sur le sujet ;-)

Pendant ce temps , je continue de dépasser les lignes quand je coloris

Super vidéo ! Mais je trouve que le jaune et le vert étaient trop proche. Mais ça restait discernable !

Science Etonnante avait déjà parlé de ce sujet. Mais je dois avoué que ta video est plus claire! ;)

À la vidéo s'est lancé automatiquement. Je me suis dit oula ça va être chiant. J'ai heureusement attendu un petit moment et ho mon Dieu qu'est-ce que c'était passionnant. Merci beaucoup pour cette super vidéo !!! :D

Ca va trop vite le cerveau a pas le temps de refroidir :(

bah super j'ai mis 3 minutes à me rendre compte que je faisais pas la différence entre vert et jaune :)

Ah c'est dommage, je l'avais prouvé mais j'ai perdu le papier. Kappa

je sais pas comment je suis arriver sur cette vidéo mais c'est super intéressante. merci de cette info

Je sais que j'arrive un peu tard, mais est-ce que le champs ouvert par cette démonstration n'est pas l'automatisation de certaines démonstration ? Ainsi les outils pour vérifier un programme ont été développés et prouvés. Non ?

Le "C'est vraiment trop demander ?" n'était pas nécessaire xD, si le nombre de configuration minimale est de 633 vas y prouve le le théorème xD mais chouette vidéo.

J'ai essayer pour 5 couleurs qu'il me faut un féralguant

Jaune vert Indiscernable, pénible mais la vidéo est très bien expliqué continu c'est du génie ce que tu fais !

2:30 à droite du Colorado peut on conciderer que la liaison entre ces deux régions bleues est un quadripoint?

Incroyable vidéo ! Quelle qualité et quel sens du détail ! Merci El Jj :)

Trop triste je suis daltonien et les couleurs jaune et vert sont identique pour moi..

super vidéo merci. Juste un mini bemol sur la couleur verte un peu trop proche du jaune je trouve, ce qui rends la lecture plus difficile.

Mais justement, le fait que la démonstration soit décevante ne pousserait-il pas des mathématiciens à chercher une démonstration plus élégante et/ou plus ouverte, et augmentant par la même, les chances de faire d'autres découvertes, et de poser d'autres questions ? Comme dans certains jeux vidéos, en cherchant à ouvrir une porte verrouillée, on passe par un chemin complètement différents, on ouvre d'autres portes, on passe par d'autres pièces et on arrive finalement derrière celle qui nous posait problème, tout en ayant découvert un bâtiment entier.

Bonne vidéo même si (format oblige ? ) cela va un peu trop vite. Tu t'es un peu emmêlé les pinceaux (de couleurs, oh, oh) en mélangeant les termes 4-colorable et 4-coloriable.

Je veux pas dire, mais sur la carte à 2:29, les états en bleu au milieu on une frontière commune et partagent la même couleur ^^

Trop chouette, j'ai vu tout ça l'année dernière lors de mon M1, ça fait très plaisir de retrouver ces démonstrations avec une explication claire et visuelle. Bravo ;)

génial comme toujours ! Et où peut-on trouver les 633 configurations ? merci d'avance

J’ai trouvé un contre exemple (fait un carré, tu le coupe en 4 carré identique. Maintenant ajoute un grans carré autour et bam, le carré est incoloriable) 😅

Tellement efficace l’intro, tu n’as rien à envier à Mr beast

Bravi pour cette vulgarisation très pédagogue ! Je crois que c'est la première fois que j'arrive à comprendre parfaitement un théorème après 3 années d'études au fait

Ça va à fond, faut s'accrocher mais c'est la vidéo la plus complète & compréhensible que j'ai pu voir à ce jour sur ce sujet passionnant. Elle est carrément meilleure que celle de Science Etonnante

Pourquoi la bretagne mdrrrr

Ralala, les démonstrations mathématiques, c'était mieux avant !

5:00 - « Si toutes les cartes à N régions… » - le commentaire audio fait une erreur de logique, puisqu’il faudrait dire « Si toute carte à N régions… » au SINGULIER.

C'est bien beau, mais concrètement, ça sert à quoi?

Clairement moi j'ai juste vu des blocks de tetris colorés ._.

Le choi des couleurs est vraiment bien ! La première récurrence m'a beaucoup plu ! Mais la 2eme est carrément bluffante ! (inversion des couleurs) En fait, TOUTES les explications exposées sont top ! A revoir un peu plus tard, j'ai un peu décroché sur la fin, mais c'est beau !

juste comme ça, je réve ou son vert et son jaune sur ses cartes sont identique ? :s

La vraie prouesse dans la démonstration est d'avoir prouvé qu'il n'y avait qu'un nombre fini de configurations à tester par rapport à l'infinité des graphes planaires.

il me semble qu'il existe une demonstration par la theorie des graphes. Voir le livre "Introduction to graph theory" par Wilson,Robin J. pages 88 - 92.

Le théorème des 4 couleurs, c’est pas un truc du genre: parmi une classe de 30 personnes qui ont chacun un 4 couleur, en 1h, 26 seront volés

C'est marrant parce que j'avais trouvé le truc de la composante de Kamp quand j'étais poti, heureux de voir que c'était pété.

Bon. Le drapeau des douzes régions française, on en parle? Un message politique ?

0:10, qqun reconnaît la forme en haut à gauche? Je reconnais les autres, mais pas celle-là.

Superbe vidéo :) Dommage, tu ne nous dis pas pourquoi ça ne marche pas sur un tore !

Très bonne vidéo, comme d'habitude. Continue comme ça!

Génial ! Cette chaîne ne perd pas en qualité, je suis toujours content de voir une nouvelle vidéo d'El Jj. Je me demande simplement quel a été l'accueil de la communauté mathématique à l'époque. Est-ce qu'une démonstration informatique comme celle-là a été critiquée à cause de l'automatisation, ou à cause de ce qui est expliqué à la fin (elle n'ouvre pas la voie vers d'autres problèmes/domaines mathématiques) ? Il me semble qu'aujourd'hui les preuves assistées par ordinateur sont bien plus courantes et beaucoup plus acceptées ?

Fabuleux, comme d'hab.

6-colorable ou 6-coloriable?

Pile quand je viens de finir le chapitre de la récurrence en maths x)

Mais laissez moi avec mes feutres, mince !

Un peu compliqué pour un daltonien de différencier le vert et le jaune sur les cartes, mais super vidéo !

Une démo du thm des 4 couleurs, plutôt un ambitieux projet pour une vidéo de 12 minutes! C'est franchement bien mené, même si la fin est un peu rapide (surtout le passage avec les interversions vert-jaune, il va falloir que je me concentre un peu plus). En tout cas, super vidéo. Je savais pas que la recherche en maths était encore aussi active!

pour moi c'est non

Et en 3D c'est combien de couleur ? Parce que ca ne conserne que la 2D quand on parle de carte nan ?

J'ai mal à la tête...

À 20s, que vient faire le drapeau étasunien planté sur la Bretagne ?

Informaticien passionné (et proche des maths), je suis assez âgé pour avoir entendu l'annonce de cette démonstration ce qui avait plongé la communauté math dans l'embarras.

Excellente vulgarisation El jj ! La théorie des graphes c'est toujours chiant à comprendre mais là c'était vraiment clair et aucun détail n'est omis !

Coq, sérieux? J'en avait fait en 1999 mais franchement, j'étais pas top, le projet était encore neuf! C'était pas trop clair en cours de logique!

J'avoue, moi aussi je suis déçu, je m'attendais vraiment a une longue démonstration qui me donnerais mal au crâne, et a la place j'obtiens un "bah on a testé et le théorème est admis"...

Yeyh🤯 mon cerveau as pas resister mais super video

Voir l'informatique comme un outil pour les mathématiques peut aussi être envisagé avec ce théorème ! Il a ouvert beaucoup de portes mais pas celles que l'on considère " nobles " ;) Ps: t'es quand même toujours le meilleur !

Coucou, ta vidéo est géniale mais Moi étant daltonien les couleurs jaunes et vert se ressemblant. Déjà de base je ne fais pas du tout la différence. Sinon ta vidéo est génial❤😂

Je trouve que ta vidéo est vachement sympa pour comprendre le cheminement d'une pensée scientifique Pour des étudiants ça nous parait toujours un peu hors de portée de comprendre comment ils arrivent à démontrer telles choses avec leurs petites mains et là c'est super bien décortiqué et très clair Une de tes meilleures vidéos d'après moi malgré le sujet qui est assez .. disons pas trop intéressant :D

J'ai envie de chercher une démonstration ...

Mais j'ai pas bien compris, sur quelles données tu coloris deux territoires/etat/ etc de la même couleur ?

Maiis.. A quoi sert de savoir que les cartes peuvent être colorié de 4 couleur ? ;^; je demande parce je vois pas trop à quoi ça sert 😅

Super idée d'avoir insérer des bouts de démo :) je n'avais jamais compris quels étaient ces milliers de "cas de base" à examiner, merci :)

Essayez de regardez cette vidéo à minuit! Croyez-moi c’est pas du gâteau !

J'ai fait mon grand oral sur ce théorème grâce à votre vidéo, merci bcp!

T'es un des meilleurs vulgarisateur que j'ai vu, aux cotés d'Aurélien Barrau ou encore Vsauce

Enft je trouve ca con car pour moi deux pays qui sr touchent en un point se touchent quand meme, en mettant des restrictions si poussées on crée un environnement trop conditionnel que pour en faire un theoreme assez juste

Je distingue absolument pas ton jaune de ton vert en tant que daltonien, mais bon ça m'a pas trop gêné :p

Amazing!

Super vidéo ;) Je connaissait déjà ce théorème :) !

quel est la différence entre colorable et coloriable ? (les deux apparaissent)

Merci pour toutes tes vidéos très bien réalisées, c'est toujours un plaisir.

13 minutes pour expliquer le théorème des 4 couleurs

11:57 Je te le fais pas dire... C'est juste le plus long de ta chaîne .

Oh j'ai vraiment cru que c'était 2minutes au début

Je ne vois que trois couleurs alors qu’il y en a quatre 😅

super video, à regarder plusieurs fois, merci beaucoup El Ji

Ça donne quoi en 3D ?

personne n'as remarqué la reference a breaking bad a 2:30 ?

Voila quoi faire colorier aux gamins pour les occuper. ;)

Mais ça ne répond toujours pas à ma question : Pourquoi ces 4 couleurs en particulier ? Sur les télécommandes, sur les cartes, toujours les mêmes, je n'aurais probablement jamais de réponse à cette question.

la conclusion est super intéressante! super vidéo

J'ai rien compris

Salut El Jj super vidéo comme d'habitude, continue comme ça ! Pour savoir, tu pourrais faire une vidéo sur le théorème de réarrangement de Riemann (je crois bien que c'est ce nom) que je trouve totalement fascinant ?

juste extra super travail continue comme ça

Bonjour, tout d'abord merci pour la qualité de tes vidéos. Pourrais-tu faire une vidéo pour présenter un algorithme de plus court chemin en théorie des graphes ?

Rien compris