Geometry of information propagation in massively dense ad hoc networks

(1)

HAL Id: inria-00071586

https://hal.inria.fr/inria-00071586

Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Geometry of information propagation in massively dense ad hoc networks

Philippe Jacquet

To cite this version:

Philippe Jacquet. Geometry of information propagation in massively dense ad hoc networks. [Research Report] RR-4992, INRIA. 2003. �inria-00071586�

(2)

ISSN 0249-6399 ISRN INRIA/RR--4992--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 1

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Geometry of information propagation in massively dense ad hoc networks

Philippe Jacquet

N° 4992

(3)

(4)

Unité de recherche INRIA Rocquencourt

Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France)

Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30

&(*)+ -,.0/1!

2346574688:9<;>=-?A@CB9ADE

FHGJIK1L*MONQPSRUTVLUWYXJZ[L\]TV^_T`\aIK1LUT

bdcaeYf`L\]gShjikLUcalemK

PSWYiJi-emcV\Sn_LcVLolpGJLcplpGJLrq>stAumuwvxN NyMozi{Wm|mLoT

}[~0UJmm ThjqJ|\VG{LWAl$\H\VGkW\L>LUl\VhjmLhcaLjLUTaT caWmqJ|mLn_LUlcaWmhjTVL]hjqhqmLUcaTVLSX{q{l$\aheAqemje_lWY

\acaWYln_LUq{TVh\`^ACL*TVGJe\aG{W\WWmcVhWY{L\VcpWl1n_LqkTh\`^hK1i{WAl$\pT\VGJL*lX{cVW\aXJcaLemi{WY\VG{ThjqW

nJLq{TVL*hcaLjLUTaTWmnGJe_l1qJL\`eAcV <\VGJL[TaWYK1L1HW^xWWYcahjWmJL*eAi_\VhlWmdn_LqkTh\`^x-Lq{n{Tjh|AGA\ikW\VGkT¡

¢L1TL\X{ix\aGJL|ALqJLUcaWmWST\VG{WY\ikW\VGkTKX{T\TaW\ahjT^hjqxiJcaLUTVLq{lLemd\VcpWl£{e.n_LUq{TVh\`^A¡¢¤L

¥

X{Wmqw\Vh^*\VGJLL-Lol$\]Wmq{nL|mhjmLTVemK1LLZJWYK1iJjLeY¦lemqJ§{|mXJcpW\aheAq{T\VcaLUWY\VLUnWYqkWYj^A\ahjlUWYj^A¡

¨©wª>«a¬ ®0m°¯ emJhjLWAn[G{elmJi{WAlp mL\HiJcaemi{Wm|AWY\VhjemqCwemi_\ahK*WmCcVeAX_\VLoT_ikW\VGlX{cVW\aXJcaLUTU¡

±²³$´µV¶Uµ·³$³¸_¹»º$¼½V¾p¿¸pÀÁoµ·ÂÃµ¼{¹Ä$ÃÅ

(5)

! %! &y(*) !"!$#S &!"!

eAX{TX_\VhjjhjTVemq{TL1Wmh\

¥

XJL*WikeAc\aRL*L-Lol$\VhjmLn{WYq{TjLUTcaRUTVLUWmX_Z¤TaWYq{T§kn_Rolcae\

LUq<cpWYhTeAqhqmLUcaTVLn_LW[n_LUq{Th\VRe_lUWYjLn_Xx\VcpW§klmkqJeAX{TKeAqw\Vcaemq{T

¥

XJL\aemX_\aLWYcahjWY\VhjemqxTVi{WY\VhWYjL

nJLW1n_LqkTh\VRn_L\acaWY§kl:f`emXJLTVXJcWlemXJcaJXJcaLn_LUT \acaWYf`L\aTnJLiJcVeAi{WY|wW\aheAq[n_LUTHikW

¥

XJL\pTnJWYqkTn_LUT

caRUTVLUWmX_ZxK1em{hjLUTWAn GJe_l*n_LqkTLoT0XJq i-LX leAK1KL[XJq hqkn_hjlLemiJ\Vh

¥

X{L*WmcVhWY{LlemXJcakL*jLUTWYhT

lLUWmX_ZjXJK1hq{LX_Z ¡ eAX{T

¥

X{WmqA\ah§kemq{T¦L>L\:L\:qJemXkT¦\VcpWYh\VeAq{TdWmq{WYj^w\Vh

¥

X{LK1Lqw\

¥

XJL

¥

XJLUTdLZ_LK1iJjLUT

TVhjKi{LoT¡

. o « ¯ emJhjLWmnGJe_lmoi{cVeAi{WY|wW\Vhjemqn_Li{W

¥

XJL\aTUocaemXJ\VLUTCemi_\ahK*WYjLUTUleAXJcV{XJcVLoTCn_L:\VcpWf`L\pT¡

(6)

0 1

"*& ):

2·q<\VGJLUhccaLLcaLqklLi{WmikLUceAq<\aGJLlUWYi{WAlh\`^emdK1emJhjL1Wmn<GJe_lqJL\`eAcV _TU3XJiJ\aW[Wmq{n4X{K1Wmc65/7

TVGJe LUn1\aG{W\ \VG{LcpWmnJhX{TeY0lemcacaLUl$\cVLolLiJ\VhjemqnJLUlW^_ThqhqALcpTLeYT

¥

X{WYcaL]caeeY\em"cpWmn_hjeLUKh\\aLc

nJLq{TVh\`^A¡FHG{hjTLUT\VhjK1WY\VLHWmTemcah|Ahq{Wmj^xn_LUcVhjmLon¤cVeAKhjq_emcaK*W\Vhjemq\aGJLeAcV^lemqkThn_LcpW\aheAq{TWYqkn

hTqJeY\caLW\aLUn\aeWmq^i{WYcV\VhlXJWYcqJL\`eAcV hjKi{LUKL\aWY\VhjemqC¡82·q95jM7¦ LcaLUnJLcahALUn\aGJhjTcaLUTVXJ\aThjq

W[i{WYcV\VhlX{jWmcqJL\`eAcV hjKi{LUKLUqw\aW\aheAqxGJLUcVL\VhjK1LhTTjeY\V\VLon<WYq{n<\VcpWYq{TVK1h\V\VLUcWmcVLn_hjTVi{WY\alpGJLon

cpWYqkn_emK1j^Wmq{n*XJqJhemcaK1^1eAqWiJWYq{Wmc:K*WYi"¡;:"L\=<[-L\VGJLn_Lq{TVh\`^em \VcpWYq{TVK1h\V\VLUci-Lc XJqJh\ WmcVLoW

Wmq{nikLUcSTjeY\o%<hjTHLZi{cVLoTVTVLUn[hqJh\SikLUcST

¥

X{WmcVLKL\VLUcikLUcSTjeY\o¡ 2\ \aXJcaq{THemX_\H\aG{W\H\VG{LcaWAn_hXkTem

\aGJLleAcVcaLUl\caLUlLUi_\VhjemqeYWi{WAlp mL\Hh\VGJhjqWlLUc\pWYhjq[iJcaemkWYJhjh\`^1hjTHL

¥

X{WY-\Ve?>

@ A

GJLUcVL

¥

X{WYqw\ah\`^

B n_Li-LqknJTHemq[\VGJL|mhjmLUqiJcaem{WmJhjh\`^mw\VGJLW\V\VLUqwXkW\VhjemqleLlhLUqA\ eY"HWmLiJcaemi{Wm|AW\aheAqWYq{n\VGJL

TVhj|mq{WmemLUc qJemhTVLcpW\ahecVL

¥

X{hcaLUneAclemcacaLUl$\cVLolLiJ\VhjemqDC7TLUL5jM7emcK1emcaLn_L\aWmhT'E¡FHGJhTlemK1LUT

caemK \VG{LWml\S\VGkW\]\aGJLnJhjTV em:leAcVcaLUl\ScVLolLiJ\Vhjemqh\VGJhjqxW*|AhALqiJcaem{WmJhjh\`^lemqw\aWmhq{T]W1§{qJh\VL

qXJKkLUceY0\VcpWYq{TVK1h\V\VLUcaTUw\VGX{TG{WATWYqWYcaLUWiJcaemi-emcV\Vhjemq{Wmk\aeGF

A ¡

2 -L lemqkThn_LcWSq{L\` emca nJhjTVi{W\plpGJLUnWSK*WYieYkn_hjK1Lq{TVhjemq8Hr\VGJLUq\aGJLLoT`\ahK*WY\VL eYJ\aGJLcpWmnJhX{T

hjj¦kL

>

AIJLK

¡M2·q¤\VGJLTVL

¥

XJLU¦L1hj:eem ¤W\vN K*WYikT|mLUqJLcpWYjh$OUhq{|[e_llUWmTVheAqJq{WYj^\VG{L*cVLoTXJ\aT

eAq<WYq^n_hK1LUq{ThjemqkWY"K*Wmi{T¡]¢ GJLq\aGJLnJLq{TVh\`^P<xhqklcaLUWmTVLUTShqxW[K*WYi mLUi_\lemq{T\aWmqw\S\VGJLUqC-\VGJL

K1hjqJhjKXJK qXJK-LcSem0G{emi{TSlemqJq{LUl$\ahq{|1\`e1i-emhjqA\pTRQTS'U \VLUq{nJTS\Ve*-LL

¥

XJhjWYjLqw\\VeWV,XQ6S)U8Y

@ A

>

G{LcaLZV,XQ6S)UYn_Lq{eY\VLoTH\VG{LLX{lhn_hWYqn_hT`\pWYq{lL-L\` LLUqKeAJhjLTQWmq{nKeAJhjL+U¡

¯

LUWmqwG{hjLm

\aGJLhq{lcVLoWmTVL]emC\VGJLqXJK-LcHem"cVLUjW^_T:q{W\aXJcaWmj^1hqklcaLUWmTVLUTd\VGJL\acaWY*ln_LqkTh\`^m¡;2;[hjT\aGJLWml$\aX{WY

\acaWYln_LUq{TVh\`^<|ALqJLUcaWY\Vhjemq<i-LcXJq{h\WmcVLoWJ;\]\1\VGJL\VcpWle_lUWYj^<|ALqJLUcaWY\VLonemqK1emJhjLqJe_n_LoT

q{eY\S\aGJL\VcpWlcaLW^mLon[^\VGJLK1emJhjLqJe_n_LUTUJ\aGJLq\aGJLWALcpWY|mLn_LUq{Th\`^\VcpWlhj0TVWY\VhT`^\VGJL

hn_LUqA\ah\`^^<_`[baV @ A

>

G{LcaLcaVhjT]\VGJL1WmLUcaWm|mLLXkljhjn_hWYq¤n_hjT\aWmq{lLkL\`LULq\` e[LUq{ni-emhjqw\aThqxW

lemqJq{LUl$\aheAqC¡

FHGJhTSi{cVLUwhjemXkTHhjn_LUqw\Vh\`^WATVTVXJK1LUT \aG{W\S\aGJLi{WY\\aLcaqeYi{W\aGkL\`LULqikeAhqw\pT]leALcpT\VGJLK*Wmi

hjq<WYqX{qJheAcVK K*WYqJqJLUcTVe1\VG{WY\S\VG{L\VcpWln_LUq{TVh\`^A{|mLUqJLcpW\aLUnWYqkncaLW^mLon JhT]lemq{T\aWmqA\SeAq\VGJL

G{emjL K*WmiC¡d2·q\VG{hjTdlUWmTVL:\aGJLi{WY\VG\VG{WY\dlemq{qJLUl\0\` eikeAhqw\pTh\aG\aGJLK1hq{hKXJK.qXJKkLUc¦eYkG{emi{T

hTALca^¤ljeATVL\Ve\aGJL[T\VcpWYhj|mGw\hjqJLA¡fe X_\\aGJL

¥

XJLoT`\aheAq WYcahjTVLUTWmkeAX_\\VGJLTG{WmikL[eY \VGJLeAi_\VhjK*WY

ikW\VG G{Lq\VGJL\VcpWl*n_LqkTh\`^¤hTqJem\XJqJhemcaK¡FHG{hjTikWYi-Lchjj:WmnJnJcVLoTVT\aGJL[lUWmTVL*GJLcaL1\VGJL

\acaWYlikW\\aLcaqhTqJem\XJqJhemcaK WYqkn[GJLUq\VGJL\acaWY*ln_LUq{TVh\`^hTGJhj|mGLq{emXJ|AG[\aG{W\Sh\SK*WY mLoT \VGJL

LlhjLqw\cpWmn_hjecpWYq{|mLUT:hqJ§{qJh\VLj^TVK1Wm;Chjq\VGJLTVlUWYjLSeY"\VGJLK*WYigE¡0¢Lhj WmnJn_caLUTaT:\VGJLiJcaemJjLK

eAq h\aT1K*WAlcaeATalemi{hjlWmTVikLol$\*GJLUcVLleAqJqJLol$\Vhjemq i{W\aG{T*eAqJ^ W>LUl$\1\acaWY*ln_LUq{TVh\`^ WY\*hq_§kqJh\aLj^

TVK*WYjCTVlUWYjLm¡;2·qeY\aGJLc emcpnJT Ln_LoWY GJLUcVLh\VGWmTV^K1i_\Vem\VhllUWmTVLm¡

qJe*K1eAJhjh\`^mJTVeWmcU_L\alm¡¦bdcVeAJjLK h\VGeAi_\VhjK*WY i{WY\VGW>LUl\VhjqJ|*n_Lq{TVh\`^mJWYqknhlLmLUcaTaWJ¡

h i

!"!$#%$'&!+ k,./*!

¢LleAq{Thn_LUc¦K1WATVTVhjmLj^n_LqkTLHqJL\`eAcV _T0emq1WvNK*WYiC¡0¢LHnJLqJem\VL^8<dXkjlS)mnY\VGJL \VcpWlHn_LUq{Th\`^

WY\ikeAhqw\eYleemcpn_hjq{W\aLXjlSomnY eAq[\aGJLK1WmiC¡¦¢LTVXJiJi-eATVL\VG{WY\XJq{l\Vhjemqp<lXjlSomnYHhTleAqw\VhjqwX{emX{T hjq

XjlS)m!Yemc"WY\CLoWmT\d:CLUkLoT|AXJL¦hqw\aL|mcpWY{LA¡ ¢ GJLq8<dXkjdSomnY WmcVL¦XJq{heAcVK1j^WYca|mL0\VG{Lq\VG{LdcaWAn_hjecaWmqJ|mLoT

\aLq{nx\Ve-LTq`K1hlcaeATalemi{hjlrWmq{n¤cVeAX_\VLoTlUWYq¤kL*leAq{TVhjn_LUcVLonxWATlemqw\VhjqXJemXkTjhjqJLUT-L\` LLqqJe_n_LoT¡

b¦WAlp mL\pT\VcpWmLjjhqJ|emq*WcaemX_\aLtsi{WmTaTVhqJ|eALcikeAhqw\dem-leeAcan_hjq{WY\VL+XkjdSomnY0hjJLZi-LcahjLq{lLGJemi{Tem

uduwvxnyzz{

(7)

jLq{|Y\VG

>

A

GJLqi{WmTaThjqJ|hq[\VGJLiJcaeZhjK1h\`^eYikeAhqw\+XkjlS)mnY$¡ :CL\ XjlS)m!Y _ @ A

>

w\VGJLqXJK-Lc

emGJeAi{T \VGkW\]Wi{Wmlp AL\KXkT`\SLZi-LcahjLq{lLeAqcaemXJ\VLbsxhTSljeATVL]\ae1\VGJLhjqw\VLU|mcpWY^ XjdX YSom X Y)YV

G{LcaLhjTSW1lXJcVhjhj|mqWYkTVlhjTaT emqcVeAX_\VLbs¦¡

2·q\aGJLTVL

¥

XJLU" LWYcaLjeweA hqJ|emc]caemXJ\VLh\VG\aGJLTVGJemcV\VLoT`\GJemiqXJKkLUcWYqknLlemqf`Lol$\aXJcVL

\aG{W\h\ShTSeAi_\VhjK*WYChjq\VLUcVK*Tem\acaWY*lkWYWYq{lhqJ|Wmq{ne_lUWYCi-LcVemcaK*WYq{lLhjq\VLUcVK*Temdn_LW^[WYqkn

\aGJcaemXJ|AGJiJX_\o¡]:leAXJcaTVL\VG{hjTleAK1LUTSh\VG<\VGJLWmTaTXJK1i_\aheAq\VG{WY\Wmq^qJLUlemq{qJLUl\Vhjemq{T]iJcVehn_LUT

eAqJj^hjq_§{qJh\VLoThjK*WY{hjq{lcVLUKLUqw\:eY>\VG{L\VcpWlSn_LUq{TVh\`^A¡LoWYcplpGJhjqJ|\VGJL]i{W\aG1\VG{WY\:K1hqJhjK1h$OULS\aGJLSGJeAi

qXJKkLUckL\`LULq¤\`eikeAhqw\aT+Q Wmq{nU hT\VGJLUcVLemcaLL

¥

XJhjWYjLqw\emcjeweA hqJ|[emc\VG{LikW\VGjh|AGA\

-L\` LLUq Q WYq{nWU hjq[WK1LUnJhXJK h\VGqJemq 6XJq{heAcVK emiJ\VhlWY-hjq{n_LZ <dXkjdSomnY$¡ 2\HhjT qJeq*\aG{W\ \VGJL

eAi_\VhjK*WY i{WY\VGTaW\VhT§{LUTHeAqLoWmlpGeYh\aTSikeAhqw\%X Y-_ XjdX YSom X YoY^

V

X X%X Y)Y V!%X Y

V

Y _#"$ X%%X YoY C`M E

G{LcaL$" hjTT^KkeA"eYd|AcaWAn_hjLqw\SmLol$\VeAcU¡SFHG{LcaLemcaL§{qkn_hq{|*\VGJLemiJ\VhjK1Wm"i{WY\VG<hT:f`X{T`\WYq<WmiJiJjh

lUW\aheAqem|mLUemK1L\acVhlemi_\ahjlUT¡

g]eLUmLc L1WmlLWK1WYf`emciJcaem{LUKhjq¤\aGJL*WAl$\\VGkW\\VG{L[n_hT`\acVhjJX_\aheAqem ikW\VG hTWAl$\VXkWYj^

hjK1i{Wml\VhjqJ|\acaWY*l]n_Lq{TVh\`^m¡¦FHGJhT:jLUWAn\VeWmq*L|A| ·WYq{n ·lpGJhlp mLUqiJcaem{LUK GJhlpG*K*W^q{eY\:\aG{W\ LUWAT^

\aeTVemjmLA¡]¢LlUWYj'&bXjlSomnYS\VGJL£{ern_LUq{TVh\`^eYdhjq_eAcVK*W\aheAq\VcpWYqkTh\VhjqJ|[hjq\aGJLhlhjqJh\`^em:i-emhjqA\

XjlS)m!Y¡)(X{WmqA\ah\`^*&bXkjdSomnYhTLZi{cVLoTVTVLUn hjq Jh\i-LcK1L\VLco¦Thjq{lLh\LZ_iJcaLUTaT\VG{L£{e eYi{WAlp mL\

lcVewTVTVhjqJ|[WwhjcV\VX{Wm0X{qJh\emTLU|mK1Lqw\eYjLq{|Y\VG¤eY]MK1L\aLclLUqA\aLcaLUnxemq<i-emhjqw\MXjlS)m!Y¡FHGJhT£{e

hjK1i{Wml\\VGJL\VcpWln_Lq{TVh\`^[^\aGJLWml\\VG{WY\SLUWAlpGikWmlp mL\KX{T\SkLcVLUjW^ALUnLoWmlpG B,+.- <dXkjlS)mnYhjq

\aGJLhjlhq{h\`^em0i-emhjqw\TXkjlS)mnY$¡:FHGJLUcVLemcaLje_lWmj^^

<dXkjdSomnY-_/&bXkjlS)mnY

-

<lXjlSomnY

B

C7v E

2·qem\VGJLUc emcpnJTR<dXkjdSomnY-_ X0

1

>

Y32WYq{n

XkjlS)mnY _

&bXjlSomnY

B 2

C/ E

¢ G{Lq<leAq{TVhjn_LUcVhjqJ|K*WYieY¦n_hjK1Lq{TVheAqpH LG{WAL+<f_4&

A

I#JLK

>

Wmq{n5_`X

0

> K Y I

K76 I ¡ em\VhlL\aG{W\

\aGJLL

¥

X{WY\Vhjemq{THWmcVLTVhqJ|AXJWYcHGJLqpH _98m¡

: TSWYqLZJWmKi{L LlUWYqWmTaTVXJK1LWiJWYqkWYcK*WYiK*WmTaThjmLU^[Wmq{nXJqJhemcaKj^§kjLUnh\VGK1emJhjL

q{enJLUTWYqknx|wW\VLU W^q{enJLUTU¡¢Ln_LUqJeY\aL^<;>= \aGJL*Ti{WY\VhWYdn_LUq{TVh\`^<em |wW\aLHW^TU¡¢LWmTaTVXJK1L

\aG{W\\aGJLK1em{hjLqJe_n_LUT]WYcaLKX{lpGK1emcaLn_Lq{TVL\VGkWYq\VGJL|AW\aLHW^_T¡¢Ln_Lq{eY\VL^f[\VGJL\acaWYl

nJLq{TVh\`^|mLUqJLcpW\aLUnhq<Wmq^[i-emhjqA\o¡R[hjT]LZ_iJcaLUTaTLonhjqJh\aT]ikLUcT

¥

XkWYcaLK1L\VLcpTSi-LcTjeY\o¡HFHG{L£{e

nJLq{TVh\`^?& hT]lemq{T\aWmqA\hq<\VGJLK1WmixWYqknhjTL

¥

X{WmC\ae [baVk¡¢LTVXJiJi-eATVL\aG{W\K1emJhjLqJe_n_LUTTLUq{nJT

Wmq{ncVLolLhjmLoT£{eST cVeAK \VG{Lhjc]ljeATVLUT\ |wW\aLHW^m¡FHGJLcaLeAcVL V_a A@

BDCEGF

XIHKJL; =AM 2 Y V M _ F

2 @ N O

^

& _ [

P ;>=

Ct E

Q R u>QTS

(8)

%!

: TW1|mLUqJLcpWY-cpWYK1L emca 1LcaLcah\aLL

¥

X{W\aheAq CM E\VGkW\S LcaLcah\VLhq

V

V X

V!

V

Y _ " >2

P

C E

FHG{hjT]L

¥

X{W\aheAqG{WmTWT\VcpWYhj|mGw\eAcVHWYcpn[Wmq{WYjem|A^[h\VGxn_^q{WmK1hjlUT¡ 2\]\aXJcaq{T]eAX_\S\aG{W\h:W*ikWYcV\VhljL

K1eALUTW\Ti-LLon X YeAq LALca^ ikeAhqw\PX% Y$\VGJLUq \acaWALjhq{|xemqWYq emi_\ahK*Wmi{W\aG hjK1iJhjLUT\aG{W\

\aGJLi{Wmc\ahjlLhjTTXJ{Kh\\aLUn\ae[WYq<WAllLjLcpW\Vhjemq

2

-emco{hjqeY\VG{Lc] emcpnJTUJh\hT]TVXJJK1h\V\VLon\Ve[W

i-eY\aLqw\VhWY

2 ¡

! #"%$& '(*) ,+

¢L:TVXJiJi-eATVL\VG{WY\C\VG{LdK*WYihT"Wn_hT eYcpWmn_hjX{T*- GJLcaL¦qJe_n_LoTCemq\aGJLd-emcpn_LcCK*Wmhqw\aWmhqi-LcaK*WYqJLUqA\

Wmq{n¤hjn_LUqw\VhlWY£keST]\aeW[|wW\VLU W^je_lW\aLUn¤hq¤\VG{LlLqw\aLceY\VGJLn_hTV -¡ XJcWYhjK°hT\Ven_LoTVlcVhjkL

\aGJLTVGJemcV\VLoT`\Hi{W\aGkL\`LULq\`ei-emhjqA\pTRQWYqknU GJhlpGWYcaLhjq{TVhjnJL\VGJLn_hTV -¡

enJLUTemq \VGJLemX_\aLc1lhjcalL[\VcpWYq{TVK1h\*nJWY\aWmT\VeHWYcpn\VG{LlLqw\VcpWY |AWY\VLHW^ CemcL

¥

XJhjWYjLqw\Vj^

caLUlLhjmLnJWY\aW¤cVeAK \aGJLxlLUqw\VcpWY|AWY\VLU W^nE$¡ce ^ T^K1K1L\Vca^ lemq{TVhn_LcpW\aheAq{T:\VGJL<TVGJeAc\aLUT\i{W\aG

-L\` LLUq*\VG{L|wW\VLU W^WYq{n[WYq^q{enJLeAq*\VGJLlhjcalL:f`X{T\eAjeST¦\aGJLcpWmnJhX{Tn_cpWq*cVeAK.\aGJLn_hjTV

lLqw\VLUcH\Ve\VG{hjTq{enJLm¡dFHGX{TH LGkWmL\VGJLhn_LUqA\ah\`^^

&bX% Y-_/.

-

0 0

C21 E

G{LcaL.hjT:\VGJLhjqJLoWYcnJLq{TVh\`^1em \VcpWl|mLUqJLcpW\aLUnemq\VGJLlhjcalLAALZi{cVLoTVTVLUnhjqJh\ i-LcKL\VLUci-Lc

TVjeY\U¡¢L]qJem\VhlL]\VG{WY\\aGJLcaL]hTWThjqJ|AXJjWmcVh\`^GJLq _3{¡¢LlUWYq[lemi-L]h\VG[\VGJhTTVhjqJ|mXJWYcah\`^^

caLK1ehjqJ|cVeAK \VG{LK*WYiW*n_hT eYdTK*WmjLccpWmn_hjX{T M54 -kWmq{nhK*WY|Ahq{hqJ|1\aG{W\\aGJLhjqJqJLUclhjcpljL

lemqw\aWmhqkT:|wW\VLU W^_T:XJqJhemcaKj^[n_hT\VcahJXJ\VLUnC¡ e_n_LUTHWAllLoTVT:\VG{LhjcSljeATVLUT\ |wW\VLU W^1WYqkn*\VG{Lhjci{W\aG

eAje \aGJLcpWmn_hjX{TU¡

2 : L\pWY AL\VGJL1WYqkWYjem|m^h\aG¤n_^q{WmK1hjlUTk\VGJLemiJ\VhjK1WmikW\VGxkL\`LULq<\` ei-emhjqw\aThjT]\VGJL\VcpW

f`Lol$\aemca^ eYW¤K1ehqJ|-enJ^ W\TVikLULUn 076

0 _ X% Y_ 879

>

;:

:

WYq{n WmlUlLULUcaWY\Vhjemq=<D_ F2 " >2 X% Y _

HTX>8

> : :

Y32 {¡ _hq{lL\VGJL<WAlLjLcpW\aheAq hT*lLqw\acaWm7R\ \ hT*leAhjqJLoWYc1h\aG \aGJLmLol$\VeAc J 4LiJjLc T

W.emHWmcVLoWlemqkTLUcVW\aheAq¤WmiJiJjhLoT^FHG{LWYcaLUWeY \VGJL*\acVhWYq{|mjLK*WAn_L*^<mLol$\VeAc <WYqkn¤ALUl\Vemc

6

hTlemq{T\aWmqA\eAq¤\aGJL-e_n_^<\acaWYf`LUl$\aemca^m¡ hjq{lL*\VGJhTWmcVLoWhTL

¥

XkWY¦\ae 8@?2AB,C

>

G{LcaLEDhT\aGJL[WYq{|mjL

-L\` LLUq<cpWmn_hjX{TmLUl\VeAcWYqknxTVikLULUn<ALUl\Vemco¡2\\VX{cVq{TeAX_\caemK 4LUiJLUcTSWO\VGkW\FD[hTlemq{T\aWmqw\

Wmq{nLlWmqT`\pW\VL\aGJL\VGJLUemcaLKf^

!'Gf%&% Wf $XP k %P#&) '%L)*(cknYP -RQ kn *%TknP#-

&%g\

Z _ ª J\[ nDkn-&%%#' fL7' LPknEP -RQ@]+knDkn '&#M

&%kf+kn=&n# W $ *%L)*Wkn^P -RQ5'% _PMkn6-b&%%#\

uduwvxnyzz{

(9)

FHGJLleAq{TVL

¥

XJLqklLemS\VGJhThjT\VGkW\\VGJLemi_\ahK*Wm ikW\VG hjTqJLUmLc\VGJLT\VcpWYhj|mGw\jhq{LWYqkn GJLUq

\aGJLikeAhqw\*WYcaLemiJi-eATVh\VLh\aG caLUTVikLol$\\aex\aGJLlLqw\acaWm|wW\VLU W^A"\aGJLq \VG{LeAi_\VhjK*WY i{W\aG T\aWYcV\aT

eAc\aGJem|Aemq{Wmj^\Ve\VG{LhjqJLUWmcSTLU|mK1Lqw\SleAqJqJLol$\VhjqJ|\VG{LikeAhqw\aTU¡

B A

G

!#"$ % !&' (&)*+,-&.'/0&' 213 %&4 !"576813(&:9-(&<;

=5>@? ACBEDGFIHKJ LED<JNMKOP:DQCO<RTS

UC VW-X K Y*- K.:Z*X[\-2*<&] Y %^_(* 3` ;baE("C" Y**c db Y !"576:*-

. !&* !6e&.f&hgi(6e.:Z*c %.(&f 2j(W.: !T(gb I( ![131! I-& .'k&(:.: %*T !& %- l*

&hgi(m-n812(". !213(* %*c[) !"576odprqtsu ) !"576e"TZ1WC*u(&v W.:*u(-g$

1!W13 e-f13(&)W-&*w &(:.: ;yx[ (z*6_ !6{13(&*cZ.: %-(&<oV |*( l*#N(C

) !"576Z*5 I.:*5*c % !&)%;K}5_*5 l*68- %w^ l*

~[r)$yb

i<t

(10)

B

A G

E:\b- j 3#" ! %& #"$(f(j(*h 2j(&W*+ -&.|/ &| 13 !&)<- !"576e1!(&

9 W(&<;

"T ! Z*$ u& l-T.: %&*c#6\(-gb&:gi(\-(&e^)&2(&f u(: !T131! ;V}bX)& I-& -(6

"Tf uj(_.68&e(-(&ko_&8(4fZ*Y [W# %13(6(-g< u (:.:6\&e((&f*1W8

-& . %"Th

;

}5 I*(:(&e(-gb I.:j % %&)Z- )-(&e(&8 ]^- $* ugi( ! #"%$'&(! *)

"T ! +"|&.) 5-W-6]^ %13(*%;b}5 5Z.: !&)h#6

#

%*dd T^ l1 (*," &.-)

w*c$j (((&-@;/.Y(&* ) !&)6-&8(:\-j8 *# ]IW-&1W\(g<_6)j !j(@;,0("$ %^ %

eW-&1W (-gj !j(K1!& (&6|13(&& %13]&(_. %*]+ -&. / -]gi( -&z-& *c\ !u -&21

"Te u.:Z*Xf13 %& !l;bU !&e I-& [Z* !$ %&8 ]*(c %*c-e*T*6\\.: u(-gb

&(&e(gb ]#"(* ! !&)*513(&& l1 & 213 !&) !T"T' I&(_. %*T+,-& .'/f;

3-46587(9!58:<;>=@?BADC sFEHGIKJsLINMO As@PQOSRTHG ?U MWVIXO ApDG ? G ? OYJp[ZK\G]Ts ?^A sLI_` AaC sFGKb ApdceOfgbhO AaC

EWs APYsWs ?iAPQG ? GJs@ZE+jO ? J2/ p[Z AaC sQ]@GSfdfGPVp? M'k

lpmon C s ?pAaC s-O ? MWfs2p? _qG] ADC s AI pDO ? MWfs +sr/trK_I p[Zufs@ZKZ ADC O ? 1 ` AaC s ?vAaC sGHb ApdcwOSfb^O ADC p[Z

AaC sELIXO ? T C Gx] C pbs@ILEHGf ADC O A THG ?^? sHT AyAaC s APQGzb^Gp?(AZE+jO ? J /e{

b}|~h@

(11)

[

%D% (P M?WknW#_P $WX#QTS)U S+YW $P kn W%

2

]Rkn kn

'&#M n&nP+%T!gW+%+P %#ZX#QTS+Y8,WX S)UY\

B A

I:\b-C !#"$ % !& #"(' (&)*]+ -&. / "Tz-& "T 1! !&) %I*c\- ![&

1

o:&' I(: !T- %"76:*13(&9W(&<;

! "$# %&'(

}5 u %^)( *$ !`- %*5" ! 1 uj %1%-* u ]-'( I- !"576:*Y" ! ].: 3 !& l.O

bI pDGI p__6 *6) 36w13(& *cZ.: !W(&*-&.- 5&(-K.:Z*# l.w_6I T^--(&w(-g -W- 3 !*)Kr) ;

+ &8gr1 $ [( !0Z*V [&:gi(\-(&\-f&. EWn81E. !&*h#6w:6\4 %13$ %1W

( %%;UC 7^ T( . %*13j E &:gi(\(&-,("y&8( . 3Z*%;/.k 31!(&*Z.: !I (&)]10gr32 o

3 "/4d ] 2* ) !& 13 ](-g&:gi(\-(&5, (" ^ l1 (W*$ **c&&' u^_Z13&#68(-gZ*5j(&lo %1W

^ %13(TZ*T !`_ l** %.e&j !E ! !l;YUC 2.: !9& I ] %&*c(E(-gd&:gi(\(&6,(" ^ l1 ($7

i<t

(12)

A

B

:\< !#"$ % !&'#"$(j(&)*E+,&./0"Th|-& ]"T 13 %& !T -( 1 o&

I( !T) !"576_*13(&:9-(&<;

gi(("T&

78106r2$

4

" 4

"4 "/4

}5 8.: 39&h(&CZ*] )^- !&)I(' \ %&*(I*# l**x !& %6 &z_6:*cZ1!*%;U \ 7^ e~ l7 2

4 " 4

;C}5 .:^ % !&1! \(-g 7 1!-& e&) % ! %. *w(:1!$ !& %-(& (gE&:gi(\-(& ,("I

7 ) "T ! -) Z* *c (gY-b&:gi(\(&|^ l1 (W*E %& !W %.& w^_^)&#6(-gKj(&

0gr32:3;&{&gi(-(& ^ %1 () *w"T %&{&gi(-(& Z* !& %- l. &{^(

)

(&{j(&

0gr32:5&.e*5&*c %.f("5-W.f-'"Th&Z-k^ %13(

;

%&% *%& %&'

.;T.!#<oE;51!13 %@od;)1) 3lo3.<&X _ "!T(:&8& U % l**#T.80(:12aE !#"$(X:*%o$

1!( &%'% o((*c(&<;

b}|~h@

(13)

B A

I:\Vvj 3#" ! !&v#"$('j(&W*]+ &.v/ "Tz-& "ThC1! !&) %[ l ![&

1

o:&' I(: !T- %"76:*13(&9W(&<;

d; )1 3%o K! %&\.: e%( '-&6)) .: '&gi(-(&<oV(:.%Z*-(& 3!^-

(& .: 2j !gi(&13 l*!o$ +#a#!&+ !T %* %1W !T % (c ! ! &%o_<7"T"T"I;&;gilclx

&% :;o4

;

&d;u:-&.d;!2;]\-l;^.$1!h#6(gb"T % l**$& 3#"(X:*!;_}b %1W&Z1!4 % (clo&^ !W*h#6

(g/+&(*%oE&X.Y-&<o4;))c<71!h %* ! !l;&3;& %1-;13(l:1%-13#6;)

i<t

(14)

Unité de recherche INRIA Rocquencourt

Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)

Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)

Éditeur

INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)

ISSN 0249-6399