Fully Bayesian Image Segmentation - an Engineering

Perspective
Robin Morris, Xavier Descombes, Josiane Zerubia

To cite this version:

Robin Morris, Xavier Descombes, Josiane Zerubia. Fully Bayesian Image Segmentation - an
Engineering Perspective. RR-3017, INRIA. 1996. <inria-00073677>

HAL Id: inria-00073677

https://hal.inria.fr/inria-00073677
Submitted on 24 May 2006

HAL is a multi-disciplinary open access Larchive ouverte pluridisciplinaire HAL, est

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.
destinee au depot et a la diffusion de documents
scientifiques de niveau recherche, publies ou non,
emanant des etablissements denseignement et de
recherche francais ou etrangers, des laboratoires
publics ou prives.
 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Fully Bayesian Image Segmentation an

Engineering Perspective

Robin Morris, Xavier Descombes and Josiane Zerubia

N 3017
October 1996

THEME 3

apport
de recherche
ISSN 0249-6399
 
 
 

   
!"$#&%
'(  )"
*+ ),.-/ 01"2

35476,8:9<;<47=>=>8:?A@"BDCFEG8:HA=IHA?>JA47K/6LHM?NCO9"PRQO47?8SCO9,HUTVHM=XW"68SC
Y[Z\^]D_a`bdcfehg$_^i$jFklgmonpeqZnp]D]D_Xrs]tjFk>Z7moe_pu
mo]tjFvp_^wxu.ynpeez^_^wxuGk^npeeGjAmow$wjFek^_^w
{inA|_lg{,}~OY[c~
jF,npigy_5i_^kZ_^ik>Z_ea`pOMbklg$np_^ippb NGjFvp_^w
/V^xMhh _lh_lonp]D_^ehg$wmoejFipnxZGjAmoeqnpeg$_N!jFionUink^_^yi_^wZGjxh_]tjFy_mg
, npw$wmo7o_g$n,_^iSnpi]S7+!jxh_^wmjFeRmo]tjFvp_/w_^vp]D_^ehgjAgmonpeg$Z7mow_/]D_xjFe<g$ZGjAgDjA
g$Z_qGjFi$jF]D_lg$_^iwUjFi_g$i_xjAg$_^ymoy_^ehgmokxjAhu[,_g$Z_l<g$Z_qw$_^vp]D_^ehgjAgmonpejF_lowug$Z_kljFww
GjFi$jF]D_lg$_^iw!npig$Z_jFipnxjFeynp]Vmo_loy/imonpiGjFi$jF]D_lg$_^iwx+__^iSnpi]g$Z_jFeGjAOw$mow
+wjF]D7moevinp]g$Z_/,npwg$_^imonpiy7mowg$imo7gmonpenFjAg$Z_UGjFi$jF]D_lg$_^iwx~7jF]D7moevSinp]
g$Z_qGjFi$jF]D_lg$_^iwUZGjFw/g$i$jFy7mgmonpeGjA,_^_^ek^npewmoy_^i_^ym5enFgmoeg$i$jFklgjF7o_qg$Z_^ejAg
o_xjFw$gk^np]D7gjAgmonpeGjAinpZ7mo7mgmh_pceg$Z_DwgjAgmowgmok^wmg$_^i$jAg$i_Ng$Z_^i_tjFi_Ny_^w$k^imo7gmonpew
nF_X_^imo]D_^eg$ww$Znx[moev/g$ZGjAgg$Z_qGjFi$jF]D_lg$_^iw]tj^,_awjF]D7o_^yhqjFinxOmo]tjAgr
moev/g$Z_aGjFigmgmonpeSeklgmonpeY[Z_^w__X_^imo]D_^eg$wjFi_jAu,Znx_lh_^i^u1npe+g$n,,inp7o_^]Dw
Snpi5g$Z_UgO7mokxjA[wmo^_/nFmo]tjFvp__^ek^npehg$_^i_^ymoeR_^evFmoe_^_^imoev+jF7mokxjAgmonpewDZGjFw$_g$i$jFew$mr
gmonpe(_^ZGjxmonpinFg$Z_t]DnOy_low5,_^k^np]D_^wj]tjM|npimo]NmgmoevqSjFklg$npimoeg$Z__^wgmo]tjAgmonpe(nF
g$Z_/GjFigmgmonpe(Seklgmonpe_lh_^ig$Z_lo_^w$wxuL_Uw$Znxg$ZGjAga[mg$Z(wnp]D_kxjFi_puL7+[j^h_^w$mjFe
w_^vp]D_^ehgjAgmonpekxjFe,__^iSnpi]D_^ynpei_xjAmowgmokwmo^_^ymo]tjFvp_^wx+_5jAownDk^np]DGjFi_g$Z_7
[jxh_^wmjFeqjFinhjFkZq[mg$Zg$Z_ajFinxOmo]tjAg$_w$_^ynFmop_lmoZnnOyq]D_lg$ZnOy
h"$ MVh cf]tjFvp_w$_^vp]D_^egjAgmonpeu1jFipnqkZGjAmoenpehg$_D!jFionu"GjFi$jF]D_lg$_^i_^w$gmo]tjMr
gmonpeujFipnjFeynp]Vmo_loyuGGjFigmgmonpeSeklgmonpe
oxL^
 GXS>!SAMpXSD^t5Xx>A,X[!X>A.AXp>U,X[MM
AF"AV"A>X>
> $o
   SXMM ASx

Unite de recherche INRIA Sophia-Antipolis

2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France)
Telephone : (33) 93 65 77 77 Telecopie : (33) 93 65 77 65
  
!"$#

 
   0L#) .#
 s
.-/ 01
  .0$ 0V -#
) s
$ 
)
     iFk^_jFyzlh_lonp,_^]D_^ehgiz^k^_^ehgy_^w[]Dzlg$ZnOy_^w!uOm"_^w$g!]tjAmoeg$_^eGjFehg
,npw$wmo7o_y_izxjAmow$_^i!y_^w!w$_^vp]D_^ehgjAgmonpewy mo]tjFvp_O7m"w$nFmo_^ehg[k^np]D7o\lg$_^]D_^ehgGj^h_^wmo_^ee_^wx
_ 7mw$movpe7mG_O_g$npwo_^wGjFi$jF]D\lg$i_^ww$npegg$i$jAmg$z^wy_5j^npemoy_^ehgmO_puO mwxjFvFmoww$_
y_^wzlgmO _lgg$_^wy_Dw$_^vp]D_^egjAgmonpeuy_^wGjFi$jF]D\lg$i_^way_NkljFw$w_np_^ek^npi_Dy_^wGjFi$jF]D\lg$i_^w
i_ljAgmSw  jinpGjF7mmg$zjimonpimykZGjF]Dy_jFipn,  jFeGjAOw__^wgt_",! _^klg$zqGjFi
z^k>ZGjFehgmonpeeGjFvp_# GjFigmoiVy_jy7mowg$imo7gmonpetj,npwg$_^imonpimOy_g$npwVo_^wGjFi$jF]D\lg$i_^wx%$ kZGjFeOr
gmonpee_^i&N  GjFigmoiy_^wGjFi$jF]D\lg$i_^wykZGjF]Dqy_5jFipnx_^wg[g$i$jFy7mgmonpee_lo_^]D_^egk^npew$mr
yz^izDk^np]D]D_inpZ7mo7mgm!ye(nFmoegay_NO_Nmoe7Snpi]tjAgmO_p'$e+wgjAgmowgmO_pu1y_^w5GjF7mo_^iw
yz^k^imh_^egay_^w_Xz^imo_^ek^_^wn)( o_^wGjFi$jF]D\lg$i_^w5ykZGjF]D(y_NjFipnxw$npehg5z^k>ZGjFehgmonpeOr
ez^wGjFijFin^7mo]tjAgmonpey_jDSnpeklgmonpey_aGjFigmgmonpe_^w_Xz^imo_^ek^_^ww$npegezxjFe]DnFmoew
izxjAmowz^_^w/w$iUy_^wUinp7o\^]D_^w/g$i\^wUwmo]D7o_^wx{LnpiUj+gjAmo_y_^w/mo]tjFvp_^w7gmmow$z^_^wyGjFew
y_^wjF7mokxjAgmonpewiz^_lo_^wxu.o_inp7o\^]D_ay_jDg$i$jFewmgmonpeqy_5ZGjFw_5_^wgejFklg$_^i]tjM|_^i
y_Nmo]NmgjAgmonpe(_^z^vhjFi* y U_^wgmo]tjAgmonpe+y_jUnpeklgmonpe(y_GjFigmgmonpeDzxjFe]DnFmoewxuLenpw
]Dnpeg$inpe+w e_w$_^vp]D_^egjAgmonpek^np]D7o\lg$_^]D_^ehgGjxh_^wmo_^ee__^wg,npw$wmo7o_w$iy_^wmo]tjFvp_^w
y_gjAmo_^wjFww$_^tvpi$jFey_^wxu,npiO, _DnpeRi_^ee _ O_l O_^wiz^kxjF7gmonpewxqnpwk^np]r
GjFinpewtjFwwmjFinOkZ_k^np]D7o\lg$_^]D_^egGj^h_^w$mo_^ee_j^h_^ke_jFink>Z- _ 7m!7gmmow$_Uj
w_^ynArOi$jAmow$_^]7jFek^_pu O7m1e_^w
g Oe_ajFin^7mo]tjAgmonpe
. x 0 /  w$_^vp]D_^ehgjAgmonpey mo]tjFvp_pukZGjF]Dy_jFipn,u_^wgmo]tjAgmonpey_UGjFi$jF]D\lg$i_pu
!u7npeklgmonpey_aGjFigmgmonpe

 
 

  !" $#
