![Page 1: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/1.jpg)
Algorithmes sous-linéaires pourpolygones convexes
Antoine Vigneron
Departement mathematiques et informatique appliquees
INRA Jouy-en-Josas
Algorithmes sous-lineaires pour polygones convexes – p.1/41
![Page 2: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/2.jpg)
Introduction
Algorithmes sous-lineaires pour polygones convexes – p.2/41
![Page 3: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/3.jpg)
Références
Travail en collaboration avec Hee-Kap Ahn, PeterBrass, Otfried Cheong, Hyeon-Suk Na, Cheong-DaePark, Chan-Su Shin.
Références:Inscribing an axially symmetric polygon and otherapproximation algorithms for planar convex sets.[pdf]Maximizing the overlap of two planar convex setsunder rigid motion. [pdf, anglais]
Algorithmes sous-lineaires pour polygones convexes – p.3/41
![Page 4: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/4.jpg)
Références
Travail en collaboration avec Hee-Kap Ahn, PeterBrass, Otfried Cheong, Hyeon-Suk Na, Cheong-DaePark, Chan-Su Shin.
Références:Inscribing an axially symmetric polygon and otherapproximation algorithms for planar convex sets.[pdf]Maximizing the overlap of two planar convex setsunder rigid motion. [pdf, anglais]
Algorithmes sous-lineaires pour polygones convexes – p.3/41
![Page 5: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/5.jpg)
Plan
Introduction
Calcul exact du diamètre
Algorithmes sous-linéaires
Approximation du diamètre
Généralisation
Algorithmes sous-lineaires pour polygones convexes – p.4/41
![Page 6: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/6.jpg)
Calcul exact du diamètre
Algorithmes sous-lineaires pour polygones convexes – p.5/41
![Page 7: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/7.jpg)
Observation
m′
Pm
P est contenu dans les deux disques de rayon d(m, m′)de centres m et m′.
Algorithmes sous-lineaires pour polygones convexes – p.6/41
![Page 8: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/8.jpg)
Observation
``′
Pm
m′
P est situé entre deux droite parallèles contenant m etm′. On dit que {m, m′} est une paire antipodale.
Algorithmes sous-lineaires pour polygones convexes – p.7/41
![Page 9: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/9.jpg)
Calcul des paires antipodales
`
`′
Algorithmes sous-lineaires pour polygones convexes – p.8/41
![Page 10: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/10.jpg)
Calcul des paires antipodales
`′
`
Algorithmes sous-lineaires pour polygones convexes – p.9/41
![Page 11: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/11.jpg)
Calcul des paires antipodales
Algorithmes sous-lineaires pour polygones convexes – p.10/41
![Page 12: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/12.jpg)
Calcul des paires antipodales
Algorithmes sous-lineaires pour polygones convexes – p.11/41
![Page 13: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/13.jpg)
Finding the antipodal pairs
Algorithmes sous-lineaires pour polygones convexes – p.12/41
![Page 14: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/14.jpg)
Calcul du diamètre
Calcul des paires antipodales en temps O(n)
On peut donc calculer le diamètre en temps O(n).
On peut calculer de la même façon la largeur et lerectangle couvrant minimum.
largeurP
Algorithmes sous-lineaires pour polygones convexes – p.13/41
![Page 15: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/15.jpg)
Calcul du diamètre
Calcul des paires antipodales en temps O(n)
On peut donc calculer le diamètre en temps O(n).
On peut calculer de la même façon la largeur et lerectangle couvrant minimum.
largeurP
Algorithmes sous-lineaires pour polygones convexes – p.13/41
![Page 16: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/16.jpg)
Calcul du diamètre
Calcul des paires antipodales en temps O(n)
On peut donc calculer le diamètre en temps O(n).
On peut calculer de la même façon la largeur et lerectangle couvrant minimum.
largeurP
Algorithmes sous-lineaires pour polygones convexes – p.13/41
![Page 17: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/17.jpg)
Algorithmes sous-linéaires
Algorithmes sous-lineaires pour polygones convexes – p.14/41
![Page 18: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/18.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
Entrée: direction ~d, tableau ordonné des sommetsp1, p2 . . . pn d’un polygone convexe P .
Sortie: sommet pi qui maximise ~d.−−→Opi.
Algorithmes sous-lineaires pour polygones convexes – p.15/41
![Page 19: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/19.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
Entrée: direction ~d, tableau ordonné des sommetsp1, p2 . . . pn d’un polygone convexe P .
Sortie: sommet pi qui maximise ~d.−−→Opi.
Algorithmes sous-lineaires pour polygones convexes – p.15/41
![Page 20: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/20.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
Calcul en temps O(log n) par dichotomie.
−−→p1p2.~d > 0 et −−→p5p6.~d > 0
=⇒ la solution est entre p5 et p10.
Algorithmes sous-lineaires pour polygones convexes – p.16/41
![Page 21: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/21.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
Calcul en temps O(log n) par dichotomie.−−→p1p2.~d > 0 et −−→p5p6.~d > 0
=⇒ la solution est entre p5 et p10.
Algorithmes sous-lineaires pour polygones convexes – p.16/41
![Page 22: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/22.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
Calcul en temps O(log n) par dichotomie.−−→p1p2.~d > 0 et −−→p5p6.~d > 0
=⇒ la solution est entre p5 et p10.Algorithmes sous-lineaires pour polygones convexes – p.16/41
![Page 23: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/23.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
Calcul en temps O(log n) par dichotomie.
−−→p5p6.~d > 0 et −−→p7p8.~d 6 0
=⇒ la solution est entre p5 et p8.
Algorithmes sous-lineaires pour polygones convexes – p.17/41
![Page 24: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/24.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
Calcul en temps O(log n) par dichotomie.−−→p5p6.~d > 0 et −−→p7p8.~d 6 0
=⇒ la solution est entre p5 et p8.
Algorithmes sous-lineaires pour polygones convexes – p.17/41
![Page 25: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/25.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
Calcul en temps O(log n) par dichotomie.−−→p5p6.~d > 0 et −−→p7p8.~d 6 0
=⇒ la solution est entre p5 et p8.Algorithmes sous-lineaires pour polygones convexes – p.17/41
![Page 26: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/26.jpg)
Calcul des points extrêmes
~d
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10
−−→p5p6.~d > 0 et −−→p6p7.~d 6 0
=⇒ renvoie p6
Algorithmes sous-lineaires pour polygones convexes – p.18/41
![Page 27: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/27.jpg)
Intersection avec une droite
p7
p6 p5
p4
p3
p2
p1
p8
p9
p10 p11
`
P ∩ `
Le segment ` ∩ P peut être calculé en temps O(log n).
Algorithmes sous-lineaires pour polygones convexes – p.19/41
![Page 28: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/28.jpg)
Autres problèmes
En revanche, les problèmes suivants on pourcomplexité Θ(n):
AireDiamètrePérimètreLargeurDisque (ou rectangle) couvrant minimal
Approximation en temps sous-linéaire?Facteur constant en temps O(log n)
Facteur (1 − ε) en temps O
(
log n√ε
)
Algorithmes sous-lineaires pour polygones convexes – p.20/41
![Page 29: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/29.jpg)
Autres problèmes
En revanche, les problèmes suivants on pourcomplexité Θ(n):
AireDiamètrePérimètreLargeurDisque (ou rectangle) couvrant minimal
Approximation en temps sous-linéaire?
Facteur constant en temps O(log n)
Facteur (1 − ε) en temps O
(
log n√ε
)
Algorithmes sous-lineaires pour polygones convexes – p.20/41
![Page 30: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/30.jpg)
Autres problèmes
En revanche, les problèmes suivants on pourcomplexité Θ(n):
AireDiamètrePérimètreLargeurDisque (ou rectangle) couvrant minimal
Approximation en temps sous-linéaire?Facteur constant en temps O(log n)
Facteur (1 − ε) en temps O
(
log n√ε
)
Algorithmes sous-lineaires pour polygones convexes – p.20/41
![Page 31: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/31.jpg)
Coresets
Objet P
Algorithme Ac
Objet Pc
Approximation de P (coreset)
Algorithme A
Algorithme A
f(P ) 6 f(Pc) 6 cf(P )
f(P )
f(Pc)
Souvent: algorithmes A et Ac connus.
Reste à trouver un coreset Pc plus simple que P , etprouver que f(P ) 6 f(Pc) 6 cf(P ).
Algorithmes sous-lineaires pour polygones convexes – p.21/41
![Page 32: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/32.jpg)
Coresets
Objet P
Algorithme Ac
Objet Pc
Approximation de P (coreset)
Algorithme A
Algorithme A
f(P ) 6 f(Pc) 6 cf(P )
f(P )
f(Pc)
Souvent: algorithmes A et Ac connus.
Reste à trouver un coreset Pc plus simple que P , etprouver que f(P ) 6 f(Pc) 6 cf(P ).
Algorithmes sous-lineaires pour polygones convexes – p.21/41
![Page 33: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/33.jpg)
Approximation du diamètre
Algorithmes sous-lineaires pour polygones convexes – p.22/41
![Page 34: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/34.jpg)
Facteur√
2
Coreset Pc
Objet P
diam(P )
diam(Pc)
c =√
2 diam(P ) 6 diam(Pc) 6√
2 diam(P ).
Pc peut être calculé en temps O(log n): calcul de 4points extrêmes.
coreset de taille O(1).
Algorithmes sous-lineaires pour polygones convexes – p.23/41
![Page 35: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/35.jpg)
Facteur√
2
Coreset Pc
Objet P
diam(P )
diam(Pc)
c =√
2 diam(P ) 6 diam(Pc) 6√
2 diam(P ).
Pc peut être calculé en temps O(log n): calcul de 4points extrêmes.
coreset de taille O(1).
Algorithmes sous-lineaires pour polygones convexes – p.23/41
![Page 36: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/36.jpg)
Facteur√
2
Coreset Pc
Objet P
diam(P )
diam(Pc)
c =√
2 diam(P ) 6 diam(Pc) 6√
2 diam(P ).
Pc peut être calculé en temps O(log n): calcul de 4points extrêmes.
coreset de taille O(1). Algorithmes sous-lineaires pour polygones convexes – p.23/41
![Page 37: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/37.jpg)
Distance
Soient P ⊂ Q ⊂ R2
On définit la distance (de Hausdorff) entre P et Q
dh(P, Q) = maxx∈Q
(
miny∈P
d(x, y)
)
.
P
dh(P, Q)
Q
Algorithmes sous-lineaires pour polygones convexes – p.24/41
![Page 38: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/38.jpg)
Schéma d’approximation
Objet P
L
`
dh(Pε, P ) 6 εL/2 6 ε diam(P )/2
(1 − ε) diam(P ) 6 diam(Pε) 6 diam(P )
Temps de calcul: O
(
log n
ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.25/41
![Page 39: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/39.jpg)
Schéma d’approximation
Objet P
L
`
εL/2
dh(Pε, P ) 6 εL/2 6 ε diam(P )/2
(1 − ε) diam(P ) 6 diam(Pε) 6 diam(P )
Temps de calcul: O
(
log n
ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.25/41
![Page 40: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/40.jpg)
Schéma d’approximation
Objet P
Coreset Pε
L
`
εL/2
dh(Pε, P ) 6 εL/2 6 ε diam(P )/2
(1 − ε) diam(P ) 6 diam(Pε) 6 diam(P )
Temps de calcul: O
(
log n
ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.25/41
![Page 41: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/41.jpg)
Schéma d’approximation
Objet P
Coreset Pε
L
`
εL/2
dh(Pε, P ) 6 εL/2 6 ε diam(P )/2
(1 − ε) diam(P ) 6 diam(Pε) 6 diam(P )
Temps de calcul: O
(
log n
ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.25/41
![Page 42: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/42.jpg)
Schéma d’approximation
Objet P
Coreset Pε
L
`
εL/2
dh(Pε, P ) 6 εL/2 6 ε diam(P )/2
(1 − ε) diam(P ) 6 diam(Pε) 6 diam(P )
Temps de calcul: O
(
log n
ε
)
. Algorithmes sous-lineaires pour polygones convexes – p.25/41
![Page 43: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/43.jpg)
Méthode de Dudley
La méthode de Dudley permet de construire uncoreset pour le diamètre de plus petite taille: c’est unpolygon à O(1/
√ε) faces.
Il peut (facilement) être calculé en temps O
(
log n√ε
)
.
On peut donc calculer une (1 − ε)-approximation du
diamètre en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.26/41
![Page 44: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/44.jpg)
Méthode de Dudley
La méthode de Dudley permet de construire uncoreset pour le diamètre de plus petite taille: c’est unpolygon à O(1/
√ε) faces.
Il peut (facilement) être calculé en temps O
(
log n√ε
)
.
On peut donc calculer une (1 − ε)-approximation du
diamètre en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.26/41
![Page 45: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/45.jpg)
Méthode de Dudley
La méthode de Dudley permet de construire uncoreset pour le diamètre de plus petite taille: c’est unpolygon à O(1/
√ε) faces.
Il peut (facilement) être calculé en temps O
(
log n√ε
)
.
On peut donc calculer une (1 − ε)-approximation du
diamètre en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.26/41
![Page 46: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/46.jpg)
Méthode de Dudley
δ
δδ
δ
δδ
δ
Points verts: δ =√
ε diam(P ).
Il y a O(1/√
ε) points verts.
Algorithmes sous-lineaires pour polygones convexes – p.27/41
![Page 47: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/47.jpg)
Méthode de Dudley
δ′
δ′
δ′
δ′
Points rouges: δ′ = 0.9√
ε.
Il y a O(1/√
ε) points rouges
Algorithmes sous-lineaires pour polygones convexes – p.28/41
![Page 48: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/48.jpg)
Méthode de Dudley
PPε
6 δ′
6 δ
6 δδ′/2
Pε est l’enveloppe convexe des points verts et despoints rouges.
dh(Pε, P ) 6 δ tan(δ′)/2 < ε diam(P )/2 pour ε suffisamentpetit.
Algorithmes sous-lineaires pour polygones convexes – p.29/41
![Page 49: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/49.jpg)
Méthode de Dudley
diam(Pε) > (1 − ε)diam(P )
On peut calculer Pε en temps O
(
log n√ε
)
:
1. Calcul d’une√
2-approximation de diam(P ) entemps O(log n).
2. Calcul de Pε en temps O
(
log n√ε
)
.
Conclusion: on peut calculer une (1 − ε)-approximation
de diam(P ) en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.30/41
![Page 50: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/50.jpg)
Méthode de Dudley
diam(Pε) > (1 − ε)diam(P )
On peut calculer Pε en temps O
(
log n√ε
)
:
1. Calcul d’une√
2-approximation de diam(P ) entemps O(log n).
2. Calcul de Pε en temps O
(
log n√ε
)
.
Conclusion: on peut calculer une (1 − ε)-approximation
de diam(P ) en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.30/41
![Page 51: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/51.jpg)
Méthode de Dudley
diam(Pε) > (1 − ε)diam(P )
On peut calculer Pε en temps O
(
log n√ε
)
:
1. Calcul d’une√
2-approximation de diam(P ) entemps O(log n).
2. Calcul de Pε en temps O
(
log n√ε
)
.
Conclusion: on peut calculer une (1 − ε)-approximation
de diam(P ) en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.30/41
![Page 52: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/52.jpg)
Généralisation
Algorithmes sous-lineaires pour polygones convexes – p.31/41
![Page 53: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/53.jpg)
Autres problèmes
La méthode de Dudley permet aussi d’approximer:Le périmètreLe disque couvrant minimal
mais pasL’aireLa largeurLe rectangle couvrant minimal
On va présenter une modification de la méthode deDudley qui permet de traiter ces problèmes.
Algorithmes sous-lineaires pour polygones convexes – p.32/41
![Page 54: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/54.jpg)
Autres problèmes
La méthode de Dudley permet aussi d’approximer:Le périmètreLe disque couvrant minimal
mais pasL’aireLa largeurLe rectangle couvrant minimal
On va présenter une modification de la méthode deDudley qui permet de traiter ces problèmes.
Algorithmes sous-lineaires pour polygones convexes – p.32/41
![Page 55: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/55.jpg)
Autres problèmes
La méthode de Dudley permet aussi d’approximer:Le périmètreLe disque couvrant minimal
mais pasL’aireLa largeurLe rectangle couvrant minimal
On va présenter une modification de la méthode deDudley qui permet de traiter ces problèmes.
Algorithmes sous-lineaires pour polygones convexes – p.32/41
![Page 56: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/56.jpg)
Largeur directionnelle
`(P, ~u)
P
~u
Largeur directionnelle:
`(P, ~u) = maxx∈P
(−→Ox.~u
)
− minx∈P
(−→Ox.~u
)
Algorithmes sous-lineaires pour polygones convexes – p.33/41
![Page 57: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/57.jpg)
Largeur directionnelle
~u
Pε
On veut trouver Pε ⊂ P tel que
∀~u ∈ R2, ` (Pε, ~u) > (1 − ε) ` (P, ~u) .
Algorithmes sous-lineaires pour polygones convexes – p.34/41
![Page 58: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/58.jpg)
Élargissement
R
Pa
b
d(a, b) > diam(P )/√
2.
Algorithmes sous-lineaires pour polygones convexes – p.35/41
![Page 59: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/59.jpg)
Élargissement
Rba
C
P
d(a, b) > diam(P )/√
2 > longueur(R)/√
2
Algorithmes sous-lineaires pour polygones convexes – p.36/41
![Page 60: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/60.jpg)
Élargissement
ba
C
P ′c
On applique une affinité orthogonale pour transformerR en un carré C.
d(a, b) > c/√
2 > diam(P ′)/2
Algorithmes sous-lineaires pour polygones convexes – p.37/41
![Page 61: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/61.jpg)
Élargissement
C ′
C
c
P ′
a b
P ′ contient un carré C ′ de côté au moins c/4.
=⇒ ∀~u, `(P′, ~u) >
c
4>
1
4√
2diam(P ′)
Algorithmes sous-lineaires pour polygones convexes – p.38/41
![Page 62: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/62.jpg)
Élargissement
P ′
ε′
C
On applique la méthode de Dudley avec ε′ = ε/4√
2.
∀~u, `(P′
ε′ , ~u) > `(P′, ~u) − ε
4√
2diam(P ′) > (1 − ε) `(P
′, ~u).
Algorithmes sous-lineaires pour polygones convexes – p.39/41
![Page 63: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/63.jpg)
Élargissement
Pε
R
On applique l’inverse de l’affinité précédente, et onobtient Pε.
On conclut que ∀~u ∈ R2, `(Pε, ~u) > (1 − ε) `(P, ~u).
Algorithmes sous-lineaires pour polygones convexes – p.40/41
![Page 64: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/64.jpg)
Applications
On peut calculer Pε en temps O
(
log n√ε
)
.
C’est un coreset pour les problèmes suivantsLe périmètreLe disque couvrant minimumL’aireLa largeurLe rectangle couvrant minimum
Conclusion: il existe un algorithme d’approximation
pour ces problèmes en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.41/41
![Page 65: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/65.jpg)
Applications
On peut calculer Pε en temps O
(
log n√ε
)
.
C’est un coreset pour les problèmes suivantsLe périmètreLe disque couvrant minimumL’aireLa largeurLe rectangle couvrant minimum
Conclusion: il existe un algorithme d’approximation
pour ces problèmes en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.41/41
![Page 66: Algorithmes sous-linéaires pour polygones convexes · 2006-06-12 · Algorithmes sous-linéaires pour polygones convexes Antoine Vigneron antoine.vigneron@jouy.inra.fr Departement´](https://reader030.vdocuments.fr/reader030/viewer/2022041003/5ea55d81e0199b1ba53cc20a/html5/thumbnails/66.jpg)
Applications
On peut calculer Pε en temps O
(
log n√ε
)
.
C’est un coreset pour les problèmes suivantsLe périmètreLe disque couvrant minimumL’aireLa largeurLe rectangle couvrant minimum
Conclusion: il existe un algorithme d’approximation
pour ces problèmes en temps O
(
log n√ε
)
.
Algorithmes sous-lineaires pour polygones convexes – p.41/41