49
22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 1 Routage dans les réseaux augmentés Pierre Fraigniaud CNRS LRI, Univ. Paris Sud (Orsay)

Routage dans les réseaux augmentés

  • Upload
    liko

  • View
    44

  • Download
    8

Embed Size (px)

DESCRIPTION

Routage dans les réseaux augmentés. Pierre Fraigniaud CNRS LRI, Univ. Paris Sud (Orsay). Objectifs. Expérience de Milgram (1967) Modélisation (Kleinberg, 2000) Petits Mondes  Navigation Limites du modèle Autres modèles Applications. Expérience de Milgram. - PowerPoint PPT Presentation

Citation preview

Page 1: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 1

Routage dans les réseaux augmentés

Pierre FraigniaudCNRS

LRI, Univ. Paris Sud (Orsay)

Page 2: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 2

Objectifs

• Expérience de Milgram (1967)• Modélisation (Kleinberg, 2000)• Petits Mondes Navigation• Limites du modèle• Autres modèles• Applications

Page 3: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 3

Expérience de Milgram

Personnes sources s1,s2,...,sk

Personne cible tBut = acheminer une lettre de si à t :

La personne x détenant actuellement la lettre la retransmet à une personne y que x connaît personnellement et dont il espère qu’elle soit plus proche de t.

Page 4: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 4

Résultats de l’expérience

1. Beaucoup de lettres sont arrivées à destination

2. Parmi les lettres arrivées à destination, la médiane du nombre d'intermédiaires fût environ 5

Six degrés de séparation entre individus

Page 5: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 5

Le phénomène semble reproductible

• Dodds, Muhamad, Watts (2003)• Utilisation de la messagerie

électronique• Parmi les chaînes réussies, il se

vérifie que la médiane est d’environ 5

• Attention toutefois : beaucoup de chaînes ne réussissent pas !

Page 6: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 6

Les graphes augmentés

• Un graphe G modélise un ensemble de connaissances communes à tous :

• La Norvège est “plus proche” de la France que l’Uzbékistan

• Un biologiste est “plus proche” d’un médecin que d’un trapéziste

• G est augmenté avec des liens longs choisis aléatoirement, suivant une loi D, pour modéliser les hasards de la vies

Page 7: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 7

Exemple

Noeud x

Noeud y

Le noeud y est le contact distant de x

Page 8: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 8

Modèle de Kleinberg

• Le graphe G est une grille à d dimensions et de n noeuds

• Chaque noeud x choisit y comme contact distant avec probabilité prob(xy) harmonique, c-à-d proportionnel à 1/dist(x,y)

Page 9: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 9

Routage glouton

• Parmi ses 2d+1 noeuds voisins, chaque noeud choisit celui qui est le plus proche de la destination, et lui transmet le message

• Attention : distance de «Manhattan»

Page 10: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 10

Glouton converge

Noeud courant Noeud suivant Cible

Page 11: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 11

Performances du routage glouton

• Si = d alors le routage glouton s’effectue en O(log2n) nombre de pas en moyenne.

• Si ≠ d alors le routage glouton s’effectue en Ω(n) nombre de pas en moyenne, >0.

Page 12: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 12

Preuve

• Coefficient normalisateur (d = 1): ∑1≤i≤n/2(1/i) ≈ log n

• Prob(xy) ≈ 1/(dist(x,y)d log n)

mx

tB = y / dist(y,t) ≤ m/2

Page 13: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 13

Prob(xB) = ∑y Prob(xy)

≥ |B| Prob(xz) ≈ md/(md log n) = 1/log n

mx

tB = y / dist(y,t) ≤ m/2 z

Page 14: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 14

Quelques critiques

1. Le routage glouton est-il représentatif de l’expérience de Milgram ? Peut-on faire mieux ?

2. Pour = d, les performances du routage sont indépendantes de d

3. Les performances du routage ne sont « bonnes » que si = d

Page 15: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 15

Quelques critiques

1. Le routage glouton est-il représentatif de l’expérience de Milgram ? Peut-on faire mieux ?

