Définitions |
| Soit a(n) une suite d'entiers naturels strictement croissante, on définit : |
|
| le saut de a(n) par |
| d(n) = a(n+1) - a(n) ; |
|
| l(n) par |
| l(n) = le plus grand l tel que d(n) = a(n) mod l, 0 si un tel l n'existe pas, ou |
| l(n) = a(n) - d(n) si a(n) - d(n) > d(n), 0 sinon ; |
|
| le poids par |
| k(n) = le plus petit k tel que d(n) = a(n) mod k, 0 si un tel k n'existe pas, ou |
| k(n) = le plus petit k supérieur à d(n), qui divise l(n), 0 si l(n)=0 ; |
|
| le niveau par |
| L(n) = l(n) / k(n), 0 si k(n) = 0. |
|
| Le poids k(n) est le plus petit tel que dans la division euclidienne de a(n) par son poids k(n), le quotient est le niveau L(n) et le reste est le saut d(n). |
| On a ainsi a(n) = k(n) * L(n) + d(n) = poids * niveau + saut quand l(n) est différent de 0 ce qui peut se réécrire quand a(n+1) < (3/2) * a(n). |
|
| Principes de classification : si pour a(n), l(n) = k(n) = L(n) = 0 alors a(n) n'est pas classé. Si pour a(n), k(n) > L(n) alors a(n) est classé par niveau sinon a(n) est classé par poids. |
|