Convergence of Turbo Algorithms for Systems ...

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Convergence of Turbo Algorithms for Systems Defined by Local Constraints Eric Fabre

N˚4860 Juin 2003

ISSN 0249-6399

ISRN INRIA/RR--4860--FR+ENG

THÈME 4

apport de recherche


    

 
"!#%$'&()
 *+,&-!./$'&(01 2% 345+46
, 789
&:!;7@?BADCFEHG>@I JLK:MONDPRQS TVUWNYX-Z\[^]_Ua`cbdPO]= Uag ]_K:Pg_jHNfNDPO]_p_j`^‘/–½us‚€—m’   K-UakhK%˜™pPO]_X-p_b:g"š]` ]_K:PNDP)ggh[^r€P   ;pP)k)POUW“€P i ‘Bp`cN UW]‹œ/TVUWb:k)P]_K-UagËNDP)ggh[^r€P   [cg/e;[^p_]Ë`^‘]_K:PLUWbn‘¦`cp_Nt[^]_Ua`cb [^ZWpP‹[ i jde-pP)gPObz]R[^] -  ’.UW]5g_K:`cX-Z i b:`c],[^ZW]POp5g_X-”:gP2VX:PObz],k)`cNfe-X-]h[^]_Ua`cb:g   K:POb¡gPObV]5”;[ck§ ]`†UW]‹’.]_K;[^b-§Hg5]`†UWbz“€`cZWX-]_UW“HUW]™j¼–   P%e-p`Ÿ“€P]_K-Uag= [^b i ;@?cœJLK:PÀZaP)ggˆ§Vb:`   b &#(%) "c¯¦Á¦¯ (%):¯ )  t²OÁ ( " i `HP)g [8gUWNfUWZ\[^p ]_K-UWb-r:œË¾™]¢‘¦pP)P ‹P)g`cb:Pt–¦`cpgPO“€POph[^Z —¢“s[^p_U\[^”-ZaP€–¦g@—À]`D[e;[^p_]_UakOX-Z\[^p=‹’-`cb:P,K;[ i [^]P‹[ckK9g_]POe ] $

U $ # - %

WY. K -4+ 

-   



–½‚95€—

('

  :K POpPUWb i Pml-P)gL`^‘2-  e`cUWbz]L]`k)`cNfe`cb:PObz]gLZa`Hk‹[^]P i UWb†]_K:P”-ph[^b:khK`^‘]_K:P8]_pP)P5k)`cbz]h[^UWbn£ UWb-r) – i POb:`c]P i ”zj 2- —mœ - ZaPONDPObV]g W. K -4+ Re-pP)kOUaghPOZWj i Pmª:b:P]_K:P†NDP)ghgh[^r€P)g -  Pml-kK;[^b-r€P i ”.PO]   P)POb›k)`cNfe`cb:PObz]g*-4-[^b i - œf¾™‘ -%$ - = U  U - i `VP)g_b  ]YZWUW“€Pf`cb­[ ]_pP)Ps’ -
ÀNt[)jdb:`c]5ghPOe;[^ph[^]P]_K:P%k)`cb-b:P)kO]_UW“HUW]™jrsph[^e-KUWbz]` i Uagk)`cb-b:P)kO]P i ”-ph[^b:khK:P)g‹œ 6g,[ k)`cb:gh2P zX:POb:k)Ps’Hg_UWb:k)P]_K:P©U±œ Psœ )(sÁËÁ (†Á n²%²0);Á¦¯ _²- -¯ .YÂ&)Á$-Âcà à ²P,-Á€°  & `cb:P5K;[cg  $ -
% U # -   –½‚sy€—   

-    

[^b i ]_K:P,k)`cp_pP)g_e.`cb i UWb-r[^e-e-p`)lnUWNt[^]PRpP i X:k)P i g_jHg]PONDggh[^]_Uag"‘¦j ] $

-%

U

#

-    





- 

–½‚sƒ€—



LJ K:P)ghP,P2zX;[^]_Ua`cb:gkhK;[^ph[ckO]POp_U‹PR]_K:P,`cb-ZWj•[ck)k)P)gg_UW”-ZaP,g_]h[^]_Ua`cb;[^p_je`cUWbz]8`^‘; =`cb•]_pP)P &  ‘½`cpg_jng_]PON - % $ )  - %  ’   K:POb:k)P,]_K:PRpP)g_X-ZW]”zj]_K:P)`cpPON )sœ

/É Ž€Œ : É & "‰ ! ¥Œ :! ‰ Æ # / / JLK:PfPmln]POb:g_Ua`cb¡pP)g_X-ZW]R`^‘¢]_K:P)`cpPONQK;[cgY[Za`Hk‹[^Z `ce-]_UWNt[^ZWUW]Ðj¡UWbz]POp_e-pPO]h[^]_Ua`cb­UWb¡]_K:Pfk‹[cgP `^‘ e-p`c”;[^”-UWZWUag_]_Uakg_jHg]PONDg‹’   K-UakK   [cgª:pg_]NDPObV]_Ua`cb:P i UWb *)E"™œ  PRk)`cb:g_U i POp8g_jng_]PONDg   UW]_K}e`sg_UW]_UW“€P   POUWrsKz]8‘BX-b:kO]_Ua`cb:g‹’:UWb•]_K:P ) ;:LgPO]_]_UWb-r:8œ 3©PO]
- LpPOe-pP)gPObz]5[b:`cp_Nt[^ZWU Ÿ[^]_Ua`cb9`cePOph[^]_Ua`cb`cb•]_K:P   POUWrsKz]‘¦X-b:kO]_Ua`cb`^‘ -¸POb:g_X-p_UWb-r ) $  –BQz|€—      p    K:POpP  F1A@8 4 9 =FJA@8:A@2NAJ  7 