2. Pour = d, les performances du routage sont indépendantes de d

3. Les performances du routage ne sont « bonnes » que si = d

Page 16: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 16

Peut-on faire mieux ?• L’analyse est exacte : (log2n) (Barrière, Fraigniaud, Kranakis, Krizanc)

• Diamètre (log n) (Martel, Nguyen) • Avec log n liens longs par noeud :

– Glouton : O(log n) (Kleinberg) – NoN : O(log n / loglog n) (Manku, Naor, Wieder)

• Il est possible de construire de façon distribuée un chemin de longueur

O((log n)(loglog n)2) (Lebhar, Schabanel)

Page 17: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 17

Autres distributions

• Quelque soit la distribution (presque !) le routage glouton s'effectue en Ω(log2n/loglog n) étapes en moyenne.

(Aspnes, Diamadi, Shah)

Page 18: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 18

Quelques critiques

1. Le routage glouton est-il représentatif de l’expérience de Milgram ? Peut-on faire mieux ?

2. Pour = d, les performances du routage sont indépendantes de d

3. Les performances du routage ne sont « bonnes » que si = d

Page 19: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 19

Critères de sélection(Killworth & Bernard)

• Expérience à la Milgram : – Recherche avec ≥ 2 critères marche

bien– Recherche avec 1 critère marche mal

• Peut-on interpréter les dimensions de la grille comme autant de critères ?

Page 20: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 20

Routage indirect

• Chaque noeud x possède une liste Lx de liens longs

• Pour router : – le noeud courant x sélectionne y Lx tel que

le lien long de y conduit le plus près de la cible t

– Parmi ses 2d+1 noeuds voisins, x choisit celui qui est le plus proche de y, et lui transmet le message

Page 21: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 21

Performances du routage indirect

• Si, pour tout noeud x, Lx est la liste des liens longs des log n noeuds les plus proches de x (dans la grille), alors le routage indirect s’effectue en O(log1+1/d

n) étapes en moyenne. (Fraigniaud, Gavoille,

Paul)

Page 22: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 22

Quelques critiques

1. Le routage glouton est-il représentatif de l’expérience de Milgram ? Peut-on faire mieux ?

2. Pour = d, les performances du routage sont indépendantes de d

3. Les performances du routage ne sont « bonnes » que si = d

Page 23: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 23

Vers un modèle plus général...

• Contexte : réseaux sociaux modélisés par un graphe augmenté (G,D)

• Questions : • Comment choisir le graphe G ? • Comment choisir la distribution D ?• Que devrait-on observer à propos du

routage glouton dans (G,D) ?

Page 24: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 24

Routage glouton dans (G,D)

• Parmi ses degG(x)+1 noeuds voisins, chaque noeud x choisit celui qui est le plus proche de la destination dans G, et lui transmet le message

• Attention : distance dans G

Page 25: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 25

1) « Petitmondisation »

Un graphe G est petitmondisable s’il existe une distribution D telle que le routage glouton dans (G,D) s’effectue en O(polylog n) nombre d’étapes en moyenne.

Page 26: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 26

Extension de la grille

• Un graphe est de croissance bornée si, pour tout noeud x et tout r>0, la taille de la boule de rayon r centrée en x est rf(r,x) où f satisfait... bon, disons des « conditions spécifiques ».

• Tout graphe de croissance bornée est petitmondisable.

(Duchon, Hanusse, Lebhar, Schabanel)

Page 27: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 27

2) Modèles Hiérarchiques

Prob(xy) ≈ hauteur de leur plus petit ancêtre commun(Kleinberg)

x y

Page 28: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 28

Hiérarchies imbriquées

• Lieu d’habitation, profession, hobbies, etc. • Comment extraire une hiérarchie « globale »

qui reflète toutes ces hiérarchies ?

Outil = décompositions arborescentes

Page 29: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 29

Décomposition arborescente

(Robertson & Seymour)Une décomposion arborescente d’un

graphe G=(V,E) est une paire (T,X) où T est un arbre d’ensemble de sommets I, et X est une collection Xi V, i I telle que :

1. iI Xi = V

2. e=x,y E, i I / x,y Xi

3. Si j est sur le plus court chemin entre i et k dans T alors Xj Xk Xi

Page 30: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 30

Xi

Xk

Xj

Page 31: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 31

Sommet x

Page 32: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 32

Séparateurs récursifs

Page 33: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 33

Largeur d’arborescence• La largeur d’une décomposition

arborescente (T,X) est w(T,X) = maxiI |Xi| - 1

• La largeur d’arborescence tw(G) d’un graphe G est la largeur minimale d’une décomposition arborescente (T,X) de G

tw(G) = min(T,X) w(T,X)

Page 34: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 34

CentroïdeLe centroïde d’un arbre T de n noeuds est un noeud v tel que T-v est une forêt d’arbres d’au plus n/2 noeuds.

Page 35: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 35

Centroïdes récursifs et augmentation

(1)

(3)

(2)

x (4)

Page 36: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 36

Routage glouton

• Pour tout graphe G de largeur d’arborescence ≤ k, il existe une distribution D telle que le routage glouton dans (G,D) s’effectue en

O(k log2n) étapes en moyenne.

(Fraigniaud)

• Application : graphes de largeur arborescente bornée (arbres, cycles, planaires extérieurs, etc.)

Page 37: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 37

Réseaux sociaux Les réseaux sociaux ont (pour la

plupart) un coefficient de « clustering » élevé, c-à-d la probabilité que deux noeuds ayant un voisin commun soit connectés est « élevée ».

Page 38: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 38

Une mauvaise nouvelle

• Les réseaux sociaux sont localement denses !

ils ont une grande largeur d’arborescence...

Page 39: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 39

Une bonne nouvelle• Les réseaux sociaux sont

localement denses ! ils n’ont généralement que

peu de cycles longs

Page 40: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 40

CordalitéLa cordalité d’un graphe est la longueur

de son plus long cycle induit

Page 41: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 41

Page 42: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 42

Graphe de cordalité bornée

• Pour tout graph G de cordalité ≤ k, il existe une distribution D telle que le routage glouton dans (G,D) s’effectue en

O((k + log n) log n) étapes en moyenne.

(Fraigniaud)

• Application: graphes de cordalité O(log n)

Page 43: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 43

Application possibles Conception de : réseaux pair-à-pair réseaux de processeurs

Page 44: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 44

Réseaux pair-à-pair• S’oppose au modèle « maître-

esclave » : tous jouent le même rôle. • Publication et recherche : Table de

Hachage Distribuée (DHT)– Espace de clés K (espace métrique)– Fichiers et utilisateurs sont « hachés » dans

cet espace (fonction de hachage h commune)

– Un utilisateur de clé K prend en charge les fichiers de clé les plus proches de dans K

Page 45: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 45

Router vers une clé

• Objectif central : aller au noeud x en charge de la clé K

• Solution 1 : Maintenir de façon dynamique une topologie structurée

• Solution 2 : Utiliser l’anneau augmenté « harmoniquement »

Page 46: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 46

Page 47: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 47

Conclusion (1)

• Les résultats de l’expérience de Milgram ne sont pas encore très bien compris ni d’un « point de vue conceptuel », ni d’un « point de vue formel ».

• Besoin d’un modèle hiérarchique vraiment satisfaisant.

• De nombreuses applications potentielles : pair-à-pair, réseaux dynamiques, etc.

Page 48: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 48

Conclusion (2)

Problèmes ouverts : – Tout graphe est-il petitmondisable ? – Peut-on augmenter l’anneau de façon

à ce que le routage glouton s’effectue en O(log2n/loglog n) nombre moyen d’étapes ?

Page 49: Routage dans les  réseaux augmentés

22 juin 2005 P. Fraigniaud - GT Sphère - GDR I3 49

Des pointeurs

« A New Perspective on the Small-World Phenomenon: Greedy Routing in Tree-Decomposed Graphs »

In 13th Annual European Symposium on Algorithms (ESA), 2005.

http://www.lri.fr/~pierre