A semantic measure of the execution time in Linear Logic

HAL Id: inria-00206099

https://hal.inria.fr/inria-00206099v4

Submitted on 4 Feb 2008

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.

A semantic measure of the execution time in Linear Logic

Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco

To cite this version:

Daniel de Carvalho, Michele Pagani, Lorenzo Tortora de Falco. A semantic measure of the execution

time in Linear Logic. [Research Report] RR-6441, INRIA. 2008, pp.48. �inria-00206099v4�

a p p o r t

d e r e c h e r c h e

0249-6399 ISRN INRIA/RR--6441--FR+ENG

Thème SYM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

A semantic measure of the execution time in Linear Logic

Daniel de Carvalho — Michele Pagani — Lorenzo Tortora de Falco

N° 6441

janvier 2008

Centre de recherche INRIA Nancy – Grand Est LORIA, Technopôle de Nancy-Brabois, Campus scientifique,

$ $ %

&('*)+-,/.10,324'*5#67'*.98:

∗

^;=< +9>?8,@.9,BAC'7DE'*)+

†

^;GF :H5I,/)J@:KL:H5IMN:H5O'P0,RQG'*.->/:

‡

S1TVU#W4X Y/Z\[]^Y`_badceU#W4XIaaf_`Whg*ikjmlmn/oVXNa

p