#%& `

' #, ,

( )+* x Lp, * -
. /10 . / -
2 ~7jF]D7moevtg$Z_a{LnFgg$wqnOy_l5a5555a5555a5 3
2 2 Y[Z_jFw$wnpey7mgmonpeGjAL{inpGjF7mmgmo_^w555a5555a5
2 ` Y[Z_5{Vnpwg$_^imonpi mowg$imo7gmonpe5a5555a5555a5
4 5 76 /%, *98 0 ; : A  A <
`7 ~7jF]D7moevtg$Z_aw$_^vp]D_^ehgjAgmonpeqjF_low<5555a5555a5
`7 2 ~7jF]D7moevtg$Z_akljFw$w]D_xjFeqjFeypjFimjFek^_aGjFi$jF]D_lg$_^iwU555a5
`7` ~7jF]D7moevtg$Z_a]Dny_lwZO,_^iGjFi$jF]D_lg$_^i 55a5555a5 p
`7> = ~7jF]D7moevtg$Z_a{w$_^ynFmop_lmoZnOny 5555a5555a5 2
- / /:xt * @ ? * 0 / L , * (4
/10 5  * L * B A *98  / 8  ,: 0  (C

L EDGFHIKJ
= &
G  &  
1
    &
B 
 &!
 9 

G%

 7),#N
a0,$#
cf]tjFvp_w$_^vp]D_^egjAgmonpejFeyZ_^i__ajFi_imo]tjFimk^npek^_^ie_^y[mg$Zg$Z_w$_^vp]D_^egjAgmonpeqnF
~O{Ymo]tjFvp_^wnFjFvpimok^7g$i$jAi_^vFmonpew mowNjkljFw$wmok/kxjFw$_nFjFe(mrsnpw_^y(inp7o_^ ]  ` 
g$Z_DyGjAgj/g$Z_^]Dw$_lh_^wajFi_DenFg5w! tklmo_^ehgg$neGjF]a7movpnpw$y"_ Ge_tjUw$nFo7gmonpe# "wmoev
npe7g$Z_tyGjAgjjFey(enw$]DnnFg$Ze_^wwjFw$w$]D7gmonpew5o_xjFyw5g$nqjUh_^ienFmoww$_^vp]D_^ehgjAgmonpeu
i$jAg$Z_^ig$ZGjFeg$Z__lLy"_ Ge_^yuGZnp]Dnpvp_^e_^npwi_^vFmonpewg$ZGjAgjFi_5w$npvpZ$g  pu" 2 
Y[ZGjAgLimonpiLmoe7npi]tjAgmonpeNjFw1g$ng$Z_y_^wmoi_^yw$nFo7gmonpe5mowj^pjAmjF7o_ eGjF]D_lg$ZGjAgLg$Z_w$_^vAr
]D_^egjAgmonpew$Znp7oyk^npew$mowgnFZnp]Dnpvp_^e_^npwi_^vFmonpe%w eGjAg$i$jAqw$vpvp_^w$g$wwmoevUj[jxh_Xr
w$mjFe/jFinhjFkZuOZ_^i_g$Z7mowmoe7Snpi]tjAgmonpeU]tj^,__xjFwmjFey/eGjAg$i$jAtmoek^npinpi$jAg$_^yUmoeg$n
g$Z_tjMrsimonpimy7mowg$imo7gmonpe+Snpig$Z_Dw$_^vp]D_^ehgjAgmonpe/Y[Z_tw$_DnF[j  mow5y7mowg$imo7gmonp& e npi
_ O7mpjAo_^ehghuj<jFipnjFeynp]Lmo_lo' y ( )* =+npig$Z7mowUjMrsimonpimy7mowg$imo7gmonpemow
wnp]D_lg$Z7moevDg$ZGjAgZGjFwen,_^_^ek^np]D]DnpeSnpi[w$np]D_gmo]D_p
Y[Z_U]tjAmoeinp7o_^] [mg$ZRg$Z_w$_nFwDjFwi_^vp7jFimow_^iwDZGjFwD_^_^eRmoeRg$Z__^wgmr
]tjAgmonpenFg$Z_N]Dny_lw5GjFi$jF]D_lg$_^iwY[Z7mowmowy_Ng$nUg$Z_tjFeGjAOgmokNmoehg$i$jFklgjF7mmgsnFg$Z_
GjFigmgmonpeSeklgmonpeu,jFeyZGjFwo_xjFyg$njte]a,_^inFjFinxOmo]tjAg$_]D_lg$Znyw,_lmoevinp,nAr
w_^, y  u 2 Snpi5g$Z7mowNi,npw$_pq_^k^_^ehg(]D_lg$ZnOywNZGj^h_U_^_^eRinpnpw_^y(Z7mok>ZR_^w$gmo]tjAg$_
g$Z_GjFigmgmonpeqSeklgmonpe[mg$Zw$! tklmo_^ehgjFk^k^i$jFklg$n/_^eGjF7o_5mop_lmoZnOnyqmoe7_^i_^ek^_npig$Z_
]DnOy_lwGjFi$jF]D_lg$_^iwg$na__^iSnpi]D_^ y 7u7- uOjFeyUjAow$na_^eGjF7o_g$Z_,npwg$_^imonpiy7mowg$imo7gmonpe
Snpig$Z_N]Dny_lw5GjFi$jF]D_lg$_^iw5g$n_NwjF]D7o_^ymoejjFipnk>ZGjAmoe+qnpeg$_/!jFionw$k>Z_^]D_pu
i_^w7gmoevDmoejS7U[j^h_^w$mjFe.jFeGjAOw$mo.w  
ceg$Z7mowGjF,_^iV_y7mow$k^www$np]D_!nF.g$Z_^w$_[wgjAgmow$gmokxjAmoy_xjFwinp] jFeD_^evFmoe_^_^imoev5w$gjFeyOr
,nFmoehgx!+_aw$Znx g$ZGjAgjFw$,_^klg$wnFg$Z_]Dny_lowk^npewmoy_^i_^y]tjFp_ag$Z7mowS7[j^h_^wmjFejFOr
inhjFk>Zk^np]D7gjAgmonpeGjA_X,_^ewmh_aSnpig$Z_w$mo^_^wnFmo]tjFvp_^w_^ek^npehg$_^i_^ymoei_xjArnpioy
inp7o_^]DwN+_tk^np]DGjFi_Dg$Z_Di_^w$7g$w5nF!w$wgmg$7gmoevg$Z_tw$_^ynFmop_lmoZnOnyZ_^e(wjF]r
7moevtg$Z_5qRGjFi$jF]D_lg$_^iwujFeyk^npekloy_5[mg$Zqw$np]D_k^np]D]D_^ehg$wjFnp7gg$Z_5]Dny_low
/ 3
021 4 # $
+_k^npewmoy_^i/g$Z_q_lrsene {VnFgg$w]Dny_ljFwtg$Z_i_^vp7jFimow$_^i^Y[Z_q{VnFgg$w]Dny_lmow
y"_ Ge_^yqh
GH JRQ M
57698;: <>=@? B C6 A <>=>DE!F <$IJLKM7NO69P P =CST

? B 6CA >
V 698X=)=
6C<U W -
< =>DE!F

Y[Z Y9\

 
 

  !" $#
#%& 3

Z_^i_ B 6C<>= mowg$Z_GjFigmgmonpeeklgmonpeu
J KM moey7mokxjAg$_^wjw$] nh_^iVjAOe_lmovpZ,npimoevGjAmoiw

nFV7m7_lowjFey N6 = mow!g$Z_y_lgjNeklgmonpeY[Z7mowi_^yk^_^w[g$nNg$Z_e]_^inFLZnp]Dnpvp_^e_^npw
klm O_^w[moeg$Z_i_xjAmow>jAgmonpeu.V 698X=
Y[Z7mow[]Dny_lZGjFw!_^_^e_X7g$_^ewmh_l/w$g$y7mo_^ymoeg$Z_wgjAgmow$gmokxjA"ZOw$mok^w!mg$_^i$jAg$i_puGjFey
jae]_^i!nFjFeGjAOgmokxjA,i_^w$7g$w!np7gjAmoe_^y1moeg$_^i_^wgg$nwZ_^i_mowg$ZGjAg Smoe/g$Z_moe Ge7mg$_
w$mo^_mo]Nm%g g$Z_5]DnOy_l_X7Z7mo7mg$wjNZGjFw$_g$i$jFewmgmonpeqjAg
< ? A 6 =

 A 
Z_^i_ mowNg$Z_e]a,_^itnFkljFw$w_^w  3-<cfeRg$Z_ Ge7mg$_wmo^_kxjFw$_pug$Z_ZGjFw$_g$i$jFew$mgmonpe


]tjFe7mS_^w g$w5jFwjFejFi7g5kZGjFevp_tnF_^ZGjxmonpinh_^i5j/w]tjAi$jFevp_DnFFjAo_^wnF < klonpw$_

g$n < }wg$Z_qwmo^_nFg$Z_qjAggmok^_jFey_^w$_^klmjAg$Z_e]a,_^iUnF5kljFw$w$_^wk^npew$moy_^i_^y
moek^i_xjFw_^wxu[g$Z_jFi7g$e_^wwUnFg$Z7mowUkZGjFevp_nF5,_^ZGj^Omonpi/,_^k^np]D_^w]Dnpi_inpenpek^_^y
Y[Z_DjFipnxkZGjAmoe]D_lg$Znyww_^yg$nUwmo]7jAg$_Di_xjAmowjAgmonpewnFg$Z_N]Dny_ljAow$nU,_^k^np]D_
]kZ<]Dnpi_won g$nqk^npeh_^ivp_klonpw$_Dg$ng$Z_ZGjFw$_Dg$i$jFew$mgmonpe/Y[Z7mowamow5g$Z_t]tjAmoe+kxjFw_
nFg$Z_y7m tk^7gsmoe jF7Omoevg$Z_7R[j^h_^wmjFejFinhjFk>Z g$ni_xjA_^evFmoe_^_^imoev<wmo^_^y
inp7o_^]Dwt<g$n<y_^]Dnpewg$i$jAg$_qg$ZGjAg/g$Z_]D_lg$ZnOy npiOw/moe imoeklmo7o_pujFe mo]tjFvp_nFwmo^_
 U  7m_low[mg$Z  kljFw$w$_^wmowNw$!
tklmo_^ehg moe<ji_xjA[jF7mokxjAgmonpe_U]awgDy_xjA[mg$Z
mo]tjFvp_^w[nFjAg!o_xjFwg  U  jFeynFg$_^e]akZjFivp_^ i !jFeyU]tjFeU]Dnpi_kljFww$_^w Smoeg$Z7mow
GjF,_^i!_aZGj^h_  kljFww$_^%w X
  "!$#&%('*),+.-/103254"--68794;:,0<%

+_w$_g$Z_!~_^eyw$_^eOr(jFev s~r jAovpnpimg$Z]  3 g$nwmo]a7jAg$_!i_xjAmowjAgmonpewnFg$Z_{LnFgg$w

]DnOy_lY[Z7mow[jAovpnpimg$Z]]Nm7_^wSmo__X77onpi_^wg$Z_wgjAg$_w$GjFk^_ ]akZ]Dnpi_Si_^_ltg$ZGjFejAr
vpnpimg$Z]DwZ7mokZt,yGjAg$_[npe7NwmoevFo_wmg$_^wjAgjgmo]D_ wkZjFwg$Z_wGjAmo]D7o_^]D_^ehgjAgmonpew
nFg$Z_  mowa~7jF]D7o_^i5npig$Z_Dq_lg$inp,nFmowr VjFwgmoevpwajAovpnpimg$Z ] XNY[Z_t~_^eyw$_^eOr(jFev
jAovpnpimg$Z] mownp7gmoe_^ymoeqjF,_^ey7m}
Lmovpi_t5w$Znxwg$Z__lhnFo7gmonpeqnFVg$Z_e]a,_^inFZnp]Dnpvp_^e_^npwklm _^w[moeg$Z_ai_xjAmr
w>jAgmonpewnFg$Z_D~r jAovpnpimg$Z]&npij{VnFgg$w]Dny_lnFwmo^_  U  [mg$Z  kljFw$w$_^wu,jAg$_^i
g$Z_ Giwg 2 pmg$_^i$jAgmonpew_^i_y7mowvhjFiy_^yUo_xjFig$Z_jAovpnpimg$Z]k^npeh_^ivp_^w O7mokg$n
g$Z_D_ O7mmoimo]y7mow$g$imo7gmonpeuLjFeyg$Z_^e_X7onpi_^w5Si_^_lg$Z_Di_^vFmonpe(nFg$Z_DwgjAg$_DwGjFk^_
[mg$ZjFi_^klmjF7o_inpGjF7mmg]tjFw$wxnpeg$i$jFw#g Gvpi_ 2 uZ7mokZw$Znxwg$Z_5_lhnFo7gmonpeSnpi
g$Z_{VnFgg$w[]Dny_lnF1wmo^_  U  [mg$Z  kljFw$w$_^w enFg$_g$Z_Znpimo^npegjA1w$kxjAo_ XY[Z_^i_mow
jaeGjFiinx GjFeyUnFFjAo_^wZ_^i_g$Z__X7onpi$jAgmonpenFg$Z_w$gjAg$_w$GjFk^_mowwovpvFmow$Zo_xjFi
g$Z7mowmowjnFg$_^egmjAVkxjFw$_nF_XOg$i_^]D_lmoeGjFk^k^i$jAg$__^wgmo]tjAg$_^w/npiFjAo_^wnF < klonpw$_ag$n
g$Z7mowZGjFw$_!g$i$jFewmgmonpe]tjFeNmg$_^i$jAgmonpew]aw$g_[y7mowvhjFiy_^yDg$n_^ew$i_[g$ZGjAgg$Z_jAovpnpimg$Z]
ZGjFwk^npehh_^ivp_^yg$ng$Z_a_ O7mmoimo]&y7mow$g$imo7gmonpeu"jFeyqg$Z_^ejFe_XOg$i_^]D_ljFivp_e]_^i

L EDGFHIKJ
 &
G  &  
1
    &
B 
 &!
 9 

G%

2200

2000

number of homogeneous cliques

1800

1600

1400

1200

1000

800
0 50 100 150 200 250 300 350 400

Vmovpi_N
Y[Z__lhnFo7gmonpenFLg$Z_e]_^inFVZnp]Dnpvp_^e_^npwklm O_^w!moeg$Z_i_xjAmowjAgmonpewnF

iteration number

g$Z_{VnFgg$w[]Dny_l"h/g$Z_~_^eyw$_^eOr(jFevtjAovpnpimg$Z]uSnpijFe/mo]tjFvp_nFLwmo^_  U  [mg$Z

 kljFww$_^wxu7Snpi!FjFimonpwFjAo_^wnF <

nF,i_xjAmowjAgmonpew]wg,_[w$_^yZ_^eDnpi]Nmoev5jFeNnpehg$_!jFion5_^wgmo]tjAg$_^wxupg$n_^ewi_!g$ZGjAg
g$Z_wgjAg$_w$GjFk^_5mowjFy_ OGjAg$_lqwjF]D7o_^yVmovpi_moey7mokxjAg$_^wg$ZGjAgg$Z_^w_ak^npewmoy_^i$jAgmonpew
ynenFgNZnFoy([mg$Z<g$Z_/w>jF]D_Snpik^_Snpig$Z_/wmo^_/nFmo]tjFvp_^wNw$_^y<moe+g$Z_g$nx"Vinp7o_^]Dw
y7mowk^w$w$_^ymoeg$Z_mg$_^i$jAg$i_i_lmonpwh
npewmoy_^i[g$Z_mop_lmoZnOnynpi!g$Z_GjFi$jF]D_lg$_^i < vFmh_^eqjNw$_^vp]D_^egjAgmonp
e 8
576C<;: 8  =>? B 6CA >
V 6 8X =)=
6C< U W
< = DEF
Z_^i_
B 6C<X=X? I V 698X=)=
6C< U 
 DEF
Y[Z_a]tjMOmo]]mop_lmoZnnOy_^wgmo]tjAg$_5mowvFmh_^eh
56C< : 8  = Q B
6C<>=


< ? V  =
6 8X B 6C<>= ? 
jFey B
6C<>= B 6C<>=(?  V 698X= u7g$ZGjAgmowxu7g$Z_a]D_xjFee]_^inFZnp]Dnpvp_^e_^npwklmO_^w
 ey_^ig$Z_5y7mowg$imo7gmonpey_"Ge_^yhUg$Z_FjAo_anF < Y[Z_a]tjMOmo]] mop_lmoZnOny_^w$gmo]tjAg$_
mowg$Zwg$Z_pjAo_5nF < Snpi!Z7mokZ
V 6 8X = ?  V 698 =


Y[Z Y9\

 
 

  !" $#
#%&

4
x 10
14

12

number of homogeneous cliques

10

2
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5

Vmovpi_ 2 Y[Z__lhnFo7gmonpenFLg$Z_e]_^inFVZnp]Dnpvp_^e_^npwklm O_^w!moeg$Z_i_xjAmowjAgmonpewnF

iteration number 4
x 10

g$Z_{LnFgg$w]Dny_lhg$Z_/~_^eyw_^eOr(jFevjAovpnpimg$Z]uVSnpi5jFe+mo]tjFvp_tnF[wmo^_  U 

[mg$Z  kljFw$w$_^wxunpiFjFimonpwpjAo_^w!nF < nFg$_g$Z_y7m !"_^i_^ehg[Znpimo^npegjA1w$kxjAo_Sinp] Gvpi_
h
Y[Z_vpi$jFZw5moe Gvpi_^w`qjFey =w$Zn  WV 698X=  Sinp]npehg$_/!jFionqwmo]a7jAgmonpewx
o_xjFi(npiag$Z_qg$n,Vinp7o_^] g$Z_/]tjM7mo]a] mop_lmoZnOnyR_^wgmo]tjAg$_UnF < kxjFeR_xjFwm+,_
Snpeyu7jFeyg$Z_FjFimjFek^_nFg$Z_i_xjAmow_^y/e]a,_^inF1Znp]Dnpvp_^e_^npw[klm O_^wmoww$!tklmo_^eg
w]tjAg$ZGjAgg$Z_!_^wgmo]tjAg$_^wjFi_i_lmjF7o_pV.npiLg$Z_!wmo]7jAgmonpewnFjFemo]tjFvp_!nF.wmo^_  U 
[mg$Z 3akljFw$w$_^wxuOZnx_lh_^i^umgmowklo_xjFig$ZGjAg!h_^i]tjFemo]tjFvp_^w![m,SjA,moehg$nNg$Z_^npe_e_xjFi
g$Z_ZGjFw_g$i$jFewmgmonpe jFwg$Z7mow[moekloy_^wjh_^ijFivp_5i$jFevp_5nFVpjAo_^wnFV V 6 8X = X
 

/,0 %*"6 6 4 )1:&' -'4 ),"% 2   
4 1 '*%*'-'0 6

Y[Z_^w_qy7mowg$imo7gmonpewUy_^w$k^imo,_ZGjAg__X,_^klgtg$n(npw$_^ih_jAgUj(7m7_lu!Oenx[moev<g$ZGjAg
mgmowmoejqGjFigmok^7jFiDkljFw$w} k^np]D]Dnpe jFw$w$]D7gmonpeRmoe<g$Z_Uw_^vp]D_^ehgjAgmonpe nFw>jAg$_lmg$_
mo]tjFvp_^imowg$ZGjAgg$Z_5vpi_lwkxjAo_FjAo_^wjFw$w$nOklmjAg$_^y[mg$ZjDGjFigmok^7jFikljFwwjFi_5vhjFw$w$mjFe
y7mow$g$imo7g$_^yu[mg$Z j]D_xjFe jFeyFjFimjFek^_y_^,_^ey7moevnpeRg$Z_kljFw$wxujFeyRg$ZGjAgDg$Z_ljFi_
k^npey7mgmonpeGjAmoey_^,_^ey_^ehgvFmh_^eg$Z_5w$_^vp]D_^egjAgmonpeY[Z7mowvFmh_^w
 Q 6
J Q   =
576 
: 8 =
J
?
 A  
 DEF      2 

Z_^i_   jFey   jFi_g$Z_]D_xjFeqjFeypjFimjFek^_ajFw$w$nOklmjAg$_^y[mg$Zg$Z_5kljFw$w!moey7mokxjAg$_^yqh
g$Z_jF,_l P jAgonkxjAgmonpejFeymow[g$Z_npw$_^ih_^yqmo]tjFvp_p

L EDGFHIKJ
 &
G  &  
1
    &
B 
 &!
 9 

G%

2200

2000

number of homogeneous cliques

1800

1600

1400

1200

1000
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9

Vmovpi_N` [Y[Z_]D_xjFejFeywgjFeyGjFiyy_lmjAgmonpenFg$Z_e]a,_^inFZnp]Dnpvp_^e_^npw5klm O_^w

beta

moeNg$Z_!i_xjAmowjAgmonpewnF.g$Z_[{VnFgg$w]DnOy_lhg$Z_~_^eyw$_^eOr(jFevjAovpnpimg$Z]uSnpijFeNmo]tjFvp_
nFwmo^_  U  [mg$Z  kljFw$w_^wxuGjFwjSeklgmonpenF <

4
x 10
14

12
number of homogeneous cliques

10

2
0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9

V movpi_ = [Y[Z_]D_xjFejFeywgjFeyGjFiyy_lmjAgmonpenFg$Z_e]a,_^inFZnp]Dnpvp_^e_^npw5klmO_^w
beta

moeNg$Z_!i_xjAmowjAgmonpewnF.g$Z_[{VnFgg$w]DnOy_lhg$Z_~_^eyw$_^eOr(jFevjAovpnpimg$Z]uSnpijFeNmo]tjFvp_
nFwmo^_  U  [mg$Z  kljFww$_^wxujFwjNSeklgmonpenF <

Y[Z Y9\
 
 
 

  !" $#
#%&



/,0.254 6 -0  
'*4  '(6 -  
' ,-'*4 )

cg[mowjFeGjA7wmownFVg$Z_5,npwg$_^imonpi[y7mowg$imo7gmonpeg$ZGjAg_[m1yi$jx moe7S_^i_^ek^_^wjF,np7g[g$Z_
w_^vp]D_^ehgjAgmonpeu"g$Z_aGjFi$jF]D_lg$_^iwnFg$Z_kljFw$wk^npey7mgmonpeGjAy7mow$g$imo7gmonpewjFeyg$Z_NjMrsimonpim
w_^vp]D_^ehgjAgmonpe]DnOy_lwDZh7,_^iGjFi$jF]D_lg$_^iwxY[Zw_jFi_moehg$_^i_^w$g$_^ymoewjF]D7moevSinp]
5698   < : = "wmoev[j^h_^wY[Z_^npi_^]jFey+eGjAg$i$jAmoey_^,_^ey_^ek^_/jFww$]D7gmonpew5_
img$_5g$Z7mowjFw
576 : 8 =L57698 : <X=L576 =L576C<>=
5698   < : =X?
576 =
Y[Z _ Giwgg$_^i]mowNvFmh_^eRh<g$Z_/kljFw$wk^npey7mgmonpeGjAinpGjF7mmgmo_^* w _ OGjAgmonpe 2 jFey<g$Z_
w_^k^npeymowg$Z_D{VnFgg$w5]DnOy_limonpinpeg$Z_Dw$_^vp]D_^ehgjAgmonp2 e _ OGjAgmonpe- XY[Z_Ng$Z7moiyg$_^i]
mowg$Z_aimonpiwnpeg$Z_5]D_xjFejFeypjFimjFek^_anF_xjFkZkljFw$wx+_5w$_ajDe7mSnpi] y7mowg$imo7gmonpe
npeg$Z_]D_xjFewxujFeyj h"_ !,i_l"wimonpi  =1npeUg$Z_FjFimjFek^_^wGnpi!g$Z_imonpi[npe < _jAow$n


w_ajte7mSnpi] y7mow$g$imo7gmonpecsgk^np7oy,_ajFivp_^yg$ZGjAg_w$Znp7oykZnOnpw$_jimonpiZ7mokZ
j^hnpiw!jFivp_^i < Snpimoek^i_xjFw$_^yw$]DnOnFg$Ze_^w$wxu77g[npiwmo]D7moklmg/g$Z7mow!!jFw[enFgynpe_pY[Z_
g$_^i] 576 = mowk^npewgjFegSnpijNvFmh_^emo]tjFvp_p
 
-N>a 1 *+
),
 V )
fc e w$_^klgmonpe 2 _ZGj^h_y_"Ge_^yg$Z_,npwg$_^imonpiy7mowg$imo7gmonpeSnpijAg$Z_GjFi$jF]D_lg$_^iwnF
moeg$_^i_^wgxug$ZGjAgmowxu.g$Z_[|nFmoehgnpwg$_^imonpinFg$Z_aw$_^vp]D_^egjAgmonpejF_lowxu.g$Z_kljFww]D_xjFewjFey
pjFimjFek^_^wxujFey<g$Z_ZO,_^iGjFi$jF]D_lg$_^iwnFg$Z_q]DnOy_lowx(Y[Z7mowNmowNg$Z_y7mowg$imo7gmonpe
_D[mow$Zg$nw>jF]D7o_puLjFeySinp] g$Z_^w$_DwjF]D7o_^wa_D[m]tjFp_tnpimoe7S_^i_^ek^_^wjF,np7gg$Z_
GjFi$jF]D_lg$_^iw
YnDwjF]D7o_Sinp] g$Z_,npwg$_^imonpi!_w__lmg$Z_^i!g$Z_5_lg$inp,nFmowr VjFw$gmoevpw r V jAovpnAr
img$Z]npig$Z_  mowwjF]D7o_^i^uy_^_^ey7moevnpeDk^npehh_^e7mo_^ek^_am,w$mo]D7o__X7i_^wwmonpewSnpig$Z_
S7k^npey7mgmonpeGjALy7mowg$imo7gmonpewe_^_^y_^ymoeg$Z_  mow[wjF]D7o_^ijFi_5jxFjAmjF7o_jFeyi$jFeynp]
pjFimjAg$_^wDSinp] g$Z_^w$_y7mowg$imo7gmonpew/kxjFe__xjFw$mjFey _ tklmo_^egvp_^e_^i$jAg$_^yu!g$Z_^eg$Z_
 mowwjF]D7o_^i!moww$_^ycLenFgxuGg$Z_^eg$Z_]Dnpi_5vp_^e_^i$jAL_lg$inpnFmowr VjFwgmoevpwjAovpnpimg$Z]
mowg$Z_jAovpnpimg$Z]nFk>ZnFmok^_pui_ O7moimoevnpe7(g$Z_UkxjAok^7jAgmonpenFg$Z_Ui$jAgmon,_lgs_^_^eg$Z_
inpGjF7mmgmo_^wnFgsn/y7m !"_^i_^ehgwgjAg$_^wx!Y[Z_N~_^eyw$_^eOr(jFevjAovpnpimg$Z] mowjAow$nw$_^ySnpi
w>jF]D7moevtSinp] g$Z_aimonpinpeg$Z_w$_^vp]D_^ehgjAgmonpeu"g$Z_^w$_wjF]D7o_^w,_lmoevw_^yg$n_^w$gmo]tjAg$_
g$Z_5jFk^k^_^7gjFek^_inpGjF7mmgmo_^wZ_^eqwjF]D7moevtg$Z_]DnOy_lwZO,_^iGjFi$jF]D_lg$_^i^
;  "!$#&%('*),+.-/10.6 0 + !$0 ) -<-'*4 ) %  0 %(6

Y[Z_5gjFw$/nFwjF]D7moevg$Z_5w$_^vp]D_^egjAgmonpeqjF,_low[mowg$Z_awgjFeyGjFiygjFw$/moeqjFejAovpnpimg$Z]
w$moevwxuMjFeyamowL,_^iSnpi]D_^ya_lmg$Z_^iVh5wmoevg$Z_r VjAovpnpimg$Z]upinp,npwmoevjkZGjFevp_

L EDGFHIKJ
 &
G  &  
1
    &
B 
 &!
 9 

G%

g$ng$Z_UjF_ljAgg$Z_k^ii_^ehgt7m_lujFey(g$Z_^ewmoevg$Z_r V jFk^k^_^7gjFek^_k^img$_^imonpeg$n

y_lg$_^i]Nmoe_/g$Z_e_X7gw$gjAg$_jAgag$ZGjAg7m7_lunpiaw$moevg$Z_  mowawjF]D7o_^i^uh+k^np]D7gmoev
_X7moklmg5g$Z_k^npey7mgmonpeGjAGy7mowg$imo7gmonpeDnxh_^iVg$Z_jF_lowjAgVg$ZGjAgV7m_luhjFeyg$Z_^ew>jF]D7moev
Sinp] g$ZGjAgy7mow$k^i_lg$_ay7mowg$imo7gmonpe
Y[Z_onkxjA1k^npey7mgmonpeGjAVy7mowg$imo7gmonpemoehnFh_^ymow

: = A    DE!F 
   =  < M I  NO69P MWQ
GH Q J Q
J
5769P ?
6
+= ST ` 

 


Z_^i_ mow[g$Z_kljFww[jF_lVjFey
moey7mokxjAg$_^wg$Z_e_lmovpZnpiwnF$
J

;   "!$#&%('*),+.-/10  %*"6 6 !$0 ")    

")1:  '* ) 0 #& "!$0-0 6

.inp]g$Z_,npwg$_^imonpi5y7mow$g$imo7gmonpewag$Z_nFon[moev]tjFivFmoeGjAy7mowg$imo7gmonpewaSnpig$Z_/]D_xjFe
jFeyFjFimjFek^_5GjFi$jF]D_lg$_^iwnpi[_xjFk>ZqkljFw$wjFi__xjFwmUy_^imh_^yGnpi[g$Z_5]D_xjFew_5ZGjxh_

576  :L=
GH Q
6 
J Q
  = ST
DEF
J I
  
  
  A  J I 
J      ST
GH
?

Z_^i_  mow1g$Z_e]_^iVnF77m7_lowmoeakljFw$w jFey5 6  = y_^enFg$_^w1g$Z_npi]tjAy7mowg$imo7gmonpe
 
