SUITE DU BÉGAYEUR : DÉMONTRER QU'IL N'Y AURA PAS D'OCCURENCE DU 4 ! [EMACS] [GPC

cs_shadowmoon Messages postés 29 Date d'inscription dimanche 1 février 2004 Statut Membre Dernière intervention 1 juin 2005 - 26 mars 2004 à 23:06
cs_LiBe444 Messages postés 220 Date d'inscription dimanche 7 septembre 2003 Statut Membre Dernière intervention 7 avril 2007 - 27 nov. 2004 à 18:07
Cette discussion concerne un article du site. Pour la consulter dans son contexte d'origine, cliquez sur le lien ci-dessous.

https://codes-sources.commentcamarche.net/source/21504-suite-du-begayeur-demontrer-qu-il-n-y-aura-pas-d-occurence-du-4-emacs-gpc

cs_LiBe444 Messages postés 220 Date d'inscription dimanche 7 septembre 2003 Statut Membre Dernière intervention 7 avril 2007
27 nov. 2004 à 18:07
Bonsoir,
Ceci mérite une petite explication :
ayant limité par contrainte le tableau à 65536 caractères, je me suis figuré qu'il n'y aurait pas dépassement de mémoire mais vous avez raison.
L'utilité est de touver l'algorithme simplement, dans un langage educationnel (le pascal) (beurk, le delphi !) (ligue anti-logiciel propriétaire, etc....).
cs_aerith Messages postés 54 Date d'inscription lundi 17 mars 2003 Statut Membre Dernière intervention 12 mars 2006
19 nov. 2004 à 21:45
coucou, tableau moui, avec un addtionneur dynamique

enfin me comprend...
coucou747 Messages postés 12303 Date d'inscription mardi 10 février 2004 Statut Membre Dernière intervention 30 juillet 2012 44
19 nov. 2004 à 18:07
faut utiliser une librairie pour ça ou faire les fonctions soi même...
placer le nombre dans un tableau...
cs_aerith Messages postés 54 Date d'inscription lundi 17 mars 2003 Statut Membre Dernière intervention 12 mars 2006
19 nov. 2004 à 15:47
Ce qui m'ethone c'est que tu arrive jusque l'iteration 1000
On etait bien 3 ou 4 a avoir plancher sur cette suite en C, et l'on a jamais reussi a depasser 80, ce qui a pour resultat un nombre proche du milliard de chiffres quant meme...
cs_LiBe444 Messages postés 220 Date d'inscription dimanche 7 septembre 2003 Statut Membre Dernière intervention 7 avril 2007
5 avril 2004 à 08:24
Bravo pour la démonstration, j'ai moi même pensé que cette démo pouvait marcher mais je préfère la laisser aux experts. Merci à toi!
cs_Zeroc00l Messages postés 367 Date d'inscription lundi 1 avril 2002 Statut Membre Dernière intervention 11 février 2010
2 avril 2004 à 03:35
La résolution pour montrer que le 4 est impossible est assez intuitive :
La voici :

Je suppose qu'à une étape N j'ai :

....4A..... avec A = 1 ou 2 ou 3


Si on "lisait" l'étape N on obtient l'étape N-1...
Cela signifie qu'à l'etape n-1 il y' aurait:

.....AAAA.....

De même façon cela signifierai qu'a l étape n-2 il y aurait :

Si A = 1 : .....11.... ( AAAA se lirait : il y a un 1 suivi d'un 1)
Si A = 2 : .....2222.... (AAAA se lirait : il y a deux 2 suivi de deux 2)
Si A = 3 : .....333333.... (AAAA se lirait : il y a trois 3 suivi de trois 3)

Bref si l'étape N implique que l'étape N-2 doit être obligatoirement ce que je viens de marquer alors cela est absurde car on a :

Etape(N) implique Etape(N-2) (par lecture succesive).

MAIS l'Etape(N-2) n'implique pas Etape(N) d'après la loi qu'on utilise.

Donc il est absurde qu'il y ait un 4 à n'importe quel étape pour peu qu'il n'y en ai pas à l'étape 0.
De manière similaire on pourrait montrer que pour tout chiffre supérieur à 4 c'ets la même chose

Cette preuve n'est pas formalisée mathématiquement, mais c'est cette idée que j'exploiterai par récursion.
Réfléchir 5 minutes avant de faire un prog qui calcule la loi se revele avantageux pour les gens pressé :p


Cependant si tu veux te poser une vrai question: Essayes de comprendre la variation de la taille du nombre obtenue, je parle du nombre de chiffre et pas du nombre representé lui même. Par exemple les première valeur serait :
01 pour : 1
02 pour : 11
02 pour : 21
04 pour : 1211
06 pour : 111221
06 pour : 312211
08 pour : 13112221
10 pour : 1113213211
14 pour : 31131211131221
16 pour : 13211311123113112111

Pour peu que je ne me soit pas trompé :)


Autre exemple irrésolu par les mathématicien et qui reste une conjecture :

Quelquesoit N : un nombre N entier strictement positif, si tu appliques l'algo suivant il se termine toujours :

Tant que N <> 1 faire
Si (N mod 2 =0 ) ' Si N est divisible par deux quoi...
Alors N=N/2
Sinon N=3*N+1
Fin tant que


Personnellement je SAIS ce qui permet de dire que quelquesoit N ça tend toujours vers 1 mais j'arrive pas à l'exprimer mathématiquement, de plus je pense que les gens on en marre de lire ce post ! lol !
J'espère qu'au moins il t'aura appris des choses.

-~={[ ZeroCool ]}=~-

P.S 1 : Si tu te poses d'autre(s) question(s) comme celle-ci pose les moi... (enfin c'est si tu veux)

P.S 2 : Pour ta culture, saches que ces genres de problèmes sont de plus en plus etudiés, notemment dans le cadre d'une explication des lois interne de l'univers, si on admet que l'univers n'est qu'un programme qui s'execute...
Quelque liens :
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/larecherche2.html#carre2
http://www.cs.umaine.edu/~chaitin/bonn.html (si t'aimes l'anglais)
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/delahaye.html (nu nombre qui detiendrait "le secret de toutes les énigmes mathématiques" ...)

Bref bonne lecture ...
cs_shadowmoon Messages postés 29 Date d'inscription dimanche 1 février 2004 Statut Membre Dernière intervention 1 juin 2005
28 mars 2004 à 11:53
oups j'ai oublie un mot : mon 2eme mail ...
cs_shadowmoon Messages postés 29 Date d'inscription dimanche 1 février 2004 Statut Membre Dernière intervention 1 juin 2005
28 mars 2004 à 11:52
Ds mon 2eme y'a un lien vers mon source c du c, regardes le et dix moi ce que tu en pense

En tout cas ton prog et propre et tres bien codé dc 10/10
cs_LiBe444 Messages postés 220 Date d'inscription dimanche 7 septembre 2003 Statut Membre Dernière intervention 7 avril 2007
27 mars 2004 à 12:09
ah ok
en 4 on a :111221
c'est 3 fois écrit 1, 2 fois écrit 2, et 1 fois écrit 1 et ça fait en 5:
312211
c tout!
cs_LiBe444 Messages postés 220 Date d'inscription dimanche 7 septembre 2003 Statut Membre Dernière intervention 7 avril 2007
27 mars 2004 à 12:07
Ah tiens thomas chavais pas que t'avais une identité sur cs!!
Alors, ça te monte pas à la tête d'être major??
Les chevilles ne te font pas trop mal? ;-)
Chu'is content que tu t'en sortes, je crois que quand tu seras PDG, je serais très ami avec toi (non là j'exagères quand même)

l'exemple du 5? kezako?

Merci pour la note.
Inekman Messages postés 291 Date d'inscription dimanche 2 février 2003 Statut Membre Dernière intervention 30 juin 2006
27 mars 2004 à 11:26
j'ai pas compris pour l'exemple du 5 par exemple, tu pourrais l'expliquer pliz ?

Sinon, je la trouve excellente ta source :-P

9/10

Inek.
cs_shadowmoon Messages postés 29 Date d'inscription dimanche 1 février 2004 Statut Membre Dernière intervention 1 juin 2005
26 mars 2004 à 23:06
slt lionel c thomas.

Je vais dl tout ca est te dire ce que j'en pense.
moi aussi j'ai mis un prog que j'ai fait en c en ligne. regarde le et dis moi ce que tu en pense
Rejoignez-nous