Le fait qu’il est toujours possible (par un algorithme comme regarder si son dernier chiffre est 0, 2, 4, 6 ou 8) de savoir si un nombre est pair, s’exprime en disant que l’ensemble des nombres pairs est récursivement énumérable. Si, de plus, son complémentaire est aussi récursivement énumérable, on dit que l’ensemble des nombres pairs est un ensemble récursif. C’est le cas, parce qu’une caractérisation des ensembles récursivement énumérables est que leur fonction caractéristique est calculable par algorithme. Or
La fonction caractéristique des nombres pairs est 1-x%2
et celle des nombres impairs est x%2
Elles sont donc toutes deux calculables puisque chacune d’entre elles correspond au dernier chiffre binaire de x.
Ainsi, le fait que l’ensemble des nombres pairs est récursivement énumérable, signifie qu’il est toujours possible en un temps fini, de remplir correctement le sac de gauche. Le fait qu’il est également possible en un temps fini de remplir correctement le sac de droite, revient à dire que l’ensemble des nombres pairs est récursif. En fait, les deux notions ne sont pas équivalentes, quoique tous les ensembles finis soient récursifs. Moins évident, il en est de même pour les nombres premiers et les nombres de Fibonacci.
Le théorème de Matiiassevitch dit qu’un ensemble d’entiers est récursivement énumérable si et seulement s’il est l’ensemble des solutions d’une équation diophantienne. Trouver une telle équation pour les nombres de Fibonacci ou pour les nombres premiers, est loin d’être facile. Mais pour les nombres pairs ?
Exercice : Trouver un polynôme P(x) ne prenant que des valeurs paires pour tout x entier relatif.
Enfin un exercice où le classement se fait entre nombres premiers et nombres composés :
Une remarque probabiliste à propos de celui-ci : Il arrive assez fréquemment que l’ensemble des nombres premiers soit plus gros que celui des nombres composés, alors qu’il n’y a que 46 nombres premiers sur les 200 choisis au hasard. Mais en fait, les nombres ne sont choisis au hasard que parmi les nombres impairs de 3 à 201, et du coup la probabilité de tomber sur un nombre premier en choisissant un nombre au hasard est 0,45. Le nombre de nombres premiers dans l’exerciciel suit donc une loi binomiale de paramètres 10 et 0,45. La probabilité que plus de la moitié des nombres de l’exerciciel soit premiers est donc environ 0,2616 qui n’est pas si négligeable. Voici la loi suivie par le nombre de nombres premiers de l’exercice :
Pour savoir si un nombre est premier, un moyen rapide est de regarder s’il est dans le tableau des nombres premiers :
$("#premiers div").each (x) ->
if eval($(this).text()) in crible then n++
$("#composés div").each (x) ->
if eval($(this).text()) not in crible then n++
Cet algorithme est très rapide mais évidemment à condition d’avoir le tableau des nombres premiers sous la main. Il s’appelle crible parce qu’il est calculé au démarrage par la méthode d’Eratosthène :
crible = [2..200]
for diviseur in [2..20]
crible = (x for x in crible when x<=diviseur or x%diviseur isnt 0)
Dans un site très personnel, Olivier Sicard nous offres quelques « délires » de mathématiques, algorithmique et programmation. Entre autres pépites, on découvrira le Rubix-Tore, la loi normale asymétrique, la théorie du choix social et le dessin à l’aide des séries de Fourier.
Après Elwyn Berlekamp l’année dernière, c’est au tour du centenaire Richard Guy et de l’immense John Conway. Ce document de Richard Guy (une mise en garde contre le raisonnement inductif) montre bien le style unique de son auteur, en plus d’être une mine de ressources pour des exercices. Conway, outre son jeu de la vie, a créé des dizaines de jeux, dont Sprouts, très populaire dès le CP.
On sait bien que Nicolas Bourbaki n’était pas le nom d’une personne mais le pseudonyme d’un groupe. L’équivalent en informatique théorique est Claude Livercy, auteur de la théorie des programmes. Roger Mohr était un des membres de Claude Livercy.
Quand les chercheurs mettent au point des modèles d’optimisation et de recherche de plus court chemin qui s’inspirent du comportement de masse de colonies de fourmis...
À écouter : Sur les Épaules de Darwin, émission diffusée sur France Inter samedi 31 août 2013.
Les RMLLd se dérouleront pour la 2e fois à Saint-Joseph du 22 au 25 août.
C’est une opportunité pour les élèves qui suivent la spécialité ISN et les passionnés d’informatique.
Commentaires