.npi[g$Z_FjFimjFek^_^wg$Z_5k^npey7mgmonpeGjALy7mow$g$imo7gmonpemow
 
J Q
  =
576  :L= A J 
J Q 6


 
       DEF
A
    
   "!#"$ DEF J I  6
   =  ST
GH Q J Q

 

Y[Z_]D_xjFew[jFi_  jFw$wmjFeUy7mowg$imo7g$_^yujFey/Z_^ek^_g$Z_e_lpjAo_^w!kxjFe/,_vp_^e_^i$jAg$_^y

_xjFw$mhY[Z_y7mowg$imo7gmonpewSnpiUg$Z_FjFimjFek^_^wjFi_moeh_^iw$_XrskZ7my7mowg$imo7gmonpewxu[mg$Z% 
y_^vpi_^_^wnFSi_^_^ynp]ujFey]tjx,_avp_^e_^i$jAg$_^yjtg$i$jFew$npi]tjAgmonpeSinp] pjFimjF7o_^w[mg$Z
j  jF]D]tjy7mowg$imo7gmonpe[mg$Z&   y_^vpi_^_^w!nF1Si_^_^ynp]  =Y[Z_g$i$jFew$npi]tjAgmonpe,_lmoev
g$Z_]7gmo7mokxjAgmonpenFLg$Z_  jF]D]tjDFjFimjAg$_^whUg$Z_SjFklg$npi(' 6 J    6
JRQ   =  =



Z7mowgg$Z_^npi_lgmokxjA5g$Z_moe7mgmjAmowjAgmonpenF7g$Z_]D_xjFewVjFey5FjFimjFek^_^wLmow1enFgmo]D,npigjFehgxu
i$jFklgmokxjAhu"Snpik^npehh_^ivp_^ek^_Nmoeji_xjFw$npeGjF7o_DjF]Dnpeg5nFk^np]D7gjAgmonpe npijAgjAVmg$Z_
inpGjF7mmgnFw$np]D_k^npe Gvpi$jAgmonpew!mowinpey_^yg$n^_^inaDg$Z_"_ !"_^klg$wnF Ge7mg$_i_^klmow$monpe

