Luca Castelli Aleardi

(1)

Luca Castelli Aleardi

LIX ´ Ecole Polytechnique Geometrica - INRIA Sophia

26th january 2007, University of Toronto

Compact representations of geometric data structures

Gilles Schaeffer

Olivier Devillers

(2)

Domain and motivations

(3)

Triangulations and graphs

Geometric data

Geometric modeling

Tetrahedral Volume Meshes 3D meshes

GIS Technology

Applications

Surface recontruction

(4)

Very large geometric data

St. Matthew (Stanford’s Digital Michelan- gelo Project, 2000)

186 millions vertices

6 Giga bytes (for storing on disk)

tens of minutes (for loading the model from disk)

David statue (Stanford’s Digital Michelan- gelo Project, 2000)

2 billions polygons

32 Giga bytes (without compression)

No existing algorithm nor data

structure for dealing with the entire

model

(5)

Research topics

Mesh compression

Compact representations of geometric data structures Geometric data structures

i .. .

disk storage

Transmission

(6)

Compact representations

(7)

1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0

⇒ 2n bits for encoding a tree with n edges

ordered tree with n edges

balanced parenthesis word

kB

_n

k =

_n+1¹

²ⁿ_n

≈ 2

²ⁿ

n

⁻³²

Enumeration of plane trees with n edges

An example: plane trees

(8)

Asymptotic optimal encoding

• the cost of an object matches asymptotically the en- tropy

log

₂

kB

_n

k = 2n + O(lg n)

1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0

⇒ 2n bits for encoding a tree with n edges

ordered tree with n edges

balanced parenthesis word

An example: plane trees

(9)

No efficient implementation of local adjacency queries

1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 1 0 0

⇒ 2n bits for encoding a tree with n edges

ordered tree with n edges

balanced parenthesis word

An example: plane trees

(10)

Explicit pointers based representation

not optimal encoding: we need Θ(n lg n) bits

parent parent

/ / / /

parent

/ / / /

/

lg n

lg n lg n

lg n

adjacency queries between vertices in O(1) time

parent parent

An example: plane trees

(11)

Could we do better?

a compact encoding (asymptotically optimal)

testing adjacency queries efficiently (in O(1) time)

(12)

with the guarantee the the encoding is still asymptotically optimal it is possible to test adjacency between vertices in O(1) time

For trees and parenthesis words the anser is... YES

