HAL Id: inria-00070287
https://hal.inria.fr/inria-00070287
Submitted on 19 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents
Integrating File Popularity and Peer Generosity in Proximity Measure for Semantic-based Overlays
Yann Busnel, Anne-Marie Kermarrec
To cite this version:
Yann Busnel, Anne-Marie Kermarrec. Integrating File Popularity and Peer Generosity in Proxim- ity Measure for Semantic-based Overlays. [Research Report] RR-5731, INRIA. 2005, pp.24. �inria- 00070287�
ISRN INRIA/RR--5731--FR+ENG
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Integrating File Popularity and Peer Generosity in Proximity Measure for Semantic-based
Overlays
Yann Busnel and Anne-Marie Kermarrec
N˚5731
Octobre 2005
Systèmes numériques
- .0/132456 )7 98: &;1024 <>=@? )!BADC $ .E01)
FGIHH#JLKM3HNPO
∗ GIHQ#RHH.NTSEUVGIWYXZN\[\N]WY^_GIWYW3NP`
†
abc+degf\h:c ijkf\lgm+npoqjrh:c
s mtPu+hgd s$v m+npc
wvPxkx tym+d{zkh|mh:}~rhgm}E~rhi(@y L}gdtykmh(( P x*vP h:c
Unité de recherche INRIA Rennes
#%$&('*),+.-/'0 s h:hgm21 dt31
x
h:hgm5476ph c+~
v
m+ni
cbIc+dhgf\c
v
mh0irt*8
v
d>d+~rh0tym+n
nit39f\tcd t39;:iqdhgm+irhgd
d+m v,< }=>: f x mt*?Ini d+~rh x hgm29tym+f v ir}:ht39c+jr}~ c+bIcdhgf\c1~ v c hgirhgm v dh:z v 6ptyd7t39niqdhgmh:cd
tyd+~-ni nirzjrc+d+m+b v irz v } v zkhgf nv =A@tymh c x h:}gnB4*} v 6C6b/D f v iqb vPxkx mt v }~rh:cE9tI}gjrc tyi-d+~rh
nf x
mtF?@hgf\hgiqd t39d+~rh ojrhgm+bVf\h:}E~
v
iknpc+fni c+jr}E~ c+bIcdhgf\c*=G:i
vx h:hgm21 dt31
x
h:hgm\c+bc+dhgfHD
x h:hgmc v mh }:tyikirh:}gdh:zVdt v cjkrchgd(t39{tyd+~rhgm x h:hgmcI8nd+~G8~knp}E~ d+~rhgb} v i }:tyf f7jkiknp} v dh=
J v }~ x h:hgm f v niqd v nirc v } v }E~rh v irz1f v3K h:c v ? v nC6v .6ph ndc>}:tyiqdhgidc dt d+~rhmh:c+d>t39d+~rh0c+bc+dhgfH=
L tyikirh:}gd+ni
_x h:hgmc7c+~
v
m+ni c+nf nC6
v
m(niqdhgmh:c+d ni#d+~rh\}:tyiqdhMd7t39
v nC?@hgi
vPxkx 6np}
v
d+nptyi ~ v c
mh:}:hgid"6b .h:hgi npzkhgid+nB4*h:z v c v cEtyjkirz v c+npcdt nf x mtF?@h d+~rh1ch v m}E~ h < }gnphgir}gb/=
N tF8 hO?@hgm*D1} vPx d+jkm+ni c+jr}E~Dniqdhgmh:c+d21 v ch:zQPtym chgf v iqd+np}FR x mt*MInf nd b x*v d+dhgm+irc npc v
zn
<
}gj.6d|d
v c K
=S@tc+dLt39 }gjkm+mhgiqd
vPxkx mt
v
}~rh:c f\h
v
c+jkmh7d+~knpc
x
mt*MInf nd b hgdT8 h:hgi
x
h:hgmc
v c
d+~rh|tF?@hgm"6
vPx
.hgdU8 h:hgi d+~rhgnm}
v
}~rh1}:tyidhgiqdc*=WVLnC?@hgi d+~rhS8 hO6C6B1
K
irtF8i
x t x j.6
v
m+nd b
x*v d+dhgm+irc
t39 x h:hgm21 dt31 x h:hgmX476phLc~ v m+ni cbIc+dhgf\cFDqd+~rhLt*?@hgm"6vPx hgdT8 h:hgi } v }~rh1}:tyiqdhgidc t39 dU8 t x h:hgmc
f v b irtyd{mhY*h:}gd
v
}:}gjkm
v
dhO6b d+~rhgnmchgf
v
iqd+np}
x
mt(Mnf nd b/=W@tymh c x h:}gnB4*}
v
6C6b/Drd+~knpc f\h
v
cjkmh
zkh x hgirzkcj x tyi x h:hgm hgirhgmtc+ndb v irz>476ph x t x j.6v m+ndb/=
:i_d+~knpc x*vPx hgmS8 h x mt x tch v mh4rirh:z x mt(Mnf ndb f\h v cjkmh7d v3K ni nidt v }:}:tyjkidd+~rh:cEh
9 v }gdtymc*=[Zh hO? v 6j v dh:z d+~rh x mt x tch:z ct\6jkd+nptyi-qb#cnf7j.6v d+nptyi vPqv nirc+d v mh v 6 x h:hgm21 dt31
x h:hgmcbIc+dhgf]Ph(^Ltyi K hgb7R8 tym K 6pt v z v irz mh:c+j.6dcc~rt*8 d+~rh7h_ h:}gd+nC?@hgirh:cc|t39$d+~rh x mt x tcEh:z
vPxkx mt v }E~`=aZ ~knC6ph x h:hgmc hgirhgmtc+ndb } v i h v c+nC6b h }:tyf x jkdh:zb6pt} v 6C6b/DX476ph x t x j.6v m+nd b
f v b#mh:ojknmh v 6pty v 6 K irt*8c6ph:z h t39d+~rh cbIc+dhgfH=Zh v 6pct x mt x tch ni d+~knpc x*vPx hgm v i
h x npzkhgf np}
v 6
tym+nd+~kf dt}:tyf
x
jkdh1ni v 9j.6C6bzkh:}:hgiqd+m
v 6npch:zd9
v
c+~knptyi
v i h:c+d+nf v
d+nptyi t395476ph:c
x t x j.6v m+nd b/=
eHf/gh iIj ),k&0 ^Lnpc+d+m+nkjkdh:z c+bc+dhgfHD s h:hgm21 dt31 x h:hgm_irhgdU8 tym K D tccnx 1 v ch:z x mtydtI}:t\6D
nidhgmh:c+d21 v ch:z x mt(Mnf nd b f\h v c+jkmhDrcEhgf v iqd+np} x mt3476ph
lBmonUpq*rntsouCpvxw(y
∗ z{}|3|~3x|3 {F~
†
$ . )!)D (!) ! () (924)7 !( .0/1324
! E{$ 7 )D )* r= =@ +
& 0 L h m
vPxkx tym+d
x
ml:cEhgiqdh_jkirh f\h:c+jkmh zkh
x
mt*MInf ndElgf
v
iqd+npojrh
x
hgm+f\hgd+d
v
iqd
zkh x mhgirzmh hgiD}:tyf x dh[6ph:c h_ hgdc zkh tymzkc nirzjkndc x*v m%6vV lgirlgmtc+ndl zkh:c i|jrzkc hgd
6vVx t x j.6v m+ndl zkh:c 4*}~knphgmc zjki c+bIcdegf\hzkh x*v m+d vP h zkh 4*}E~knphgmc*= L hgd+dh f\h:cjkmh h:c+d
nid+mtzjkndh z v irc jki
x
mtydt}\6ph l x
npzklgf npoqjrh
x
hgm+f\hgd+d
v
iqd 6v }:tyf
x*v m v
npctyi zkh:cml:c+j.6d v dc
tykdhgijrc*=
^Lh x 6jrcFDr}:h1m vPxkx tym+d niqd+mtIzjknd{jkirh vPxkx mtI}~rh(l x npzklgf npoqjrh(zlO? v 6j v d+nptyi[6pt} v 6ph7zkh 6v
x t x j.6
v
m+ndl zjkid4*}E~knphgm*=
j '*& h - 0 abc+degf\h:c znpc+d+m+nkjrl:c*Dml:ch v j;M x*v nm21"!,1x*v nm*D x mtydt}:t\6ph:c l x npzklgf npojrh:c*D x mt3476
cElgf
v
iqd+npojrhD
x
mt(Mnf ndl7znidlgm#gd
I* 1!(< !? <1 .{(!
ff ) h ' j7h ff ) f & 5+.) & g &(' f G& s h:hgm21 dt31 x h:hgm Ps s Rt*?@hgm"6v b irhgdT8 tym K c ~ v ?@h
mh:}:hgid"6b x
mt*?@h:z dth1h
<
}gnphgiqddt c+j
xkx tym+d
v 6v m h1c
x
h:}gd+m+jkf t396
v m h1 c}
v
6ph znpc+d+m+nkjkdh:z
vPxkx 6np}
v
d+nptyircF=
s s t*?@hgm"6
v
birhgdT8 tym
K c v
irzd+~rhgnm
vPxkx 6np}
v
d+nptyirc~
v
?@h
hgirhgm
v
dh:z
v
6ptyd(t39
nidhgmh:c+dni d+~rhLmh:ch v m}~ }:tyf f(jkikndb ni d+~rh x*v c+dX47?@hb@h v mcc x*v ikikni 9mtyfd+~rh|t*?@hgm"6v bIc
irhgdU8 tym
K
cd+~rhgf\chO6C?@h:c;D.;D.dtc+d+mh
v f ni D v m}~knC?
v
6D ?@tynp}:h|tyi>:
s vPxkx 6np}
v
d+nptyircFDkhgd}=
;D> D$T= N t*8 hO?@hgm*D d+~rhf v ni s s vPxkx 6np} v d+nptyirc7zkh x 6ptTb@h:z tyi: iqdhgm+irhgd1dtIz v b v mhd+~rh
s s 476ph c~ v m+ni c+bc+dhgf\c*=~rhgb mh x mh:cEhgiqdirtF8 d+~rh ~kn ~rh:c+d}:tyirc+jkf\hgmc t39: iqdhgm+irhgd
v irz;8npzd+~T=
nC6ph1c~
v
m+ni
c+bIcdhgf\cf
v b .hLnf x
6phgf\hgidh:z_tF?@hgmjkirc+d+m+jr}gd+jkmh:zD*c+d+m+jr}gd+jkmh:z tym~knphgm21
v m}E~knp} v 6 tF?@hgm"6v bVirhgdT8 tym K c*=~rh oqjrhgm+b f\h:}E~ v iknpc+f npc7zkh x hgirzkhgiqdj x tyi#d+~rhcd+m+jr}gd+jkmh
t39 d+~rh7jkirzkhgm"6bIni irhgdT8 tym K = : ijkirc+d+m+jr}gd+jkmh:z t*?@hgm"6v bIc*D c+jr}~ v c 9 tym|hM v f x 6ph(d+~rhh v m"6b
?@hgmcnptyit39WV|iqjkdhO6C6
v TDd+~rhojrhgm+b vPxkx
mt
v
}~ npcLnf x
6phgf\hgidh:z qbHY*tItIzni
d+~rhc+bc+dhgfH=
i d+~rh tyd+~rhgm~ v irzD ~knphgm v m}E~knp} v 6LtF?@hgm"6v bc v mh }:tyf x tch:z t39 v chgd t39|c+j x hgm x h:hgmc dt
8~knp}E~_}O6nphgidc v mh(}:tyikirh:}gdh:z={aj x hgm x h:hgmc v mh7ni }~ v m ht39nirzkhMIni d+~rh }O6nphgiqdcL} v }~rh
}:tyidhgiqdc
v
irz mh:znmh:}gd d+~rh mh:ojrh:c+dc dt*8
v
mzkc mhO6phO?
v
id
x
h:hgmc*=
v! v"
v
irz h(^|tyi;1
K hgb#irhgdT8 tym K cmhO6btyi-c+jr}E~V~knphgm v m}E~knp} v 6f\tzkhO6pc*= ad+m+jr}gd+jkmh:z-t*?@hgm"6v bc x mt*?Inpzkh v i
h < }gnphgid hM v }gd21 ch v m}E~-f\h:}~ v iknpc+f,b x mt*?Inpzni znpc+d+m+nkjkdh:z ~ v c+~Vd v .6ph P^ N SR 9 jkir}1
d+nptyi
v 6nd bT= @ v ib
vPxkx mt
v
}~rh:c ~ v
?@h h:hgi
x
mt
x
tch:z\dt nf x mt*?@h{cEh
v
m}~f\h:}E~
v
iknpc+f\c ni
cjr}~ 476ph c+~ v m+ni c+bIcdhgf\cqb t x d+nf npc+ni d+~rh|mh x 6np} v d+nptyic+d+m v dh nph:c$TTDjrc+ni m v irzktyf
8 v 6K nirc+dh v z\t39Y*ttIzni dt1nf x mt*?@h{d+~rhc6pt v z 1 v 6v ir}gni *tym }:tyf7knikni VLiqjkdhO6C6v 16nK h
cbIc+dhgf\cW8nd+~_ctyf\h c+d+m+jr}gd+jkmh:z tF?@hgm"6
v
bc%&;D &T=
' f G+(' - ) j*) +' g Z ~knC6ph hgirhgm+np} s s ni;9m v cd+m+jr}gd+jkmh:c ~ v ?@h\.h:hgit x d+nf npch:z#dt
d v3K hLnidt v }:}:tyjkiqd x ~qbc+np} v 66ptI} v 6nd b,h v m"6b tyi`DIcEtyf\hmh:}:hgidc8 tym K mhO6nph:ctyi } vPx d+jkm+ni
v irz hM x 6ptynd+ni tyd+~rhgmt9tym+f\ct39 x mt(Mnf nd b c+jr}E~ v c nidhgmh:c+d21 v ch:zDrtymchgf v iqd+np}D x mt(Mnf1
ndb.-F= s h:hgmc7ni v 476phc+~ v m+ni c+bc+dhgff v bhM~knknd7c+nf nC6v mzkt*8i.6pt v z x*v d+dhgm+irc v irz./Ptym
~ v ?@h c+nf nC6v m } v }~rh }:tyidhgiqdc*=0~rh:cEh c+nf nC6v m+nd+nph:c0f v b .hhM x 6ptyndh:z dt zkh4rirh v chgf v iqd+np}
x
mt*MInf nd b_f\h
v
cjkmh
v
irz_dt nf x
mt*?@hd+~rh}:tc+d
v
irz h <
}gnphgir}gb_t39 d+~rhojrhgm+b f\h:}~
v
iknpc+fH=
~rh:cEh
vPxkx mt
v
}~rh:c
v
mh f\tyd+nC?
v
dh:z\bd+~rhc9
v
}gd0d+~
v d chgf
v
id+np}
v
6C6b mhO6
v
dh:z
x
h:hgmc
v
mh{f\tymh
6nK hO6b dt h|jrch9j.6 dt\h v }~ tyd+~rhgm{d+~ v i x h:hgmc x np} K h:z v dm v irzktyf1T=
" 6f\tc+d
v
6C6 ojrhgm+b f\h:}~
v
iknpc+f\c*DX8~rhgd+~rhgm\d+~rhgb mhO6b-tyi Y*ttIzni DX^
N Dtym\c+j
x
hgm21
x h:hgmc v ch:z c+bIcdhgf\c*D@f v bh nf x mt*?@h:z b\npzkhgiqd+nB9bIni cEhgf v iqd+np} v 6C6b mhO6v dh:z x h:hgmc v irz
ojrhgm+bIni d+~rtch x h:hgmc[P} v 6C6ph:z chgf v iqd+np}_irhgn ~qtyjkmc ni d+~rh mhgf v nikni t391d+~knpc x*vPx hgmR
243
658795;:<5;=3>5UAx2{|?5A@,;:CBFcD5E|F5;=,2{|,|GH:*5;=3I@\{J@U"~
4rmcd*= :T9 d+~rhmh:ojrh:c+d1npc|irtyd c v
d+npc"4*h:zD
v
ch:}:tyirz
x ~ v chnpc6
v
jkir}E~rh:zjrc+ni d+~rh cd
v
irz
v
mz
ojrhgm+b f\h:}~ v iknpc+fH=
df ' f -' 6 & f +(' - ) f +;' j o& & v m+nptyjrc vPxkx mt v }E~rh:c(} v ihjrch:z dt } vPx d+jkmh
cEhgf
v
iqd+np}
x
mt(Mnf nd b hgdT8 h:hgi
x
h:hgmc*={irh8
v b npc dt}:tyikirh:}gd c+nf nC6
v
m
x
h:hgmc
v
}:}:tymzni
dt
vx
mh:zkh4rirh:z f\hgd+m+np}1ni_ch
x*v m v
dh:z tF?@hgm"6
v
bc*=
J v
}E~_tF?@hgm"6
v b npc{hM
x 6np}gnd"6b npzkhgiqd+nB4*h:z qb
d+~rh{d b x hLt39>zkt}gjkf\hgidctym v x mh:zkh4rirh:z tyidt\6pt b Pchgf v id+np}}O6v cEc+nB4*} v d+nptyiRF T= {i;9 tym21
d+jki
v
dhO6b/Dzkh4rikni
\v1x
mh:}gnpcEhchgdt39 }O6
v
cc+nB4*}
v
d+nptyi ndhgf\c npc irtyd
v i h v cb\d
v c Kv
irzcjr}~
v i
tyidt\6pt b f v birh:h:z dt }E~ v i htF?@hgm0d+nf\h dt mhY*h:}gd0d+~rh{}E~ v i h{t39 chgf v iqd+np} x mt3476ph:c tF?@hgm
d+nf\h= " d d+~rh tyd+~rhgm(hgirzt39d+~rh\c x h:}gd+m+jkfHD v irtyd+~rhgm vPxkx mt v }E~#npc dt v zkz#ctyf\h\cEhgf v i;1
d+np}c+~rtym+d}gjkdcP!x* v zkznd+nptyi v 6 6ni K cRhgdT8 h:hgi x h:hgmcd+~ v dLc+~ v mhctyf\h(niqdhgmh:c+d .D.T=
~rh:cEh 6ni K c v mh7}gmh
v
dh:z_zbi
v f np}
v
6C6b hgdT8 h:hgi
x
h:hgmc*Dk
v
ch:z_tyi d+~rh7cEhgd{t39f\tc+d mh:}:hgiqd
zktF8i.6pt v zkc 9tym nircd v ir}:h=ajr}E~ v f\h:}~ v iknpc+f&npc?@hgm+b(mh v }gd+nC?@hdt1hO?@t\6C?ni zkt*8i.6pt v z x*v d21
dhgm+ircF= N tF8 hO?@hgm*D.d+~rh7irtyi;1nid+m+jrc+nC?@hi v d+jkmh(t39d+~knpc vPxkx mt v }~ zktIh:c{irtyd v 6C6pt*8 dthM x 6ptynd
9jkm+d+~rhgm
v ? v nC6
v
.6ph1ni;9tym+f
v
d+nptyi_cjr}~
v
cd+~rh7t*?@hgm"6
vPx
hgdT8 h:hgi_}
v
}~rh:cS9tym hM
v f x 6ph=
^Lhgdh:}gd+ni |v irz|f\h v c+jkm+ni cEhgf v iqd+np} x mt*MInf nd b1npc v zn< }gj.6d d v c K =`: i TD v i v i v 6bIcnpc
t39|}O6jrc+dhgm+ni ni x h:hgm21 dt31 x h:hgm476ph c+~ v m+ni c+bc+dhgf d+m v }:h:c ~ v c c+~rtF8i d+~rh hMnpc+dhgir}:h t39
cEhgf
v
iqd+np} }O6jrcdhgm+ni D
v
ch:z tyi d+~rh
v i v 6bc+npc t39
x
h:hgmc}:tyidhgiqdc t*?@hgm"6
vPx
= :i v zkznd+nptyi
dt mh:}:hgidzkt*8i.6pt v z x*v d+dhgm+irc*D d+~rh t*?@hgm"6vPx hgdT8 h:hgi } v }~rh }:tyiqdhgiqdc f v b h jrch:z-dt
f\h v cjkmh d+~rh{cEhgf v iqd+np} x mt(Mnf nd b\hgdT8 h:hgi x h:hgmc T= : i TD v i hO? v 6j v d+nptyi t39 cEhO?@hgm v 6
cd+m
v
dh
nph:c dt }
vPx
d+jkmhchgf
v
id+np}
x
mt(Mnf nd b ~ v c h:hgi }:tyirzjr}gdh:z= @tymh c x h:}gnB4*}
v
6C6b/D
cnf x 6ph c+d+m v dh nph:c0 v cEh:z tyi x*v c+d0mh:ojrh:c+dchg~ v ?Inptyjkm v mh}:tyf x*v mh:z= irh{tyrchgm"? v d+nptyinpc
d+~ v d v cch:ccni chgf v iqd+np} x mt(Mnf ndb d+~knpc 8 v b f v bd6ph v z dt\knv ch:z f\h v c+jkmhgf\hgiqdc*= ~knpc
npc f\tc+d"6b zjrhLdtd+~rh
x
mh:chgir}:h1t39
hgirhgmtyjrc
x
h:hgmc
v
irz
x t x j.6
v
mW476ph:cW8~knp}E~ dhgirz dt~knpzkh
hgijknirh 6ptI} v 6nd b/=0 v } K ni nidt v }:}:tyjkiqdd+~rh:ch 9 v }gdtymcnpcd+~rh1f v ni t v 6 t39 d+~knpc x*vPx hgm*=
" j &*&oh $+.& f k ) j ' j - j &$#j )'*)3+.-&%I & f +(' - ) j*) +' g ~rh vPxkx mt v }E~ x mh1
cEhgiqdh:z ni mhO6nph:c tyi v| tccnx 1 v ch:z x mtydtI}:t\6rdt hM x 6np}gnd"6bzkhgdh:}gd x mt(Mnf nd b hgdT8 h:hgi
x h:hgmc*= " c f\hgiqd+nptyirh:z_.h9tymhDrd+~rh x mt*MInf nd b npc ~rhgmh7f\h v c+jkmh:z v c{d+~rh t*?@hgm"6vPx hgdT8 h:hgi
x h:hgmc } v }~rh }:tyiqdhgidc*= ~rh_jkirzkhgm"6bni tF?@hgm"6v b npc d+~rhgi j x z v dh:z v }:}:tymzni 6b/= ~rh
tcEc+n
x 1 v ch:z
x
mtydtI}:t\6 npc(}:tyf
x
tcEh:z#t39 dT8 t 6v
b@hgmc*= ~rh\tyd+dtyf tyirh hgirc+jkmh:c}:tyikirh:}1
d+nC?Ind b# X8~knC6phd+~rhdt
x
tyirhnpc7jrch:zdt nf x
mt*?@h chgf
v
id+np} cEh
v
m}~`=dZh 8nC6C6 jrchd+~knpc
tcEc+nx 1 v ch:z vPxkx mt v }E~ v c v v c+npc ni d+~knpc x*vPx hgm dt hO? v 6j v dh d+~rh x mt x tcEh:z ct\6jkd+nptyi`=
' j '*)$ `' j : i d+~knpc x*vPx hgm*D8 h x mt x tch v mh4rirh:z chgf v id+np} x mt(Mnf nd b f\h v cjkmh
}
vPx d+jkm+ni
_x h:hgm
hgirhgmtc+nd b v irz 476ph
x t x j.6
v
m+nd bni v
zkznd+nptyiVdt tF?@hgm"6
vPx
hgdT8 h:hgiV}
v
}~rh
}:tyidhgiqdc*=)(jkndh v 9hO8 vPxkx mt v }~rh:c~ v ?@hLh:hgi x mt x tch:z dt jrchchgf v iqd+np} x mt(Mnf ndbkjkd
+;' f +.-b- g - f k j
q← !"#%$'&)(+*-,/.
chgirz
κp
dt
q κq ← mh:}:hgnC?@h/P
qR
κp ← (%021435678!:9;,κp, κq.
<=?>@AA/B
k j # j ) f@Cf )
κq← mh:}:hgnC?@h/PD3R chgirz
κp
dt\chgirzkhgmFP
κq
R
κp ← (+02143:57E!"59;,κp, κq.
n jkmh\GFtV1tcc+nx 1 v ch:z x mtydtI}:t\6 hMkh:}gjkdh:z qb x h:hgm
p
dt7d+~rh{h:c+d t39 tyjkm
K
irt*8c6ph:z
hLirtyd dt(mh4rirh{d+~rhchgf
v
iqd+np}Lf\h
v
c+jkmhdt d
v3K hniqdt
v
}:}:tyjkiqd
d+~rtcEh npcc+jrh:c*= Zh jrch v tcc+nx 1 v ch:z t*?@hgm"6v b c+nf nC6v mdtd+~rh tyirh x mh:chgidh:z ni T=
Zh v 6pct x mt x tch v zkh:}:hgid+m v 6npch:z tcc+nx 1 v cEh:z v 6 tym+nd+~kf dt v ccEh:cct476ph x t x j.6v m+nd b/= Zh
hO?
v 6j v
dhd+~rh nf x
mtF?@hgf\hgiqd t39tyjkm f\hgd+m+np}jrc+ni v h(^Ltyi
K
hgb LirhgdU8 tym
K
d+m
v
}:h
tykd
v nirh:z niIHtF?@hgf7hgmL T=
~knpc x*vPx hgm{npctym qv iknpch:z v c9t\6C6ptF8 cJF ni aIh:}gd+nptyi ;D 8 h x mh:chgidd+~rh(zkh:c+n i m v d+nptyi v 6ph
t39 d+~rh
x
mt
x
tch:z
vPxkx mt
v
}~%K ni#aIh:}gd+nptyi#;D8 h zkh4rirhd+~rh chgf
v
iqd+np}
x
mt*MInf nd b_f\h
v
cjkmhGK
ni aIh:}gd+nptyiV7D8 h x mh:chgid(d+~rh hO? v 6j v d+nptyi t39d+~rh x mt x tch:z#f\h v c+jkmhGK0ni aIh:}gd+nptyi-;D8 h
nid+mtzjr}:h v zkh:}:hgid+m v 6npch:z x mtydt}:t\6.dt7h:cd+nf v dh476ph x t x j.6v m+nd b/D v irz 4ri v 6C6b\}:tyir}O6jrzkhLni
aIh:}gd+nptyi &;=
L
;L1)r02 241!(
" 6d+~rtyj
~`D>d+~rh
x
mt
x
tch:z
vPxkx mt
v
}E~#f
v
bhjrch:z ni v
8npzkhm
v i ht39
x
h:hgm21 dt31
x
h:hgm 476ph
c~ v m+ni c+bc+dhgf\c*D`8 h x mh:chgid7nd nid+~rh }:tyiqdhMd(t39 v ijkirc+d+m+jr}gd+jkmh:zVirhgdT8 tym K =>Zh h1
6nphO?@h d+~ v d{d+~rh7}:tyidhMIdLt39jkirc+d+m+jr}gd+jkmh:z s s t*?@hgm"6v b irhgdT8 tym K cnpc x*v m+d+np}gj.6v m"6b mhO6phO? v iqd
nC?@hgi_d+~rhgnmSY*hMnknC6nd b/=S: i_d+~rh mh:c+dLt39$d+~rh
x*vPx
hgm*D8 h9 t}gjrctyi d+~rh7}
vPx
d+jkmht390chgf
v
iqd+np}
mhO6v d+nptyirc~knx .hgdU8 h:hgi x h:hgmcF=
c+ni nidhgmh:c+d21 v ch:z x mt*MInf nd b dtnf x mt*?@h 476ph1c+~ v m+ni vPxkx 6np} v d+nptyirc mh:ojknmh1dth
v
.6ph dtF}
vPx
d+jkmhD*hO?
v 6j v dh
v
irz hM
x
6ptynd{chgf
v
iqd+np}
x
mt(Mnf ndb hgdT8 h:hgi
x
h:hgmcF=
'+ ' 5) f w h:tym
qv iknpc+ni
d+~rh t*?@hgm"6
v
b\f
v b hzktyirh{hgnd+~rhgm qb
v
zkzni
tym c"8nd}~kni 6ni K c*=
: i-d+~knpc x*vPx hgm*D8 h mhO8nmh 6ni K c v cni TD * 8 h c 8nd}~ v cctItyi v c v hgd+dhgm
} v irznpz v dhnpc7hgir}:tyjkiqdhgmh:z= J v }E~ x h:hgm f v niqd v nirc v 6npc+d(t39chgf v id+np}\irhgn ~.tyjkmc
} v
6C6ph:z ndc chgf
v
id+np}d?nphO8
v
irz zkhgirtydh:z
κi
=MHLhgn
~qtyjkmc
v
mh chO6ph:}gdh:z
v
}:}:tymzni
dt v chgf v id+np} x mt*MInf nd b f\hgd+m+np}= ~rh 8 v b v x h:hgm7}:tyf\h:c v }gmtcc x tydhgiqd+nv 6 irhO8
irhgn
~qtyjkmcnpc zjrh dt d+~rh nf x 6phgf\hgid
v
d+nptyiDt39|d+~rh
tcc+n
x 1 v ch:z
x
mtydtI}:t\6= ~rh
v 6 tym+nd+~kf npc nC?@hgi ni n jkmh= " c ni TD v tyd+dtyf 6v b@hgm hgirc+jkmh:c}:tyikirh:}gd+nC?Indb/=
C + o+;' j J v }E~ x h:hgm irh:h:zkc>dt hO? v 6j v dhndc>cEhgf v iqd+np} znpcd v ir}:h-$dt{tyd+~rhgm hgir}:tyjkiqdhgmh:z
x h:hgmc v irztymzkhgm|d+~rhgf jrc+ni d+~rh:ch(f\h v c+jkmh v c v m v i K ni 9jkir}gd+nptyi`= ~rh !O\(
K
irtF8i
x
h:hgmc
v
}:}:tymzni
dtd+~knpcf\h
v
c+jkmh
v
mh|chO6ph:}gdh:z
v
cirhgn
~qtyjkmc*=Zh
x
mh:chgid
d+~knpcf\h v c+jkmh1ni aIh:}gd+nptyi_;=
F)I j '*+;' j aIhgf v id+np}{irhgn ~.tyjkmc v mhW4rmc+d ct\6np}gndh:z\ni v ch v m}~\mh:ojrh:c+d*= J ?@hgi%8nd+~
v
c+ni 6ph~rt
x
ch
v
m}~`Dc+d+jrznph:c0~
v c c+~rt*8i d+~
v
d9tym0d b x np}
v 6 s s 476ph c+~
v
m+ni
c+bc+dhgf\c
8 tym K 6pt v zD78 h7tykd v ni v tItIz ~knd m v d+npt .DT= :T9 d+~rh cEh v m}~ v ch:z tyi chgf v iqd+np}
irhgn ~qtyjkmc9 v nC6pc*Dd+~rh1c+d v irz v mz tyirh1npcjrch:z=
;|024{{.<& .0/ E24 24 )*( .
Zh|nid+mtzjr}:h v iqjkf(.hgmt39 x mt*MInf nd b f\h v c+jkmh1irtyd v d+nptyircJF
• A npcd+~rh 6pt} v 6 x h:hgmJK
• B npc v znpc+d v iqd x h:hgm{znpc+d+nir}gd9tym+f
AK
• ξA(B) npcd+~rh chgf v id+np} x mt(Mnf ndb f\h v c+jkmh B v }:}:tymzni dt AK
• κA P mh:c x = κBR npcd+~rh?InphO8 t39 d+~rh x h:hgm
A P mh:c x = BR K
• σA,B
npcd+~rh tF?@hgm"6
vPx t39
κA
v
irz
κB
F
x*
σA,B=κA∩κB
K
tym1d+~rh c v3K h t39 }O6v m+nd b/D c+d v m+d+ni 9mtyf v v c+np} chgf v id+np} f\h v c+jkmhD8 h8nC6C6 x mh:chgid
cjr}:}:h:cc+nC?@h|mh4rirhgf\hgiqdc v cd+~rh cEh:}gd+nptyi th:cF=
" v c+np}npzkh v D jrch:z ni#chO?@hgm v 6 vPxkx mt v }E~rh:c ;Dg D>TD }:tyirc+npcdc1nif\h v c+jkm+ni d+~rhch1
f v id+np} x mt(Mnf ndbhgdT8 h:hgi x h:hgmc v c d+~rhc+n hLt39 d+~rhLt*?@hgm"6vPx hgdT8 h:hgi d+~rhgnm} v }~rh:cF=A~rh
mh
v
dhgm{d+~knpcc?
v 6jrhDrd+~rh chgf
v
iqd+np}
v
6C6b }O6ptcEhgmd+~rh
x
h:hgmcF=
Zh4rmc+d irtym+f v 6npchd+~knpc ? v 6jrh v }:}:tymzni dt
Ac } v }E~rh\ni#tymzkhgm(dt K h:h x d+~rhc v f\h zkh4riknd+nptyi_mh nptyi`=
ξA1(B) = |σA,B|
|κA|
PFR
~rhf\tymh 476ph:c
A v irz B ~ v ?@hLni }:tyf f\tyi`Dd+~rhL}O6ptcEhgm dt Ld+~rhLf\h v c+jkmh=-HLtydhd+~ v d
v
dd+~knpcc+d
vP
hDirhgnd+~rhgm{d+~rh 476ph
x t x j.6
v
m+nd b irtym
Bc hgirhgmtcnd b v mh1d
v3K hgi nidt
v
}:}:tyjkiqd*=