% 8O697JC 97J0+=6>  4 J%P   ? =
9 ;@=EIF1>GAEB

0 R H 0S

^² z² @²

( )
0 0) &

2

7 ;87

= Œ  Ê ;? ËÅ ¥Œ
" )µÂ%)¥¯ )
(cà $HÁ¦¯
^² .)²OÁ½Á¦¯ ) !Ãa²OÁ&  ²†Â &#(9 $ ):¯ &ÂsÁ¦¯ (%) % _ -  (  -[$  - = U  U - ° ©²OÁ8Á n²   % )" - ] ²†Â.mÁ±Â€Á¦¯(%).Â%S-'(s¯ );Á ( ;>= (%) & Á n² )­Á n²      U    -  ]  - ] "z² 8).² .OÁ±ÂsÁ¦¯ (%)Â%-'(c¯ );Á ( ;@?z° DYŠ É»É 2  3FPO]=[^b i ;?P‹[ckK•K;[‹“€PR[^]LND`sg_] `cb:PL[ck)k)P)gg_UW”-ZaPLg_]h[^]_Ua`cb;[^p_je.`cUWbV]L–B]_K-Uag e`cUWbz] PmlnUag_]gˆU¤‘k)`cNfe.`cb:PObV]g/[^pP/ª:b-UW]PŸ—mœ/TH`   PL`cb-ZWj


HIHKJMLNPOQSR

‚su

m¯ FÂ _²  &
 

K;[‹“€PY]`te-p`‹“€P]_K:POj[^pPU i PObz]_Uak‹[^Z±œ  PRe-p`Hk)P)P i [cg8‘¦`cpr ;>= S;@?s’»g`tUWbe;[^p_]_UakOX-Z\[^p   K:POb¡”`c]_K ;>=,[^b i ;@?K;[)“€Pfk)`cbz“€POp_r€P i ]` ]_K:POUWp8X-b-U zX:PY[ck)k)P)ghg_UW”-ZaP,g_]h[^]_Ua`cb;[^p_je.`cUWbV]‹œ

v8PONt[^p_§5®Y]_K:Pte-p`V`^‘8[^Zag`pPO“€P‹[^ZagY]_K;[^] ; =%[^b i ;@?Dk)`cbz“€POp_r€P[^]Y]_K:P†gh[^NDPf]_UWNDP†UWb ; = S; ? ’-g_]_UWZWZFUWb•]POp_NDg=
² . -»° ;@?>s° ²mÃa!² &)Á  Z  Z_& %  m( . $ & }Á HÂs8 Á . $ %_ - & ¯ .,†Á ²>² ¢% )" &  &#(%)).#² &)Á™!² " . $ OÁ ²²  ( & ° G n0² ) - ] $ W.  - ] 
_² . -»° - ] $ WY.  -  ] (s° JLK-Uag9ZaPONfNt[·Pmlne-pP)ggP)gd]_K;[^]PO“€POp_j g_]h[^]mP ) `^‘ - ] k‹[^b ”.PµPmln]POb i P i ]` [^bzj ]_pP)P [^p`cX-b i žœL¾™]=Y`cb¡]_K:P%]_pP)P &  ‘¦`cp,k)`cNfe`cb:PObz]g - %  jHUaPOZ i g5]_K:Pfgh[^NDP - s] ’»g``cb:P%pP‹[ i UWZWjdK;[c# g -!% $ -] ”zjdZaPONfNt[•unœ +¢X-],ZaPONfNt[•{[^Zag` [^e-e-ZWUaP)g¢`c:b &  [^b i rsUW“€P)g - ] $ WY.  - %    K:POb:k)P - ] $_W.  - ] mœ/TVUWNfUWZ\[^p[^p_rsX-NDPObz]g e-p`Ÿ“€P,]_K:P,pP)g_X-ZW]‘¦`cp ;@?cœ




%

¶ˆUWrsX-pP)9)s® #² " z² . s°

HIHKJMLNPOQSR



_Â

% - &




ÐÂsà Ã˲!" V² .($ ¯¦Á

"Â

.0$ % 0- &






ÐÁ z¯ &E}²#" z² . 9Â%) "

&




. (cà ¯ "

‚^Q

m¯ FÂ _²  &
 

LJ K-UagFpP)g_X-ZW]ˆk‹[^bR”.P ‘BX-p_]_K:POppPmª:b:P i ®©[^bzjRg_]h[^]PË`^‘:[^b - ] k‹[^bR”.PËPmlH]POb i P i ]`”-ph[^b:kK:P)g `cX-]gU i P ž’cPO“€POb%U¤‘ & Uagˆb:`c] [3S4 J 0 J>< S4 J#;@A = 9 &A@4F1821 > DA@8:9:A=9) F1=7%4C(4G; #9:>G; 4SJC? B#B  F1AM6?  B  S B!* =AM8 9:CAMF?  4;M&4 J%P  (9 4C  6SRR "B