Beruflich Dokumente
Kultur Dokumente
Jean-Daniel Boissonnat
Collège de France
23 mars 2017
Inria
25 septembre 2017
1 / 52
Harold Coxeter (1971)
2 / 52
1 Les origines de géométrie algorithmique
3 Calcul géométrique
4 Maillage de surfaces
3 / 52
La conception assistée par ordinateur
La réalité virtuelle remplace les maquettes physiques
Pierre Bézier
4 / 52
L’invention de la numérisation 3d
Context: The data deluge
- Les donnees de ce type apparaissent dans des contextes
La fabrique du regard en trois dimensions
• academia
• industry
• general public
5 / 52
La numérisation 3d aujourd’hui
De l’échelle atomique à l’échelle astronomique
Michael Shamos
Computational Geometry
Yale 1978
Cette thèse examine les questions qui se posent quand on cherche à résoudre des
problèmes géométriques avec un ordinateur, ce qui nous oblige à considérer des
aspects du calcul géométrique qui ne sont simplement pas abordés par les
mathématiques classiques. De nouvelles méthodes sont requises.
7 / 52
Un problème résolu par M. Shamos
Recherche de voisins
Problème : Quels sont, parmi n points du plan, les deux points les plus
proches ?
3 Calcul géométrique
4 Maillage de surfaces
9 / 52
Structures de données géométriques
Représentation, Plan, Programme
10 / 52
Polyèdres convexes
Une longue histoire : de l’antiquité à nos jours
11 / 52
Diagrammes de Voronoï
Fonction distance et croissance
G. Voronoï
(1868-1908)
R. Descartes
(1596-1650)
12 / 52
Diagrammes de Voronoï
Diagrammes de Voronoï dans la nature
13 / 52
Triangulations
Assemblage de simplexes
14 / 52
Triangulations
Sur la sphère vide, Boris Delaunay (1934)
15 / 52
Correspondances entre structures
Flatland et Spaceland
16 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Algorithmes
Dessine moi une enveloppe convexe
R. Graham
17 / 52
Complexités combinatoire et algorithmique
18 / 52
Calcul incrémental d’une enveloppe convexe de n
points en dimension 3
19 / 52
La révolution des algorithmes randomisés
Calcul incrémental d’une enveloppe convexe de n points en dimension 3
3 Calcul géométrique
4 Maillage de surfaces
21 / 52
La double nature des objets géométriques
Le comportement chaotique des algorithmes géométriques
Entrée
pi
Prédicat
pj
Structure combinatoire pk
The trouble with double
Example : orientation test
Kettner
[Kettner, Mehlhorn, Pion, Schirra, et al.
Yap, [2008]
ESA’04]
22 / 52
Une bibliothèque logicielle pour la géométrie
algorithmique
!"#$%&'&(")'*+,-"#-&./++++++++
0*1".(&2#3+4(5.'./
Algorithmes
Programmes Applications
23 / 52
CGAL : un succès européen
Une collaboration entre plusieurs sites
ETH Zurich
MPI Saarbrucken
Tel Aviv University
INRIA Sophia Antipolis
...
24 / 52
CGAL : un succès européen
Une collaboration entre plusieurs sites
ETH Zurich
MPI Saarbrucken
Tel Aviv University
INRIA Sophia Antipolis
...
24 / 52
1 Les origines de géométrie algorithmique
3 Calcul géométrique
4 Maillage de surfaces
25 / 52
Courbes et surfaces
Passage continu-discret
Henri Matisse
Claude Shannon
26 / 52
Pour une théorie de l’échantillonnage géométrique
(1920-2010)
reach
28 / 52
Critères de qualité
1. Distance de Hausdorff / Distance de Fréchet
The Hausdor↵ distance
M0 dH (M, M 0 )
dF
distance function to a compact M ⇢ Rd , dM : Rd ! R+ is defined by
dM (x) = inf kx pk
p2M
dH
29 / 52
Critères de qualité
2. Angles entre les facettes et la surface
30 / 52
Critères de qualité
3. Topologie
31 / 52
Maillage de surfaces
Triangulation de Delaunay restreinte Del|S (P)
nes:
l|S (P)
field)
n angle bound)
nce bound)
∈ Del|O (P)
field)
dius-egde ratio) 32 / 52
Triangulation de Delaunay restreinte à une surface
alors Del|S (P) est une triangulation de S qui a les qualités 1-3 précédentes
33 / 52
Input from segmented
Maillages 3D medical images
tétraédriques à partir d’images 3d
Visualisation, robotique chirurgicale, simulations numériques
[INSERM] [SIEMENS]
35 / 52
Au delà de la dimension 3
La géométrie complexe du cyclo-octane C8 H16
Résolution = 1/N
⇒
Nombre de cellules = N d
N = 1000
N 2 = 1 million N 3 = 1 milliard N 6 = 1.000.000.000.000.000.000
37 / 52
Courbes, surfaces et variétés
Cartes et atlas
Ni Nj
φi φj
Rm φji Rm
Uj
Ui
Uij Uji
38 / 52
Triangulation des variétés
Réduction de dimension et de complexité
H
v
v v
Figure 3. A two-dimensional link triangulation, represented as
link triangulation, represented as a collec-
tion of two-dimensional stars.
(a)
v (b)
40 / 52
1 Les origines de géométrie algorithmique
3 Calcul géométrique
4 Maillage de surfaces
41 / 52
Géométrisation de l’analyse de données
Dimension apparente, dimension intrinsèque et inférence
g
f
The x sublevel set of g (left) has two connected components, but the one
proximation f has four additional components (right).
Task:
partition the data points into a collection of relevant subsets called clusters
43 / 52
Analyse topologique multi-échelle
Evolution de la topologie des sous-niveaux de la fonction distance
Marston Morse
(1892-1977)
How to determine the number of “cycles” of the underlying shape from the
How to determine the number of “cycles” of the underlying shape from the point cloud approximation?
point cloud approximation?
44 / 52
Topologie algorithmique
Homologie simpliciale
β0 = 1
β1 = 2
β2 = 1
H. Poincaré
(1854-1912)
45 / 52
Complexe de Cech
Nerf d’un ensemble de boules
J. Leray
(1906-1998)
46 / 52
L’algorithmique de l’homologie persistante
Nuage deMotivation:
points,getting
filtration etinformation
topological diagramme de persistance
without reconstructing
1
b m ))
dgm(Filt(X
↵
The Čech complex C (L):
sing the Čech complex k
\
b m)
Filt(X
for p0 , · · · pk 2 L, = [p0 p1 · · · pk ] 2 C ↵ (L) i↵ B(pi , ↵) 6= ;
Sg
f
F. Chazal et al.
Context
Fig. 2. Our approach in a nutshell: (a) estimation of the
(b) result of the basic graph-based hill-climbing step; (c)
diagonal corresponding to the two prominent peaks of f ; (d
of non-prominent peaks.
zeolite ITW
51 / 52
Une géométrie ne peut être plus vraie qu’une autre, elle peut
simplement être plus commode.
Henri Poincaré
52 / 52