Y[Z Y9\

 
 

  !" $#
#%& p

^k np]D7g$_^iNjFimg$Z]D_lgmok Xumgmowae_^k^_^w$w>jFig$nqmoe7mgjAmow$_/g$Z_]D_xjFewDjFey<FjFimjFek^_^wklonpw$_/g$n
g$Z_lmoig$i_FjAo_^wxYi_xjAgmoevUg$Z_yGjAgj5|wgjFwj  jFwwmjFeq]Nm7g$i_pujFeyjFeGjA7wmoev/g$Z7mow
]Nm7g$i_g$n/y_lg$_^i]Nmoe_Ng$Z_NGjFi$jF]D_lg$_^iwnFg$Z_Nk^np]D,npe_^ehg$wmowj/y7m tk^7g5inp7o_^]u1jFey
g$Z_ynp]tjAmoeZ_^i_klonpw_lUw$GjFk^_^yk^np]D,npe_^ehg$wkxjFe_y7m !"_^i_^ehgmjAg$_^ymow[i_^w$g$imoklg$_^y   
cfe ` jN]D_lg$ZnOyjFwinp,npw$_^yZ7mok>Zw$_^w[g$Z_k^npeg$_XOg$GjALmoe7npi]tjAgmonpeqjxFjAmjF7o_5moejFe
mo]tjFvp_g$nNinhjFy_^eg$Z_ynp]tjAmoenFjF7mokxjF7mmgshujFeymg!mow!g$Z7mow[]D_lg$ZnOyZ7mokZ_w$_g$n
np7gjAmoemoe7mgmjA1FjAo_^wnpi[g$Z_]D_xjFewjFeypjFimjFek^_^wx
;
 "!$#&%('*),+.-/10.! 4 :10 %
6 /;# 0 #&    ! 0-0 
~7jF]D7moevg$Z_tZO,_^iGjFi$jF]D_lg$_^iN_XjFklgmow5moeg$i$jFklgjF7o_p Vnx_lh_^i^umgamowa,npw$wmo7o_Dg$n_^wr
gmo]tjAg$_tg$Z_tGjFigmgmonpeSeklgmonpeg$njw$!tklmo_^egay_^vpi_^_tnF[jFk^k^i$jFklg$nq]tjFp_Dmg5npwwmo7o_
g$nwjF]D7o_5pjAo_^wSnpi[g$Z_Zh7_^iGjFi$jF]D_lg$_^i^}w_X7jAmoe_^yjF,nxh_pug$Z7mowmowenFgg$imOmjASnpi
g$Z_mo]tjFvp_Nwmo^_^w_DjFi_amoeg$_^i_^wg$_^ymoecfey_^_^ymoe  Lg$Z_jF7g$Znpiwmoew$g$_xjFywjF]D7o_Sinp]
g$Z_w$_^ynFmop_lmoZnnOyukljAmo]Nmoevg$ZGjAgg$Z_l+k^np7oy(w$_^_enjx+g$n]tjFp_w>jF]D7moevqSinp]
g$Z_,npwg$_^imonpinpig$Z_GjFi$jF]D_lg$_^iw[k^np]D7gjAgmonpeGjAi_xjFwnpeGjF7o_pnpewmoy_^ig$Z_]tjFivFmoeGjA
y7mow$g$imo7gmonpewSnpi!g$Z_5Zh7_^iGjFi$jF]D_lg$_^iw
576C< : L=  B 6CA >
< = DE!F
V 698X=)=
6C< U  =

o_xjFimgmowg$Z_GjFigmgmonpeUeklgmonpe B 6C<>= Z7mokZkxjFw$_^wg$Z_k^np]D7gjAgmonpey7m tk^7gsh

+_en w$Znx Znmg[mow[npwwmo7o_g$n_^w$gmo]tjAg$_.B 6C<X= [mg$Zw$!tklmo_^ehgjFk^k^i$jFklhujFeyUw!Nr
klmo_^ega_tklmo_^ehgg$n_^eGjF7o_g$Z_npw$g$_^imonpiLy7mowg$imo7gmonpeNnFg$Z_GjFi$jF]D_lg$_^iwg$n,_w>jF]D7o_^y
Sinp]+_5ZGjxh_g$ZGjAg
B 6C<>= ? I V 698X=)=
6C<U W
 DEF
Q
? I 6)6C< V 698X=)= B 6 =L576 =
=;U 
 

 D EF
Q
? B 6 

=  6)6C< =;U W V 698X=)=
DEF M
B C6 <>= Q
B 6 =

A M  I 6)6C< = U V 698 =)=

# M

 
DEF

mo_puAg$ZGjAgVmgLmowV,npw$wmo7o_g$nw$_wjF]D7o_^w 8 yi$jxeinp] g$Z_y7mowg$imo7gmonpe 57698;:  = g$n_^w$gmo]tjAg$_

g$Z_Ni$jAgmonnFg$Z_NGjFigmgmonpeSeklgmonpewSnpigny7m!"_^i_^ehgpjAo_^wnFg$Z_NGjFi$jF]D_lg$_^i^c_
w_jN_lg$inpnFmowr VjFwgmoevpwjAovpnpimg$Z] g$nNwjF]D7o_ < u7wmoevDjinpnpw>jA"y7mow$g$imo7gmonpeg$ZGjAg
mowae7mnpi]Ny7mowg$imo7g$_^y<moe(jw$]tjAi$jFevp_/_lmg$Z_^iawmoy_DnF!g$Z_tk^ii_^egapjAo_pug$Z_^e+g$Z_

L EDGFHIKJ
2 &
G  &  
1
    &
B 
 &!
 9 

G%

jFk^k^_^7gjFek^_inpGjF7mmgsSnpi!g$Z_5e_lpjAo_pu <
7u mow
 
  A  B B
6C<
<>=X?
C6 <X=
6C<
=DEF
)
6 C
6 <
Q
V 698(=)=

<>=  
[Y Z_i$jAgmon B 6C<
= B 6C<X= kxjFeR,_U_^wgmo]tjAg$_^yRmoejwmo]N mjFiN]tjFee_^iDwmoevwjF]D7o_^wNyi$j^e
Sinp]g$Z_Uy7mow$g$imo7gmonpeRy_"Ge_^y(g$Z_UGjFi$jF]D_lg$_^i ZGjAgmo wmo]D,npigjFehgDmowg$ZGjAgg$Z_
y7mow$g$imo7gmonpew[nxh_^ijFw$! tklmo_^egg$ZGjAg[g$Z_wjF]D7o_^wSinp] 5698;: = ZGjxh_5jFi_^klmjF7o_inAr
GjF7mmgDey_^ig$Z_nFg$Z_^igsnay7mowg$imo7gmonpewxGinp] Gvpi_^w[jFey 2 _kxjFeDw_^_!g$ZGjAgm_
]tjFp_g$Z_inpnpw_^yk>ZGjFevp_Nw$]tjAV_^enpvpZu"g$ZGjAgg$Z7mow[mjAjxOw,_,npw$wmo7o_pcfey_^_^yu
g$Z_^i_mowjNi$jFevp_anFpjAo_^w[nF < Z_^i_jFivp_k>ZGjFevp_^wkxjFe,_]tjFy_pu7Z_^i_g$Z_pjFimjFek^_
nFVg$Z_e]_^inFVZnp]Dnpvp_^e_^npwklm O_^wmow!jFivp_p
ce 7u jUwmovpZhgy7m !"_^i_^ehgajFinhjFk>Z+jFw5gjFp_^e!_^kxjFw$_DnFg$Z_Dw$]tjAwmo^_^wnF
g$Z_mo]tjFvp_^wk^npew$moy_^i_^yumgjFwnpw$w$mo7o_g$nay"_ Ge_j5w$]tjA,w$_lgnF"pjAo_nF < Z7mok>ZuOZ_^e
w>jF]D7o_^yunp7oyjFy_ GjAg$_l(k^nh_^ig$Z__^ehgmoi_i$jFevp_UnF < nF[moeg$_^i_^wgxY[Z_^w$_/w>jF]D7o_^w
_^i_!g$Z_^eNw$_^yg$nk^npew$g$iklgj]Nm7g$i_[y7mowg$imo7gmonpeNZ7mokZDZGjFyDjFi_^klmjF7o_inpGjF7mmg
_lh_^iOZ_^i_  Y[Z7mowy7mow$g$imo7gmonpeq!jFwg$Z_^ew$_^yZ_^ewjF]D7moev < Ginp] Gvpi_ 2 mg
mow[klo_xjFi!g$ZGjAgnpi[jFemo]tjFvp_5nFjFi_^klmjF7o_5wmo^_g$Z_e]_^inFLpjAo_^w[nF < Z7mok>Znp7oy
ZGjxh_g$n,_k^npewmoy_^i_^y,_^k^np]D_^wDinpZ7mo7mgmh_l<jFivp_p+}ow$nuZ_^ewmoevg$Z_]Nm7g$i_
y7mow$g$imo7gmonpeug$Z_DpjFwg5]tjM|npimgsnFg$Z_twjF]D7o_^w[mZGjxh_/jinpGjF7mmgh_^iklonpw_Dg$n
^_^inDey_^i!g$Z_jFklg$GjAFjAo_nF < k^npewmoy_^i_^ycg!mow!npi!g$Z_^w_i_xjFwnpew[g$ZGjAgSnpig$Z_w$mo^_^w
nF!mo]tjFvp_^w_UjFi_k^npek^_^ie_^y<[mg$Z<Z_^i_g$ZGjAga_/ZGj^h_jFy7hnkxjAg$_^y<g$Z_twmo]D7o_^iw$k>Z_^]D_
np7gmoe_^yUjFnh_pY[Z7mowwkZ_^]D_kxjFeUjAow$na,_[mo]D7o_^]D_^eg$_^yjFyGjF7gmh_lNm"_ynenFgZGjxh_
w>jF]D7o_^w!inp]jy7mowg$imo7gmonpeqjFy_ OGjAg$_lUklonpw_g$ng$Z_pjAo_^w[nF < ey_^i[k^npewmoy_^i$jAgmonpeu
_5kxjFevp_^e_^i$jAg$_g$Z_^w_5wjF]D7o_^wnpeOrmoe _ jFeyg$Z_^ewg$npi_g$Z_^]Snpi[i_Xrsw$_ X
; 
 "!$#&%('*),+.-/1032 6 0 1:14 %*'  0 %*'(/,4 4;:

! _^kxjFw$_nFg$Z_y7m tk^7gmo_^wy_^w$k^imo_^yjF,nxh_Z_^ew>jF]D7moev/Sinp] g$Z_y7mowg$imo7gmonpeSnpi

g$Z_Zh7_^iGjFi$jF]D_lg$_^iwmoevqnpeg$_!jFiona_^w$gmo]tjAg$_^wnF"g$Z_GjFigmgmonpe/Seklgmonpeug$Z_w_^Or
ynFmop_lmoZnOnOyjFwmoehg$inOyk^_^yjFwjDwmo]D7o_jFin^7mo]tjAgmonpe  Y[Z_w$_^ynFmop_lmoZnOnyqmow
k^npew$g$iklg$_^yqjFw[g$Z_5inOyklgnFVg$Z_5k^npey7mgmonpeGjALy7mowg$imo7gmonpewjAg_xjFkZq7m7_lug$ZGjAgmow
  L=>?  J5769P J : P   <>=
5 C6C<;:

Z7mok>Zmowwmo]D7o_5g$ntk^np]D7g$_p
ceg$Z_!_X7,_^imo]D_^ehg$wuh_[w_^yg$Z_r VjAovpnpimg$Z]u[mg$ZtjinpnpwjAGe7mSnpi]Ny7mow$g$imr
7g$_^ymoejw$]tjAi$jFevp__lmg$Z_^i[wmoy_nFg$Z_k^ii_^eg[FjAo_pY[Z7mow!o_xjFyw!g$ng$Z_5jFk^k^_^7gjFek^_

Y[Z Y9\

 
 

  !" $#
#%& `