( ( ( ( ) ) )

11 0 00 00 0 0 1 00 0 0 1 00 0 0 1 00 b

1

b

₂

b

3

b

4

b

₅

5 2 4 4 5

0 3 2 3 2

D

B T 3

2 1 5

10 6 8

9 7 4

2n + o(n) bits are sufficient

) ( ) ) (( ( ) ) () ( ) ) (

(Jacobson, Focs89, Munro et Raman Focs97)

An example: binary and ordered trees

(13)

Geometric data

Triangulations with a boundary

3-connected planar maps (polygonal meshes)

Triangulations of the sphere

(14)

Which information?

Geometry and connectivity

Geometric object

Geometric information Combinatorial objetct

(15)

Geometric object



 x y z





between 30 et 96 bits/vertex

Geometric information

vertex triangle

1 reference to a triangle 3 references to vertices 3 references to triangles

log n ou 32 bits

Connectivity information

Combinatorial object

connectivity

2 × n × 6 × log n n × 1 × log n

13n log n

416n bits

(16)

Entropy bounds are known...

2.17 bits/edge 1.62 bits/triangle

2 bits/edge

Triangulations with a boundary

3-connected planar maps (polygonal meshes)

Triangulations of the sphere

(17)

Enumeration of planar triangulations (Tutte, 1962)

Enumeration and entropy of planar maps

Ψ_n = 2(4n + 1)!

(3n + 2)!(n + 1)! ≈ 16 27

r

3

2π n^−5/2(256 27 )ⁿ

1

n log₂ Ψ_n ≈ log₂(256

27 ) ≈ 3.2451 bits/vertex Entropy

(18)

Triangulations with a boundary

n + 1 internal vertices, m = 2n + k faces

f(n, k) = 2 · (2k − 3)! (2k + 4n − 1)!

(k − 1)! (k − 3)! (n + 1)! (2k + 3n)!

f⁰(m, k) = 2 · (2k − 3)! (2m − 1)!

(k − 1)! (k − 3)! (^m−k₂ + 1)!

enumeration of polygons with m faces

F (m) = lg(

m

X

k≥3

f⁰(m, k)) ≈ 2.175m

3.24 bits/vertex= 1.62 bits/face < 2.17 bits/face

Enumeration and entropy of planar maps

(19)

Mesh compression

(20)

3D triangle meshes

VRML, 288 or 114 bits/vertex

[Touma Gotsman] ≈2bits/vertex (heuristic)

[Poulalhon Schaeffer] 3.24bits/vertex (optimal)

sim ple com pre ssion

[Edgebreaker] 3.67bits/vertex (guaranteed upper bound)

1101000110000010010000011001000000000 V₅V₅V₆V₅V₄V₅V₈V₅V₅V₄S₄V₃V₄

CCCRCCRCCRECRRELCRE PS

TG

EB impli cit enc odings

(21)

Graph encodings and spanning trees

Edgebreaker

CCCRCCRCCRECRRELCRE

C CC

R C

C

C R

S C

R R L E

C E R

Canonical orderings and multiple parenthesis words

( [ [ [ ) ( ] ( ] ( ] [ [ [ ) [ ) ( ] ] [ ) . . .

V₅V₅V₆V₅V₄V₅V₈V₅V₅V₄S₄V₃V₄ T ouma Gotsman(⁰98)

1101000110000010010000011001000000000

P oulalhon Schaef f er(2003)

No querie s

Chuang et al. (98) - Chiang et al. (01)

General visual framework (Isenburg Snoeyink)

(22)

Geometric data structures

(23)

Geometric data structures

Triangle meshes

struct triangle{

triangle *t1, *t2, *t3;

vertex *v1, *v2, *v3;

}

struct vertex{

triangle * root;

int label;

}

Connectivity

Geometry

struct point{

float x;

float y;

}

point vertex_geometry[max_label];

Polygonal meshes

struct edge{

edge * oppo;

edge * next;

edge * prev;

vertex * origin;

}

struct vertex{

edge * root;

int label;

}

struct point{

float x;

float y;

}

point vertex_geometry[max_label];

Explicit representations

not succi nct enco dings

Θ( n lg n ) bits

(24)

Succinct encodings of graphs: existing works

(25)

planar graphs: book embeddings and canonical orderings

Succinct encodings of graphs: existing works

Codage 3-c. triang.

Jacobson 64n 64n

Munro Raman 8n + 2e 7m

Chuang et al. 2e + 2n 3.5m

Chiang et al. 2e + 2n 4m

Blandford et al. O(n) O(m)

()(( ())( ()(( ()) ()))(()))(())

( ) ( ( ( ) ) ( ) ( ) ) ( ) ( ( ) ) ( ) ( )

2 3

5 4 6 8 7

9 10

11

[[[[ ] ] ][[[ [ ]][ ]][[[[[ [ ]][ ]] ][ [ ]]][ ]]]]

1 2 3 4 3 5 6 7 8 9 10 11

G − T T

T G ([[[)(](][[[)])(]][) . . .

(26)

Our solution for succinctly representing graphs

(27)

Decomposition of quadrangulations...by the french artist L´ eon Gischia

First idea: decomposition

(1903-1991)

(28)

Literary digression

teacher Listen to me, If you cannot deeply understand these principles, these arithmetic archetypes, you will never perform correctly a ”polytechnicien”

job... you will never obtain a teaching position at ”Ecole Polytechnique”.

For example, what is 3.755.918.261 multiplied by 5.162.303.508?

student (very quickly) the result is 193891900145...

teacher (very astonished) yes ... the product is really... But, how have you computed it, if you do not know the principles of arithmetic reasoning?

(The lesson, Eug` ene Ionesco, 1951)

During a private lesson, a very young student, preparing herself for the total doctor- ate, talks about arithmetics with her teacher

Second idea: precomputing and storing

student : it is simple: I have learned by heart all possible results of all possible different multiplications.

(the young student cannot understand how to subtract integers)

(29)

Our scheme

1 2 3

.. .

Level 1:

• Θ( ⁿ

log² n) regions of size Θ(log² n), represented by pointers to level 2

Level 2:

in each of the ⁿ

log² n regions

• Θ(log n) regions of size C log n, represented by pointers to level 3

Level 3: exhaustive catalog of all different region of size i < C log n:

• complete explicit representation.

. . . . . .

Overview of the hierarchical structure

(30)

1 2 3

.. . . . . . . .

Our scheme

Overview of the hierarchical structure

Level 1:

• Θ( ⁿ

• global pointers of size log n

Level 2:

in each of the ⁿ

log² n regions

• local pointers of size log log n

(31)

1 2 3

.. . . . .

. . . Dominant memory cost

Our scheme

Overview of the hierarchical structure

Level 1:

• Θ( ⁿ

• global pointers of size log n

Level 2:

in each of the ⁿ

log² n regions

• local pointers of size log log n

(32)

Let us consider a triangulation of size m (with m faces)

Compact representations of graphs

(33)

micro triangulations of size between

¹

4

lg m We decompose into sub triangulations of polylog size

1

12

lg m et

Compact representations of graphs

(34)

Graph of micro regions

G is a local planar map

graph G

O(

_log^m_m

) nodes graph G:

• a node for each micro region,

• an arc for each pair of adjacant micro regions

(35)

Sub-graph of micro regions

graph G

_i

O(log m) nodes G

_i

is a sub-map of G containing O(lg m) micro triangulations

O(log

²

m) triangles

(36)

Graph of mini regions

graph F

O(

_log^m₂ _m

) nodes F est une carte planaire

graph F :

• a node for each mini region

• an arc for each pair de of adjacent mini regions

(37)

Asymptotic cost of the representation

(38)

O(

_log^m_m

) micro regions

Cost of graphs G and F

Our solution

(39)

O(

_log^m_m

) micro regions

graph G

O(

_log^m_m

) nodes

Because of Euler’s relation:

E (G) = O( m lg m )

G is local planar, having all faces of degree at least 3

Our solution

G is a sparse graph

(40)

We ue local pointers of size log log m for explicitly representing graphs G

_i

graph G

_i

O(

_log^m_m

log log m) bits X

i

kE (G

_i

)k = O( m lg m ) graph G

O(log m) nodes

Our solution

(41)

Our solution

We can use pointers of size log m

graph F

O(

_log^m₂ _m

log m) bits F is local planar and then sparse

O (

_log^m₂ _m

) arcs

(42)

The catalog of all micro regions having at most r triangles ha negligible size

Cost of the catalog

kAk ≈ 2 ¹ ⁴ ^2.175r ≤ 2 ¹ ⁴ ^{2.175 lg} ^m

r ^2.175 entropy of the

original class Exhaustive catalog of all different micro regions

Compact representations of graphs

(43)

The cost of a reference depends on the size of the catalog

Cost of references to the catalog

log ₂ kAk = 2.175r bits

r

r triangles

Compact representations of graphs

2.175 entropy of the

original class

(44)

The dominant term is given by the sum of references to the catalog

P j 2.175r _j = 2.175m bits

r

r triangles

Dominant term

Compact representations of graphs

2.175 entropy of the

original class

(45)

Compact representations of graphs

Theorem

For planar triangulations with m triangles there exists a compact rep- resentation, supporting local adjacency queries in O(1) time, which requires

2.175m + O(m lg lg m

lg m ) = 2.175m + o(m) bits

For higher genus g triangulations we have

2.175m + 36(g − 1) lg m + O(m lg lg m

lg m + g lg lg m) bits

(Castelli Aleardi, Devillers et Schaeffer, WADS05)

(46)

Compact repreentations of graphs

kAk ≈ 2 ¹ ⁴ ^2.175r

log ₂ kAk = 2.175r bits

1.62m is the entropy of the original class No assumptions on the size of the boundaries

P

j 2.175r _j = 2.175m bits

(47)

Is it possible to achieve optimality?

(48)

Repr´ esentations succinctes

kAk = ?

log ₂ kAk = ? bits

A more clever decompoition strategy

1.62m entropy of the original class

a smaller catalog

(49)

Succincts representations

kAk << 2 ^2.175r

More clever decomposition strategy... using ”canonical” spanning trees

We count in term of vertices

A smaller catalog

1.62m is the entropy of the original class

We decompose into micro trees

(50)

Succinct planar maps

Theorem

For some classes of planar maps (triangulations and 3-connected pla- nar maps) there exists an optimal succinct representation, supporting navigation in O(1) time. The memory cost matches asymptotically the entropy:

• 1.62m bits, for triangulations of the sphere with m faces;

• 2e bits, for 3-connected graphs with e edges.

(Castelli Aleardi, Devillers et Schaeffer, SoCG06)

(51)

Planar maps and trees

(planar triangulations, Poulalhon et Schaeffer 2003)

(3-connected planar maps, Fusy Poulalhon et Schaeffer 2005)

n + 2 nodes n nodes

exactly 2 stems per node

3-connected planar graph quadrangulation binary tree minimal realizer

(52)

A new local closure operation

1101000100000000000 1001010000

1 1 1

1

0

0 0 0

0

0 0

(53)

A better decompoition strategy

(54)

kA _r k = k ^P _w A _r,w k

kA

_r,w

k = 2

^3.24r

·

^2r_w

3.24r + w lg r bits

cost of a reference

3.24n ou 1.62m entropy of the original class

memory cost: dominant term

(55)

3.24n ou 1.62m entropy of the original class

memory cost: dominant term

P

j

3.24r

_i

+ w

_i

lg r

_i

= 3.24n + o(n) bits overall cost of pointers P

i

w

_i

= O(

_lgⁿ_n

) P

i

r

_i

≈ n

(56)

Compact representations of graphs

Comparison of existing results

Encoding queries 3-connected triangl.

Jacobson (Focs89) O(lg n) 64n 64n

Munro Raman (Focs97) O(1) 8n + 2e 7m

Chuang et al. (Icalp98) O(1) 2e + 2n 3.5m

Chiang et al. (Soda01) O(1) 2e + 2n 4m

Blandford et al. (Soda03) O(1) O(n) O(m)

Castelli et al. (Wads05 Cccg05) O(1) no 2.175m

Castelli et al. (SoCG06) O(1) 2e 1.62m

(57)

A dynamic representation

(58)

Succinct dynamic triangulations

theorem

For triangulations with a boundary having m faces, it is possible to maintain a succinct representation under insertion/deletion of vertices and edge flips, while supporting local navigation in O(1) time. The size of the representation is still asymptotically optimal: