• [^] # Re: Celle de Peter Pouik aussi

    Posté par . En réponse au journal La conjecture de Riemann prouvée ?. Évalué à 2.

    Fermat, c'est compliqué, il faut savoir compter et faire des multiplications.

    Je pense que le plus bel exemple de truc simple a énoncer et chiantissime à prouver, c'est le théorème des 4 couleurs. Le coloriage, c'est au programme de maternelle non?
    D'aillaur les décmonstrations ne font toujours pas l'unanimité. Certains considèrent que ce théorème n'est pas prouvé.

    Théorème: Tout graphe planaire est 4 coloriable.

    Ce qui peut se traduire par:

    T'as une carte avec des pays d'un seul tenant (connexes).
    Ben tu peux toujours colorier les pays avec 4 couleurs distinctes de façon à ce que deux pays ayant une frontière commune soient coloriés avec des couleurs distinctes.

    La démo la plus «~simple~» se base sur une réduction à certains cas de base
    et puis après, ben merci l'ordi de vérifier que ça marche pour les cas de base.