Vmovpi_13 ~O_^klgmonpeqinp] jt~O{Y mo]tjFvp_

inpGjF7mmgnpi!g$Z_ae_lFjAo_5,_lmoevtwmo]D7

 6 A  5  6C< e_l =%5  6C< nFoy =)=

,

 ' #0V>
a,$#
Vmovpi_3w$ZnwDjw$_^klgmonpe<inp] j~O{Ymo]tjFvp_UZ7mokZ<_/[mow$Z<g$nqw$_^vp]D_^egNmoehg$n h_
kljFww$_^wxVmovpi_aw$Znxw[g$Z__lhnFo7gmonpeqnF < Z_^ewjF]D7o_^yinp]g$Z_w$_^ynFmop_lmoZnOnyu
jFe, y Gvpi_wZnxwg$Z_/_lhnFo7gmonpenF < Z_^ewjF]D7o_^yRwmoev_^wgmo]tjAg$_^wDnF[g$Z_/i$jAgmonpw
nFg$Z_UGjFigmgmonpe eklgmonpewx(Y[Z__lhnFo7gmonpenFg$Z_]D_xjFewtjFeyRFjFimjFek^_^wDnFg$Z_UkljFww
k^npey7mgmonpeGjA!y7mowg$imo7gmonpewmow5enFgwZnxeUY[Z_tpjFimjAgmonpe+moe < mowa]ak>Z<w]tjAo_^inpi5g$Z_
S7[jxh_^wmjFekxjFw$_pujFeyjAow$ng$Z_Nw$_^ynFmop_lmoZnOny(wmovpe7m GkxjFehgnxh_^i5_^w$gmo]tjAg$_^wg$Z_
GjFi$jF]D_lg$_^i^wNpjAo_NSinp] Gvpi_ =_/kxjFeRw$_^_tg$ZGjAgDjqFjAo_/nF < ?  k^npii_^w$npeyw
g$nj/imonpiZ7mok>ZmowjAo]Dnpw$gk^np]D7o_lg$_le7mnpi]Y[Z7mowyn_^wenFgk^npii_^w$A ,Anpey_l[mg$Z
g$Z_mo]tjFvp_pqY[Z_FjAo_^wnF < w>jF]D7o_^y(Sinp]g$Z_g$i_mop_lmoZnOnyRjFi_/k^_^eg$_^i_^yjFinpey
< ?      <Y[Z7mowNmowNjqmggo_jFnh_Ug$Z_Uk^imgmokxjA[pjAo_pujFeyRinp] Gvpi_ =moey7mokxjAg$_^wj
]Dnpi_i_xjFw$npeGjF7o_]DnOy_lmowjAgmonpeumoeRg$ZGjAgNg$Z_Ue]a,_^iDnFZnp]Dnpvp_^e_^npwtklm O_^wNmoe<g$Z_
w_^vp]D_^ehgjAgmonpemowth_^i klonpw$_g$n(g$Z_qe]a,_^i/nFZnp]Dnpvp_^e_^npwklm _^wmo]D7mo_^yg$Z_
imonpi^
Y[Z_aw$_^vp]D_^egjAgmonpei_^w7g$wmoe Gvpi_^w/jFeyjFi_ah_^iwmo]NmjFi^u.Zn_lh_^i Sg$Z_^w$_jFi_
{ _^w$gmo]tjAg$_^w!inp] ppmg$_^i$jAgmonpewjA:g$_^i!y7mow$vhjFiy7moev 2 3Fmg$_^i$jAgmonpe%w XY[Z7mow!mow!,_^kxjFw$_
nFg$Z_Z7movpZ OGjAmgsUnF1g$Z_yGjAgjaNg$Z_mo]tjFvp_mo e Gvpi_ 3mow!i_ljAgmh_lenFmow$_i_^_jFeyUg$Z_

