APPROXIMATION D’UN NOMBRE RÉEL PAR UN RATIONNEL : UNE APPROCHE GEOMÉTRIQUE RAIM'11 Perpignan Émilie CHARRIER Lilian BUZER GIPSA-Lab Lab-info IGM Université Joseph Fourier Université Paris-Est Grenoble Marne la Vallée

HORLOGES ASTRONOMIQUES RAIM'11 Perpignan

HORLOGES ASTRONOMIQUES RAIM'11 Perpignan

HORLOGES ASTRONOMIQUES RAIM'11 Perpignan

HORLOGES ASTRONOMIQUES RAIM'11 Perpignan TERRE 1 tour = 31,556,928 s JUPITER 1 tour = 374,163,250s Rapport de vitesse:

APPROXIMATION D’UN RATIONNEL Si le dénominateur est trop grand  Trouver un rationnel R tel que : R approxime au mieux le rapport de vitesse Dénominateur de R ≤ 500 RAIM'11 Perpignan

APPROXIMATION D’UN RATIONNEL FRACTIONS CONTINUES: Convergents principaux (C i ) 0≤i≤n+2 Approximations de α RAIM'11 Perpignan

ARBRE DE STERN-BROCOT RAIM'11 Perpignan 1/2 1/3 2/3 1/4 2/5 3/5 3/4 2/1 3/2 3/1 4/3 5/3 5/2 4/1 1/1 … … (0/1) (1/0)

ARBRE DE STERN-BROCOT RAIM'11 Perpignan 1/2 1/3 2/3 1/4 2/5 3/5 3/4 1/5 2/7 3/8 3/7 4/7 5/8 5/7 4/5 1/6 2/9 3/11 3/10 4/9 5/13 5/12 4/9 5/9 7/12 8/13 7/11 7/10 8/11 7/9 5/6 12/19=[0,1,1,1,2,2] … 9/14 12/19 1/1 C 0 =1/0 C 1 =0/1 C 2 =1/1 C 3 =1/2 C 4 =2/3 C 5 =5/8 C 6 =12/19 3/5 7/11

APPROXIMATION D’UN RATIONNEL RAIM'11 Perpignan C 0 =1/0 C 1 =0/1 C 2 =1/1 C 3 =1/2 C 4 =2/3 C 5 =5/8 C 6 =12/19 3/5 7/11 Convergents d’index pair : Convergents d’index impair : Meilleure approximation de 12/19 de dénominateur ≤ 12 ?

INTERPRETATION GEOMETRIQUE (voiles de Klein) RAIM'11 Perpignan a b __ Q: Z 2 : (, ) Convergents principaux: C0C0 C1C1 C2C2 C3C3 C4C4 C5C5

INTERPRETATION GEOMETRIQUE RAIM'11 Perpignan C0C0 C2C2 C4C4 C1C1 C3C3 C5C5 7

NOTRE PROBLEME

RAIM'11 Perpignan 7 4 C0C0 C2C2 C4C4 C1C1 C3C3 C5C5

AVEC LES VOILES DE KLEIN RAIM'11 Perpignan 7 4 C0C0 C2C2 C4C4 C1C1 C3C3 C5C5

AVEC LES VOILES DE KLEIN RAIM'11 Perpignan D’ D

AMELIORATION DE LA COMPLEXITE RAIM'11 Perpignan Enveloppe convexe supérieure Enveloppe convexe inférieure L

UNE METHODE POUR LE CALCUL DES ENVELOPPES CONVEXES Balza-Gomez et al (1999) Calcul de l’enveloppe convexe inférieure (ou supérieure) en O(log(D)) Deux étapes: Calcul d’une pré-enveloppe (incluse dans l’enveloppe finale) Filtrage de la pré-enveloppe RAIM'11 Perpignan

UNE METHODE POUR LE CALCUL DES ENVELOPPES CONVEXES RAIM'11 Perpignan A B A2 B2

RAIM'11 Perpignan A B A2 B2

RAIM'11 Perpignan A2 B2 B3 A3

RAIM'11 Perpignan B3 A3

RAIM'11 Perpignan B3 A3

INCONVENIENT DE LA METHODE Construction d’une pré-enveloppe contenant des points superflus Nécessité d’une seconde étape pour « filtrer » la pré- enveloppe Méthode non adaptative RAIM'11 Perpignan

INTRODUCTION DE NOTRE METHODE

VECTEUR DE BEZOUT v est un vecteur de Bezout du vecteur u ssi : RAIM'11 Perpignan

DEUX ETAPES RAIM'11 Perpignan L A1A1 A2A2 B1B1 B2B2 A1A1 A2A2 B1B1 B2B2 A3A3 B3B3

DEUX CONFIGURATIONS RAIM'11 Perpignan AiAi BjBj u v v A i+1 L A1A1 B1B1 CAS 1

DEUX CONFIGURATIONS RAIM'11 Perpignan AiAi BjBj v v u B j+1 L A1A1 B1B1 CAS 2

EXEMPLE RAIM'11 Perpignan L A1A1 A2A2 B1B1 B2B2 A’ 1 A’ 2 B’ 1 B’ 2 A’ 3 u v

L ’ ALGORITHME RAIM'11 Perpignan

ANALYSE DE COMPLEXITE Initialisation: O(1) Chaque iteration: O(1) Nombre d’iterations: O(log(D)) avec D = largeur du domaine [Zolotykh2000] RAIM'11 Perpignan Complexité dans le pire cas logarithmique en la largeur du domaine

RAIM'11 Perpignan CONCLUSION Algorithme logarithmique « adaptatif » pour la construction d’enveloppes convexes entières Facile à programmer Reconstruction de polygones convexes Réduction des coefficients d’une droite (approximation de la pente)

CONCLUSION RAIM'11 Perpignan Algorithme logarithmique « adaptatif » pour la construction d’enveloppes convexes entières Facile à programmer Reconstruction de polygones convexes Réduction des coefficients d’une droite (approximation de la pente)