Discrete Superstrategies

(1)

HAL Id: inria-00072570

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

Submitted on 24 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.

Discrete Superstrategies

Hatim Benamar, Claude Martini, Christophe Patry, Faouzi Trabelsi

To cite this version:

Hatim Benamar, Claude Martini, Christophe Patry, Faouzi Trabelsi. Discrete Superstrategies. [Re- search Report] RR-4066, INRIA. 2000. �inria-00072570�

(2)

ISRN INRIA/RR--4066--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

Discrete Superstrategies.

Hatim Benamar, Claude Martini, Christophe Patry, Faouzi Trabelsi

No 4066

November 13, 2000

TH `EME 4

(3)

(4)

"!$#&% '(*)+,%-/.10+2435,67(98:,.;!$#&)#<0=24>.?#5@!?ACB>(EDF"!$.;GC0=HIAC6KJ*#

LM.N,OP(*35@N#

QR"S;TUWVYX Z\[]T_^"`badce[]fhgU;cifhjkce[]Tl[]meadcn[ofhg

p UWm<q*m<ceSTlUmirfhTlj"`]Uts\Um

uPvefxw<Uczy|{PQ}M~

iaj"j/fhv<c p Uv<UrR"U;verR"UghV1hX FfNUTY/UvNk,dhhX $YjIaUm

;?x"1 Um<ce^ p qcnRkUTl[]g"[oT ad`/[og"[oce[ba`r?ajk[ocad`g"UU p U p cnfme^"j/Uv v<Uj"`o[]r?axcnUag

¡¢^kvefhj/U?ag£r;fhg1cn[]gkhUg1cWr`]a[]T¤[og¥cnR"U¦`]ar§h¨Z\rRkfh`]U;mTf

p

U`[]g¥ceR"U4©ªfh`]`of$«[og"¬®veUa`°¯

rfhg1cnUts*c?±ceR"URkU p hU;vFfd©cnRkUfhj\cn[]fg²«[o`]`fhgk`oqcevna p UadcFm<cefhj"j"[og"cn[]TlUm³´«R"[]rRR"U

T a?ql©ªveUU;`oqrR"f*fhmeUamceR"UR"U p hUvnaxcn[]fmµ¶ g|rameUzceR"Ug·^"TY/Uvf©cevna p [og" p axcnUm[om

¸ s\U p k«UWmeR"fN«:cnRIaxccnR"[omr?adj"[ocna`r;fhvev<Um<jfhg p mcnfYcnRkUz"^kq1adg p Rkfh`p m¨cnvnaxcnUdq³´©ªfhv

a¹ad`]`fhj\cn[]fg"fhvcnRkUr;fhvev<Um<jfhg p []g"lm<cevnadceUq ©ªfhvag1q²fhjkce[]fhg«[ºcnRar;fhg1cn[og*^kfh^"m

jIa?qhf»=µt¶ gr?admeU+cnRkU=g·^"T_U;vT a?q p Uj/Ug p fhgcnR"UPj"adcnRWf©*cnR"UP^kg p Uv<`oq*[]gk"N«U¢meRkf$«

cnRIadc+[o©,cnR"U¦`bar§h¨Z*rR"fh`]U;m

p

U;`ocazfd©/ceR"Urfg·ce[]g"Ug1c¢r`]a[]T¼[]m[ocnm<U`º©Ca

¸

g"[oceU½dav<[badce[]fhg

j"vef*rU;memW³´«R"[]rRUtskr;`]^ p Umm¨cag p av p fhj\cn[]fg"m[og hU;g"Uvea`´µt*ceR"[]m[]g"[ºcn[]a`Ir?ajk[ocad`/[om=ceR"U

¦`bar§hZ\rR"fh`oUmMjkve[]r;U_f©cnR"Ufhjkcn[ofhg¶ gfceR"UvFr?am<UmCU¶¾"¶Fm¨cag p av p fhjkcn[ofhg"m;UhUg

©ªfhvcnR"U¹a`o`fhjkce[]fhgC\cnRkU¿·^"U;m<ce[]fhg|veU;T a[og"mfhj/Ug¶

ÀÁ1ÂCÃ<ÄYÅ xÆÈÇ [omerv<U;ceUR"U p h[og""I¦`]ar§h¨Z\rRkfh`]U;miTlf p U`5,Ézjkcn[ofhg²j"ve[or[]gk",Z\^"j/Uv

R"U p []g"m<cevnadceUh[oUm;,Z*cnf*rRIam¨cn[or[og1cnUvna`5¶

ÊÌËÍ Î ÏNÐÍ¢ÑÒºÎ Ó&Ô;Õ

Unit´e de recherche INRIA Rocquencourt

(5)

Ézgcn^ p []Ui`baWj"`]^"m=j/U;cn[ºcnUve[orR"Um<meUF[]g"[ºcn[bad`]Ug;rU;memnad[]veUFjf^"vm<^"ver;fh^k*ve[ov

^"g"Ufhjkcn[ofhg|¡P^"vefhjU;g"g"U p ag"mi`]UTlf p S`]U p U_¦`]ar§h¨Z\rRkfh`]U;m p adg"mF`oUrfhg1ceUs*cnUvU;`

me^"[ºadg·c±²`]UTave§dU;c<½T ad§Uv4gkUj/U^kclm<U|r;fh^k*ve[ov¿*^C¯ p Uml[]gkm<cadg·cemla`adcnfh[oveU;m p U

mefhg rR"fh[Ìs¶ Ç agkm4`]Uram4f `]UgkfhTY"v<U p Urf^khU;v<cn^kveU|Um<c ¸ sdfg-Tlfhg1cnv<U¿·^"U

rU4j"v<[ºsr;fhvev<Um<jfhg p `bam<cnveadc;h[]U4k^kq1ag p R"fh`p ³&j/fh^"v^"gE¹a`o`°f^`bam<cevnadch[oU

rfhv<veUm<jfg

p

ag1cnUj/fh^"vYcefh^kceUfhjkce[]fhg a?Ur²^"g jIa?qhf» rfhg1cn[og·^"UNµt¶

Ç

agkm4`]Uram4f

`]U_gkfhTY"v<UYjU;^kc p ;jU;g p v<U p UY`balcnvnaNw<Ur;cefh[]v<U p ^m<jfdcU;c¿·^"U_`]U p U;`ocna p UY`5¯®fhj\cn[]fg

p Uz¦`]ar§h¨Z\rRkfh`]U;m p UM`5¯adr;cn[º©r;fhg1cn[]gkhUg1cU;m<c^"g j"vef*rU;meme^kmdave[]adcn[ofhg ¸ g"[]U_³&r;Uz¿·^"[

Us\r`o^kcYcnf^kcnU;mY`]U;mYfhjkce[]fhg"mm<cnag

p

av

p

m4Ug g;vna`bµPfhg Tlfhg1cnv<U¿·^"U`]Uj"`]^kmYjUcn[ºc

j"ve[Ìs U;m<c`oU_j"v<[ºs p U4¦`bar§h¨Z*rR"fh`]U;m p U`°¯¾fhjkcn[ofhg¶ Ç ag"mz`oUmMa^kcnv<UmzramC`ba¿·^"U;m<ce[]fhg

veUm¨cnUWfh^kUv¨cnU¶

¼Å $ Ã ¹fh^\hUv¨cn^"v<U p []m<rveScnUdhyf p S;`]U p U=¦`]ar§h¨Z\rRkfh`]U;mx¡+ad`]^Iadce[]fhg p ¯¾fhjkcn[ofhg"m;

Z\^"v¨½m<cevnadch[oUmk g·chvea`]UWm¨cnf*rRIam<ce[]¿·^"Ud¶

(6)

²|=!

gceR"Ui¦`badr§1Z\rR"fh`oUmPfhj\cn[]fg4j"ve[or[]gkTf p U`5hR"U p h[]gkTY^"m<c=f*rr;^"vPrfhg1ce[]g·^"fh^"m<`oq4[og

cn[]TlUcnfRIa?hUYj/Uv¨©ªUr;cMveU;j"`][or?adce[]fhg²f©+ceR"U_r;`ba[oT¶~,fvFfh1*[]f^"mMv<U?am<fhg"m/cnR"[omF[omFgkfc

veU?ad`][]m¨cn[orz©ªvefhT alj"vnadr;cn[or?a`j/fh[og·cif©*[]U;« ag p ceR"Ucevnagkmnarcn[]fgr;fhm<cemF«R"[orR veU;me^"`ºc

©ªvefhT v<UIad`bag"r;[]g"ir?adg_/U=m<^""m¨cag1cn[]a`°¶KQR"U;veU;©ªfveUT ag1qWm<U?av<rR"Uv<mRIa?hUme^"hUm¨cnU

p

aWcevna p [og"m<cevnadceUq"ameU p fhgaj/Uv<[]f p []rveU;*[ome[]fgf©/cnRkUFj/fhv<c<©ªfh`][of"¶ glceR"[]m¢m<U;cece[]g"k

"U;`bag p ³&[oga_Tave§dU;c«[ºcnR cevnag"mear;ce[]fhgr;fhm<cemµ^kmeU p ceR"U¦`]ar§h¨Z\rR"f`]Um p U`ºca«[ºcnR

ag a p w<^"m¨cnU

p

fh`baxcn[]`o[oc q9ag p p

Uv<[ohU

p

cnR"U²¦`]ar§h¨Z\rRkfh`]U;m4j"ve[orU «R"U;g-ceR"U`oU;hU;`f©

cnvnadg"mnarcn[ofhg¥rfm<cnm p Ur;veU?admeUmcef$#U;vef²amMceR"UYv<U;*[]m<[]fhg¥[og1cnUv¨da`KceUg p mzcnf$#;Uvefk¶"Uc

^"mr[oceUWa`]m<faTlfhg"4fceR"Uv<m&%CR"ag"('¾*)°+fh/U;cadg p QKUTaT,'-)5k«R"flRIa?hUWm¨cn^ p [oU p

cnR"Udave[]ag"r;Uf©/cnR"UveU;j"`][or?adce[]fhg_Uvev<fhv*ag

p

R"aNUFUda`]^IaxcnU

p

ceR"Uadve[badg"rU«R"U;glceR"U

cn[]TlUzg·^"TY/Uvf©veU;Ia`]ag"r[og"4hf*Umcnf[og ¸ g"[ºc qh¶

}ifN«UhUv;P[oc p f*Umg"fc_aj"j/U?avveUamefhgkgIa"`oUlcef R"U p hUaxc p U;cnU;veTl[]g"[om<ce[]r4cn[oTU;m

«[ocnRkfh^kc=rfhgkme[

p

Uvnaxcn[]fglfd©CcnRkUFTlfNhUm=f©cnR"Uimej/fcj"ve[orU¶QR"UFjkvefh"`oUT fd©meU;`]U;r;cn[og"

cnR"UU;m<c+RkU p h[og"Fce[]TlUmKag p vnadce[]fhm©ªfhvaF¿·^Ia p vnadce[]r=rve[ºcnU;ve[]fgh[ºhU;g4a ¸ s\U p g·^"TY/Uv

f©cevna p []g"Yce[]TlUm[]mm<fh`oU p []g.'¾*)°¶

glcnR"[om¢jIaj/Uv·«UFv<Um<ceve[or;c=fh^"v<meU`º©CcefcnRkUi©ªfh`o`]fN«[]gkzme^"kmejIar;Uzf©cnR"Uim<cef\rRIadm<cn[or

[]g1cnU;hvna`om±

/1032

4555555

65555557

8:9<;>=?@2BADC&EFAHGIEFADJ&ELKMKNKOEFAPQELKNKNKR adg|[og"rv<U?am<[]g"

meU;¿·^"Ug"r;U_f©m<cefhj"j"[og"4cn[oTU;mme^"rR|cnRIadcSAPTVU ag p

=WYX!ZN[WYX]\[WYXM^M[NKMKNK_[WYX!`a[MKNKNKR_=bWYXMced1X!c]½TUame^"vea"`oUgfDhR

cnRkUrfhv<veUm<jfg p []gkR"U p h[og"vnadce[]fhmm<^"rRceRIadcIfiIjB?

0

k

lnm

C

WVX!cpoqXMcsr

\bt]uDv qX!c

t]ubw 2x8

u

ak¶¾m¶

yz5

55555{555555

|

}FUv<U1q p U;g"fceUm ceR"U ^"g p Uv<`oq*[]g"9da`]^"Ud¶ Qf m<[]Tlj"`][º©´q ceR"U Utskj/fhm<[ocn[ofhg «U «fhv<§

cnR"v<fh^"hR"f^kcceR"U jIadjU;v []g:cnR"UErfhg1ceUs*c£f©YceR"U fhg"Ut p [oTU;g"me[ofhgIa`W¦`bar§h¨Z*rR"fh`]U;m

Tf

p

U`«[ºcnR|g"f [og1cnUv<Um¨cMveadcnUd/m<jU;r[

¸ U p

Tlfhv<UfNhU;vi©ªfhvr;fhTTlf

p

[oc q ^"g

p

U;vFcnRkUv<[]me§

g"U^kcevna`jkvefhIad"[]`o[oc qh·cnR"adc[]m;± } q u 2 ~Hq u }

u

«[ocnRqpC1?agla`oTfm<c+m<^"veU;`oq

afhgkU p []TlUg"m<[]fhg"a`\m¨cag p av p ¦v<fN«g"[bagTlfcn[ofhg¶

Z\[]g"r;U«U p Ua`k«[ºcnRlaga`oTfhm¨cPme^kveUrv<[oceUve[ofhg4[oc+[]m+g"fdc=aWv<Um¨cnve[or;ce[]fhgYcefz«fhv<§Y^"g p Uv

(7)

cnR"UFve[]m<§g"U^kcevna`j"vefIa"[o`][oc q_«R"[]rR«UzmeR"a`]` p UgkfcnU$%*fhv«R"adcnUhUvjkvefhIad"[]`o[oc q

U¿·^"[oda`oUg1ccnf&$k©ªfhv[og"m<cnag"rUceR"UWfhg"UW^"g p U;v«R"[]rR q u 2('*),+.-M³ªr;©meU;r;cn[ofhgk¶hµ¶

ifN«W+h[oUg a¡P^"vefhj/U?adg rfhg1ce[]g"hU;g1c_r;`ba[oT«[oceR Tadcn^"v<[oc q A [Kmna?q0/YX ³ª«[ºcnR

/VX jB?Wak¶¾m¶Pag p2135476/YX98:U µhceR"U`]Uam<cad`]^"Uf©,ceR"Ume^"j/Uv R"U p h[og"Wm<cnveadcnU;h[]U;m

[]m p U ¸ g"U p []g|a4gIadce^"vna`«a?q²1q/±

; 0<=>Q2@?BADCFE G

? 9Q; 8IH /10

m<^"rRceRIadc

G2J

8<X j@/YX ak¶¾m¶K

Uad`]mef p U ¸

gkU; PL<= > []gYcnRkUmnaTlU«a?qY"^kc«[ocnRYa

¸

s\U p g·^"TY/UvM jONf©,R"U p hU;m¶

;ePP<= > 2@?BADC

4555555

65555557 G

? 9;>=?>2xADC1EFAeGIEFApJ1ELKNKNKOEAP<EFAPRQDG 2xA&R

m¨cnfhj"jk[]g"4cn[oTU;mag p =bWVX Z [WVX \ [WVX ^ [MKNKNK [WYX!`R

=bWYXMced1X!c]½TUame^"vea"`oUgf ?QEh ESM_R

ceR"UWrfhv<veU;mej/fhg p [og"R"U p []g"vnaxcn[]fmme^"rR|cnRIadc

G2J

P

k

lnm

C

WVX!c o qXMcsr \ v qX!cw jT/YXÈak¶¾m¶

y555555{555555

|

QRkUv<[]hR1cl¿·^"Um¨cn[]fg meU;UTlmlcefE/U|g"fN«W±«RIadcl[omceR"U²ad`]^"U²f©; 0<= > fhv[og

fcnR"U;v«fv p m;I[]m[occnv<^"UcnRIadc!; 0<= > []mU;¿*^"a`cnfYceR"U¦`bar§hZ\rR"fh`oUmj"v<[]rU 135476/YX98

f©CceR"UFfjkcn[ofhg9UQR"U p [WVlr^"`ºc qrfhTlUmP©ªv<fhT cnR"UFa`oTfhm¨c¢me^"v<U p UTag p fglceR"UFm<^"j/Uv

veUjk`][]radcn[ofhg±WU;Ug [º©[oc[omfh1*[]f^"mceRIadccnR"Uda`]^"Uadccn[oTU<A f©ag1qEr;fhg1cn[og*^kfh^"m

m<cnf*rRIam¨cn[or[og1cnUvna`«R"[orR [omi[og|a p"p [ºcn[]fgaTav<ce[]g"1ad`]UMTa?q/U_ajkj"vef?s\[]TadcnU p cnf

agav<"[ocevnav¨q`]UhU`/f©adrr^kvnarq1qlcnR"UFgIadce^"vna` ¸ gk[ocnUF[]UTag"gme^"T|·cnR"[omajkj"vef?s·

[]Tadcn[ofhg4[]m=^"me^"a`]`ºq4[]ga«U?a§lmeU;g"meUdkUd¶®"¶X

J

m<fceRIadc=c q\jk[]r?ad`]`oq_cnR"UFaj"j"v<f?sk[oT axcn[]gk

meU¿·^"U;g"rUT a?q fhmer;[]`]`]adcnUzavefh^kg p cnR"Uam¨q\Tljkcefcn[or`][]Tl[oc¶

g|©&ar;c,U;hU;g ©ªfhvia¹a`]`fhj\cn[]fgk«U p [p g"fdcFTagIadhUcnfag"m<«UvicnfcnR"Ua/fNhU

¿*^kUm<ce[]fhgC¶iU;Uv<ceR"U`oUm<m/[]gcnRk[]mjIaj/Uv;k«UmeRkf$« cnR"U©ªfh`o`]fN«[]gk"±

Y

½©"ceR"Ug·^"T_U;vf©"m<cnfj"j"[]gkice[]TlUm[]m ¸ s\U p []ga p dag"r;UdceR"Ug©ªfhvm<cnag p av p fhj\cn[]fg"m

«[oceREar;fhg1cn[]g·^"f^"mWjIa?qhf»; PL<Z\[^] >`_ 2bacD=qpCRF«RkUveUdac[]mzcnRkUl`oU?am¨cWrfhgkr?a?hU

©ª^"g"rcn[]fg a/f$Uec/+fhvY[og fceR"Uv_«fhv p mf; PP<Z\[g] >`_&2h; Gi<Z\[^] >`_im<[]g"r;Ufh1*[]fh^kme`oq

; Gi<Zj[g] >k_ 2SacD=qpCR¶PQRk[]m[]m p fg"UW[]g²meU;r;cn[ofhg\¶

Y

½©/YX«ve[ºcnU;m 1l354`6

/YX98

J0m

X

C0n

u} q u «R"U;veU

n

[]ma

¸

g"[ºcnUt½dave[]adcn[ofhgj"vef*rU;mem=«R"[]rR

[]m²akmefhò^kcnU;òq r;fhg1cn[og*^kfh^"mzceR"Ugo; 0<=5> 2 13 4 6/YX98°¶ QR"[omv<Um<^"òc²[om|gkfc

(8)

me^"v<j"ve[ome[og"me[og"rU[]g£m<^"rR a²r?admeU4cnR"Um¨cnf*rRIam<ce[]r4[og·ceUhvea`

m X

C n u } q u T a?q/U

p U ¸ g"U p jIaxcnR1«[]m<Uzama@"U/Ume^"UZ*cn[oU`ocªw<Um[]g1cnU;hvna`5¶QR"[om[om p fg"Uz[]gmeU;r;cn[ofhg

k¶

² " t _

g²ceR"[]mmeUrcn[ofhgk«UWrfhg"m<[p U;v¡P^"vefhj/U?adg|r;fhg1cn[og"hUg1cr;`ba[oTm p U ¸ g"U p 1q²a_cnU;veTl[]gIa`

jIa?qhf» cp=qXDR«RkUveU c[]m+azg"fhg"g"U;1adce[ohUrfhg1cn[og·^"fh^"m+©ª^"gkr;cn[ofhg¶ U ¸ sYcnRkUg·^"TY/Uv

M9fd©cevna p [og" p adceUmiag p «Ur;fhg"m<[p U;v;ePL<Zj[g] >k_ ¶

Ffce[]rU ¸ vem<c±

=Á ; Gi<Z\[^] >`__2Sac&=qpCR ac - p pb( &

c

ÅÅ g p UU p fhg"UWRIam;±

acD=qpCR 2@?WADC

E G

F? 9;"! H$# m<^"rRceRIadc

f&%&H'# %Q

GdJ

! =(% v qpCRIj c =)% R K

FfN« ad©´ceUvWcnR"Ulrfhg1ce[]g·^"[oc q£fd©c£ag p cnR"U©&arcceRIadccnR"Ul`ba?«f©SqX «U[]R·cem_UhUv¨q

fhjU;g²meU;cFf©# %Q

ceR"[]m[omiU;¿·^"[oda`oUg1ccnf

acD=qpCR 2(?WADCE G

F? 9;"! H$# m<^"rRceRIadc

GdJ

! =qX v qpCRIj c =qXDRak¶¾m¶K

«R"Ug"r;UceR"UWveU;me^"`ºc?¶+*

,.- Á*Å Á / fM H'0 % ; PL<Zj[g] > _H2O; Gi<Z\[^] > _H2 ac =qpCR,

Ug"UU p ceR"U©ªfh`]`of$«[og"z`oUTlT aF«Rk[]rRl[]m¢a p []v<Ur;c¢r;fhg"m<U¿·^"UgkrUMfd©CcnRkU©&adr;cPcnR"adc

q-[]ma4r;fhg1cn[]g·^"f^"mFjkvef*rUm<m«R"[]rR|mnadce[]m

¸

Um

$ = A21 43DR F?

©ªfhvag1q53 F?\k«R"Uv<U©ªfv+61?\ A&1¢[om p U ¸ gkU p 1q$A21 2@?WADC87:9p9;zq2< v qpC;=6?>·¶

=Á A@ fCBY? [ $F=q2DHs8qpC v B [qpC

J B 6RIF?EF- HGIJ-KCLa ML1N a&O:

P

(9)

ÅÅÅ - Á - Á*Å Á QR"Uzj"v<f\fd©[]m·q[]g p ^"r;ce[]fhgfNhUv M¶=Z\^"jkjfhm<UMcnR"adc

; PL<Z\[^] >k_ 2 ac =qpCRI`]Uc?¯¾mmeR"fN« ceRIadc;ePRQDGi<Z\[g] >`_ 2Sac=qpCRpK

Éz1*[]fh^kme`oq"me[og"rU ; <Z\[g] >`_ []mg"fhgk[]g"r;veU?adme[]gk"

ac =qpCR j ; P*QDGi<Z\[^] >k_K

"Uc

G

agW[og"[oce[ba`$r?adj"[ocna`°= ApC 2 ?QEFAHGIEADJgELKNKMKOEFADP*QOJI2BA R/m<cnfj"j"[]gkcn[]TlUm

ag p oWYXMZM[WYX-\[WYXN^[NKKK[WYX ` r \ w ceR"UrfveveU;mej/fhg p [og"a p adjkcnU p R"U p []g"4veadcn[ofhm*me^"rR

cnRIadc

G2J PRQDG

lnm

C

WVX!cpoqXMcsr \ v qXMc w j c =qXpR ak¶¾m¶

fhvqhUc

X]\

J

PRQDG

lnm

G

WVX!cpoqXMcsr

\ev qXMc

w j c =qX]\

qX

qX]\

R a\¶®m;¶

«R"Uv<U X]\ 2

G2J

W<C =qX]\ v qpCR¶

Ç U ¸ g"U

u 2 q u

qpC

2 E v ~ J

i J ~ u K

¦qcnR"Uim<cevefhg"4y ave§dfNjkvefhj/Uv¨c qh\ceR"UMr;fhg p [ºcn[ofhgIa`I`]aN« f©

] >

] > \

«[ocnRveU;mej/Ur;ccnf>d1X]\

[]mcnR"adcf© X X-\¶=QRkUg|^"me[og"4cnR"UWveU;r^"v<veU;g"rUR·q*j/fcnRkUme[om«Ufhkcna[]g

G2J

W<C =qX]\

v

qpCRIj acD=qX]\Rak¶¾m¶

Z\[]g"r;Uac[]mrfhg1ce[]g·^"fh^"m;«U p U p

^krU©ªv<fhT¼`]UTlTaMFceRIadc©ªfvag1q BVF?FmeTa`]`·Ugkfh^"hR

f H 8 qpC v Ba[qpC

J B 6 [ G J

W<C = v qpCR j a cp= R

«R"Ug"r;U

G j a cp=qpCR«R"[orR h[ºhU;m; P*QDGSj acD=qpCR¶¢QR"UWj"v<f\f©[]mr;fhTlj"`]UcnU¶+*

glcnR"Uir?admeUif©a¡¢^kvefhj/U?ag¹a`]`Ifjkcn[ofhghcnRkUFj"v<[]r;U ;ePP<Z\[g] > _ rfhv<veUm<jfg p mcefceR"U

rfhm¨cf©ceR"U¬®"^kq1 ag p ½R"fh`p ¯*m¨cnveadcnU;qlf©ar;¿*^k[]ve[og"fhg"UMm<RIav<UMf©ceR"UMm¨cnf*r§ladc i 2 ?

ag

p

R"fh`

p

[]g"4[ºc^"g1cn[o`pi 2A¶

(10)

| Hl ²; W+ -

t ¼;! D

g cnR"[omYmeU;r;cn[ofhg+«U²amem<^"TlU cnRIaxcYcnR"Ug·^"T_U;vdM f©cnvea p [og" p axcnUm4Ta?q p Uj/Ug p

fhg cnR"Uj"adcnR f©ceR"U^"g p U;ve`ºq\[og""¶ Uh[oUag aj"jkvef?s\[]Tadcn[ofhg f©ceR"Um<cef\rRIadm<cn[or

[]g1cnU;hvna`

u

mC n <

}

<1q²U`oUTlUg1cav¨qm¨cnf*rRIam<ce[]rW[]g1ceUhvea`]mfd©ceR"U©ªfhveT

8 u 2 0

lnm C n

X!c o

X!csr \btuDv

X!ctu

w

«R"Ug

n

[]mia ¸ g"[oceUdav<[badce[]fhgjkvef*rUm<m = ADCgEFAHGIE KNKMKOEFA

l

ELKNKMKRameU;¿·^"Ug"r;UYf©

m<cnfj"j"[]gkEcn[oTU;m

aEfhgkUp []TlUg"m<[]fhgIad`m<cnag p av p ¦v<f$«gk[bag Tfce[]fhgC¶ QR"Ug «U

Us*cnU;g p ceR"[]majkj"vef?s\[]Tadcn[ofhg cefceR"U¦`badr§1Z\rR"fh`oUmTlf p U;`°¶

! #"$%&'%())*'%&+-,/.%)0213'!425)%60)020)7,8'9:.<;

'9

"Uc

n

Uag|a"m<fh`]^\cnU`ºqr;fhg1cn[]g·^"f^"mj"vef*rU;mem,[5¶®Ud¶

n=

2 n C J =

m

C5>

< } 9 [ f@?2H 6? [ ii8

«R"Uv<U

>

[]madga p ajkceU p j"vef*rU;mem¶

UWme^"jkjfhm<U[ogcnR"[ommeUrcn[ofhgcnRIadc

n

[omf©+/fh^"g p U p|p Uv<[odadcn[ºhUd"[°¶¾U¶

;

>7A

;#:

B

:BU ak¶¾m

«R"Uv<U

B

[]majfme[oce[oUrfhg"m¨cag1c¶

Éz^"viajkj"vef?s\[]Tadcn[ofhgj"v<f\r;U

p

^kveUW[]m

p

[º*[

p U p

[ogDCj"av<cem¶

³&a1µ UR"aNUceR"UWme[oTj"`oUz[]g1ceUhveadcn[ofhg1qjIav¨cnm©ªfhveT_^"`ba

X!csr \

E

X!c n <

}

<2

n

X!c o X!csr \ v

XMcw J XMcsr \

E

X!c

> = o

XMcsr \ v = w } ?

(11)

Z*U;c

l

2

X!csr \

E

XMc n <

}

< v n X!c o

X!csr \ v

XMc w 2 X!csr \

E

XMc

> = o X!csr \ v

= w } ?

cnR"U;g

; l

;E

B

X!cr \

E

X!c

XMcsr \ v = }

?Yak¶¾m¶

"Uc

l C

l a p U;cnU;veTl[]g"[om<ce[]rYr;fhg1hUv<hUg1c_meUv<[]U4«[oceREj/fhm<[ocn[ºhUYceUveTlm¶¹fhgkme[p Uv

cnR"UWmeU;¿·^"Ug"r;U_f©m<cefhj"j"[og"4cn[oTU;m

ADCS2 ?

A l

QDG2T?BADC 9 ? [ <

m

XMc

; < v = ; }

?2

l

Oh jx?

Éz1*[]fh^kme`oq cnR"Uvnag p fhT dav<[ba"`oUm

l 2 =A l

QDG v A l

Rav<U[og p U;jU;g p Ug1c,ceR"Ug1q

^"me[og"4cnR"U#U;vefd½fhg"UW`ba?« ³&r© 6V 8bµ«UWRIa?hU

$

0

lnm

C l 2 J

U H 7-? [*N>

³ª,µ½©«Urfhg"m¨cnv<^"r;ccnRkUm<U¿·^"U;g"rU$=

l

Rme^"rR|cnRIaxc

$

0

lnm

C l 2 J

U 2bN ³$µ

«U«[]`o`fhkcna[]g

v B 0

lnm

C l J 0

lnm C n

X!c o

X!cr \t]uDv

X!ct]ubw

E u

EC n <

}

<YE

0

lnm C n

X!c_o

X!csr \tuDv

X!ctubw

J B 0

lnm C l

a\¶®m;¶

(12)

UcnR"U;gv<Um<r?a`oUf^"vm<cefhj"j"[og"4cn[]TlUm`o[]§dU±

A

C 2 ?

A

l

QDG

2T?BADC 9 ? [ <

m

X

c ; < v = ; }

?2 B l

[+BV ?

¦qcnRkUm<r?a`o[]g"4jkvefhj/Uv¨c qf©KcnR"U¦v<f$«gk[bag²Tlfcn[ofhg

f29 ? [ E <

X

c ; < v = ; } ? [ _

2 E < X

c

C < X

c v = } ?

~,fvag1q :F?\"«UWRIa?hU

E

C ; v = ; } ? [ _

2

^

E

C

v

}

«R"Uv<U

A2 G

A

[omam¨cag p av p ¦v<f$«gk[bag²Tlfcn[ofhg¶ [ºcnR <24B

^

«UhU;c

A

l

QDG

v A

l

[ _

2 B ^

= A l

QDG v A lR

«[ocnR|a`omef

$

0

k

lm C

l 2 J

UB2bN «R"Uv<U

l

2 o A

l

QDG

v A

l w

cnR·^"m«UhUciag adj"j"vef?s\[]Tadce[]fhg «[ºcnR|agavek[ocnveav<q ar;r^"vear;q¶

³ªrNµ½cveU;T ad[]g"mceflrRkf\fhm<U$=

l

Rme^"rR|cnRIaxc

$

0

lnm

C l 2 J

U 2bN

R"fh`p m¶

~Ifhvad`]`$?2H 6? [M998&k«URIa?hU < v

C

< E < v = E < v ?WADC C

<

(13)

adg p ; < v =

;E <

2 o l

<

[

< w

«RkUveU

l

<

2 < v ?BADC

C

<

ag p

<

2

C

< v <

Z*U;c

%

l

2@?BA#C&7:9 F? [ 9 <&2

l >

cnR"U;g l j %

l

ak¶¾m¶

"UcFgkf$« a4jfhm<[oce[ohUm<U¿·^"U;g"rU$=

l

Rt¶ UWRIa?hU1qmera`][og"

$ = %

l

lR 2 $ c:

l

2 $ l

G:

l

2 $ IG : l

^

l

ag p rfhgkmeU¿·^"U;g1cn`oqCadmim<f\fgadm

l l 2 J U

$ l %

l 2 J U j l

$F= %

l

l R

2 l

$ G:

l

^

l

2 l

FN v $ G j l

^

l

(14)

QKflrfhg"r;`]^ p U"«UR"aNUcef ¸ g p cnR"UWmeU;¿·^"Ug"r;UmQ=

l

Rag p =

l

Rm<^"rRceRIadc±

= GR

l l : J U

= JR

l l 2 J U

=

R l

^

l J U

= R l $ GIj

l

^

l : J U

me[]gkrUW1q²a4r`badmeme[or?a`CveUm<^"`occeR"UWrfhg p [ocn[ofhg"m= Rag p = RU;g"me^kveUWcnRIadc

l N v $ IG j l

^

l F?

UWr?adg|«v<[ocnU

IG 2 2E

C

G

= v G Rp[

C

G

= G v R K

2

C

G

; G v ;

2

C

=

G

; G v G = ;

2

C

=

G

;

= ;

«R"Uv<U$=

=

R[]ma4m<cnag p av p ¦vefN«g"[badg|Tlfce[]fhg¶

ime[og"4cnR"UW[]gkU¿·^Ia`o[oc q

$

C

=

G

;

= ;j E '

^

«UWhUc

$F= IG j MRIE ' ^

^

(15)

=

R 0

lnm C '

^c

^

c : J U

R"fh`p m¶

½c []mlg"fN«¤U?am¨q cef ¸ g p c «f meU¿·^"U;g"rU;m = l R|=

l

= GR[]= JR[]= Rag p =

l 2 N

h

ag p l 2 Nh

[If hjON

! #"$%&'%())*'%&+-,/.%)0213'!4 )% )%)060 067,/'!9:. ;

'9

Z\^"j"j/fhmeU|g"fN«

n

[omam¨cnf*rRIam<ce[]r²j"v<f\r;Umem«[oceR j/fhm<me[]k`oq ^kg*/fh^"g p U p p Uv<[odadcn[ºhUd

«R"[]rR|g"U;Uv¨cnR"U;`]Um<mMmeadcn[om

¸

U;m

C < X ; > < ;.:FU ak¶¾m¶

"Uc

> P

= 2 = >

=

M_R v M ag

p n P= 2 n C J =

m

C5>

P

< }

9H[ ?2H

6? [ ii8 [OM H %

³5hµ

U p U ¸

C 2 ? ³&1µ

P 2 ?WADC27:9 ?;

>

<H; M> i[M jON

¦q9³°µag p ³51µ

u

EC n <

}a

<2 Q0

P m G `

E

` \ n <

}a

<2 Q0

P m G `

E

` \ n P<

}

<

(16)

Z*[]g"r;U

n PA

[omMa ¸ g"[oceUdav<[badce[]fhg²j"v<f\r;Umemi«[oceR /fh^"g p U pp Uv<[odadce[ohUdI«UYrag¥adj\

j"vef?s\[]TadcnU `

m

` \ n P<

}

<_am[]gceR"UWj"veU\[ofh^"mjIav¨c?¶

"Uc BY?ag p =A <P

l R l

g"U p 1q

A <P

C 2 ?

A <P

l

QDG

2 ?BADC 9 F?

E <

X `

c ; < v = ; }

?2

l B

M

«R"Uv<U

k l

UWRIa?hU

v M B

M 0

lnm

C l J 0

lnm

C n P=X `

c t ` R ` \ =X ` csr \ t ` R

` \ v =X `

c t ` R

` \

E `

E

` \ n P<

}a

<

E 0

lnm

C n P=X `

c t ` R ` \ = X ` csr \ t ` R

` \ v =X `

c t ` R

` \

J M B

M 0

lnm C l

ak¶¾m¶

¸ gIa`o`oql«Ufhkcna[]g1q²me^kTTl[]g"_f$UvM

v B 0

lm C l J 0

lnm

C

n X

c

X

cr \ t]u

v

X

c

tu

E u

EC n <

}

<@E

0

lnm

C

n X

c

X

csr \ tu

v

X

c

tu J B 0

lnm C l

ak¶¾m¶

«R"Uv<U¢ceR"U A

l

av<U+cnR"U¢adfNhUPm¨cnfhjkj"[]g"ce[]TlUmCfkca[og"U p 1qjk[]r§·[]g"ceR"U o A <P

P w P G

fhgcnR"UW[]g1ceUv<da`8

P G[

P 6¶

u

mC n <

}

<i«[oceR aglav<"[ocevnav¨q4ar;r^"vear;q¶

(17)

6,/ ' . 8'% * "/4). '" '%&+-,/.513'4 ,/ " 8

gEcnRk[]mjIav<cK«U v<Uj"`]arUcnRkU ¦v<fN«g"[bag yfce[]fhg

u

mC n < }

8 u 2 0

lnm C n

X!c o qX!csr

\btuDv qXMc

tu

w

«R"Ug

n

[]mia ¸ g"[oceUdav<[badce[]fhgjkvef*rUm<m = ADCgEFAHGIE KNKMKOEFA

l

q u 2(' +#-

«R"Uv<U

n

;

>7A

;#:

B

:BU ak¶¾m

«R"Uv<U

B

[]majfme[oce[oUrfhg"m¨cag1c¶

X!csr \

E

X!c n < }

q2<2

n

X!c o qX!cr \ v qX!c w J X!cr \

E

X!c

> = o qX!cr \ v q = w } ?

Z*U;c

l

2

X!csr \

E

X!c n < }

q2< v n

X!c o qX!cr \ v qX!c w 2 X!cr \

E

X!c

> = o qXMcsr \ v q = w } ?

cnR"U;g

; l

;E

B

X!cr \

E

X!c

qXMcsr \ v q = }

?Yak¶¾m¶