L EDGFHIKJ
= &
G  &  
1
    &
B 
 &!
 9 

G%

1.16

1.14

1.12

1.1

1.08
beta

1.06

1.04

1.02

0.98
0 100 200 300 400 500 600 700 800 900 1000
iteration

Vmovpi_a Y[Z_a_lhnFo7gmonpenF < Z_^ewjF]D7o_^ySinp] g$Z_5w$_^ynFmop_lmoZnOnOy

0.64

0.635

0.63

0.625

0.62
beta

0.615

0.61

0.605

0.6

0.595
0 100 200 300 400 500 600 700 800 900 1000
iteration

Vmovpi_ Y[Z__lhnFo7gmonpenF <  Z_^ewjF]D7o_^yw$moevD_^wgmo]tjAg$_^wnF(B 6C<>=

Y[Z Y9\

 
 

  !" $#
#%& 3

Vmovpi_a Y[Z_5w_^vp]D_^ehgjAgmonpei_^w$7gwmoevDg$Z_w$_^ynFmop_lmoZnOnOy

Vmovpi_a Y[Z_5w_^vp]D_^ehgjAgmonpeqi_^w7gwmoevDg$Z_NS7U[jxh_^wmjFejFinhjFk>Z

L EDGFHIKJ
 &
G  &  
1
    &
B 
 &!
 9 

G%

kljFww$_^wjFi_[Snpig$Z_]DnpwgGjFig_xjFwmNy7mowgmoevp7mow$ZGjF7o_pY[Z_y7m!"_^i_^ek^_^wjFi_]tjAmoe7DjAgg$Z_

_^yvp_^w[nFLg$Z_i_^vFmonpewx!_^kxjFw$_g$Z_w$_^ynFmop_lmoZnOnynh_^iw$]DnOnFg$Z_^w!g$Z_w$_^vp]D_^ehgjAgmonpeu
mgi_^w$7g$w/moeZnp]Dnpvp_^e_^npw^npe_^wY[Z_<7!jxh_^wmjFe!w$_^vp]D_^ehgjAgmonpe o_xjxh_^w]tjFeh
mownFjAg$_^y7m_lowjAgg$Z__^yvp_^wnFg$Z_^npe_^wxY[Z7mowmow,_^kxjFw$_pu.[mg$ZjtFjAo_nF < jFinpey
   ug$Z_{VnFgg$w]DnOy_lGyn_^wenFg_^eGjAmow_[mow$nFjAg$_^yt7m_loww$!
tklmo_^eghY[Z7mowmoey7mokxjAg$_^wg$ZGjAg
g$Z_{LnFgg$w]Dny_lGmowenFgjFejFy_ OGjAg$_imonpi^uZ_^enpiimonpimoe7Snpi]tjAgmonpetmowg$ZGjAg_ZGjxh_
e7mSnpi] ^npe_^wjFeyDynenFg[mow$ZNg$nZGjxh_!mow$nFjAg$_^yD7m7_lowi_^]tjAmoe7moevmoeNg$Z_!w$_^vp]D_^ehgjAgmonpe
021 
  
 #)" 1 
. npiwmo]7jAgmoevNg$Z_{VnFgg$w[]DnOy_lg$Z_~_^eyw$_^eOr(jFev s~ jAovpnpimg$Z]jFw[y_lh_lonp,_^yu
Z7mok>Zk^npehh_^ivp_^wDi$jF7moy7<g$ng$Z__ O7mmoimo]y7mowg$imo7gmonpejFeyRg$Z_^eR]Dnh_^wti_ljAgmh_l
Si_^_lq[mg$Z7moeg$Z7mowy7mow$g$imo7gmonpecgmow5jFe_XjF]D7o_DnF!jFejFOOmmjFiFjFimjF7o_tjAovpnpimg$Z]
Y[Z_5moy_xjN_^Z7moeyqjFO7mmjFiFjFimjF7o_a]D_lg$Znywmow!g$Z_nFon[moev
csgmowy_^wmoi_^yg$nwmo]a7jAg$_tjUy7mowg$imo7gmonpe  698X= a}OOmmjFiFjFimjF7o_^w  jFi_moeg$inyOr
k^_^yu"[mg$Zk^npey7mgmonpeGjAy7mowg$imo7gmonpe  6  : 8X= 5Y[Z7mowvFmh_^w5ja|nFmoegy7mowg$imo7gmonpe  698   = ?
 6  : 8X=  698 = u7[mg$Zg$Z_y_^wmoi_^yq]tjFivFmoeGjAy7mowg$imo7gmonpeSnpi 8 nF  698X= ~mo]7jAgmonpeqnFVg$Z7mow