n/oVlmq*XrtsGufikvdXcxwyLzz|{~}\yx[B[€

‚ƒqVq*ikufc„bX…ueXI†‡TVXIue†‡TVX‰ˆHŠ‹ƒŒ@ŒŽ]v~‚ƒˆ``lmX#uL‘ƒ’@’k“…]”Œ@“•qŽ‚k–kXIa

—˜™Iš#›?œVƒš@ž Ÿ Xx–klmkXL‚a~XIW4‚kˆ/cfl¡†‚k†I†ikoŽˆ@c iƒ¢EcfTŽXLX£bXN†obcel¤i@ˆ¥cflmW4X¦§l9¨Xk¨©cfTVXCˆ`oVWhg*X#u

iƒ¢•†obcfr9XIj¤lmW4l¤ˆŽ‚ƒcflmikˆªa~cfXIqŽaj¤XN‚k„blmˆV–«cei¬ceTVX­ˆVikueW¥‚ƒj¢§i@ufW®!iƒ¢h‚kˆªoVˆ/cd_`q7XN„

M ELL

¦§qŽufi`iƒ¢¯rd®°ˆŽXcI¨ Ÿ X ±7uea~c²qVufi?@XGceTŽ‚?cN³ O®‚xˆVX#cGlmaTVXN‚k„`rtˆVi@ufW¥‚ƒjmlm´I‚ƒgŽj¤XL¦µl-¨Xk¨kˆVikueW¥‚ƒjml¤´N‚ƒgVjmX

‚?c„bX#qbceT

0

®¥l¶¢h‚kˆŽ„·ikˆVjm_¸l¶¢ l¤ceal¤ˆ/ceX#ueqVufX#ce‚ƒcflmikˆ·l¤ˆ¹cfTVXBWoVj¤cfl¡a~X#cgŽ‚@a~XN„·ufXIjm‚ƒcflmikˆŽ‚kj afX#W¥‚ƒˆ/cfl¡†#a l¡a ˆŽiƒc1X#W4qbcd_‚ƒˆ7„!‘k® ‚hˆŽXc1lmaˆVi@ufW¥‚ƒjmlm´I‚ƒgŽj¤Xl¤¢‚kˆŽ„i@ˆVj¤_4l¤¢l¤cea…ºe»O¼Ž½?¾`¿ÁÀ9¯ÃOº

lmˆ@ceX#ueqVueXce‚ƒcflmikˆ¦µ‚\a~oŽl¶c‡‚ƒgVjmX1ufXNadceufl¡†Ácel¤i@ˆ iƒ¢*l¶c‡al¤ˆ/cfXIufqŽufX#ce‚?cel¤i@ˆ7®lma©ˆVikc²X#W4qbcd_k¨ Ÿ XcfTVXIˆ

„bX#±ŽˆVX‚!a~lm´#XikˆX#@X#ue_X#£bq7XIuflmW4X#ˆ/cLiƒ¢=‚ˆVXcNÄH‚kˆŽ„(ÅXhqVueXI†#lmafX#jm_ueX#j¡‚?ceX…cfTŽXhˆ`oVWhg*X#u

iƒ¢†oVc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆÆa~cfXIqŽa ik¢XIkXIuf_Ra~cfu‡‚?cel¶±7XI„­ufXN„boŽ†cflmikˆPa~XNn/oVX#ˆŽ†#X4cfi(ceTVXa~lm´#X¥ik¢‚

qŽ‚ku~celm†#oVjm‚kuLX#£`q*X#uelmW•XIˆ/cI¨ Ç©l¤ˆ7‚ƒjmj¤_@Ä*ÅX•–klmkXh‚a~XIW¥‚ƒˆ/cfl¡† W4XI‚@a~oŽufXiƒ¢GX£bXN†obcel¤i@ˆBcflmW4Xk³

ÅXqVuei?kX cfTŽ‚ƒc\ÅX†I‚ƒˆ­†ikW4qVoVcfXcfTVX4ˆ`oVWhg*X#u\ik¢ †obcfr9XIj¤lmW4l¤ˆ7‚?cflmikˆ­adceX#qŽaCjmXI‚@„bl¤ˆŽ–cfi

‚•ˆVikueW¥‚ƒj*¢§ikueWÈik¢cfTŽX…ˆVXcikgVce‚ƒlmˆVXN„!g`_!†#ikˆVˆVXN†Ácel¤ˆV–•cdÅi•†#obc¢§ueX#XCˆVXc‡ag`_W4XI‚ƒˆ7a ik¢

‚!†#obc\j¤lmˆVÉHÄ*¢§ufi@WÊceTVX•l¤ˆ/cfXIufqŽufX#ce‚?cel¤i@ˆŽaik¢²cfTVXcdÅi!†obcC¢§ueX#XhˆŽXceaI¨…S1TVXIafXhueXIafoVj¤ceax‚ƒueX

lmˆŽa~qŽl¤ueXI„!g/_aflmW•lmj¡‚ƒu1ikˆVXNaikgbc‡‚ƒlmˆVXI„!g/_4ceTVXC±Žu‡adc‚ƒobceTViku ¢§ikuceTVX¥¦§oVˆ/cd_`q7XN„Ž® jm‚kWhgH„V‚?r

†#‚kjm†#oVjmoŽa#¨

ˁÌ/ÍHÎfÏhÐ ›?љ@ž z|lmˆVXN‚ƒu…jmik–kl¡†ƒÄ©„bX#ˆŽiƒce‚ƒcflmikˆŽ‚kjGa~XIW¥‚ƒˆ/cfl¡†#aIÄqVuei`iƒ¢¯rtˆVXc‡a#Äl¤W4qVjml¡†l¤c†i@Wr

qVobc‡‚?cel¤i@ˆŽ‚ƒj|†#ikW4qVjmX£bl¶cd_@¨

∗

Ò§Ó©Ô|Ò¯ÕÖ¯×/ØÁÙ-Ù-ڇÛÝÜOÞÁ߃өڇÜNàdáâLãڇÜNÛÝÞ~ä¡åæNÞ~à~ڇ٧çÁڇäÝèOØ#é©äÝØÁÙµÛêÚNåë¤Ù

†

^{ì*ì*í ߃îEÓ©Ô íïÆð ÜOÛçÞdÙµñ9Ûò-ó ì} ڇÙ-ÛÝñ|ôÒµÒ7âLõ\ÛÝàtèNÞ~äÝÞÁåì ڇöڇÜOÛ¶é©÷O÷NñfåøµùOñ9ñ-ÛÝÞ~ù@åëmÙ

‡

ã©ÛÝ÷?ڇ٧ò9ÛÝúÞdÜò9ØæOÛ/ûVÛÝäÝØÁñ9؇ü?ÚGâ ð ÜOÛçÞdÙ-ñ-Ûòtý1æOÛ/ÔØÁúÚ=þbÙ-Þ©â1ò9ØÁÙ§ò9ØÁÙ-Úé©ùOÜOÛÝÙµØÁúÚÁÿNåÛò

! $ % • $ hÁ©

™ ž ikoŽaG¢µ‚ƒl¡a~i@ˆŽa²oVˆŽXceoŽ„bXxa#W¥‚kˆ@celmn/oVX„Vo4cfX#W4qŽa „bXL†I‚ƒj¡†oVj©¦µ†XIa~c~r?r°„blmufX

„bo¹ˆVi@WhgVueXB„ce‚kq7XNa!„#jmlmW•lmˆŽ‚ƒcflmikˆ¹„bXNa†i@oVqVoVueXIa¥W4XIˆŽ‚ƒˆ/cPj¡‚­¢§ikueW4XBˆVi@ufW¥‚ƒjmXN®

„oŽˆu IafXI‚koª¦µ„bX(qVueX#oŽkXN®h„bX[€=zzªˆVi@ˆ¬cd_`q!k¨

ikoŽa•qVueikoŽkikˆ7ah„‚ƒg*iku‡„¬n/oVX­N®

oVˆu IafXI‚koXIa~c1ˆVikueW¥‚ƒjmlmae‚ƒgVjmXx„VXLc "cfX4¦µ†#XNadcfr$ƒrt„Vl¤ueXLˆVi@ufW¥‚kj¤l¡af‚kgVjmX%qVufik¢§ikˆŽ„VX#oVu1’@® a~l9Ä

Xc•afX#oŽj¤XIW•XIˆ/c•afl-ÄGafikˆPlmˆ/cfX#ueqVu c‡‚?cflmikˆ«„Ž‚ƒˆŽahjm‚3a&IW4‚kˆ/cfl¡n@oŽXufXIjm‚ƒcflmikˆVˆŽX#jmj¤Xg7‚ka#X!afoVu

j¤XNahWoVj¶cel¶rtX#ˆ7a~XIWhgVjmXIahˆ'XNadc•qŽ‚ka`lm„VX!Xc4n/oVX‘@®…oVˆ«u IafXI‚koPXIa~chˆVi@ufW¥‚ƒjml¡af‚kgVj¤Xa~l9ÄXc

a~XIoVj¤XIW4X#ˆ/cafl-Ä©a~i@ˆ­lmˆ/cfXIufqVu c‡‚?cel¤i@ˆ·ºe»?¼V½?¾`¿ÁÀ9¯ÃOº3¦§oŽˆVXueXIa~cfuelm†cflmikˆÆ†ikˆ`@X#ˆŽ‚kgVj¤X¥„bXafikˆ

l¤ˆ/cfXIufqŽu#ce‚?cel¤i@ˆ7®Lˆ'XNadc…qŽ‚@aC/l¡„bX@¨ i@oŽa\„(±7ˆVlmaeafikˆŽa\‚ƒjmiku‡axoVˆVX•ce‚kl¤jmj¤X¥afoVu\j¤XNaCX£bq)Iufl¤r

X#ˆŽ†#XIa=„VXIaGu IafXI‚kob£X#c=ˆVi@oŽa=„bi@ˆVˆVi@ˆŽaGoVˆŽXufXIjm‚ƒcflmikˆ4qVu I†#lmafXX#ˆ/ceufXjmXˆVi@WhgVueXL„c‡‚ƒq*XIa

„XIj¤lmW4l¤ˆ7‚?cflmikˆ„bXIa†ikoŽqVoVueXIa „oVˆVXa~oŽl¶ceXn/oVX#j¡†i@ˆŽn/oVX!„bX!uN„boŽ†Ácel¤i@ˆŽaha~cfu‡‚?cel¶±)#XIa Xc

jm‚•c‡‚ƒlmj¤jmX…„oŽˆVX…X£bq!#uel¤XIˆŽ†X\qŽ‚ku~celm†#oVj¤lmU#ueXk¨²€=ˆb±Žˆ|ÄVˆŽikoŽa„VikˆVˆVi@ˆŽa1oVˆVX\W4XIafoVueX a&IW¥‚ƒˆbr

cfl¡n@oŽX!„bo­cfXIW•q7ah„bX†I‚ƒj¡†oVj³hˆVikoŽa\qŽufi@oVki@ˆŽa…n/oVX¥ˆViko7a…q7i@oVki@ˆŽa…†#‚kjm†#oVjmX#u*(qŽ‚ku~cel¤u

„bXj+lmˆ/cfX#ueqVu c‡‚?cflmikˆ¥„bXx†‡TŽ‚k†#oVˆ¥„bXIaG„VX#ob£4uNa~XN‚ƒob£j¤XˆŽikWhgŽufX„c‡‚ƒq*XIa „Ij¤lmW4l¤ˆ7‚?cflmikˆ

„bXIa1†i@oVqVoVueXIa ceue‚kˆŽad¢§i@ufW¥‚kˆ@c X#ˆoVˆ!u IafXI‚ko!af‚kˆŽa1†i@oVqVoVueXIa j¤XCu IafXI‚ƒo!ikgbceX#ˆ`o!XIˆ†i@ˆbr

ˆVXI†ce‚ƒˆ/c²„bX#oV£ uNa~XN‚ƒob£ ae‚ƒˆŽa©†i@oVqVoVueXIaI¨w XNau IafoVj¤ce‚ƒcea©a~i@ˆ@clmˆŽa~qŽl¤u IaqŽ‚ƒu²„bXNau IafoVj¤ce‚ƒcea

a~XIWhgVj¡‚ƒgVjmXIa1i@gbcfXIˆ`oŽa1qŽ‚ƒujmX\qVueX#W4l¤XIu‚ƒobceX#oVuq*ikoŽuj¤X\j¡‚ƒWg*„V‚ƒrt†I‚ƒj¡†oVj²¦µˆVikˆcd_`q)O®Á¨

, Ð šN™ Î #- ™ž z|i@–kl¡n/oVX\j¤lmˆ.I‚kl¤ueXkÄ7a&IW4‚kˆ/cfl¡n@oŽX „(#ˆVikce‚ƒcflmikˆVXIj¤jmXkÄVu IafXI‚kob£!„bX qŽufXIoVkXNa#Ä

†ikW4qVjmX£bl¤c…lmW4qVj¤l¡†l¤cfX „Vo(†I‚ƒj¡†oVj9¨

! #"$&%'(!*),+*.-0/1"2,.4356%)7"$&- 8"9$:;.$:

< $ ,!+ < -=>$%

&('*)+-,/.10,324'*5#67'*.98:

;G<

+9>?8,@.9,RAC'*DH'*)+

;²F

:H5I,/)J@:KL:H5IMN:H5O'P0,RQG'*.->/:

Ÿ X–@l¤@X‚!afX#W¥‚kˆ@celm†•‚k†I†i@oVˆ/cxiƒ¢=cfTVX•X£bXI†#obcflmikˆRcflmW4X¦µl-¨Xk¨\ceTVX4ˆ/oŽWhg*X#uCiƒ¢ †#obc~r

X#jmlmW•lmˆŽ‚ƒcflmikˆa~cfXIqŽajmXI‚k„Vl¤ˆV–xcfixcfTŽXˆŽikueW4‚kjk¢§i@ufW®iƒ¢*‚ƒˆhoŽˆ@cd_`q*XI„

M ELL

¦§qVuei`iƒ¢¯rd®°ˆVX#cI¨

Ÿ X±Žu‡adcqVuei?kX1cfT7‚?cI³N®=‚…ˆVX#c l¡a=TVXN‚k„`rtˆVi@ufW¥‚ƒjmlm´I‚ƒgŽj¤X…¦§l9¨Xk¨/ˆVikueW¥‚ƒjml¤´N‚ƒgVjmXL‚?c„bX#qbceT

0

^®

l¤¢©‚ƒˆ7„ikˆŽj¤_¥l¤¢l¤cealmˆ@ceX#ueqVueXce‚ƒcflmikˆlmˆcfTVXCWhoVj¤cfl¡afXcgŽ‚kafXI„!ufXIjm‚ƒcflmikˆŽ‚kj*afX#W¥‚kˆ@celm†Ia=l¡aˆViƒc

X#W4qbcd_4‚ƒˆ7„4‘@®²‚\ˆVX#c=lma=ˆVikueW¥‚ƒjml¤´N‚ƒgVjmX1l¶¢|‚kˆŽ„4ikˆVjm_hl¤¢|l¤ceaLºe»?¼V½?¾`¿ÁÀ9¯ÃOºxlmˆ/cfX#ueqVueXc‡‚?cflmikˆ(¦µ‚

afoVl¶c‡‚ƒgVjmX\ufXNadceufl¡†Ácel¤i@ˆiƒ¢©l¶c‡a1l¤ˆ/ceX#ueqVufX#ce‚ƒcflmikˆ7®=lma1ˆŽiƒcX#W4qbcd_@¨ Ÿ XCcfTVXIˆ„bX±ŽˆŽX\‚•afl¤´IXCi@ˆ

X#@X#ue_…X£bq*X#uel¤W4X#ˆ/cGik¢*‚\ˆVX#cIÄ@‚kˆŽ„Å X1qVueXI†#lmafX#jm_ ueX#j¡‚?cfXceTVXˆ`oVWhg*X#u²ik¢H†#obc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆ

a~cfX#q7a|iƒ¢VXIkXIuf_Cadceue‚ƒcfl¤±ŽXI„\ueXI„bo7†Ácflmikˆ afXIn/oVXIˆŽ†XGcficeTVX afl¤´IXGiƒ¢V‚q7‚ƒufcfl¡†oVj¡‚ƒuX£bq7XIuflmW4X#ˆ/cI¨

Ç©l¤ˆ7‚ƒjmj¤_@ÄÅX¥–klmkX¥‚(a~XIW4‚kˆ/cfl¡†4W•XN‚kafoVueX•ik¢X#£bXI†oVcflmikˆ3cflmW•X@³ ÅX¥qVufi?@XhceTŽ‚?c ÅX†#‚kˆ

†i@W4qVobcfX4ceTVX4ˆ`oVWhg*X#u ik¢†#obc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆ­a~cfXIqŽa…jmXI‚@„bl¤ˆŽ–cei‚ˆŽikueW4‚kj©¢§ikueW iƒ¢ cfTVX

ˆVX#cCi@gbce‚kl¤ˆVXN„g`_†ikˆŽˆVXI†cflmˆV–¥cdÅi†oVcL¢§ueX#XhˆŽXceaCg`_(W4XI‚ƒˆ7aiƒ¢‚†obc\jml¤ˆVÉHÄ*¢§ueikW cfTVX

lmˆ@ceX#ueqVueXce‚ƒcflmikˆŽa\ik¢ ceTVX¥cdÅiB†obc…¢§ueX#X!ˆVXc‡a#¨S1TVXIafX¥ufXNa~oŽj¶c‡a ‚ƒueX4l¤ˆŽafqVlmufXN„­g/_­a~lmW4l¤j¡‚ƒu

ikˆŽXIa1ikgVce‚ƒlmˆVXN„!g`_¥ceTVX\±Žu‡adcL‚kobcfTVi@u¢§iku1cfTŽX¦§oVˆ/cd_`q7XN„Ž®1j¡‚ƒWg*„V‚ƒrt†I‚ƒj¡†oVjmoŽaI¨

? @

G©

lm–kT/ch¢§ueikWceTVXa~ce‚ku~cNIJz|lmˆVXI‚ku•zik–kl¡†B¦-zzGÄBAÝ}Cl¤u‡“DC&E§®‚ƒqVq*XI‚kufXN„P‚kah‚Rq7ikcfXIˆ@celm‚kj jmik–@l¶r

†#‚kjcfi`ikj1cei­a~cfoŽ„V_¬†i@W•qŽobce‚ƒcflmikˆŽ‚kj1†#ikW4qVjmX£bl¤cd_k¨S1TŽXjmik–@lm†I‚ƒj1adc‡‚?ceoŽa4–klmkXIˆ¬g`_ÆcfTVX

X£bq*ikˆVXIˆ/cfl¡‚ƒj¡aL¦¯ceTVXLˆŽX#Ź†i@ˆVˆVXN†ÁcflmkXNa²iƒ¢zz®©cei ceTVXLi@q7XIue‚ƒcflmikˆŽa²ik¢EX#u‡‚kafl¤ˆV– ‚kˆŽ„†#ikq`_/r

lmˆV–B¦µ†#ikueufXNa~q*ikˆŽ„Vl¤ˆV–•cei4cfTVXha~cfueoŽ†cfoVu‡‚ƒj|ueoVjmXIaik¢©lmˆ/cfoVl¤cflmikˆŽlma~cfl¡†…jmik–kl¡†…‚ƒˆ7„ik¢G†j¡‚kaea~l¡†#‚kj

jmik–kl¡†I®•afTVXI„·‚ƈVXIÅÊjmlm–kT/cikˆcfTVX3„boVqVjmlm†I‚?cel¤i@ˆqVueib†XNafa4ueXIafq7i@ˆŽafl¤gVjmX(iƒ¢CcfTVX7FdX#£`qŽj¤ikr

afl¤i@ˆHG iƒ¢²cfTŽXafl¤´IX¦µ‚kˆŽ„(cel¤W4XN®L„boVuel¤ˆŽ–cfTŽX†oVc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆBqVuei`†#XI„boŽufX@¨LS1TVl¡aLl¡aÅl¤c~r

ˆVXNafafXI„•g`_hceTVXL†#ikˆ/cfuel¤gŽobcflmikˆ¥–@l¤@X#ˆ4g`_zzcfi…ceTVXÅl¡„bXueXIafXI‚ƒu‡†‡T4‚ƒueXI‚\†#‚kj¤jmXI„4{°W4qVjmlm†#l¶c

w ikW4qVoVce‚?cel¤i@ˆŽ‚ƒj=w i@W•qŽj¤X#£`l¤cd_H³x‚cfueoVX•gVueXI‚ƒÉ/ceTVufi@oV–kTRÅl¶ceTRceTVlma\ueXIafq*XI†Ác\l¡a }Cl¤u‡‚ƒu‡„a

z|lm–kT/cz|lmˆVXN‚ƒu¥z|i@–kl¡†3¦-zzz=ÄIAÝ}ClmuJ@“KE¯®¨ y kX#ue_«†#‚kufX#¢§oVjTŽ‚kˆŽ„bjml¤ˆV–Æik¢Czz a4X#£bq7i@ˆVX#ˆbr

cfl¡‚ƒj¡aC‚ƒjmj¤i?ÅacfTVX•‚ƒobceTVikuxcfiÉkX#XIqBX#ˆŽikoV–@TB†ikˆ/ceufi@jikˆBcfTVX4„boVqVjml¡†#‚?cel¤i@ˆBqVueib†XIaeaIÄ*‚kˆŽ„

cfi¬qVufi?@X!ceTŽ‚?c‚Æ¢§oVˆŽ†cflmikˆ

f

lma!ufXIqVufXNa~XIˆ/ce‚ƒgŽj¤X(lmˆ¹zzz l¤¢ ‚ƒˆŽ„·i@ˆVjm_¬l¤¢

f

lma!q7i@j¤_/r cflmW4Xk¨ [ikueXueXI†XIˆ/cfjm_kÄiƒcfTŽX#uLF~j¤lm–kT/c!af_badceX#W¥aMGTŽ‚O@Xg*X#XIˆ l¤ˆ/ceufib„boŽ†#XI„¸g`_yxa~q*X#ufcfl

‚ƒˆ7„Bi?kXIueaflNAyL’/‘OEtÄQPC‚ƒˆŽi@aC‚ƒˆŽ„R@iklmˆVXc>APSR/’TKEtÄEz‚?¢§i@ˆ/cAz‚?¢µ’kŒE‚kˆŽ„ikcfTVXIueaI³a~XI@r

X#u‡‚ƒj²afl¤W4qVjml¤±7†#‚ƒcflmikˆŽa\‚ƒueX•qVufi@q7i/a~XN„B‚ƒˆ7„3afoV–k–@XIa~cLceTŽ‚?c zzz¬l¡a\ikˆŽj¤_i@ˆVX•‚kW4ikˆV–cfTVX

q*i@aea~lmgVjmX\afikjmobcel¤i@ˆŽa…¦§u‡‚?ceTVX#u‚•ueXIafXI‚ƒu‡†‡T¥ceTVX#W4X\cfT7‚ƒˆ‚•j¤i@–kl¡†#‚ƒjEaf_badceX#W®Á¨

z|lm–kT/ca~_ba~cfXIW4a†#‚kˆ!g*X\qVufXNa~XIˆ/cfXI„‚ka1afoVgŽaf_`a~cfXIW¥a ik¢zz3ikgVce‚ƒlmˆVXN„g`_¥ufXNadceufl¡†Ácel¤ˆŽ–

cfTŽX•o7a~X•iƒ¢ cfTVX•X£bq*ikˆVXIˆ@celm‚kjmaI³xafikW4X•qVuel¤ˆŽ†#l¤qŽj¤XNa•¦§¢§ikueWhoVj¡‚ka‡®LqVufi??‚kgVj¤Xl¤ˆÆzz¸„biˆViƒc

TVi@jm„l¤ˆ·jml¤–@T/c¥af_badceX#W¥aI¨1Ui?ÅX#kXIuIÄ ‚3W4i@ufX–kXIikW4Xceufl¡†q7XIueafq7XN†Ácel¤@Xi@ˆjmlm–kT/c¥j¤i@–kl¡†

l¡a q*i@aea~lmgVjmXk¨({tc•†#ikW4XIa\¢§ueikWcfTŽX!lmˆ@ceufib„bo7†ÁcflmikˆPik¢qVufi`ik¢¯r9ˆVX#ceaIÄ©‚B–kX#i@W4Xcfuel¡†Å1‚O_Rik¢

∗

Ò§Ó©Ô|Ò¯ÕÖ¯×`ØÁÙµÙ-ڇÛÝÜOÞÁßkөڇÜOà°áâLãڇÜOÛÝÞdä¡åæOÞdà~ڇ٧çÁڇäÝèOØ#é©äÝØÁÙµÛêÚNåëmÙ

†

ì*ìHí ߃îEÓ©Ô

íxï3ð ÜOÛçÞdÙµñ9Ûò-ó

ì

ڇٵÛÝñEôÒµÒ7âLõ\ÛÝàtèOÞdäÝÞÁå

ì

ڇöڇÜOÛ¶é©÷O÷Oñ~åø-ùNñ9ñ9ÛÝÞdù/åë¤Ù

‡

ã©ÛÝ÷?ڇ٧ò9ÛÝúÞdÜò9Ø1æNÛ/ûVÛÝäÝØÁñ9؇üƒÚGâ ð ÜOÛçÞdÙµñ9Ûò9ýæOÛ/ÔØÁúÚ=þbÙ-Þâ1ò-ØÁÙ§ò9ØÁÙ-Úé©ùOÜOÛÝÙµØÁúÚÁÿNåÛò

ufXIqVufXNa~XIˆ/cflmˆV–†#ikW4qVobc‡‚?cflmikˆ7ab‚k†cfoŽ‚kj¤jm_4ikˆVXxiƒ¢|ceTVX\W4i@a~c lmW•q*ikufce‚kˆ/c1†#ikˆŽafXIn/oVXIˆŽ†XNa=ik¢

cfTVX¥jmik–@lm†I‚ƒjadc‡‚?cfo7a\–klmkX#ˆ3g`_Rzz¬cficfTŽXadceufoŽ†cfoVu‡‚ƒjueoVjmXIaI¨z|lm–kT/c\qVuei/ik¢µa\TŽ‚OkXg7XIX#ˆ

qVufXNa~XIˆ/cfXI„Bl¤ˆ A}ClmuJ@“KEG‚kaxqVuei/ik¢¯r9ˆŽXceaI¨\S1TVlmaC`lmX#Åq*iklmˆ@c\Å1‚kaLa~cfueXIaeafXI„lmˆ APR/’TE9³ceTVX

‚ƒobceTViku‡a–klmkX ‚4–@X#i@W•X#cfuelm†…†‡T7‚ƒu‡‚k†ÁceX#uel¤´N‚?cel¤i@ˆ!iƒ¢²€=zzPqVuei`iƒ¢¯rtˆVXc‡a#ÄbceTŽ‚?cxlmaLqVufi`ik¢¯r9ˆVX#cea

g7XIj¤i@ˆV–klmˆV–\cfi‚…a~oVg7a~_ba~cfX#W iƒ¢EzzzÅTVXIufX1ceTVX¢§oVˆŽ†cflmikˆŽa †i@W•qŽobce‚kgVj¤XLl¤ˆ¥XIj¤XIW•XIˆ/ce‚ƒue_

cflmW•X4¦µ‚kˆŽ„i@ˆVjm_ceTVi@afX¢§oŽˆŽ†Ácel¤i@ˆŽae® ‚ƒueXLueX#qŽufXNa~XIˆ@c‡‚ƒgVjmXk¨©S1TVX\a~_ba~cfX#W ik¢zz3qVufi`ik¢¯r9ˆVX#cea

lma•ˆVikc•W4ib„bl¤±ŽXI„¸‚ƒˆŽ„‚B–@j¤i@gŽ‚ƒj1†i@ˆŽ„bl¤cflmikˆ¬i@ˆ«ceTVX–@ue‚kqVT«ueX#qVueXIafX#ˆ/c‡‚?cflmikˆ¬iƒ¢LqVuei`iƒ¢µa

‚ƒjmj¤i?ÅaLcfilmafikj¡‚?ceX ceTVXi@ˆVXIaCg*X#jmikˆV–@l¤ˆŽ–cfi€=zzG¨Ey a~lmW4l¤j¡‚ƒuCÅ i@ufÉ¢§i@uCzzzTŽ‚kaxg7XIX#ˆ

„bikˆVXhl¤ˆ A[B‚k´I’k‹OEt¨ Ÿ X g*X#jml¤XIkX…ceTŽ‚?cCl¶cClmaLˆViƒcLg`_X#jml¤W4lmˆŽ‚?cel¤ˆŽ–ikgbvdXN†Ác‡aÅl¤cfTR‚F~gŽ‚@„DG

†ikW4qVoVce‚?cel¤i@ˆŽ‚ƒj@g7XITŽ‚O`l¤i@oVu|ceTŽ‚?c©Å X=j¤XN‚ƒueˆ a~i@W•X#cfTVlmˆV–i@ˆ…cfTŽX=kXIuf_xˆŽ‚?ceoVueX=iƒ¢bg*ikoVˆ7„bXI„

cflmW•X4†i@W4qVj¤X#£bl¶cd_@Ä*gŽobcCu‡‚?ceTVX#uCg`_†ikW4qŽ‚kuflmˆV–!„VlHX#ueX#ˆ/cC†#ikW4qVobc‡‚?cel¤i@ˆŽ‚ƒj©g7XITŽ‚O`l¤i@oVu‡a#Ä

‚ƒˆŽ„Rg/_±Žˆ7„bl¤ˆŽ–‚kgŽadceue‚@†ÁcCłO_bacei„bl¡a~cflmˆV–koVl¡afTBcfTŽXi@ˆVXIaL¢§ufi@W cfTVX•iƒceTVX#u‡aI¨CS1TVl¡aClmaIÄ

l¤ˆ(ikoŽuikqVlmˆVlmikˆ|Ä`ceTVX…l¤ˆ/ceX#ueXIa~c1ik¢©ÅikueÉbaj¤lmÉkX#APR/’TKE©‚ƒˆŽ„ A[R‚ƒ´I’@‹KEt¨

ÇVikjmjmi?Ål¤ˆV–•ceTVlmaÉ/lmˆŽ„iƒ¢l¡„bXI‚ŽÄVl¤ˆ AzbS„ŽÇ©’@‹KE‚4ˆVXIÅ ‚kqVqVuei@‚@†‡Tcfi¥i@ˆVX\iƒ¢©cfTVXhW4‚kl¤ˆ

n@oŽXIa~cflmikˆŽaG‚kufl¡afX#ˆ•¢§ufi@W AÝ}Cl¤uJk“E©¦§W¥‚O_`g*X1cfTVXW¥‚kl¤ˆ¥i@ˆVXN®ÄƒcfTŽXLn/oVXIa~c=iƒ¢E‚ „bXIˆViƒc‡‚?cel¤i@ˆŽ‚ƒj

a~XIW4‚kˆ/cfl¡†#a\a~oŽl¶c‡‚ƒgVjmXh¢§i@u\j¤lm–kT/c…a~_ba~cfX#W¥a4¦µ‚afX#W¥‚ƒˆ/cfl¡†#axiƒ¢qVuei/ik¢µaLlmˆ­j¤i@–kl¡†#‚ƒjcfXIufW¥aIÄEiku

W•i@ufX–@X#ˆVXIue‚kj¤jm_‚\W4ib„bXIj¡®Ä@l¡aGqVueikq*i@afXI„|¨{°ˆŽa~cfXN‚k„4iƒ¢EW4ib„bl¤¢§_/lmˆV–!¦µj¤lmÉkXlmˆ¥ceTVXqVueX#`lmikoŽa

qVufi@q7i/af‚kjmaI³ A[C’k’`Ăklm’kŒKE¯®\cfTVXa~cfueoŽ†ÁceoVueXIa¦µ–@‚ƒW4XNa#Ć#ikTVXIufXIˆ/cha~qŽ‚@†XNae®C‚kaeafi`†#lm‚ƒcfXN„

Ål¶ceTRjmik–kl¡†#‚kj|¢§i@ufWoVjm‚@a…a~i!cfTŽ‚ƒcLcfTŽXqVuelmˆŽ†lmqVjmXIaxO‚kj¤l¡„lmˆRzz¬gVobc\ˆViƒc\lmˆcfTVX4†‡TVi/a~XIˆ

j¤lm–kT/c=af_`a~cfXIW „bi…ˆŽiƒc=TVi@jm„•lmˆ•cfTVXLafX#W¥‚kˆ@celm†Ia#Ä AzbS©„Vǒk‹KEH„bXI‚kjmaÅl¤cfT‚\qŽufi@q7XIu~cd_ ik¢7ceTVX

X#jmX#W4X#ˆ/ceaiƒ¢1ceTVXa~cfueoŽ†ÁceoVueXIa!¦§cfTVXl¤ˆ/ceX#ueqVufX#ce‚ƒcflmikˆŽa…ik¢qVuei/ik¢µae® †‡TŽ‚ƒu‡‚k†cfX#uelm´#lmˆV–cfTVi/a~X

X#jmX#W4X#ˆ/ceaxÅTVl¡†‡T ‡½­l¤ˆ/cfXIufqŽufX#cLqVuei/ik¢µaÅl¤cfTBg*ikoŽˆŽ„bXI„R†ikW4qVjmX£bl¤cd_k¨{°ˆ AzbS©„Vǒk‹KEtÄ7l¤c

lmahqVufi?@XI„3l¤ˆPq7‚ƒufcfl¡†oVj¡‚ƒu…ceTŽ‚?c•‚ƒˆPzz qŽufi`iƒ¢¯rtˆVX#c lma ‚kˆP€=zz¹qVufi`ik¢¯r9ˆVX#c l¸l¶c‡a lmˆ/cfX#ufr

qVufX#ce‚ƒcflmikˆ«l¡aSF~ikg7a~XNafafl¤i@ˆŽ‚ƒjGÁ¨(S1T7‚?cl¡aIÄcfTVXa~XIW4‚kˆ/cfl¡†qVueikq*X#ufcd_7F~g7XIl¤ˆŽ–Rikg7a~XNafafl¤i@ˆŽ‚ƒjG

†‡TŽ‚ƒu‡‚k†cfX#uelm´#XIaIÄb‚ƒW4ikˆŽ–4cfTVX lmˆ/cfXIufqVueXc‡‚?cel¤i@ˆŽa1iƒ¢²‚ƒjmjzzÆqŽufi`iƒ¢¯rtˆVX#ceaIÄbcfTVi/a~X…i@ˆVXIaÅTVlm†‡T

‚ƒueXClmˆ/cfXIufqVueXc‡‚?cel¤i@ˆŽaiƒ¢€=zzÆqVuei`iƒ¢¯rtˆVXc‡a#¨

{t¢GikˆVX•a~XIX#Éba‚!afX#W¥‚kˆ@celm†OW¥‚?ceTVX#W¥‚ƒcfl¡†#‚ƒjq7i@l¤ˆ/cxik¢G`l¤XIÅ i@ˆBg*ikoVˆŽ„VXI„(cel¤W4X†#ikW•r

qVj¤X#£bl¶cd_@Äi@ˆVXiƒ¢CcfTŽXBj¤lmW4l¶c‡aik¢>AzbS„ŽÇ©’@‹KExl¡a4ceTVXR†‡TVi@lm†#Xik¢xceTVXBjmik–@lm†I‚ƒjaf_`a~cfXIW¥a4cfi

ufXIqVufXNa~XIˆ/c4XIj¤XIW4X#ˆ/ce‚kuf_ Oq*ikjm_`ˆVikW4l¡‚ƒj cflmW4Xk¨¹S1TVXqVueX#`lmikoVj¡af_PW•XIˆ/cflmikˆVXN„¬ueXIafoVj¤cIÄ ¢§iku

X£V‚ƒW4qVjmXkÄH–klmkXNa‚!†‡T7‚ƒu‡‚k†ÁceX#uel¤´N‚?cel¤i@ˆik¢G€=zzqVuei/ik¢¯r9ˆŽXcea!*gVobcCcfTVXIufXX£blma~cCzz«qVuei`iƒ¢¯r

ˆVXc‡a ÅTVl¡†‡TP‚ƒueX•ˆŽiƒc €=zz qVuei/ik¢¯r9ˆŽXcea…‚kˆŽ„Ɔ#‚kˆ­ˆŽX#kXIu~ceTVX#jmXIaea\g*XLFdX#£bXI†oVcfXI„HG4lmˆÆX#jmXr

W•XIˆ/ce‚ƒue_cflmW•X4¦§l9¨Xk¨mÄ/ueikoŽ–kTVjm_•afq*XI‚ƒÉ`lmˆV–ŽÄ/‚k„V„Vl¤ˆV–hcfTVXIW cfih€ zz­„bi`XIaGˆŽiƒc qŽufXIkX#ˆ/cGceTVX

†obcfr9XIj¤lmW4l¤ˆŽ‚ƒcflmikˆ«qŽufib†XN„boVueX¢§ueikWg*X#lmˆV–RXIj¤XIW•XIˆ/ce‚ƒue_V®Á¨­S1TVlmal¡aik¢¯cfXIˆPcfTVX(†#‚@a~X¢§iku

a~_ba~cfX#W¥a¦§iƒ¢

λ

r9cfX#ueW¥a#IJqŽufi`iƒ¢µaIÄ©Xce†k¨¤¨m¨Ý®‰†‡TŽ‚ƒu‡‚k†cfXIuflm´#lmˆV–‚B†i@W4qVj¤X#£bl¶cd_Ɔj¡‚kaea#³•ˆVikc•‚ƒjmj cfTVX…i@gbvdXI†cea1X£V†#j¤oŽ„VXI„TŽ‚OkX\‚0Fdg7‚k„DG…†ikW4qVjmX£bl¤cd_g*X#TŽ‚O`lmikoVuN¨

y«„bl"*XIufXIˆ@c‚ƒqVqŽufi/‚k†‡TxcficeTVX afX#W¥‚ƒˆ/celm†IaEiƒ¢bg*ikoVˆŽ„VXI„\cel¤W4X=†#ikW4qVjmX£bl¶cd_Cl¡a|q*i@aea~lmgVjmXk³

cfTVXxgŽ‚kaflm†lm„bXN‚…l¡a²cfihW•XN‚kafoVueXh¦§g`_4a~XIW4‚kˆ/cfl¡†W4XI‚ƒˆ7ae®©ceTVXLX#£bXI†oVcflmikˆ¥iƒ¢|‚kˆ/_•qVueik–@ue‚kWÄ

ufXI–@‚ƒu‡„bjmXIaeacfil¤ceaC†i@W4qVobce‚ƒcflmikˆŽ‚kj†#ikW4qVjmX£bl¶cd_@ĎlmˆcfTŽXha~qŽl¤uel¶cxiƒ¢=†i@W4qŽ‚ƒuel¤ˆŽ–„blHX#ueX#ˆ/c

†ikW4qVoVce‚?cel¤i@ˆŽ‚ƒj²g*X#T7‚O/lmikoŽueaxcfi(jmXI‚kufˆ·¦µ‚ƒ¢¯cfX#ueÅ1‚ƒu‡„Vae®xafikW4XceTVl¤ˆŽ–i@ˆRceTVX¥kXIuf_ˆ7‚?cfoŽufX

iƒ¢g7i@oVˆŽ„bXN„!cel¤W4X †#ikW4qVjmX£bl¶cd_@¨GÇVi@j¤jmi?Ål¤ˆŽ–hceTVlmaL‚ƒqVqVuei@‚@†‡T|Ä`l¤ˆ A„7w’DC`τ7w4E|ikˆŽX…iƒ¢ceTVX

‚ƒobceTViku‡aLik¢GcfTŽXqVueXIafX#ˆ/cCqŽ‚ƒq*X#u\†i@oVjm„3†i@W•qŽobcfXhcfTVX4X£bXN†obcel¤i@ˆcflmW4Xik¢ ‚ƒˆBoŽˆ@cd_`q*XI„

λ

^r9cfXIufW ÃNµ½(l¤cea\lmˆ/cfX#ueqVueXc‡‚?cflmikˆRl¤ˆ3cfTVX¥†#iƒr$#\j¤XIlmafj¤l†#‚ƒcfXI–kikue_(iƒ¢ cfTVX¥†i@W4ikˆŽ‚@„B‚kaea~ib†#l¶r

‚?cfXN„Ål¤cfTceTVX ±ŽˆŽl¶ceXhWhoŽj¶celmafXc‡a¢§oVˆ7†Ácfi@uLi@ˆcfTVX•†#‚ƒcfX#–@ikue_Ì - ¨S1TVXhlmˆ/cfXIufqVueXc‡‚?cel¤i@ˆ

iƒ¢|‚

λ

^r9cfXIufW lmˆceTVl¡aGW4ib„bX#j7lmaceTVXLae‚ƒW4X‚ka²cfTVXlmˆ/cfXIufqVueXc‡‚?cel¤i@ˆ•ik¢7ceTVXˆVX#cGcfu‡‚ƒˆ7a~j¡‚?cel¤ˆV–

cfTVX

λ

^r9cfXIufW lmˆceTVXLWoVj¶celmafXc1gŽ‚@a~XN„¥ufXIjm‚ƒcflmikˆŽ‚kjŽW4ib„bX#j*iƒ¢|jmlmˆVXI‚ku jmik–@lm†k¨©S1TVXxX£bXI†#obcflmikˆ

cflmW•Xl¡a W4XI‚@a~oVueXI„ÆTŽX#ueXl¤ˆ«cfX#ueW¥ahik¢X#jmX#W4X#ˆ/ce‚kuf_Æa~cfX#q7ahik¢ceTVX(a~ikrt†I‚ƒjmj¤XN„%#\uelm/lmˆVX a

W4‚@†‡TVlmˆVXk¨²yj¡afiŽÄQA„*w’DC`Äb„7w4EE–@l¤@XC‚qVueXI†l¡afXLueX#j¡‚?cflmikˆ!g7X#cdÅ XIX#ˆ‚kˆ!lmˆ/cfX#u‡afXI†Ácel¤i@ˆcd_`q*XIa

&

þ|èOÞ('?ڇñ9ÛÝàE÷OÚeò-ò-ÞdÙ-Ü؇ëkæOÞdÜO؇ò9Úeò9ÛÝØÁÜ?ڇäƒñ-Þ~úڇÜò-ÛÝà~ñŽÛÝñVò9زڇñ-ñ9Ø#àdÛêÚeò9Þ()Ûò9è ÞdçÞdÙ§áë¤ØÁÙ-ú ùOäêÚñ-ØÁúÞEñ-ò-Ù-ùNàdÖ

ò-ùOÙµÞGڇÜOæ*)Ûò9èLÞ°çÞ~Ù§á÷OÙµØI؇ëV؇ë/ò9èOÞëmØÁÙµúùOäêÚGڇÜÞdäÝÞdúÞ~ÜòE؇ë`ò-èOÞñµò9ÙµùOà°ò-ùOÙ-ÞGà~ڇäÝäÝÞdæò9èOÞ©ÛÝÜ#ò-ÞdÙ-÷OÙµÞ°òtÚeò-ÛÝØÁÜ

؇ëVò-èOÞ²÷OÙµØI؇ëµå

af_`a~cfXIWl¤ˆ/cfueib„boŽ†#XI„Pg`_ AÝw P…wx“@’E‚ƒˆŽ„«X£bq7XIuflmW4X#ˆ/cealmˆ«cfTŽX!WhoŽj¶celmafXc4gŽ‚kafXI„«ufXIjm‚ƒr

cflmikˆ7‚ƒjW4ib„bXIj-¨1€²£bq*X#uel¤W4X#ˆ/c‡aL‚ƒueX ‚4cei/i@jlmˆ/cfuei`„VoŽ†XN„(g/_}Clmue‚kue„lmˆ A}Clmue“HC&E©‚kj¤jmi?ÅlmˆV–

cfi­†i@W•qŽobcfX!cfTVXl¤ˆ/ceX#ueqVufX#ce‚ƒcflmikˆPiƒ¢qŽufi`iƒ¢¯rtˆVX#cea•„bl¤ueXI†cfjm_ ¦§Ål¤cfTVi@obc•ueX¢§XIufXIˆŽ†Xcfi3afXr

n/oVX#ˆ/c†#‚kjm†#oVj¤o7ae®=‚ƒˆŽ„!q7i@l¤ˆ/cdÅl¡a~X@¨yLˆ!X#£`q*X#uelmW•XIˆ/c1†#ikueufXNa~q*ikˆŽ„Ža²cfi4‚…cd_`q*XC„VX#uel¤?‚?cel¤i@ˆ

‚ƒˆ7„(cfTVXufXNa~oŽj¶cCiƒ¢=‚ƒˆRX£bq7XIuflmW4X#ˆ/cx†#ikueufXNa~q*ikˆŽ„Ža1cfi‚¥cd_`q7X@¨xS1TVXl¤ˆ/ceX#u‡a~XN†Ácflmikˆ(cd_`q*XIa

af_`a~cfXIW †i@ˆŽaflm„bXIufXN„¥lmˆ A„7w’DC`ÄV„7w4E|jm‚@†‡Éba l¡„bXIW•q*iƒceX#ˆŽ†#_!‚ƒˆ7„¥cfTŽlma1¢µ‚@†Ác1ł@a1†ueoŽ†l¡‚ƒjHlmˆ

cfTŽlma\ÅikueÉH¨…{°ˆ3i@oVu\Å i@ufÉHÄ*cfTVl¡a…†i@ufueXIafq*ikˆŽ„VaLcficfTŽX¢µ‚@†Ác\cfT7‚?c…Å X•oŽafXWoVj¤cfl¡a~X#ceaC¢§iku

lmˆ@ceufXIqVueXcflmˆV–X£bq*ikˆVXIˆ@celm‚kjma…‚kˆŽ„3ˆViƒc afXcea…‚@a\l¤ˆ3cfTŽXa~X#c\g7‚kafXI„­†ikTŽX#ueX#ˆ/c\afX#W¥‚kˆ@celm†Ia#¨

S1TVX…oŽafX\iƒ¢WhoVj¤cfl¡afXcea1l¡aXNafafX#ˆ/cfl¡‚ƒjHlmˆ(ikoVuÅikueÉ4cfi`iŽ¨

{°ˆ ceTVX1qVueXIafX#ˆ/c©q7‚ƒq*X#uNăŠX1‚ƒqŽqVj¤_\ceTVl¡a²‚ƒqVqVuei@‚@†‡T…cfi\[oVj¤cflmqVjmlm†I‚?cel¤@X1‚kˆŽ„ €G£`q*ikˆŽX#ˆbr

cfl¡‚ƒj/z|lmˆVXI‚kuzik–kl¡†¦µ[B€=zz©®ÁÄ?‚ƒˆŽ„\ÅX=afTVi?ÅÆTVi?ÅÆl¶c©lmaq7i/afaflmgVj¤XGcfiL†#ikW4qVobceXGcfTŽX=ˆ`oVWhg*X#u

iƒ¢1adceX#qŽa iƒ¢†#obc~rtX#jmlmW•lmˆŽ‚ƒcflmikˆ­g/_3a~XIW4‚kˆ/cfl¡†W4XN‚ƒˆŽa¥¦µˆViƒcelm†#X4cfTŽ‚ƒc\i@oVu…W4XI‚@a~oVueX•g7XIl¤ˆV–

cfTŽX¥ˆ/oŽWhg*X#u…iƒ¢1†obcfr9XIj¤lmW4l¤ˆ7‚?cflmikˆPa~cfXIqŽa#ÄTVX#ueX4lma ‚±Žu‡a~c…„VlHX#ueX#ˆŽ†#X4Ål¶ceT A„7w’HC`Ä|„7w4E

ÅTVXIufX#\uel¤`lmˆVX#aW4‚@†‡TVlmˆVX\ł@a1oŽa~XN„cei4W•XN‚kafoVueXCX#£bXI†oVcflmikˆcflmW•XO®Á¨GzXcoŽa1g*X…W4ikueX

qVueXI†#lmafXk³²l¤¢

π 2

lmaL‚4qVufi`ik¢¯r9ˆVX#cikgbc‡‚ƒlmˆVXI„g`_‚ƒqŽqVj¤_`lmˆV–¥a~i@W4X\a~cfXIqŽaik¢†#obc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆ

cfi

π 1

ÄkcfTVXW¥‚ƒlmˆ•qVufi@q7XIu~cd_…ik¢H‚kˆ`_ W4i`„VX#jbl¡acfTŽ‚ƒc²cfTVX1lmˆ/cfX#ueqVueXc‡‚?cflmikˆ

Jπ 1 K

^iĢ

π 1

l¡a©cfTVX

ae‚ƒW4X ‚kaceTVX lmˆ@ceX#ueqVueXce‚ƒcflmikˆ

Jπ 2 K

^iĢ

π 2

Ä7aficeTŽ‚?c¢§ueikW

Jπ 1 K

l¶cxlma†#j¤XN‚ƒuej¤_!l¤W4q*i@aea~lmgVjmX cfi•„bXceX#ueW4l¤ˆVXcfTVXCˆ`oVWhg*X#u iƒ¢a~cfX#q7aGjmXI‚k„Vl¤ˆV–h¢§ufi@W

π 1

cei

π 2

¨ XIkX#ufcfTŽX#jmXIaea#Ä@l¶¢

π 1

‚kˆŽ„

π 2

‚ƒueXcdÅi †obc ¢§ufXIXqVuei/ik¢¯r9ˆŽXcea †i@ˆVˆVXI†cfXN„4g/_•W4XI‚kˆŽaGik¢E‚h†obcj¤lmˆVÉHÄ@ÅXL†I‚ƒˆ¥ÅikˆŽ„bXIuI³

@¨1lma l¶ccfTŽX\†I‚kafXcfT7‚?ccfTVXCcfT`oŽa ikgVce‚ƒlmˆVXN„ˆVX#c1†I‚ƒˆg*X\ufXN„boŽ†XN„4cfi4‚h†#obc¢§ufXIXxi@ˆVX

‘V¨1l¶¢GceTVX4‚ƒˆŽafÅ XIuceicfTŽX•qŽufXI/lmiko7aLn/oVXIa~cflmikˆRlmaCq*i@afl¶cel¤@XkÄHÅTŽ‚?cClmaxceTVXˆ`oVWg7XIuxik¢

†obcueXI„bo7†Ácflmikˆ(a~cfX#q7a1j¤XN‚k„blmˆV–•¢§ufi@W cfTŽX…ˆVXcÅl¤cfT†oVccfi‚4†obc¢§ueX#X\i@ˆVX

S1TVX\W¥‚ƒlmˆq*iklmˆ/ciƒ¢ceTVX…qŽ‚kq7XIulmacei4afTVi?Å ceTŽ‚?cl¤clma1q*i@aeafl¤gVjmXxcfi¥‚ƒˆŽafÅX#u1g7ikcfTcfTVXNa~X

n/oVXIa~cflmikˆ7a1g/_!ikˆVjm_ueX¢§X#ueuel¤ˆV–cfi

Jπ 1 K

^‚kˆŽ„

Jπ 2 K

^¨

ikcfl¡†XcfTŽ‚ƒcceTVX±Žu‡adc¥n/oVXIa~cflmikˆ«W¥‚kÉkXIa•afX#ˆŽafXi@ˆVjm_Pl¤ˆ¸‚ƒˆ¬oŽˆ@cd_`q*XI„«¢§ue‚kW•XIÅ i@ufÉ

¦§lmˆPceTVXcd_`q*XI„«†I‚kafXkÄ©Å XÉ`ˆVi?Å ceTŽ‚?c†#obc~rtX#jmlmW•lmˆŽ‚ƒcflmikˆ«l¡aha~cfueikˆV–@j¤_3ˆVikueW¥‚ƒjml¤´Il¤ˆŽ–ŽÄa~XIX

AÝ}Cl¤u‡“DC&E…‚ƒˆ7„ APC‚ƒˆ J@’KE§®ÁÄL‚kˆŽ„ lmˆŽ„bX#XN„¹afXI†Ácel¤i@ˆª‘Æl¡a!„bXIkiƒceXI„¸cei„bX#±ŽˆVX3‚kˆ oVˆ/cd_`q7XN„

kXIueaflmikˆPiƒ¢…}Cl¤u‡‚ƒu‡„a qVuei`iƒ¢¯rtˆVXc‡a#Ä=gŽ‚kafXI„Pi@ˆ¬qVueX#`lmikoŽaÅikueÉ`a¦§W¥‚ƒlmˆVjm_ APC‚ƒˆ Jk’KEL‚kˆŽ„

AX#–DJ@‘OEtÄ9AzbS©„Vǒk‹E9ÄNAs=S©„VǒDC&E§®Á¨•ÇVi@j¤jmi?Ål¤ˆŽ– As=S„ŽÇ©’HCOEtÄEÅ X±Žu‡adc…„bX#±ŽˆVX•qVoVueX•a~cfueoŽ†Ár

cfoŽufXNa¦-†i@ufueXIafq7i@ˆŽ„blmˆV–Blmˆ«ceTVXcd_/q*XI„†#‚@a~X!cfi­qVufi`ik¢LadceufoŽ†cfoVueXIaIÄG–@ue‚kqVTŽa ÅTŽlm†‡T¸‚ƒueX

ˆVikcCˆVXN†XNafae‚ƒuel¤jm_!jmik–@lm†I‚ƒjmj¤_†#ikueufXN†ÁcLqVuei`iƒ¢µa‡®‚kˆŽ„ÅX„bX#±ŽˆVX4†obcfr9XIj¤lmW4l¤ˆŽ‚ƒcflmikˆR¢§ikuCqVoVueX

a~cfueoŽ†ÁceoVufXNa#¨[i@ufX1–kXIˆVX#u‡‚ƒjmjm_kÄ?lmˆ4cfTVXÅTVi@j¤Xq7‚ƒq*X#u²ÅXoŽa~X†#ikueufXN†ÁceˆVXIaea1¦§lmˆ¥ikoVu¢§u‡‚ƒW4Xr

ÅikueÉPLX#±ŽˆVl¤cflmikˆ!“/®ikˆŽj¤_ÅTVX#ˆ¥l¤c=l¡aGˆVXIXI„bXN„¦µ‚ƒˆ7„4l¶c=l¡aGu‡‚ƒueX#jm_…ceTVXL†#‚@a~X®³ceTVl¡a=‚ƒjmjmi?Åa

cfi4qVueXI†#lmafX#jm_!„bX#cfXIufW4lmˆVX\ÅTVX#ueX…‚ƒˆŽ„TVi?Å †#ikueufXN†ÁceˆVXIaea=l¡aoŽafXI„!cfi4qVuei?kXCueXIafoVj¶c‡a#¨²S1TVX

†oVc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆqŽufib†XN„boVueX…Å X „VX±ŽˆVXhlmaaflmW•lmj¡‚ƒucei

λ

r°†#‚kjm†#oVj¤o7a

β

rtufXN„boŽ†Ácel¤i@ˆ|ÄVlmˆ(cfTVX afX#ˆŽafX¥cfT7‚?chceTVX!X#£bq7i@ˆVX#ˆ/cfl¡‚ƒj1a~cfX#q ¦¯cfTŽXa~cfX#q

(!/?)

^iƒ¢ PxX±7ˆVl¶cel¤i@ˆ¬‹@® lmaWho7†‡TPW•i@ufX afl¤W4lmjm‚kuhcei3‚Ra~cfXIq«iƒ¢

β

r9ueXI„VoŽ†Ácel¤i@ˆPcfTŽ‚kˆ«l¤c•oŽafoŽ‚kj¤jm_ÆlmaI¨­S1TŽlmalmaXIaeafX#ˆ/cfl¡‚ƒj cfi3qVufi?@X ikoŽu=ueXIafoVj¶c‡aL¦-a~XIXxXIW4‚kufɍI’/®Á¨ Ÿ XC†i@ˆŽa~l¡„bXIuGl¤ˆcfTVXxqŽ‚ƒq*X#u cdÅ ihufXN„boŽ†Ácel¤i@ˆadceue‚ƒcfXI–klmXIaI³

TVXN‚k„ueXI„bo7†Ácflmikˆ3‚ƒˆŽ„Ba~cfu‡‚?cel¶±7XI„(ueXI„boŽ†cflmikˆ|¨\S1TVXh±Žuea~cxi@ˆVX†#ikˆŽafl¡adc‡almˆRueXI„boŽ†#l¤ˆŽ–¥cfTVX

†oVcea‚?cL„VX#qbceT

0

‚ƒˆ7„a~cfi@q|¨GS1TVX…a~XN†i@ˆŽ„!i@ˆVX\†ikˆ7a~l¡adc‡a1l¤ˆueXI„boŽ†#l¤ˆŽ–4‚4†#obcikˆVjm_ÅTVXIˆ

cfTŽX#ueXxX#£`l¡a~ceaˆVi†#obcÅl¶ceT3¦-adceufl¡†Ácej¤_V®a~W¥‚kj¤jmX#u1„bX#qVcfT|¨GS1TVXNa~XCueXI„boŽ†cflmikˆ!a~cfu‡‚?ceX#–@l¤XNa=X#£/r

cfXIˆŽ„!cfTVX\TVXN‚k„j¤lmˆVXI‚ku1ufXN„boŽ†Ácel¤i@ˆ!ik¢

λ

rt†I‚ƒj¡†oVjmoŽal¤W4qVjmX#W4XIˆ@ceXI„g`_#\uflm`l¤ˆŽX#a W¥‚@†‡TVl¤ˆŽX

¦µ‚kˆŽ„(†i@ˆŽa~l¡„bXIufXN„lmˆ A[s4JkŒE|lmˆcfTVX\¢§u‡‚ƒW4X#ÅikueÉ¥iƒ¢©qVoVueX…qVuei/ik¢¯r9ˆŽXcea‡®Á¨

{°ˆ·a~XN†Ácflmikˆ ŽÄ=ÅXl¤ˆ/cfueib„boŽ†#XceTVXW4ib„bX#jL‚kj¤jmi?ÅlmˆV–RceiÆW•XN‚kafoVueXceTVXˆ`oVWhg*X#u¥ik¢

†oVc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆªadceX#qŽaI¨ €²£bq*X#uel¤W4XIˆ@c‡a‚kufXB‚†XIˆ@ceue‚kjcfi`i@jxlmˆ¹ikoŽu‚ƒqŽqVufi/‚k†‡T|¨‰yLˆ

X£bq*X#uel¤W4XIˆ@c j¤lmkXNaGlmˆg7X#cdÅ XIX#ˆaf_`ˆ@c‡‚?£4‚ƒˆŽ„afX#W¥‚kˆ@celm†Ia#³l¶clma „bX±7ˆVXI„¥i@ˆ‚…qVoVueXLa~cfueoŽ†Ár

cfoŽufX¥¦§l¤cL„bXIq7XIˆŽ„Vai@ˆl¤c‡®ÄVgVobcl¤cea4F~ueXIafoVj¶cG•¦¯ceTŽ‚?cl¡acfTŽX…jm‚kg7XIjma1l¤cL‚kaea~ib†#lm‚ƒcfXIa Ål¤cfTcfTVX

†i@ˆŽ†jmoŽafl¤i@ˆŽa…ik¢ ceTVXqVoVueX!a~cfueoŽ†ÁceoVueXN®Cl¡ah‚(q*iklmˆ@ciƒ¢1cfTVX!l¤ˆ/cfXIufqŽufX#ce‚?cel¤i@ˆÆiƒ¢1cfTVX!qVoVueX

adceufoŽ†cfoVueXk¨S‚kÉ`l¤ˆV–B‚@a a~ce‚ƒufcflmˆV–(q*iklmˆ@chcfTVXo7a~oŽ‚kjGWhoŽj¶celmafXchg7‚kafXI„­ufXIjm‚ƒcflmikˆŽ‚kj²W4i`„VX#j

‚ƒˆŽ„(ceTVX•oŽa~o7‚ƒjˆŽiƒcflmikˆRiƒ¢GX£bq*X#uel¤W4XIˆ@cx¢§ikuxcfTVl¡axW•ib„bXIj-ÄHÅX‚kufX…¢µ‚@†XN„(cfi!‚!qVueikgVjmX#W(³

‚ƒˆ¬lmW4q7i@u~c‡‚ƒˆ/c4j¤XIW•W¥‚¸¦µzX#W4W¥‚­‘T@®…ueXIn/oVlmueXIahcfTVXl¤ˆ/ceX#ueqVufX#ce‚ƒcflmikˆŽaiƒ¢

⊗

¦µufXNa~q|¨

1

^Ä

!

^{®h‚ƒˆŽ„}

`

¦§ueXIafq|¨

⊥

^Ä

?

®\ceiBg*X!„bl"*XIufXIˆ@c¦µafX#X!‚kjmafi(cfTVXl¤ˆ/ceufib„boŽ†cflmikˆÆiƒ¢afXI†cflmikˆ @®Ä g7XN†#‚ƒo7a~X ÅX „bi@ˆ'cC†ikˆ7a~l¡„bX#uLikˆVjm_lmˆ/cfoVl¤cflmikˆŽlma~cfl¡†…ˆVX#ceaL‚@almˆ A„7w’ OEt¨

Ÿ

X ceT`oŽa„bX#±ŽˆVX

X£bq7XIuflmW4X#ˆ/cea1jmlmÉkXCl¤ˆ AzbS©„Vǒk‹E9ÄbÅTŽX#ueXLceTVX…„blma~cflmˆŽ†cflmikˆg7X#cdÅ XIX#ˆ(„boŽ‚ƒj|†#ikˆŽa~cfueoŽ†cflmikˆŽa

ł@a ‚ƒj¡a~i(ˆVXN†XNafae‚ƒue_k¨S1TVlmah†‡TVikl¡†X¥ik¢X#£`q*X#uelmW•XIˆ/cea T7‚ka ‚†I‚?cfXI–ki@ufl¡†#‚kj†#ikoVˆ/ceX#ueqŽ‚ƒufcIÄ

ÅTVlm†‡T·l¡a„bl¡af†#oŽaea~XN„¬lmˆ a~XN†Ácflmikˆ V¨ Ÿ TŽ‚?cÅX(ˆVX#XN„l¡a‚kˆi@gbvdXI†ciƒ¢CcfTVXB†I‚?cfXI–ki@uf_

Rel

Ä©‚kj¤jmi?ÅlmˆV–cfiBafTVl¶¢¯ch¢§ufi@W‚cd_`q7XN„3cfiB‚ƒˆÆoVˆ/cd_`q*XI„ÆW4ib„bX#j¬¿Á¾ e¼¬½

½cfTŽ‚ƒc

„boŽ‚ƒj j¤i@–kl¡†#‚kj=†i@ˆ@ceufo7†Ácflmikˆ7a ‚ƒueX¥l¤ˆ/ceX#ueqVufX#cfXN„­„VlHX#ueX#ˆ/cfjm_­l¤ˆÆceTVX!W4ib„bX#j9¨ Ÿ Xikobcej¤lmˆVX

l¤ˆRafoVgŽafXI†cflmikˆ,Ž¨¤ ‚†I‚?ceX#–ki@ufl¡†#‚kjEl¤ˆ/ceX#ueqVufX#ce‚ƒcflmikˆ(iƒ¢²oVˆ/cd_`q7XN„B[€=zzGÄ*‚ƒˆŽ„ÅX „bX#±ŽˆVX

a~oŽ†‡T3‚ƒˆikgVvdXI†Ác4¦µafi!‚kacfTVX•ueXIn/oVlmufXN„W4i@ufqVTŽlmafW¥ae®l¤ˆRafoVgŽafXI†cflmikˆ,Ž¨‘V¨ Ÿ X•†i@ˆŽ†jmoŽ„bX

cfTVX afXI†cflmikˆÅl¶ceTceTVX „bX#±ŽˆVl¤cflmikˆ(iƒ¢X£bq*X#uel¤W4X#ˆ/c ¦PxX±7ˆVl¶cel¤i@ˆPkCiƒ¢²a~oŽgŽa~XN†Ácel¤i@ˆ7Ž¨/®Á¨

{°ˆafXI†Ácel¤i@ˆŒ7Ä?Å X–klmkX‚\†jmXI‚ƒu‚k†I†i@oVˆ/ciƒ¢7cfTVX1lmW4q7i@u~c‡‚ƒˆŽ†#X ik¢VcfTVX1ˆVikcflmikˆiƒ¢ŽX#£`q*X#ufr

l¤W4X#ˆ/c…¢§i@uCi@oVu\qVoVueq7i/a~XNa#Äg/_qŽufi?`lmˆV–!ceTVX #\X#_/rtj¤XIW•W¥‚­¦µzX#W4W¥‚(‘k’@®³xX#£`q*X#uelmW•XIˆ/cea

†#‚ƒˆ•g*XoŽa~XN„‚@a²†i@oVˆ/cfX#u‡a¢§ikuG†#obc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆ•a~cfXIqŽaI¨{°ˆŽ„VX#XI„|Ä?cfTVX #\XI_/r9jmX#W4W¥‚xafTVi?Åa

cfTŽ‚ƒcXIkX#ue_4†obcfr9XIj¤lmW4l¤ˆŽ‚ƒcflmikˆ!a~cfXIqW¥‚ƒÉ@XIa²ceTVX4¦µafoVl¶c‡‚ƒgVjmXLˆŽiƒcflmikˆ!iƒ¢e®=a~lm´#Xxiƒ¢‚ƒˆ!X£bq7XIufl¤r

W•XIˆ/cL„bXI†#ufXN‚kafXLX£V‚@†Ácfjm_g`_‘V¨yLj¤jEi@oVuueXIafoVj¶c‡aXIaea~XIˆ@celm‚kj¤jm_¥ueX#jm_ikˆcfTVl¡a1jmX#W4W¥‚V¨GS1TVX

±Žuea~c•a~cfXIq«ÅXcfTŽX#ˆ¬‚@†#†i@W4qVj¤l¡afTPlmahcfi3qVufXN†l¡a~XIj¤_­ueX#j¡‚?cfX!TVXI‚@„«‚ƒˆŽ„¬adceue‚ƒcfl¤±ŽXI„ÆueXI„bo7†Ár

cflmikˆŽa=cfiX£bq7XIuflmW4X#ˆ/ceaI¨©sGufi@q7i/a~l¤cflmikˆ!‘ƒŒ!¦§ueXIafq|¨sGueikq*i@afl¶cel¤i@ˆ ƒŒ`®qVuei?kXIa²cfTŽ‚ƒc‚ ˆŽXc l¡a

TVXI‚@„`r9ueXI„VoŽ†lmgVjmX¦§ueXIafq|¨ a~cfu‡‚?cel¶±ŽXN„`rtufXN„boŽ†lmgVjmXN®cfi‚kˆRTVXN‚k„`r°†oVcx¢§ueX#XˆVXc¥¦§ueXIafq|¨ ‚!†#obc

¢§ufXIX…ˆVXcÁ®

π ⁰

l¤¢dÄ7‚kˆŽ„ikˆVjm_!l¤¢dĎl¤cLTŽ‚@a‚?cjmXI‚@adci@ˆVX…X£bq*X#uel¤W4XIˆ@ch¦µufXNa~q¨=ikˆŽX!ºf»?¼V½ƒ¾`¿ÁÀ-¯Ã?º X£bq7XIuflmW4X#ˆ/cIÄafX#X PLX#±ŽˆVl¤cflmikˆ @’@®Á¨S1TŽXIafX¥ufXNa~oVj¤cea…‚kufX•ceTVX!‚ƒˆ7‚ƒjmik–koŽXik¢1†#jm‚@afaflm†I‚ƒj²ueXr

a~oVj¤ceaC¢§i@u

λ

r9cfX#ueW¥a#³C‚

λ

^r9cfX#ueW l¡a\TVXI‚@„`r9ˆŽikueW4‚kj¤lm´I‚kgVjmX¦§ueXIafq|¨ ÅXI‚ƒÉ(ˆVi@ufW¥‚kj¤lm´I‚kgVj¤XO®l¤¢dÄ

‚ƒˆŽ„4i@ˆVj¤_hl¶¢dÄ/l¶c lmacd_`q*XI‚kgVj¤XLl¤ˆ•cfTŽXL‚ƒqVqŽufi@qVufl¡‚?ceX1l¤ˆ/cfXIueafXI†cflmikˆcd_`q7XNaGa~_ba~cfXIW¨²S1TVXIˆ4Å X

–klmkX4‚!n/oŽ‚ƒˆ/cel¶c‡‚?cflmkX•lmˆŽa~lm–ƒceTRik¢GcfTVl¡a…†i@ufueXIafq*ikˆŽ„bXIˆŽ†XhufXN„boŽ†Ácel¤i@ˆ OX#£bq7XIuflmW4X#ˆ/cI³LS1TŽXr

ikueX#W ‘DC¦§ueXIafq|¨ S1TVXIikueX#W @“@®•ueXI†#i?kX#u‡ahcfTVXBˆ`oVWg7XIuiƒ¢\TVXN‚k„ ¦§ueXIafq|¨ a~cfu‡‚?cel¶±7XI„Ž®

ufXN„boŽ†Ácel¤i@ˆPadceX#qŽa ¢§ufi@W

π

cfiB‚(TVXN‚k„`r°†oVc ¢§ufXIXB¦§ueXIafq|¨†#obc ¢§ueX#XO®

π ⁰

^¢§ueikW cfTVXˆŽiƒcflmikˆ

iƒ¢²a~lm´#X\iƒ¢²‚ƒˆX£bq*X#uel¤W4XIˆ@ch¦µufXNa~q¨©ik¢‚kˆX#£bTŽ‚ƒoŽa~cflmkX\X#£`q*X#uelmW•XIˆ/c‡®Á¨GS1TŽXIafX…ufXNa~oVj¤cea‚kufX

±Žuea~c…qVuei?kXI„¢§iku\cfTŽX•TŽXI‚k„RufXN„boŽ†cflmikˆ·¦-Y`oVg7a~XN†Ácflmikˆ­ŒŽ¨mN®x‚ƒˆ7„BceTVX#ˆ­X£`cfXIˆŽ„bXN„Rcei!ceTVX

adceue‚ƒcfl¤±ŽXI„ufXN„boŽ†cflmikˆP¦-Y`oŽgŽa~XN†Ácel¤i@ˆŒ7¨‘@®Á¨

ÇlmˆŽ‚kj¤jm_kÄ?afXI†Ácel¤i@ˆ ‚kj¤jmi?ÅaHcfiCa~TŽl¶¢¯c©¢§ufi@W X#£bq7XIuflmW4X#ˆ/cea|cficeTVX#lmu©ufXNa~oVj¤ceaIÄNcfT`oŽa–klm`l¤ˆV–

cfTVX…ueXIn/oVlmufXN„!ueX#j¡‚?cel¤i@ˆ!g*XcdÅX#XIˆafX#W¥‚ƒˆ/celm†Ia‚ƒˆŽ„X£bXI†#obcflmikˆcflmW4Xk¨ Ÿ X…qVuei?kXLcfTŽ‚ƒcÅ X

†#‚ƒˆ¹‚kˆŽafÅ XIu¥g7ikcfT·cfTŽXBl¤ˆŽl¶celm‚kj¤jm_a~ce‚ƒcfXI„ n/oVXNadcel¤i@ˆŽa¥g`_¬i@ˆVjm_¬ueX¢§X#ueuel¤ˆV–­cei

Jπ 1 K

^‚ƒˆŽ„

Jπ 2 K

¨BS1TVl¡a a~TŽi?Åa\cfTŽ‚ƒc‚«¦µue‚ƒcfTVXIu qVueXI†l¡afXN®CˆVikcflmikˆPiƒ¢1cel¤W4Xl¡aha~cflmj¤j qVueXIafX#ˆ/c l¤ˆÆceTVX

„bX#ˆVikce‚ƒcflmikˆŽ‚kjEl¤ˆ/cfXIufqŽufX#ce‚?cel¤i@ˆ!ik¢‚•ˆVX#cI¨

z|Xco7a†ikˆ7†jmoŽ„bX…Ål¤cfT‚•j¤l¤c~cej¤X…ueX#W¥‚ƒueÉH¨{°ˆ AS©„VǒTKEtÄbcfTŽX n@oŽXIa~cflmikˆ(iƒ¢©l¤ˆ?vdXN†Ácel¤`l¤cd_

¢§ikuxcfTVX•ufXIjm‚ƒcflmikˆŽ‚kj‚kˆŽ„B†i@TVX#ueX#ˆ/cxafX#W¥‚kˆ@celm†Iaik¢=zzlmaC‚k„bueXIaeafXI„E³1l¡aLl¤cLceTVX•†I‚kafX…cfT7‚?c

¢§iku

π

^‚ƒˆŽ„

π ⁰

†oVc¢§ufXIXkÄ`¢§ueikW

JπK = Jπ ⁰ K

i@ˆVX…†#‚ƒˆ(„bXN„boŽ†X

π = π ⁰

({tcl¡a†i@ˆ?vdXI†cfoVueXI„

cfTŽ‚ƒcxueX#j¡‚?cflmikˆ7‚ƒjafX#W¥‚kˆ@celm†Ial¡almˆ?vdXI†cflmkXh¢§ikux[B€=zz=Ä*‚kˆŽ„(cfTŽX#ueX lmaCa~cflmj¤j©ˆVi‚kˆŽafÅ XIucfi

cfTVl¡aGn/oVXIa~cflmikˆ¨}ClmkXIˆ

π 1

‚ƒˆŽ„

π 2

ÄkÅX1„Vikˆ'c²É/ˆŽi?ŬTVi?Ŭcfi…†i@W•qŽobcfXcfTŽXˆVikueW¥‚ƒj/¢§ikueW

iƒ¢²cfTŽXˆVX#cxi@gbce‚kl¤ˆVXN„g`_†#ikˆVˆŽXI†Ácel¤ˆŽ–

π 1

‚ƒˆ7„

π 2

g/_(W4XI‚kˆŽaik¢=‚!†#obcxjml¤ˆŽÉ¢§ueikW

Jπ 1 K

‚ƒˆŽ„

Jπ 2 K

¨NUi?ÅX#@X#uNÄkceTVXCqVufXNa~XIˆ/cqŽ‚kq7XIua~TVi?Åa ceTŽ‚?c1¢§ueikW

Jπ 1 K

^‚ƒˆŽ„

Jπ 2 K

ÅX…†#‚ƒˆ‚?c j¤XN‚ka~c†#ikW4qVobceX\cfTVX…ˆ`oVWg7XIuiƒ¢²†obcfr9XIj¤lmW4l¤ˆ7‚?cflmikˆ(a~cfX#q7aj¤XN‚k„blmˆV–•cfi¥‚•ˆVi@ufW¥‚ƒjH¢§i@ufW(¨

¥ Ž

y¢¯ceX#uLcfTVXIl¤uxl¤ˆ/cfueib„boŽ†cflmikˆg`_}Clmue‚kue„lmˆ A}Clmu‡“DC&EtĎqVuei`iƒ¢¯rtˆVXc‡aTŽ‚O@X…g7XIX#ˆX£`ceX#ˆŽafl¤`jmX#_

a~cfoŽ„blmXI„(‚kˆŽ„oŽa~XN„(‚ka‚4qVuei`iƒ¢¯r9cfTVXIikueXcfl¡†#‚kj*cfi`ikjE¢§i@ua~XIkXIue‚kj*qŽoVufq*i@afXIaI¨Gyjmj|ceTVl¡aÅ i@ufÉ

jmXI„cfi4W¥‚ƒˆ`_lmW4qVufi?@X#W4X#ˆ/c‡a ik¢ceTVX…ikuelm–klmˆŽ‚ƒjHˆVikcflmikˆl¤ˆ/cfueib„boŽ†#XI„g/_}Cl¤u‡‚ƒu‡„E¨

Ÿ X oŽafX TVX#ueX ‚ƒˆoŽˆ@cd_`q*XI„(@X#u‡a~lmikˆiƒ¢=}Clmue‚kue„a1qVuei`iƒ¢¯rtˆVXc‡a#¨Px‚kˆVi@ax‚ƒˆŽ„(XI–kˆVlmX#u

¦APC‚ƒˆ J@’KE©‚kˆŽ„ AXI– J/‘&E¯®1lmˆ/cfueib„boŽ†XN„(‚ƒˆŽ„(a~cfoŽ„blmXI„ F~qVoVueX…qVuei`iƒ¢¯rtˆVXc‡aMGCcfTŽ‚ƒclma1ceTVX X#£/r

‚k†c ˆViƒcel¤i@ˆ3ik¢qŽufi`iƒ¢¯rtˆVX#ch†ikueueXIafq7i@ˆŽ„blmˆV–!cei(cfTVXB¦µoVˆ/cd_`q7XN„Ž®

λ

rt†I‚ƒj¡†oVjmoŽaI¨S1TVX#ueX¥TŽ‚ka g*X#X#ˆªˆVi¬ueXI‚kjˆVX#XN„·¢§iku‚¬„bl"HX#ueX#ˆ/c!ˆVikcflmikˆ¹ik¢ oVˆ/cd_/q*XI„·qŽufi`iƒ¢¯rtˆVX#coVˆ/cflmj…}Cl¤u‡‚ƒu‡„a

Åikueɕi@ˆzl¤–@T/c1zl¤ˆVXN‚ƒuz|i@–kl¡†¦A}ClmuJk“KE§®Á³²oŽaflmˆV–hceTVX\¢µ‚k†c1cfTŽ‚ƒcceTVX…†i@W•qŽj¤X#£`l¤cd_¥iƒ¢cfTVX

†oVc~rtX#jml¤W4lmˆŽ‚?cel¤i@ˆqVueib†XN„boVueX „bi`XIaˆŽiƒcG„bX#q*X#ˆ7„hi@ˆhcd_`q*XIa1¦µ‚CÉkXI_…qVueikq*X#ufcd_…iƒ¢7jmlm–kT/caf_badr

cfXIW¥ae®SX#ueoVl¦ ASXIue’/‘OE¯®l¤ˆ/cfueib„boŽ†#XIa‚F~jml¤–@T@cG¥¦µoVˆ/cd_`q7XN„Ž®

λ

rt†I‚ƒj¡†oVjmoŽaXIˆ?vdi?_`l¤ˆŽ–adceufi@ˆV–

ˆVi@ufW¥‚ƒjmlm´I‚?cel¤i@ˆ«lmˆq*ikjm_`ˆVikW4l¡‚ƒjcflmW4X(‚kˆŽ„X#ˆŽ†#i`„Vl¤ˆV–Æ‚ƒjmjq*ikjm_@cel¤W4X¢§oVˆŽ†cflmikˆŽaI¨S1TŽlma

†#‚kjm†#oVjmoŽa†jmXI‚kufjm_†#ikueufXNa~q*ikˆ7„Vacfi!‚kˆ(oVˆ/cd_/q*XI„(@X#u‡a~lmikˆ(ik¢©{dzyLz aqŽufi`iƒ¢¯rtˆVX#cea ¦µ{dzyLz

l¡ah‚ƒˆPlmˆ/cfoVl¤cflmikˆŽlma~cfl¡†?‚ƒuel¡‚ƒˆ/chiƒ¢zzzGÄ©a~XIX,AyL’/‘KEt¨RY`X#X!‚kjmafi A1[B’ƒŒE ¢§iku•‚Ba~lmW4l¤j¡‚ƒu

ueXIafoVj¶cÁ®Á¨{°ˆÆcfTVXaf‚kW4Xa~qVlmuel¶cNÄ©‚kˆ­oŽˆ@cd_`q*XI„ƈVikcflmikˆPik¢1qŽufi`iƒ¢¯rtˆVX#c!¦µ†#‚kj¤jmXI„ HºÀf®…lma…lmˆbr

cfueib„boŽ†#XI„Ælmˆ1AzbS©„Vǒk‹Elmˆ«iku‡„bXIu…cfiBXIˆŽ†ib„bX!q7i@j¤_/cflmW4X†#ikW4qVobc‡‚?cflmikˆ7a#³cfTVXˆVi?kXIj¶cd_

TVXIufX l¡aceTVXafTVl¤¢¯cL¢§ueikWÊcfTVXhl¤ˆ/cfoŽl¶cel¤i@ˆVlma~cfl¡†…cei¥cfTŽX†j¡‚kaeaflm†I‚ƒjE¢§u‡‚ƒW4X#ÅikueÉH¨S1TŽlmaLl¤W4W4Xr

„bl¡‚?ceX#jm__`lmX#j¡„Va=†#obcea ÅTVl¡†‡T†#‚ƒˆŽˆViƒc=g*XLueXI„VoŽ†XN„¥‚ƒˆŽ„¥†I‚ƒjmj¤XN„,¤½?¿f¼Vº¿•¦µafX#X±Ž–koVueXx‘@®Á¨©{°ˆ

As=S„ŽÇ©’HCOEtÄklmˆ4iku‡„bX#ucei…qVufi?@Xa~cfueikˆŽ–CˆŽikueW4‚kj¤lm´I‚ƒcflmikˆ¢§iku¢§oVjmj7afXI†#ikˆŽ„iku‡„bXIuGzzGÄ@‚C¢§oVu~r

cfTŽX#u²–kXIˆVX#u‡‚ƒjmlm´I‚?cel¤i@ˆ iƒ¢7cfTVX1ˆVikcflmikˆiƒ¢*AzbS©„Vǒk‹EVl¡aqVueikq*i@afXI„ ‚kˆŽ„•adceoŽ„blmXI„E³cfTVX1i@ˆVX ik¢

¾ eºx¿‡ÀÁ¾ #À-¾ fº#¨y qVoVueXLa~cfueoŽ†ÁceoVueXlma‚ ˆŽXc ÅTŽlm†‡Tl¡aGˆŽiƒc ˆŽXI†XNafae‚ƒuelmj¤_•†ikueueXI†ÁcC¦§lmˆ¥cfTVX

afX#ˆŽafXhik¢4PLX#±ŽˆVl¤cflmikˆR“/®Á¨\S1TVXhlmˆ/cfuei`„VoŽ†Ácel¤i@ˆiƒ¢GqVuei`iƒ¢=a~cfueoŽ†ÁceoVufXNah¦µl-¨Xk¨C–ku‡‚ƒqVT7aÅTVl¡†‡T

„bi•ˆViƒc‚kj¤Å1‚O_ba †#ikueufXNa~q*ikˆŽ„¥cfi4j¤i@–kl¡†#‚kj¤jm_¥†ikueueXI†ÁcqVuei/ik¢µae® „V‚ƒcfXIagŽ‚@†‡É4cfi5AÝ}Cl¤u‡“DC&EtÄbgVobc

l¤c…cfi`ikÉ3WhoŽ†‡T3cflmW4X¥cfiueXI‚kj¤jm_Ra~ce‚ƒufc…X£bqVjmikl¤cflmˆV–cfTVX!qVufXNa~XIˆŽ†X4ik¢1afoŽ†‡T­ikgbvdXN†Ácea¥¦µj¤lmÉkX

¢§iku\X#£b‚kW4qVj¤Xl¤ˆ3j¤o7„blm†Ia>A}ClmuJ JKEtÄ9A}Clmue’ŽZE§®Á¨hXN†XIˆ@c\ÅikueÉ`a¦§lmˆRqŽ‚ku~celm†#oVj¡‚ƒu>As=S©„VǒDCKE¯®

afTVi?Å cfTŽ‚ƒcCÅX‚kj¤Å1‚O_baj¤XN‚ƒueˆRafikW4XceTVl¤ˆŽ–ÅTVX#ˆ3Å X•‚ƒueXh‚ƒgŽj¤Xhcfi!qŽufXN†l¡a~XIj¤_(„bXceX#ueW4l¤ˆVX

ÅTVXIufXL‚kˆŽ„¥TVi?Å †#ikueufXN†ÁcfˆŽXIaea²lma=oŽafXI„4cei qVuei?kXueXIafoVj¶c‡a#¨²ÇŽufi@W ceTVXLq*X#u‡a~q*XI†cflmkXik¢EcfTVX

qVueXIafX#ˆ/c1Å i@ufÉHÄ/cfTVX\ˆVikcflmikˆiƒ¢qŽoVufX…a~cfueoŽ†ÁceoVueXLceoVufˆ7a1ikobc1cfi•g*XxceTVX ‚ƒqŽqVufi@qVuelm‚ƒcfXLi@ˆVXk³

W4i@a~ciƒ¢ikoVuueXIafoVj¤cea…¦§gŽobcˆViƒcL‚kj¤jEik¢ceTVX#W Ý®4‚ƒueXCqŽufi?@XI„¥¢§i@uqVoVueX…adceufoŽ†cfoVueXIaI¨

y‰j¡‚ka~cL†i@W•W4XIˆ@cxikˆcfTVX•a~_`ˆ/ce‚ƒ£E³GÅ X †‡TŽi/i/a~X…TŽX#ueX ‚¥kXIueafl¤i@ˆik¢²qVoVueX adceufoŽ†cfoVueXIa

ÅTVXIufX

?

rtj¤lmˆVÉbaTŽ‚O@X

n ≥ 0

qVueX#W4l¡afafXIa…¦§cfTVXNa~Xhj¤lmˆVÉbaL‚kufX\iƒ¢¯ceX#ˆueX#qVueXIafX#ˆ/ceXI„g/_(‚•cfueX#X iƒ¢†#ikˆ/cfu‡‚k†cflmikˆŽa ‚kˆŽ„ÆÅXI‚ƒÉ@X#ˆVlmˆV–/ae®¨

Ÿ

X!‚kjmafiBTŽ‚O@X‚

[

rtˆVib„bXÅTVl¡†‡T«l¡a i@oVu Å1‚O_Bcfi ueX#qVueXIafX#ˆ/c„bX#ueX#jmlm†cflmikˆ|¨GS1TŽXIafX †‡TVikl¡†XNa‚kufXvdoŽa~cL„buel¤@X#ˆg`_cfTŽX ‚?c~ceX#W4qbccei¥TŽ‚OkX\‚Ž¦µˆ

‚kaxWho7†‡T3‚kaCq*i@aea~lmgVjmXN®La~lmW4qVj¤X4qVueXIafX#ˆ/c‡‚?cflmikˆik¢=ikoŽuCueXIafoVj¤ceaI¨ iƒcelm†#XkÄETVi?ÅX#@X#uNĎceTŽ‚?c

cfTŽXufXN„boŽ†Ácel¤i@ˆ¥adceX#qŽa¦-‚ƒˆŽ„•W4ikueX1qVufXN†l¡a~XIj¤_ cfTVXX#£`q*ikˆŽX#ˆ/cfl¡‚ƒjVa~cfXIq7®TŽ‚O@X=cei…g7X„bX#±ŽˆVXN„

cfTŽXLÅ1‚O_ Å Xx„bi l¤c lmˆ¥iku‡„bX#u²¢§i@uGikoŽu=ueXIafoVj¶c‡acfihTVikj¡„¦µafX#XC‚ƒj¡a~i XIW¥‚ƒueÉ!I’…‚kˆŽ„¥Ç©l¤–@oVueX

“@®¨

Ì š -Ð --œbš ‚ƒc…¡¿\½4ŽÂ¯À°º

O¿‡¿Áº:

À ¤½‡º¤º ?Âfº#Àtº¥½T TêÂ

Tf½

¼ ¼ O¿#º kº¿d½Ý¿ ‡½mº êÂ! O¿"R½fºkº#NHºBÀM/º#À¯¼Žº:

¯À§¼«½¸½Á¯À3½ R½

I½Á¯À$GÀ§¼V½ƒÀ²Â¡¿…½0k¯Ã?º:,7¾ %‡ºSLÂQÂ@º:7Àº/ºÁ¿0‡½¤º¥À§¼Vº qVueX#W4lmafXIaCÀ¯¼Žº! kº

½ ½#ƒÂ¯Ã?º: 7¾ %‡ºL4º4º/º:7ÀLº &@º¿>‡½mº À¯¼Žº¥†i@ˆŽ†jmoŽafl¤i@ˆŽa À¯¼Žº> kº'&H¼Vº

Ã?½ê kº¿h½fºÂ=Âk¾ fº)(&

H¼Vº%êÂ! O¿Æ½fº ƒÂ¯ÃIÂ@º ŽÀM¬À§¼Heºeº5T ?¾

¿+*¹À§¼Vº

ax

^{, ½}

cut

^{,êÂ! O¿3½fº ‡½¤º}

l¡„bX#ˆ/cfl¤cflmXIa+-LÀ§¼Vº

⊗

^,$

`

^,$

1

^{, ½}

⊥

^{, êÂ! O¿½fº ‡½}¤ºÆWoVj¶cel¤qŽj¤l¡†#‚ƒcflmkXIa+-À§¼Vº

!

^,$

[

^{, ½}

?

^, êÂ. ?¿h½fº>‡½¤ºBX£bq7i@ˆVX#ˆ/celm‚kjma&

º&@º!‡½¼V½ƒÃOº0 ƒÀ²½

[

¤½/‡º0*x½º/º

¯À§¼ Q ¤½‡ºfºÁ¿

&

¯À§¼!½

[

^¤½/‡º

¡¿‡½¤ºjmik–@lm†I‚ƒj1fº¿

&a~cfueoŽ†ÁceoVue‚kj2/&

ax cut

⊗ ` 1 ⊥

!

· · ·

[ [

[ [

[ · · · [

?

Ç©lm–koVueX4k³

MELL

^jml¤ˆVÉba

*¼Žº

[

^,Q!@ºÁ¿C¼Ž½?Ã?º¥½IkÂe½

fºÂ¡¿#º¥½ ½¥¿ÁÀÁ¾ À9¾ f½ ê¾`¿Á $ À§¼Vº

?

^,Q!@ºÁ¿

¼V½?Ã?º

k ≥ 0

^{¿ÁÀÁ¾ À9¾ f½ fºÂ¡¿#º¿3½} *ºIƒÂ‡½0Qê¾`¿Á $¥À¯¼Žº

!

^,Q!@ºÁ¿¼V½ƒÃOº

fº•Â¡¿º $hºf»`½ À *ºIƒÂ‡½6 ê¾`¿Á $‡½¤ºP½Ý¿­W4‚kl¤ˆ ê¾`¿Á !À¯¼Žº

kº$²½

k ≥ 0

<sup>¿ÁÀ Á¾ À9¾ f½ ê¾`¿ÁŽ¿ $9‡½</sup>¤º‚ƒob£blmj¤l¡‚ƒue_, ê¾`¿ÁŽ¿ À§¼VºQ!@º&

fºÂ¡¿#º¿½ ê¾`¿ÁŽ¿ …Â@º:7À-¯À9µºÁ¿h½ •¾ êÀ9Â

ꇽƒÀ-¯Ã?ºÁ¿½fº I k‡½²º/ºÁ¿+&

•º½I

º/ºÁ¿

¯À§¼¸½(¿?¾ eº#¾bÀQÀ°½/º#À$CÀ¯¼Žº 3½fº5‡½¤º«†#ikˆŽ†#j¤o7a~lmikˆŽa5

À¯¼Žº½?À&

*¼Žº!aflm´#Xhik¢ ‚

‚?c

α

^{$ @º:Q?À°º}

s (α)

$¡¿À§¼Vº#7¾ %‡º> •À§¼Vº B k‡½=º/ºÁ¿•Â

α

^{&•º kº ƒÀtº}

!(α)

À¯¼Žº…¿#º#À

!

^{,êÂ! O¿}

α

^&

Â. ?¿ eºÁ¿

&\º/º¿  ‡º@º:Q?À°º •Â mº5½?À9 ¤º#À-À°º‡¿

l, m, . . .

^{eºÁ¿ &}

Ž¯À9µ½D½?À9 ¤º#À-À°º:‡¿

a, b, . . .

^{-½?À-¿  eº kº ?À°º} CÂ7¯À-µ½fº‡º mºÀ9Àtº‡¿

α, β, . . .

Ÿ TVX#ˆ„bu‡‚OÅl¤ˆŽ–‚ ‚?cÅX\ufXIqVufXNa~XIˆ/cXN„b–kXNa i@uflmX#ˆ/ceXI„oVqbr°„bi?ňafi•cfTŽ‚ƒc1ÅX…a~q*XI‚kÉ

iƒ¢W4i?`l¤ˆŽ– oVq`łkue„Vj¤_•iku1„bi?ň`łkue„Vj¤_l¤ˆ!cfTVXC–ku‡‚ƒqVTÄ/‚kˆŽ„¥iƒ¢|ˆŽi`„VXIaiku XI„b–@XIaF~‚kg7i?@XZG

ikuFdoŽˆŽ„bX#uG‚3–klmkXIˆ¬ˆVib„bXOXI„V–kXk¨¬{°ˆ«cfTŽX(afXIn/oVXIjÅ XÅlmj¤jˆVikc•Åuel¤cfX(X£bqVjmlm†#l¶cej¤_ÆceTVX

ikuel¤XIˆ@c‡‚?cel¤i@ˆ!iƒ¢©cfTŽX…XI„b–@XIaI¨

{°ˆi@ue„VX#u1cfi¥–@l¤@X\W•i@ufX…†#ikˆŽ†#lmafX…qVl¡†ÁcfoŽufXNa#ÄVÅTŽX#ˆ(ˆViƒcW4l¡a~jmXI‚@„blmˆV–ŽÄVÅX…W¥‚O_ueX#qVueXr

a~XIˆ@cL‚kˆ‚kufgŽl¶ceue‚kuf_¥ˆ`oVWg7XIuiƒ¢

[

rtXI„b–@XIa…¦§q*i@aeafl¤gVjm_´IX#uei/®‚ka‚

[

r9XN„b–kX\Ål¤cfT‚•„Vlm‚k–kikˆ7‚ƒj adceufi@ÉkX\„bue‚Oň(‚k†#ufi/afaI³

? [

=

[ · · · [

?

‚@a1Å XIj¤j

[ ! = ^!

· · ·

[ [

{°ˆRceTVX•ae‚ƒW4X4a~qŽl¤uel¶cNÄ|‚

?

rtj¤lmˆVɁÅl¤cfTƂ„bl¡‚ƒ–@ikˆŽ‚kja~cfueikÉ@X„bu‡‚OňR‚k†#ufi/afaLl¶c‡a…†i@ˆŽ†jmoŽafl¤i@ˆ

ufXIqVufXNa~XIˆ/cea1‚ƒˆ‚ƒuegVl¤cfu‡‚ƒue_4ˆ/oŽWhg*X#uiƒ¢

?

r9jmlmˆVÉba…¦§q*i@aea~lmgVjm_!´#XIufi`®Á³

[ · · · [

? =

[

· · ·

? [ · · · [

? [

· · ·

ÇViku‚kˆ(X£V‚ƒW4qVjmX\iƒ¢ceTVl¡aˆViƒc‡‚?cel¤i@ˆafX#X…Ç©l¤–@oVueX\‹Ž¨

Ì š µÐ › Ì ™#šI› kš› Ì qVoVueX²qVufX#rta~cfueoŽ†cfoVueX

/

¿ :=¿f¼XÁÀ0

π

ik¢`„VX#qbceT

0

^{¡¿h½½?À ¯À¯¼ ?¾bÀ}

!

^,Q!@ºÁ¿-GÂRÀ§¼`¡¿‡½O¿#º $

º ¿º#À½ƒÀ

(π) = π

^&

qVoVueXhqVueXr°adceufo7†ÁcfoŽufX

π

iƒ¢G„bXIqbcfT

d + 1

^{¡¿•½ ½?À}

α

^{$ kº ƒÀtº ½?À}

(π)

^{$ ¯À§¼}

½6‡¾ QÀ9À§¼V½ƒÀ½O¿‡¿Oµ½ƒÀtº¿

¯À¯¼º#Ã?º:

!

^,êÂ.

o

α

^¯À¯¼

n o + 1

Q¶¾`¿‡ÂV¿ ½ /

¿

π ^o

^{@º À¯¼R½?À #?¿‡À}

d

^{$ ‡½mº} À¯¼Žº g*iO£¥iƒ¢

o

^{$ ¯À§¼}

n o

¿ÁÀÁ¾ À9¾ f½QQ¶¾`¿‡ÂV¿Zfº

,

¿

ƒÂD

ÀMÀ¯¼Žº

n o

½ƒ¾k»k¶µ½ > ê¾`¿ÁÂV¿!

o

^{½ 4ºe»`½TêÀ#Hº B k‡½ ê¾`¿ÁÂ}

Zfº¿

ƒÂDRÀ À§¼Vº 4½ƒÂ ê¾`¿ÁÂ

o

^{& fºƒÃOº}

α

^{¼V½?¿¥½ƒÀ} ¤º‡½?¿‡ÀS*º

!

^,¶Â.

¯À§¼B½ I»7 kº

À§¼

d

^&

*½

¾ fº

fº

,

¿ÁÀÁ¾ #À9¾ fº

π

^{$ º kº#NHº $  ?¾ #À9 kº À§¼}

(π)

$1À¯¼Žº¥a~lm´#X iƒ¢

π

^{$ kº ƒÀtº}

s(π)

^{$ ½O¿4:I ¿)*}

s(π) = s(

^½?À

(π)) + X

o∈!(

(π))

s(π ^o ) .

H¼Vº„bXIqbcfT­iƒ¢1‚jmlmˆVÉ

l

^{l¤ˆÆ‚qVqŽa}

π

^{¡¿4À¯¼Žº Ž¾ ‡º: I»/º¿#}

π

^{ŽÀ°½?Â7ÂD}

l

^&

H¼Vº ¶Â. ?¿> •½>k¯Ã?º: ½?À ½

/

¿4½|¼V½ƒÃOº¥À¯¼Žº¿½4º @º

À¯¼.$ ¿À§¼V½?ÀÀ§¼Vº @º

À¯¼

½½ƒÀ ½k¯ÃOº

¿…¡¿

º,

kº#N*º&

qVoŽufX…a~cfueoŽ†ÁceoVufX

¿N:…¿f¼XÁÀ2¥Â¡¿h½

¿

¯À§¼Q4¿ÁÀÁ¾ #À9¾ f½ Qê¾`¿Á &

!Ì «œV› N ‡º:Z7ÂD4À§¼Vº

fº¿º ‡ºCº

À h¿ÁÀÁ¾ À9¾ fº¿ $* ?À9‡º\À§¼V½?À²À§¼Vºhº:

À

½?À TNºÁ¿Rºe»k¡¿ÁÀ½ «Â¯À\¼V½?¿ Q¶¾`¿‡Â &ÁÀ-¿

fºÁ¿#º ‡ºÂ¡¿5fº#¾bÂfº ­À§¼Vº ¾bÀ

,

ºêÂÂH½?À9Â

O‡º ƒ¾ fº%•º4ŽÂ¯À9 /*LÀ¯¼Žº

&‡º?¾ fº½

굺 :…ºe»`½

¤º4À•À§¼Vº

¿LŽÀ°½?ŽÂH(½¾ 7¾Žº ½?À V¿Á¡¿ÁÀ9ÂD7 ½

!

^{, êÂ. ¯À§¼ À§¼VºL¥½? ê¾`¿ÁÂ}

½5¾bÀ½ ½

?

^{,êÂ! ¯À¯¼}

0

^{fºÂ¡¿#º¿} ?µº"O¿•À¯¼Žº¥º:

À>Tf½

¼ &RÀ§¼Vº ƒÀ¯¼Žº:…¼V½ $

ƒÀ-‡º3½Ý¿ÆÀ§¼V½ƒÀ

¯À¯¼¹½

!

^,¶Â.

o

^½ ¿$h¯À¡¿(ˆŽX#kXIu

?¿‡¿‡Â¤ºRÀ¬½O¿‡¿&#µ½?À°ºÀ§¼Vº

º

À /

¿ *

o

^{¼V½?¿…½ƒÀ ¤º‡½O¿ÁÀ} HºQ¶¾`¿‡ÂR½ •À¯¼b¡¿¼Ž½O¿\½Ý¿4ÀM eº…À¯¼Žº‡½O¿#º9:\À§¼Vº /

¿h½O¿‡¿&#µ½?À°º

¯À§¼

o

^&

Ð*Ì.

š

µÐ

™

}ClmkX#ˆ­‚!jmlmˆVÉ

l

^{ik¢ ‚qŽa}

π

ÄEÅ X•Ål¤jmjiƒ¢¯ceX#ˆ3afq*XI‚ƒÉik¢ FdcfTVX

‚?c\iƒ¢

l

^G

‚ƒjmÅ1‚O_`aW4XI‚kˆVlmˆV–•cfTVX…gVlm–k–@XIa~c

‚?ciƒ¢

π

†#ikˆ/ce‚kl¤ˆŽl¤ˆV–

l

^¨

Ÿ XCÅlmjmja~i@W4XcflmW4XIaueX¢§X#u1ceiF°ceTVX\W4‚ƒ£bl¤W¥‚ƒj ‚ƒcea1ik¢©‚•qŽaG‡ÄbW4XI‚kˆVlmˆV–hceTVX ‚ƒceaÅTVl¡†‡T

‚ƒueX\ˆViƒc ¦-adceufl¡†ÁcÁ®1a~oVgŽ–ku‡‚ƒqVTŽaik¢©ikcfTVXIu ‚?c‡a1iƒ¢©cfTVX\qŽaI¨

{°ˆ«–@X#ˆVXIue‚kj-Ä©qŽaW4‚O_P†#ikˆ/ce‚kl¤ˆ

½?À§¼XIk‡½…†#obcea¦µafX#XX£V‚ƒW4qVjmXIal¤ˆÇlm–koŽufX‘@®ÁÄ

cfT7‚?c l¡a †obc‡a…ÅTVl¡†‡TP‚ƒueX•ˆŽiƒc ueXI„boŽ†#l¤gŽj¤X@¨S1TVlma lma „VoVX¥X#l¤cfTVXIu…cfi(gŽ‚@„F°cd_`qVlmˆV–@a G(¦§cfTVX

†oVc\qŽufXIW•l¡afXIaC‚ƒueXhˆVikc ƒ¾Ž½=XN„b–kXNae®ÄEikuxcfigŽ‚k„7Fd–@X#i@W•X#cfuelm†ZGh†ikˆV±Ž–koVu‡‚?cel¤i@ˆŽaI³l¤ˆRcfTVX

¢§ikjmjmi?Ål¤ˆV–4„bX#±ŽˆVl¤cflmikˆ(Å X †I‚ƒjmjHcfTVX\¢§i@ufW4XIu0¤½?¿~¼ŽºÁ¿h‚kˆŽ„!cfTVX…j¡‚?cfcfX#u kº‡½ B& O¿Á¨

Ì š -Ð --œV™ œ Ñ Ñ Ì œVÑ-Ð  *¼Žº1À

…º &@º¿

fº:•Â¡¿#ºÁ¿6½!¾bÀ

,

êÂ! \½fº

„boŽ‚kj

¼Žº: *

HºÂ¡¿x½L ê¾`¿ÁÂ5L½

⊗

^{, kºC½} …À§¼Vº!?À§¼Vº HºÂ¡¿À§¼VºS ê¾`¿ÁÂ5 L½

`

^{, kº $}

HºC¡¿x½# ê¾`¿ÁÂ, C½

1

^{, kº\½} À¯¼Žº!?À§¼VºSHºC¡¿LÀ§¼Vº! ê¾`¿ÁÂ,x½

⊥

^{, kº $}

Hº ¡¿…À§¼Vº4½ƒÂ ê¾`¿Á h½

!

^{, kº•½} ¥À§¼Vº>?À§¼VºLHº ¡¿…À§¼Vº> ê¾`¿Á h½

?

^{, kº'&}

#¾bÀ

,

¶Â. 4¡¿+*

½†#jm‚@a~T $

¼VºÆÀ¯¼Žº

fº•Â¡¿º¿>hÀ§¼Vº #¾bÀ

,

Q!@º¥½fº>Q?À ƒ¾Ž½²º &@º¿4½ *º hÀ§¼Vº

À

¥Â¡¿…À¯¼ŽºL ê¾`¿Á h½

ax

^{, êÂ. -}

"!

ÞúÞ~ڇÜèOÞdÙ-Þò-è?ÚeòGò9èOÞdÙµÞxÞ$#IÛÝñ-ò-ñÚ 'OÛøµÞ~à°ò-ÛÝØÁܕë¤Ù-ØÁú¹ò9èNÞLñ-Þ°ò ؇ë|ñ-Ù-ùNàdò-ùOÙ-ڇä|à~ØÁÜNà~äÝùNñ9ÛÝØÁÜOñ=؇ëEò9èNÞ

äÝÛÝÜ&%

o

ò9Øò-èOÞGñ9Þ°ò؇ëVñ-ò-ÙµùOà°ò9ùOÙ-ڇäVàdØÁÜOàdäÝùOñ9ÛÝØÁÜOñ؇ëbò-èOÞG÷OùOÙµÞ=÷NÙ-Þ°Ö¯ñµò9ÙµùOà°ò9ùNÙ-Þ

π ^o

^å

cut

⊥ ⊥

cut

!

⊥ ax

cut

? cut [ !

Çlm–koŽufX ‘b³X#£b‚kW4qVj¤X\ik¢©†j¡‚kafTVXNaC¦§cfTVXCcdÅi4qŽa1ikˆcfTVX\jmX¢¯cÁ®1‚ƒˆŽ„iƒ¢„bXI‚@„bj¤ib†‡Éba\¦¯ceTVXCcdÅ i

qŽaikˆcfTŽX…uflm–kT/c‡®

½„bXI‚@„bjmi`†‡É $

¼VºÆÀ¯¼Žº4À

fº:•Â¡¿#ºÁ¿ À§¼Vº #¾bÀ

,

êÂ! (½fº ê¾`¿ÁŽ¿> •À§¼Vº¿#½¥º

ax

^{, êÂ.} HºLCÀ¯¼Žº À

4¡¿\À¯¼Žº0¥½? ê¾`¿Á ½

!

^,êÂ.

o

^½ À¯¼Žº?À§¼VºHº

¡¿ À¯¼ŽºLQ¶¾`¿‡Â h½

?

^,êÂ! 4¼V½?ÃNÂD½#D!¯Àµ¿

fº:•Â¡¿#ºÁ¿½Æ½ƒ¾k»@Âêµ½ ê¾`¿ÁÂ

o

ufXN„boŽ†lmgVjmX $ ƒÀ¯¼Žº:

¡¿#º'&

!Ì «œb›& ƒÀ-‡º!À¯¼Ž½?À

¯À¯¼¬ºÃ?º fº•Â¡¿º

b

^½

?

^, kº!¡¿½?¿‡¿:O#µ½?À°º ­ºe»/½ À

*º

[

<sup>, kº ¼`‡¼ Â</sup>O¼`À ¼Ž½?Ã?º kº

À§¼ ¾ ‡¼ Tfº‡½?À°º À¯¼Ž½­À¯¼Žº

?

^{,Q!@º /* ºfºº:}

ÀRÀ¯¼b¡¿ kº(½O¿ §À§¼Vº

[

^,Q!@º½?¿e¿Oµ½ƒÀtº

¯À§¼

b

^& ¬À§¼Vº7?À§¼Vº•¼V½ $

¯À§¼¬º#Ã?º:

¿‡ÀÁ¾ #À-¾ f½X ê¾`¿ÁÂ

b

^1½

!

^{, êÂ! %fº¿ &Q ½}

[

^,êÂ. 0½ qŽa¡¿½?¿e¿Oµ½ƒÀtº½\¾ ŽÂ#¾Žº

?

^{,¶Â. * º} fºº…ÀM4À¯¼b¡¿ kº•½O¿ §À§¼Vº

?

^, Q!@º½?¿e¿Oµ½ƒÀtº

¯À¯¼

b

^&

Ì š µÐ xÍ=Ì ™ Ð  šœ Ñ  š¥› Ì Ñ©ƒš µÐ ºÀ

π

^{‡ºR½ ¿$ ¤º#À}

t

^‡ºR½

fº?¾ #¤º##¾bÀ

,

¶Â.

π

^$

a

^½

b

^{À¯¼Žº fºÂ¡¿#º¿}

t

^{$ ½ ¤º#À}

α

^{‡ºhÀ¯¼Žº #Â}&/ºÁ¿ÁÀ01½ƒÀ

π

^{7Àt½ƒÂŽÂH}

t

^{½?À @º À¯¼}

0

^{& •º} @º4*º•À§¼Vº ½?À

α ⁰

^{$6À°½?ÂHº ½ ?ÂH(¿¥º}

Àf½V¿:Z¥½?À9Ž¿ÀM

α

^{9À§¼Vº¿#º @º º: !À¯¼ŽºÀ º À¯¼Žº #¾bÀ}

t

^/& H¼VºSHº¿ÁÀtº

fº?¾ #À

π ⁰

π

^{¡¿ À°½?ÂHº}

π

^(¿‡¾ ¿ÁÀ-¯À9¾bÀ9ÂD

α ⁰

^:

α

^{½ $L«À§¼Vº}

(!/?)

^{, ‡½O¿#º¿ $}

¿¶ÂN¼bÀ # ? ?ÂHÀ¯¼Žºfº¿ÁÀ …À¯¼Žº

¿ &

(ax)

^**º eº:•Â¡¿#º>

t

^$²¿#½

b

¡¿\À§¼Vº> ê¾`¿Á ½

ax

^{,êÂ. 9¿º‡º=ƒ¾ eº & :}

À¯¼b¡¿0‡½O¿#º

α ⁰

¡¿0À°½?ÂHº ºf½O¿ÁÂH¥À§¼Vº#¾bÀ êÂ! $²Â¯À-¿

fºÂ¡¿#º¿

a

^½

b

^½ 4À§¼Vº…À¯¼Žº

½#»@Â)$ ½ *º#À-ÂH4À¯¼Žº!fº4½ƒÂ*º Q¶¾`¿‡Â

c

CÀ§¼Vºh½I»@Â

¯À§¼À§¼Vº!Q!@º

Q¶¾`¿‡Â

a

^Â

π

^-

π =

cut ax

b c

a t /o /o /o / / π ⁰ = ^c

Ç©lm–koVueX0V³²ueXI„bo7†Ácflmikˆiƒ¢‚4†obcik¢cd_`q*X

(ax)

(⊗/ ` )

^{* Hº fº:•Â¡¿#º}

t

^{¡¿(À§¼Vº ê¾`¿Á B½}

⊗

^{, ¶Â. $À§¼Vº} ?À§¼Vº:,*ºR¡¿À§¼Vº

ê¾`¿ÁÂ ½

`

^{, ¶Â. 9¿#º‡º =ƒ¾ fº /& :} À¯¼b¡¿5‡½O¿#º

α ⁰

¡¿/#Àt½ƒÂ*º ƺf½?¿‡ÂH À¯¼Žº

`

^{,êÂ. $ À§¼Vº}

⊗

^{,êÂ! (½ À§¼Vº #¾bÀ ¶Â.}

t

^{d½ ¯Àµ¿} fºÂ¡¿#º¿"½

¾bÀ-À9ÂDÀ

*º

#¾bÀ¶Â. ?¿ ‡ºÀ

º‡º:(À§¼VºCÀ

mº‡Àfº¿

& ÁÂO¼`À0

fºÂ¡¿#º¿S xÀ¯¼Žº

`

^{,êÂ. •½ LÀ¯¼Žº}

⊗

^{,êÂ. -}

Ó؇ò-ÛÝàdÞò-è?ÚeòHò-èOÛÝñHúÞ~ڇÜOñŽò9è?Úeò*ò9èOÞ÷OÙµÞ~úÛÝñ-Þdñ*؇ëkò9èOÞ

⊗/ `

Ö¯äÝÛÝÜ&%#ñHÚ‡ÙµÞ )EÞñ9è?ڇäÝä?ñ-ÞdÞÛÝÜ1ò-èOÞ ò-Ù-ڇÜOñ-ë¤ØÁÙ-úÚeò-ÛÝØÁÜhڇñ9ñ-ØIàdÛêÚeò-Þ~æ )Ûò9è\ò-èOÞ

(!/?)

àdùNòµÖ¯äÝÛÝÜ&%Lò9è?Úeò²ò-èOÛÝñÛÝñÜO؇ò©ò-èOÞ àfڇñ-Þ؇ë7ò9èOÞ=÷OÙµÞdúÛÝñ9Þdñ؇ë ò-èOÞ

?

Ö¡äÝÛÝÜ&%Iñ~å

π =

cut

⊗ `

a b

f g h i

t

/ / /o /o /o π ⁰ = _cut

cut

f g h i

Ç©l¤–@oVufX\Œ7³²ufXN„boŽ†Ácel¤i@ˆik¢©‚¥†#obciƒ¢©cd_/q*X

(⊗/ ` )

(1/⊥)

^{* Hº fºÂ¡¿#º}

t

^{¡¿RÀ§¼Vº Qê¾`¿Á ƽ}

1

^{,êÂ. $À§¼Vº ƒÀ¯¼Žº:} *ºP¡¿RÀ¯¼Žº

Qê¾`¿ÁÂ ½

⊥

^{, êÂ. -¿#º‡º =Â}k¾ fº/& :BÀ§¼`¡¿e½?¿#º

α ⁰

^{¡¿À°½?ÂHº} ºf½O¿ÁÂHÀ§¼Vº À§¼Hfº‡º êÂ. ?¿+*

1

^$

⊥

^{½ À¯¼ŽºL#¾bÀ d½ ¥Â¯À-¿ fºÂ¡¿#º¿-}

π = _a ¹ _cut ^⊥ _b

t

/ / /o /o /o π ⁰ =

Ç©lm–koVueX b³ufXN„boŽ†cflmikˆiƒ¢²‚•†#obciƒ¢©cd_`q7X

(1/⊥)

(!/?) 0

*0*º

fº•Â¡¿º#

t

¡¿ À§¼Vº4½ƒÂ ê¾`¿Á ½

!

^{, êÂ. ½} À§¼Vº#ƒÀ¯¼Žº:L*ºÂ¡¿

À§¼Vº7 ê¾`¿Á !½

?

^,êÂ! ¼Ž½?ÃNÂD

0

fº•Â¡¿º¿+& :«À§¼`¡¿ ‡½O¿#º $xÀ¯¼Žº

!

^{, êÂ. tÀ@º#À§¼Vº}

¯À§¼B¯À-¿ #»+½ ¯À-¿L ê¾`¿Á«º/º¿½fº4ºf½O¿#º/& •ºÀ§¼VºÆºf½O¿#ºÀ§¼Vº

?

^{, êÂ. $ À§¼Vº}

#¾bÀ½ h¯Àµ¿

eº:•Â¡¿#ºÁ¿+& ?À9‡ºxÀ¯¼Ž½?À©À¯¼Žº

?

^{, êÂ! O¿}

π

½?¿e¿Oµ½ƒÀtº

¯À§¼¥À§¼Vº!Qê¾`¿ÁÂV¿

À¯¼Žºhºf½O¿#º

!

^, êÂ! ¼Ž½?Ã?º BO¿ÁÀ=¿4º

fº•Â¡¿e¿#º¿-

(!/?) >0

* Hº

fºÂ¡¿#º0

t

^$¿#½

a

$¡¿À§¼Vº¥½? ê¾`¿Á C½

!

^{,êÂ! ½} hÀ¯¼Žº!?À§¼Vº Hº tÂ&¯º&

b

^{L¡¿1À§¼Vº Q¶¾`¿‡Â 1½}

?

^,êÂ. L¼V½?ÃNÂD

b ⁰ ₁ , . . . , b ⁰ _k

^{½O¿ fºÂ¡¿#º¿ $ ¯À¯¼}

k ≥ 1

9¿#ºeº =Âk¾ fº /&º#À ¿S‡½

o

^À§¼Vº

!

^{, êÂ. ½ h¿Á¾ /} O¿#º\¯À¼Ž½O¿

h

^{½ƒ¾k»k¶µ½ ê¾`¿ÁŽ¿ $}

¤º#À

π ^o

‡º…À§¼Vº)#»

o

^{$ ¤º#À}

w

^{‡º…À§¼Vº}

?

^{, êÂ! $ mºÀ}

v i

‡º…À§¼Vº

[

^,êÂ. !½O¿‡¿&#µ½?À°º

¯À§¼

b ⁰ _i

^$

½ ¤º#À

β i

‡ºhÀ¯¼Žº½ƒÀ

v i

&

H¼Vº¿#º#À

{b ⁰ ₁ , . . . , b ⁰ _k }

w

^{¿ fºÂ¡¿#º¿ ‡½ eº!¿ ¶Â¯ÀCÂ7ÀRÀ} ƒÂ¡¿ƒÂŽÀ\¿#º#Àµ¿+*¤º#À

C

fº¿

&

B

eºÀ¯¼Žº•¿#ºÀ!

w

^{¿ fº•Â¡¿º¿} ¼XO¿#º½O¿‡¿&#µ½?À°º

[

^{,êÂ. eºID fº¿ &* Iº¿}

ƒÀ ‡ºIH ÀM4À§¼Vº ¿½4º ½?À½O¿

w

^&

NŽ¿‡Â@º:

k

^嵼
o

^{d½ !}

o

^{¿ #»+$e½}

o 1 , . . . , o k

À§¼Vº¿#º

!

^{, ¶Â. ?¿ ½}

π ^{o 1} , . . . , π ^{o k}

À§¼Vº# I»`ºÁ¿+& O‡ºeº½O¿N:I

¿+*

º:f½?¿#º

t

^{½ ¥Â¯Àµ¿ fºÂ¡¿#º¿$}

w

^{°½ •Â¯À-¿ fºÂ¡¿#º¿$}

o

^{d½ •Â¯Àµ¿ ê¾`¿ÁŽ¿…½}

¯Àµ¿ #»+

Â

b ⁰ _j ∈ C

$LÀ¯¼Žº:¸º:f½?¿#º¥À§¼Vº

[

^,êÂ.

v j

α

^{½ ¾bÀ}

v j

¿ fº:•Â¡¿#º

c j

¯À§¼­À§¼Vº

4½ƒÂ Qê¾`¿Á \À§¼Vº#»

π ^{o j}

o j

Â

b ⁰ _j ∈ B

$|À¯¼Žº:•¿Á¾ ¿‡À9¯À9¾bÀtº À§¼Vº ½?À

β j

v j

!Ž¿ÁÂkºÁÂD…À§¼Vº ½ƒÀ

β _j ⁻

9À§¼V½ƒÀ|¡¿

β j

¼Žº:eº

v j

½ C¯À-¿ ê¾`¿ÁÂh¼Ž½?Ã?º ‡º‡º:ºf½O¿#ºC½ !#¾bÀ9À-ÂHLÀ§¼Vº

fºÂ¡¿#º

v j

¯À§¼ÆÀ§¼Vº ¥½? ê¾`¿ÁÂ

π ^{o j}

^& ?¾ ‡¿#ººÃ?º:

!

^{, êÂ! ,}

π ⁰

^,

Àt½ƒÂŽÂD•À§¼`¡¿ ½?À¼V½?¿? xº:fºŽÀ=½ƒ¾k»@Âêµ½ Qê¾`¿ÁÂV¿*ÈÀ§¼Vº0Zfº¿

ƒÂD

þèNÛÝñà~ڇñ-ÞÖ¯ñ9ØڇñEò-èOÞ

(!/?) ⁰

ØÁÜOÞ°ÖHúÛÝöÁèòEáNÛÝÞdäÝæxڇÜCÞdú÷Nò¯áLöÁÙ9ڇ÷Nè/å

ÔÞdúÞdú 'ƒÞdÙHò9èOÚeò

π ^o

ßOñ-Øڇñò-èOÞ²÷O÷Nñ©Ú‡ñ-ñ9Ø#à~ÛêÚeò-Þdæ )Ûò9èLÞ°çÞdÙµá

!

Ö¯äÝÛÝÜ&%ƒßIà~ڇÜOÜN؇ò 'ƒÞ²Þdú÷Nò¯áå