y7mow$g$imo7gmonpemowvp_^e_^i$jA,_^inpi]D_^yUhjAg$_^ieGjAg$_lUyGjAgmoev  jFey 8 g$Z_moy_xj5,_lmoev
g$ny"_ Ge_  6  : 8X= w$k>Zg$ZGjAg!g$Z_yGjAg$_^w!kxjFw$_i$jF7moy]NmOmoevY[Z_i_xjAmowjAgmonpew!nF 8 jFi_
g$Znpw_y_^wmoi_^y
Gnpig$Z_~ jAovpnpimg$Z] g$Z_y7mowg$imo7gmonpe  6  : 8X= mowy"_ Ge_^yw$kZRg$ZGjAgg$Z _  J M jFi_
moey_^,_^ey_^ehgxu,jFeymow
M M 
56  : 8X=
JM Q J JM J
6 <
c P ? P =
c   6C< c P ? P =  3+
DEF DEF
Z_^i _ M  kxjFe< _k^npewmoy_^i_^y<jFwjk^npehgmoenpwnpeypjFimjF7o_,_lgs_^_^e(g$Z_/7m7_low P J
JM
jFey P jFeyc  mow[g$Z_moey7mokxjAg$npieklgmonpeY[Z7mowi_^w$7g$wmoe
 698;:  = JL KM c   J M 6C< c P J ? P M = 
DEF
 

ZGjAg[yn_^w!g$Z7mow[k>ZnFmok^_5JnFLy7mow$M
g$ imo7gmonpevFmh_wqnpew$moyJ _^imoev'M Giwg 576  JJ MM : 8X= u7npi J M 
J _!]awgZGM j^h_ 6 <
c P ? P = upnpi_ O7mFjAo_^eghu P J ? P LM Y[Zw  k^npewg$i$jAmoeAw
P jFey P g$nq_Nmoeg$Z_wjF]D_t wgjAg$_p/npeh_^iw$_lhuVm P jFey P jFi_Dmoeg$Z_tA wjF]D_Dw$gjAg$_pu

D 
E F A
ZGjAgmowg$Z_ainpGjF7mmgsnF   <Ginp]&g$Z_ak^npey7mgmonpeGjAy7mowg$imo7gmonpemoe_ GjAgmonpe 3
JM
_5ZGj^h_5g$ZGjAg JM
A
J M Q Q
576   : P ? P =X? 6 <>= s+ 
A JM A DEF
~moek^_mgUJ M mow/npe7 mo]D,npigjFehgZ_lg$Z_^ i  mowUvpi_xjAg$_^inpio_^w$w/g$ZGjFe npe__]tjx g$Z7moe
nF!g$Z _  jFw57moeGjFi+,npeypjFimjF7o_^wxUGinp]_ OGjAgmonpeRUg$Z_/npey+FjFimjF7o_mowai_^w$_^eg

Y[Z Y9\
 
 
 

  !" $#
#%& M

, _lgs_^_^eDgsn57m_lowmoeNg$Z_[wjF]D_[wgjAg$_![mg$ZDinpGjF7mmgs Q 6 <>= Ynw>jF]D7o_  g$Zw

Q
moeQhnFh_^wL7Q jFklmoev,npeyw,_lgs_^_^ee_lmovpZ,npimoev7m7_lowLnF7g$A Z_DwEjFF ]D_w$gjAg$_[mg$ZainpGjF7mmg
6 <>= jFeynp]Nmggmoevt,npeyw,_lgs_^_^eqe_lmovpZnpimoev/7m7_lownFy7m !"_^imoevtwgjAg$_^wx
698;:  = wj^7wNg$ZGjAgtjA
A DE!eF k^_g$Z_npeywtjFi_Umoe7jFk^_pug$Z_k^npey7mgmonpeGjAy7mowg$imo7gmonpe 
k^npe Gvpi$jAgmonpew!Z_^i_,npey_^y/7m_lowjFi_nFg$Z_w>jF]D_wgjAg$_jFi__ OGjAtinpGjF7o_pY[Zw
g$nR,yGjAg$_ 8 _Snpi]klow$g$_^iwUnFk^npee_^klg$_^y7m7_lowjFeyjFw$wmovpeg$nRjA7m_lowUnFag$Z_
klow$g$_^ig$Z_wjF]D_w$gjAg$_pukZnpw_^ete7mnpi]NNSinp] g$Z_jAon_^yUwgjAg$_^wxVY[Z7moww$k>Z_^]D_jAonxw
,nFg$_^ehgmjAjFivp_klowg$_^iwnF7m_lowtg$n+k>ZGjFevp_wgjAg$_jAg_xjFkZmg$_^i$jAgmonpeujAonx[moev(g$Z_
jFipnxk>ZGjAmoeg$nt_X7onpi_g$Z_y7mowg$imo7gmonpeSi_^_lh
Gnpiw$]tjA < g$Z_moewU[mnpe7i$jFi_l,_7jFk^_^yui_^w$7gmoevRmoej+jFivp_e]_^i
nFw$]tjAklowg$_^iwxcfe g$Z7mowUkxjFw$_wgjFeyGjFiywmoevFo_Xrsw$mg$_,yGjAgmoevRjAovpnpimg$Z]DwjFi_]Dnpi_
_ tklmo_^egxGnpiNjFivp_ < jFey_^w$,_^klmjA < klonpw$_g$ng$Z_k^imgmokxjAFjAo_ w_^_Uw_^klgmonpe 2 )
g$Z_Umo]Dinh_^y]Dnp7mmgsnFg$Z_~ jAovpnpimg$Z]]Dnpi_Ug$ZGjFeRk^np]D,_^ewjAg$_^wSnpig$Z_U_X7g$i$j
k^np]D7gjAgmonpeqmoehhnFh_^y



^ ), a0V 
 .!_^wjFveqg$Z_wgjAgmow$gmokxjAVjFeGjA7wmownFy7moigq7moklg$i_^wx.7 &
 $#
#% #% B
  & 
u =h! `  2 3FO`p 2 uLpp7
 2 $V _^imoejFey&V $monFggx ny_lmoev<jFey w$_^vp]D_^ehgjAgmonpe nFenFmow jFeyg$_X7g$i_^y
mo]tjFvp_^wwmoev  mowi$jFeynp] G_loywx 
K
   XuG `p 33OuphO
`  _^wk^np]a,_^wx}7mokxjAgmonpenF5wg$nOkZGjFwgmokg$_^k>Ze7m_^wmoemo]tjFvp_ink^_^w$w$moev(Snpi
jF7g$np]tjAgmokqgmow$w_kljFw$wm GkxjAgmonpemoecDjFey7onOny h_^w$w$_li_^wg$npi$jAgmonpemoe}
Y_^kZe7mokxjAi_^npigxuYL_^kZe7mokxjAi_^,npigxu jF,npi$jAg$npi(SnpiDq_^y7mokxjA[cf]tjFvFmoev_^w$_xjFik>Z
 $~O}YrsjFy7monFonpvF Xu1pp7

 =N~,  _^]tjFejFey  _^]tjFe~g$nk>ZGjFwgmoki_ljMjAgmonpeu  mowy7mowg$imo7gmonpewDjFey(g$Z_

!jxh_^wmjFe i_^wg$npi$jAgmonpenFmo]tjFvp_^wx  
  Xu!   2 X7! =7hunxh_^]_^i
p =
 3-$Vrf  _^npivFmm  C

  K
!
OB 1
 
+  K
 #%& ly_  i7Og$_^i^u!_^imoeu"pp7
 N   _lh_^i^_l_lmovpZgmoevnpehg$_!jFionR]NmOg$i_^wxYL_^kZe7mokxjAi_^,npigxu[n 3Fp7u


~OkZnOnFnF~gjAgmow$gmok^wxu "e7mh_^iwmgsnFmoee_^w$nFgj7u1pOh
- N   _lh_^ijFe
 y $}Y[Znp]Dw$npenpew$g$i$jAmoe_^y/npehg$_!jFion]tjMOmo]]mop_lmoZnOnOy
npi[y_^,_^ey_^ehgyGjAg* j S[mg$Zy7mow$k^w$w$monpe X -  %u 3!= 3pxOpp7u1p 2

L EDGFHIKJ
 &
G  &  
1
    &
B 
 &!
 9 

G%

 OV_lmoOmoe_^ejFey V V
pvp]tjFey_^i^V.7/[j^h_^wmjFejFinhjFk>Zg$namo]tjFvp_i_^wg$npi$jAgmonpe
[mg$ZqjFejF7mokxjAgmonpemoe7monpvp_^npvpi$jFZh   "
  #
#% G#%9G Xu =h` 3Fp 3F 2 up=

  XVmovpynpe 
#%
   B
#%&  &
 &

   &$# 

+ & +&"
 %

+ K   l{Z g$Z_^w$mowxu "e7mh_^iwmgsnFL(jFwZ7moevFg$npeu1p=
  < VmovpynpeuN $ pnpZew$npeuY  [YimoevFg$npeu  $[!nxwZ_^i^u   mjFeyu
jFey<  jpjFw$^k^xjF.7<[j^h_^wmjFe_^wgmo]tjAgmonpenF  mowZO,_^iGjFi$jF]D_lg$_^iwDSnpi
 

 

_^]Nmow$wmonpek^np7o_^yg$np]Dnpvpi$jFZ+yGjAgj7up 3OD{i_^imoehgxLcew$gmg$7g$_DnF[~gjAgmowgmok^wjFey
_^klmow$monpeq~Oklmo_^ek^_^wxu p_ "e7mh_^iwmgsh
 p a VjFey<(.jFZ]ahY_X7g$i_5w$_^vp]D_^egjAgmonpeGjFw$_^ynpejNZ7mo_^i$jFikZ7mokxjAV]tjFipnx
i$jFeynp] G_loy]DnOy_l   !
 K&   Fu 2 2  3xO`p 3Ou1p 2
 2  V 5jAg$nu  ,_^i7mj7u,jFeyq(!_^ig$ZnOy[j^h_^wmjFeqmo]tjFvp_5kljFw$wm GkxjAgmonpewmoevjFifr
pnxqi$jFeynp] G_loywxcfe  _^]Dnp]D_^ehg$wxu_^y7mg$npi^>u 

 $#9K&$
 
 %



 G# & XuGGjFvp_^w`h 3xO`p 2  oh_^i^u1pp`7

 `  .jFiin O7moeu,~,.qmgg$_^i^u.jFeyYG{LnpvpvFmon!{inpGjF7mmow$gmokw$nFo7gmonpenFmrsnpw$_^yqinAr


7o_^]DwmoeUk^np]D7gjAgmonpeGjAmow$monpe( &


& #    B
  #
#% G#%9
  +& G
#%%&.u
2 `ph+  FOp7ujFikZphO
 =   D, GjFeGjAmoyZjFey .Lmg$^vp_^i$jAoy
   
" 9
 
 
  G#  & !   )
# &  !
  &     F~Oimoevp_^ifr _^ijFvu,!_^imoeupp7
 3-a V~_^eyw$_^ejFey Arf~,(jFevnpee7mh_^iw>jALk^imgmokxjAy77eGjF]Nmok^wmoeqnpehg$_!jFion


wmo]a7jAgmonpewx ! B
    G## Xu 3F pOp7u1phO
  <^Y!mgg$_^imoevFg$npeup}<~O]Nmg$ZupjFe y " $jFpnx" $#
#% #% B
 
 !  &  %#
  #%
OB  #9
G
#%& l pnpZe mo_ljFey~Onpewup 3O


Y[Z Y9\
 Unite de recherche INRIA Lorraine, Technopole de Nancy-Brabois, Campus scientifique,
615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES NANCY
Unite de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex
Unite de recherche INRIA Rhone-Alpes, 655, avenue de lEurope, 38330 MONTBONNOT ST MARTIN
Unite de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex
Unite de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

Editeur
INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)
ISSN 0249-6399