1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ '...

13
$C? 4ƕLG? PIH (;HIC CH 4,! ۔Burkhardt Renz 01.05.2020 р $;M 3JC?F Das Spiel •Tòrme von Hanoi“ besteht aus drei gleich groøen StÝben, den Tòrmen. Auf die Tòr- men kïnnen mehrere gelochte Scheiben gelegt werden, die alle verschieden groø sind. Zu Beginn liegen alle Scheiben auf dem linken Stab, und zwar der Grïøe nach geordnet, die kleinste Scheibe oben. Ziel des Spiels ist es, den kompletten Scheiben-Stapel vom linken Turm auf den rechten Turm zu versetzen. Dabei darf bei jedem Zug die oberste Scheibe eines Turms auf einen anderen Turm befïrdert werden, allerdings so, dass jeder Turm immer der Grïøe nach geordnet ist. Abbildung 1: Tòrme von Hanoi, from BNNJMΓχχ=IGGIHMΑQCECG?>C;ΑILAχQCECχ&CF?Γ4IQ?Lν I@ν(;HICΑDJ?A 1

Transcript of 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ '...

Page 1: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

�$ �ƕ-( 1*) �)*$ $) � ۔�

#VSLIBSEU 3FO[

����������

р ��. �+$ '

%BT 4QJFM t5ÛSNF WPO )BOPJi CFTUFIU BVT ESFJ HMFJDI HSP�FO 4UÅCFO EFO 5ÛSNFO� "VG EJF 5ÛS�NFO LÕOOFONFISFSF HFMPDIUF 4DIFJCFO HFMFHU XFSEFO EJF BMMF WFSTDIJFEFO HSP� TJOE� ;V #FHJOOMJFHFO BMMF 4DIFJCFO BVG EFN MJOLFO 4UBC VOE [XBS EFS (SÕ�F OBDI HFPSEOFU EJF LMFJOTUF 4DIFJCFPCFO�

;JFM EFT 4QJFMT JTU FT EFO LPNQMFUUFO 4DIFJCFO�4UBQFM WPN MJOLFO 5VSN BVG EFO SFDIUFO 5VSN[V WFSTFU[FO� %BCFJ EBSG CFJ KFEFN ;VH EJF PCFSTUF 4DIFJCF FJOFT 5VSNT BVG FJOFO BOEFSFO 5VSNCFGÕSEFSU XFSEFO BMMFSEJOHT TP EBTT KFEFS 5VSN JNNFS EFS (SÕ�F OBDI HFPSEOFU JTU�

"CCJMEVOH �� 5ÛSNF WPO )BOPJ GSPN #//+.Γχχ�*((*).Α2$&$( �$�Α*-"χ2$&$χ�$' Γ�*2 -ν*!ν�)*$Α%+ "

Page 2: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

с �$ �+ 5$!$&�/$*) � . �+$ '. $) � ۔�

%JF (SVOEJEFF WPO 5-"� CFTUFIU EBSJO FJO 4ZTUFN BMT FJOF EJTLSFUF 'PMHF WPO ;VTUÅOEFO [VTFIFO� &T HJCU FJOFO *OJUJBM[VTUBOE VOE EBOO 'PMHF[VTUÅOEF� %BT 4ZTUFN IBU GFSOFS 7BSJBCMFO EJFJO KFEFN ;VTUBOE CFTUJNNUF 8FSUF IBCFO� #FJ KFEFN ;VTUBOETÛCFSHBOH ÅOEFSO TJDI EJF 8FSUFWPO 7BSJBCMFO BOEFSF LÕOOFO BCFS BVDI HMFJDI CMFJCFO�

%BT ,PO[FQU JO EFO 8PSUFO WPO -FTMJF -BNQPSU�

iw XF SFQSFTFOU UIF FYFDVUJPO PG B TZTUFN BT B TFRVFODF PG TUBUFT� 'PSNBMMZ XFEFêOF B CFIBWJPS UP CF B TFRVFODF PG TUBUFT XIFSF B TUBUF JT BO BTTJHONFOU PG WBMVFTUP WBSJBCMFT� 8F TQFDJGZ B TZTUFN CZ TQFDJGZJOH B TFU PG QPTTJCMF CFIBWJPST�UIF POFTSFQSFTFOUJOH B DPSSFDU FYFDVUJPO PG UIF TZTUFN�u <� 4� ��>

%JF 4QF[JêLBUJPO EFT 4ZTUFNT CFTUFIU OVO EBSJO EBTT NBO [XFJ MPHJTDIF 'PSNFMO CFTDISFJCU VOEEBOO EJF ,POKVOLUJPO EJFTFS CFJEFO 'PSNFMO CJMEFU�

r %JF FSTUF 'PSNFM ÛCMJDIFSXFJTF �� HFOBOOU ESÛDLU BVT XBT JN *OJUJBM[VTUBOE HFMUFONVTT�

r %JF [XFJUF 'PSNFM ÛCMJDIFSXFJTF ���� HFOBOOU HJCU BO XFMDIF #FEJOHVOHFO GÛS FJOFO;VTUBOETXFDITFM HFMUFO� %B[V NVTT NBO OBUÛSMJDI EJF .ÕHMJDILFJU IBCFO EFO 8FSU FJOFS7BSJBCMFO OBDI EFN ;VTUBOETÛCFSHBOH [V GPSNVMJFSFO� %B[V XJSE FJOF JO EFS -PHJL OJDIUVOÛCMJDIF ,POWFOUJPO WFSXFOEFU� *TU 1 EFS 8FSU EFS 7BSJBCMF 1 EBOO JTU 1Κ JIS 8FSU OBDIEFN ;VTUBOETÛCFSHBOH�

4QF[JêLBUJPOFO JO 5-"� XFSEFO JO .PEVMF BVGHFUFJMU� 'ÛS VOTFSF 4QF[JêLBUJPO EFS t5ÛSNF WPO)BOPJi FS[FVHFO XJS FJO OFVFT .PEVM NJU EFN /BNFO #�)*$ͮ� %JF *OIBMUF EFT .PEVMT XFSEFO[XJTDIFO TFJOFN ,PQG VOE TFJOFN 'V� HFTDISJFCFO�

-JTUJOH �� .PEVM�,PQG VOE �'V�

ΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧ ���� � #�)*$ͮ ΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΑΑΑ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅

%BCFJ NÛTTFO NJOEFTUFOT WJFS EFS ;FJDIFO Χ C[X� ҅ BVGFJOBOEFS GPMHFO�

5-"� IBU FJOF #JCMJPUIFL WPO 4UBOEBSE�.PEVMFO EJFNBOXJF OBUÛSMJDI BVDI TFMCTU HFTDISJFCFOF.PEVMF WFSXFOEFO LBOO� 8JS WFSXFOEFO )/ " -. VOE � ,0 )� .�

%BT .PEVM )/ " -. FOUIÅMU EJF ÛCMJDIFO OVNFSJTDIFO VOE 7FSHMFJDITPQFSBUPSFO GÛS HBO[[BI�MJHF 8FSUF� %BT .PEVM � ,0 )� . TQF[Jê[JFSU 0QFSBUPSFO GÛS FOEMJDIF 4FRVFO[FO�� 4FRVFO[FOXFSEFO XJS GÛS EJF 5ÛSNF FJOTFU[FO VOE EJF 4DIFJCFO SFQSÅTFOUJFSFO XJS EVSDI ;BIMFO�

�*O <� ,BQ� �� 4� ���Ē> XFSEFO EJF 4UBOEBSE�.PEVMF JN %FUBJM CFTDISJFCFO� &JOFO LVS[FO ¾CFSCMJDL êOEFU NBO JN5-"� $IFBU 4IFFU EBT NBO BVT EFS 5-"� 5PPMCPY BVGSVGFO LBOO�

Page 3: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

-JTUJOH �� .PEVM WFSXFOEFU 4UBOEBSE�.PEVMF

ΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧ ���� � #�)*$ͮ ΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧ

������� )/ " -.Β � ,0 )� .ΑΑΑ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅

������� GÛISU EB[V EBTT BMMF %FLMBSBUJPOFO %FêOJUJPO "OOBINFO VOE ѮFPSFNF EFS HFOBOO�UFO .PEVMF tFJOHFCMFOEFUi XFSEFO VOE WFSXFOEFU XFSEFO LÕOOFO TP BMT PC TJF IJFS TFMCTU TQF�[Jê[JFSU XPSEFO XÅSFO�

%BT %BUFONPEFMM�

r 8JS OFINFO ESFJ 7BSJBCMFO GÛS KFEFO EFS 5ÛSNF MJOLT JO EFS.JUUF VOE SFDIUT�8JS OFOOFOTJF 'Β (Β -�

r +FEFS 5VSN JTU FJOF 4FRVFO[ EJF EJF 4DIFJCFO FOUIÅMU� .BO TDISFJCU 4FRVFO[FO JO 5-"� JOEFS 'PSN ҇҇ ΑΑΑ ҈҈�

r %JF 4DIFJCFO XFSEFO EVSDI EJF ;BIMFO � CJT � SFQSÅTFOUJFSU EJF [VHMFJDI GÛS EJF (SÕ�FEFS 4DIFJCFO TUFIFO� *N *OJUBM[VTUBOE TJOE BMMF 4DIFJCFO EFS (SÕ�F OBDI HFPSEOFU BVG EFNMJOLFO 5VSN�

-JTUJOH �� %BT %BUFONPEFMM VOE [VHMFJDI EFS *OJUBM[VTUBOE

����� �� ' ( -

)$/ ҅҅ χω ' ҅ ҇҇ Βͮ Βͯ ͰΒ ͱ҈҈χω ( ҅ ҇҇ ҈҈χω - ҅ ҇҇ ҈҈

&T GPMHFO [XFJ %FêOJUJPOFO EJF TQÅUFS EJF 4QF[JêLBUJPO WFSFJOGBDIFO� %BT 1SÅEJLBU �(+/4ρ. ,ςJTU XBIS XFOO EJF 4FRVFO[ . , MFFS JTU� %FS "VTESVDL �*).ρ ' (Β. ,ς TUFIU GÛS EJF 4FRVFO[ EJF ' ( BMT ,PQG VOE . , BMT 3FTU IBU� *O EFS %FêOJUJPO JTU ҇҇ ' ( ҈҈ EJF 4FRVFO[ EJF BMTFSTUFT VOE FJO[JHFT &MFNFOU ' ( FOUIÅMU VOE ω* JTU EFS 0QFSBUPS JN .PEVM � ,0 )� . EFS EJF,POLBUFOBUJPO EFS CFJEFO 4FRVFO[FO CJMEFU�

-JTUJOH �� )JMGT�%FêOJUJPOFO

�(+/4ρ. ,ς ҅҅ )ρ. ,ς ҇҅ ͭ

�*).ρ ' (Β . ,ς ҅҅ ҇҇ ' ( ҈҈ ω* . ,

&JO FSMBVCUFS ;VTUBOETÛCFSHBOH JN 4QJFM t%JF 5ÛSNF WPO )BOPJi JTU FJO ;VH EFS EFO 3FHFMOFOUTQSJDIU� %JF 4QF[JêLBUJPO FJOFT ;VHT XJSE JO [XFJ %FêOJUJPOFO BVGHFUFJMU� ;VFSTU EBT 1SÅEJLBU��)�*1 ρ/ͮΒ /ͯς EBT GÛS [XFJ 5ÛSNF BOHJCU PC FT OBDI EFO 3FHFMO NÕHMJDI XÅSF EJF PCFSTUF

Page 4: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

4DIFJCF WPO /ͮ BVG EFO 5VSN /ͯ [V MFHFO� %JF [XFJUF %FêOJUJPO �*1 ρ/ͮΒ /ͯΒ /Ͱς TQF[Jê[JFSUEFO FJHFOUMJDIFO ;VH�

-JTUJOH �� 4QF[JêLBUJPO FJOFT ;VHT

��)�*1 ρ/ Βͮ / ςͯ ҅҅χω Ҏ �(+/4ρ/ ςͮχω �(+/4ρ/ ςͯ ωχ ρҎ �(+/4ρ/ ςͯ χω ��ρ/ ςͮ ҇ ��ρ/ ςͯς

�*1 ρ/ Βͮ / Βͯ /Ͱς ҅҅χω ��)�*1 ρ/ Βͮ / ςͯχω / Κͮ ҅ ��$'ρ/ ςͮ χω / Κͯ ҅ �*).ρ ��ρ/ ςͮΒ / ςͯ χω /ͰΚ ҅ /Ͱ

8BOO EBSG NBO FJOF 4DIFJCF WPO /ͮ OBDI /ͯ WFSTDIJFCFO %JF FSTUF OPUXFOEJHF #FEJOHVOH EBGÛSJTU EBTT /ͮ OJDIU MFFS JTU� %JF [XFJUF #FEJOHVOH MBVUFU� /ͯ JTU MFFS PEFS EJF PCFSTUF 4DIFJCF WPO /ͮJTU LMFJOFS BMT EJF PCFSTUF 4DIFJCF WPO /ͯ�

5-"� IBU FJOF TQF[JFMMF /PUBUJPO GÛS ,POKVOLUJPOFO VOE %JTKVOLUJPOFO JO EFN NBO EJF 0QFSB�UPSFO HFOBV VOUFSFJOBOEFS TDISFJCU� %BEVSDI LBOO NBO ,MBNNFSO TQBSFO�

8JF TJFIU OVO FJO ;VH BVT &S JTU OVS NÕHMJDI XFOO /ͮ VOE /ͯ EBT 1SÅEJLBU ��)�*1 FSGÛMMFO�'FSOFS CMFJCU WPO /ͮ OVS EFS 3FTU PIOF ,PQG XÅISFOE /ͯ OVO EFO ,PQG WPO /ͮ BMT ,PQG IBU� %FS;VTUBOETÛCFSHBOH XJSE EBEVSDI BVTHFESÛDLU EBTT EJF 8FSUF /ͮΚΒ /ͯΚ EFS 7BSJBCMFO /ͮΒ /ͯ JN'PMHF[VTUBOE TQF[Jê[JFSU XJSE� .BO CFBDIUF EBTT NBO BV�FSEFN BVTESÛDLFO NVTT EBTT BMMFTBOEFSF JN 'PMHF[VTUBOE VOWFSÅOEFSU CMFJCU� )JFS BMTP EBTT EFS ESJUUF 5VSN /Ͱ JN 'PMHF[VTUBOETFJOFO 8FSU CFIÅMU��

%JF #FEJOHVOH � 3/ CFTUFIU OVO FJOGBDI JO BMMFO NÕHMJDIFO ;ÛHFO� %�I� XJS CJMEFO EJF %JTKVOL�UJPO EFS ;ÛHF GÛS EJF TFDIT 1FSNVUBUJPOFO EFS ESFJ 5ÛSNF� %JF WPMMTUÅOEJHF 4QF[JêLBUJPO �+ �XJSE EBOO BVT )$/ VOE � 3/ HFCJMEFU�

-JTUJOH �� ;ÛHF VOE EJF WPMMTUÅOEJHF 4QF[JêLBUJPO

� 3/ ҅҅ωχ �*1 ρ'Β (Β -ς ωχ �*1 ρ'Β -Β (ςωχ �*1 ρ(Β 'Β -ς ωχ �*1 ρ(Β -Β 'ςωχ �*1 ρ-Β 'Β (ς ωχ �*1 ρ-Β (Β 'ς

ρϋ ��. .$)� �'' (ų"'$�# ) �0./�)�.2 �#. ' )��# )$/ ϋς

�+ � ҅҅ )$/ χω στσ� 3/τν҇ ҇'Β (Β -҈҈

�%BTT OJDIU OVS GPSNVMJFSU XFSEFO NVTT XBT TJDI ÅOEFSU TPOEFSO BVDI XBT BMMFT HMFJDI CMFJCU XJSE HFSOF WFSHFTTFO�*OTCFTPOEFSF NJU FJOFN )JOUFSHSVOE WPO 1SPHSBNNJFSTQSBDIFO OFJHU NBO EB[V BO[VOFINFO EBTT HFXJTTFSNB��FO JNQMJ[JU PIOFIJO TJDI OVS EBT tÅOEFSOi LBOO XBT NBO JO FJOFS 'VOLUJPO GPSNVMJFSU� *O MPHJTDIFO 4QSBDIFOJTU EJFTF "OOBINF OJDIU SJDIUJH� &JO ;VTUBOETÛCFSHBOH NVTT WPMMTUÊOEJH GPSNVMJFSU XFSEFO� %JF OÕUJHFO "VTTB�HFO EBSÛCFS XBT TJDI OJDIU ÅOEFSU XJSE BVDI BMT GSBNF DPOEJUJPO CF[FJDIOFU� 5-"� IBU FJOFO TQF[JFMMFO 0QFSBUPS�������� NJU EFN NBO GFTUMFHU EBTT TJDI EJF 7BSJBCMF CFJN ;VTUBOETÛCFSHBOH OJDIU ÅOEFSU�

Page 5: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

*O EFS %FêOJUJPO WPO �+ � LPNNU EFS UFNQPSBMF 0QFSBUPS στ WPS EFTTFO 4FNBOUJL TP EFêOJFSUJTU� 'ÛS FJOF 'PSNFM � CFEFVUFU �� EBTT TJF JO BMMFO ;VTUÅOEFO HÛMUJH JTU�

%BSÛCFS IJOBVT IBU � 3/ FJO 4VCTLSJQU ҇҇'Β (Β -҈҈� %JFT CFEFVUFU JO 5-"� EBTT BVDI¾CFSHÅO�HF FSMBVCU TJOE JO EFOFO TJDI EJF HFOBOOUFO 7BSJBCMFO ÛCFSIBVQU OJDIU ÅOEFSO�� %JFT XJSE HFOF�SFMM JO 4QF[JêLBUJPOFO JO 5-"� TP HFNBDIU� %BT TQF[Jê[JFSUF 4ZTUFN LBOO EBOO HFXJTTFSNB�FOJNNFS XFJUFS MBVGFO� ;XFJUFOT BCFS FSMBVCU FT EJF ,PNQPTJUJPO WPO 4QF[JêLBUJPOFO� 8FOO JO VO�TFSFS 4QF[JêLBUJPO ¾CFSHÅOHF FSMBVCU TJOE CFJ EFOFO TJDI VOTFSF 7BSJBCMFO OJDIU ÅOEFSO LÕOOUFFJOF BOEFSF 4QF[JêLBUJPO EFS ,PNQPTJUJPO JISF 7BSJBCMFO XÅISFOE TPMDIFS 4DISJUUF ÅOEFSO�

т ť.0)" � . �+$ '. ($/ $'! � . � � �*� ' �# �& -.

'ÛS 5-"� HJCU FT FJOFO .PEFM $IFDLFS NJU EFN "VTTBHFO ÛCFS .PEFMMF EJF EJF 4QF[JêLBUJPOFSGÛMMFO ÛCFSQSÛѫ XFSEFO LÕOOFO�

%FO .PEFM $IFDLFS 5-$ LBOO NBO WFSXFOEFO VN FJOF -ÕTVOH GÛS EBT 4QJFM [V FS[FVHFO� %B[VGPSNVMJFSFO XJS [VFSTU EBT ;JFM �*�' EBT 4QJFMT� 8FOO XJS OVO EJF MPHJTDIF /FHBUJPO EFT 4QJFMTCJMEFO VOE TJF BMT *OWBSJBOUF EFT .PEFMMT CFUSBDIUFO EBOO XÛSEF EBT CFEFVUFO EBTT FT OJFNBMTFJOFO ;VTUBOE HFCFO LBOO JO EFN EBT ;JFM FSGÛMMU JTU� %JFT JTU HFSBEF EBT (FHFOUFJM FJOFS -ÕTVOH�8JS MBTTFO EFO .PEFM $IFDLFS BMTP FJOFO 8JEFSTQSVDITCFXFJT GÛISFO� &S TPMM GFTUTUFMMFO EBTT FTEPDI NÕHMJDI JTU JO FJOFO ;VTUBOE [V LPNNFO JO EFN BMMF 4DIFJCFO TPSUJFSU BVG EFN SFDIUFO5VSN MJFHFO� 'JOEFU FS FJOFO TPMDIFO ;VTUBOE VOE BMMF 4DISJUUF [V EJFTFN ;VTUBOE EBOO IBCFOXJS FJOF -ÕTVOH GÛS EJF t5ÛSNF WPO )BOPJi�

-JTUJOH �� ;JFM EFT 4QJFMT VOE TFJOF /FHBUJPO

�*�' ҅҅ - ҅ ҇҇ Βͮ Βͯ ͰΒ ͱ҈҈

�# �& ҅҅ ω')*/ �*�'

(FTBHU HFUBO� *N .FOÛ � � �*� ' �# �& -ۛ� 2 �*� ' EFS 5-"� 5PPMCPY FS[FVHFO XJS FJO .P�EFMM� &T JTU EBOO BMT � #�1$*- .+ � CFSFJUT VOTFSF 4QF[JêLBUJPO �+ � FJOHFUSBHFO� .BO NVTT KFU[UOPDI EJF [V QSÛGFOEF *OWBSJBOUF JN 'FME )1�-$�)/. FJOUSBHFO BMTP �# �&�

%BOO TUBSUFO XJS EFO .PEFM $IFDLFS NJU EFN .FOÛQVOLU � � �*� ' �# �& -ۛ�0) �*� '�

6OE JO EFS 5BU� %FS .PEFM $IFDLFS NFMEFU FJOFO 'FIMFS m )1�-$�)/ �# �& $. 1$*'�/ � m VOE HJCUEJF 'PMHF EFS ;VTUÅOEF BVT EJF [VS 7FSMFU[VOH EFS *OWBSJBOUF HFGÛISU IBU m EFO �--*-Ҋ�-�� � *O"CCJMEVOH � XJSE FJO "VTTDIOJUU EFS "VTHBCF EFT .PEFM $IFDLFST EBSHFTUFMMU�

%FS � � �*� ' �# �& - IBU EJF -ÕTVOH JO 5BCFMMF � HFGVOEFO�

�-FTMJF -BNQPSU OFOOU EJFT TUVUUFSJOH TUFQT <� 4� ��>

Page 6: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

"CCJMEVOH �� &SSPS�5SBDF E�I� -ÕTVOH EFT 4QJFMT

5BCFMMF �� -ÕTVOH EFT 4QJFMT

;VTUBOE MJOLT NJUUF SFDIUT

� �� � � �� � � � �� �� � �� ��� � �� �� �� ��� ���� �� �� � � �� ��� ��� ��� �� ��� �� �� ��� ���� �� �� �� �� � �� ��� �� � �� � �� � � �� � �� ���

�� � � �� �� �� ���� ��� ��� �� ���� �� �� ��� ����� �� �� � � �� ���� ��� ��� �� ���� � � ��� �� � ���� � � � � �� � � ��

Page 7: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

у �$ �+ 5$!$&�/$*) � . �+$ '. ($/ ��۔

�$"- JTU FJOF 4QSBDIF [VS 'PSNVMJFSVOH WPO "MHPSJUINFO EJF -FTMJF -BNQPSU ���� WPSHFTUFMMUIBU� &S OFOOU GPMHFOEF XJDIUJHFO .FSLNBMF WPO �$"-�

i1MVT$BM DPNCJOFT êWF JNQPSUBOU GFBUVSFT� TJNQMF DPOWFOUJPOBM QSPHSBN DPOTUSVDUT FYUSFNFMZ QPXFSGVM FYQSFTTJPOT OPOEFUFSNJOJTN B DPOWFOJFOU XBZ UP EFTDSJCF UIFHSBJO PG BUPNJDJUZ BOE NPEFM DIFDLJOH�u <�>

&JO "MHPSJUINVT JO �$"- XJSE JO 5-"� ÛCFSTFU[U VOE LBOO EBOO NJU BMMFO 8FSL[FVHFO WPO5-"� WFSXFOEFU XFSEFO� &T IBOEFMU TJDI BMTP VN FJOF 4QSBDIF JO EFS FJOF 4QF[JêLBUJPO FJOFT EJT�LSFUFO 4ZTUFNT NJU FJOFN *OJUJBM[VTUBOE VOE EFO ;VTUBOETÛCFSHÅOHFO EVSDI FJOFO "MHPSJUINVTHFHFCFO XJSE� %JFT QBTTJFSU LPO[FQUJPOFMM EBEVSDI EBTT FJO 1SPHSBNN[ÅIMFS QSPHSBN DPVOUFS QD [VTBNNFONJU EFO8FSUFO EFS 7BSJBCMFO EFO"CMBVG EFT "MHPSJUINVT JO ;VTUÅOEF HMJFEFSU�

*N 'PMHFOEFO XJSE t5ÛSNF WPO )BOPJi JO �$"- GPSNVMJFSU� %FO EBSHFTUFMMUFO "MHPSJUINVT IBCFJDI WPO )JMMFM 8BZOF <� "CTDIOJUU 5-"��5VQMFT BOE 4USVDUVSFT> ÛCFSOPNNFO�

%JF #FTDISFJCVOH EFT "MHPSJUINVT JO �$"-XJSE JO EJF 5-"��%BUFJ BMT ,PNNFOUBS FJOHFGÛHU�

-JTUJOH �� %FS 3BINFO GÛS EFO "MHPSJUINVT JO �$"-

ΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧ ���� � #�)*$ͯ ΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧΧρϋ �2 $/ ��-$�)/ � - �Ʀ-( 1*) �)*$ ($/ �'0.��'Β

��.$ - )� �0! $) - ų.0)" 1*) $'' ' ��4) ϋς

������� � � )/ " -. � ,0 )� .

ρϋ ΧΧ�'"*-$/#( #�)*$ υ

ΑΑΑ

φϋς҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅̔ ҅

&T HJCU [XFJ .ÕHMJDILFJUFO GÛS EJF 4ZOUBY� EFO tQ�4UJMi EFS BO 1BTDBM BOHFMFIOU JTU VOE EFO tD�4UJMi EFS BO $ BOHFMFIOU JTU� *DI WFSXFOEF EFO D�4UJM�

%BT %BUFONPEFMM JTU HFHFOÛCFS EFS 4QF[JêLBUJPO JO 5-"� FUXBT BCHFXBOEFMU� %JF ESFJ 5ÛSNFTJOE XFJUFS 4FRVFO[FO EFSFO &MFNFOU EJF 4DIFJCFO TJOE EJF BMT ;BIMFO SFQSÅTFOUJFSU XFSEFO�%JF ESFJ 5ÛSNF XFSEFO JO EJFTFS 4QF[JêLBUJPO TFMCTU FJOF 4FRVFO[� %FS MJOLF 5VSN JTU EFS FSTUFJO EFS 4FRVFO[ VTX�

'FSOFS EFêOJFSFO XJS EJF.FOHF +*.� %FS 0QFSBUPS ����� JTU EFS %FêOJUJPOTCFSFJDI FJOFS 'VOL�UJPO� *O 5-"� JTU FJOF 4FRVFO[ LPO[FQUJPOFMM FJOF 'VOLUJPO WPO {1,2, . . . ,M} M EJF -ÅOHF EFS4FRVFO[ JO EJF .FOHF EFS NÕHMJDIFO 8FSUF EFS 4FRVFO[� %B EJF 7BSJBCMF /*2 -. ESFJ &MFNFOUFIBU JTU +*. HFSBEF EJF .FOHF {1,2,3}� �*). LFOOFO XJS TDIPO�

Page 8: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

-JTUJOH �� %JF 5ÛSNF VOE [XFJ %FêOJUJPOFO

ρϋ ΧΧ�'"*-$/#( #�)*$ υ

1�-$��' /*2 -. ҅ ҇҇ ҇҇ Βͮ Βͯ ͰΒ ͱ҈҈Β ҇҇ ҈҈Β ҇҇ ҈҈ ҈҈Δ� !$) υ+*. ҅҅ ����� /*2 -.

�*).ρ ' (Β . ,ς ҅҅ ҇҇ ' ( ҈҈ ω* . ,φΑΑΑφϋς

/BDI EJFTFO7PSCFSFJUVOH LÕOOFOXJS JO FJOFN#MPDL EFO FJHFOUMJDIFO"MHPSJUINVT GPSNVMJFSFO TP EBTT TJDI 'PMHFOEFT FSHJCU�

-JTUJOH ��� %FS )BOPJ�"MHPSJUINVT JO �$"-

� ρϋ ΧΧ�'"*-$/#( #�)*$ υ�� 1�-$��' /*2 -. ҅ ҇҇ ҇҇ Βͮ Βͯ ͰΒ ͱ҈҈Β ҇҇ ҈҈Β ҇҇ ҈҈ ҈҈Δ� � !$) υ+*. ҅҅ ����� /*2 -.� �*).ρ ' (Β . ,ς ҅҅ ҇҇ ' ( ҈҈ ω* . ,φ�� υ 2#$' ρ����ς υ� �.. -/ /*2 -.σͰτ χ҅ ҇҇ Βͮ Βͯ ͰΒ ͱ҈҈Δ� 2$/# ρ!-*( ω$) υ$ͮ ω$) +*.Γ /*2 -.σ$ τͮ χ҅ ҇҇ ҈҈φΒ

�� /* ω$) υ$ͯ ω$) +*.Γ ωχ /*2 -.σ$ τͯ ҅ ҇҇҈҈�� ωχ ��ρ/*2 -.σ!-*(τς ҇ ��ρ/*2 -.σ$ τͯςφςυ�� /*2 -.σ!-*(τ Γ҅ ��$'ρ/*2 -.σ!-*(τς ψψ�� /*2 -.σ/*τ Γ҅ �*).ρ ��ρ/*2 -.σ!-*(τςΒ /*2 -.σ/*τςΔ�� φ�� φ�� φ�� φϋς

%FS "MHPSJUINVT MÅVѫ JO FJOFS 8IJMF�4DIMFJGF ;FJMF � CJT EJF #FEJOHVOH WPO ;FJMF � OJDIU NFISFSGÛMMU JTU� %JFT JTU EJF "SU VOE 8FJTF XJF EFS 8JEFSTQSVDITCFXFJT JO �$"- BOHFMFHU XJSE� %FS4DIMFJGFOEVSDIHBOH JO EFN BMMF 4DIFJCFO BVG EFN SFDIUFO 5VSN MJFHFO XJSE EJF "TTFSUJPO WFS�MFU[FO VOE TPNJU [V FJOFS 'FIMFSNFMEVOH GÛISFO� %JF 7FSXFOEVOH EFT 4UBOEBSE�.PEVMT � � JTUOPUXFOEJH EFOO EPSU JTU �.. -/ EFêOJFSU�

*O EFO ;FJMFO � CJT �� XJSE FJOF 2$/#�"OXFJTVOH WFSXFOEFU� %JFTF "OXFJTVOH JTU OJDIU�EFUFS�NJOJTUJTDI� %FS OBDIGPMHFOEF #MPDL XJSE GÛS FJOF 8BIM BVT BMMFO NÕHMJDIFO ,PNCJOBUJPOFO EFS8FSUF !-*( VOE /* BVTHFGÛISU EJF GÛS EBT 2$/# FSNJUUFMU XFSEFO�.BO CFBDIUF EBTT TJDI EFS8FSUEFS 7BSJBCMF /*2 -. CFJ FJOFN ;VTUBOETÛCFSHBOH EVSDI EFO 'VOLUJPOTLÕSQFS EFT 2$/# ÅOEFSU E�I� EJF NÕHMJDIFO 8FSUF WPO !-*( VOE /* XFSEFO KFXFJMT OFV CFSFDIOFU�

8FMDIF ,PNCJOBUJPOFO TJOE EBT !-*( TJOE EJF 1PTJUJPOFO BO EFOFO EFS 5VSN OJDIU MFFS JTU�%FOO WPO FJOFN MFFSFO 5VSN LBOO NBO LFJOF 4DIFJCFO OFINFO� /* TJOE BMMF 1PTJUJPOFO CFJ

Page 9: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

EFOFO EFS 5VSN MFFS JTU PEFS EJF PCFSTUF 4DIFJCF EFT 5VSNT BO EFS 1PTJUJPO !-*( JTU LMFJOFS BMTEJF PCFSTUF 4DIFJCF EFT 5VSNT BO EJFTFS 1PTJUJPO� %JF 8BIM EFS 1PTJUJPOFO !-*( VOE /* FSHJCUBMTP EJF 5ÛSNF CFJ EFOFO FJO ;VH NÕHMJDI JTU�

8BT XJSE OVO GÛS EJFTF ,PNCJOBUJPOFO JN ,ÕSQFS EFT 2$/# HFNBDIU 7PN 5VSN BO EFS 1PTJUJPO!-*( XJSE EJF PCFSTUF 4DIFJCF IFSVOUFSHFOPNNFO VOE TJF XJSE BVG EFO 5VSN BO EFS 1PTJUJPO /*HFMFHU� *O �$"- XJSE EBT 4ZNCPM Γ҅ GÛS FJOF t;VXFJTVOHi WFSXFOEFU� 5BUTÅDIMJDI TUFIU EBIJOUFS EBTT EJF 7BSJBCMF BVG EFS MJOLFO 4FJUF EFS ;VXFJTVOH JN OÅDITUFO ;VTUBOE EFO 8FSU IBU EFS BVGEFS SFDIUFO 4FJUF EFêOJFSU XJSE� &JOF #FTPOEFSIFJU JTU BV�FSEFN ψψ� %VSDI ψψ XFSEFO NFISFSF;VXFJTVOHFO [V FJOFS "OXFJTVOH [VTBNNFOHFGBTTU� %BT CFEFVUFU EBTT [VFSTU BMMF SFDIUFO 4FJUFOEFS "OXFJTVOHFO CFSFDIOFU XFSEFO VOE FSTU EBOO EJF ;VXFJTVOHFO FSGPMHFO��

ф �$ ť.0)" � . �+$ '. �0! ��.$. � . �)*$Ҋ�'"*-$/#(0.

8JF CFSFJUT FSXÅIOU XJSE FJO "MHPSJUINVT JO �$"- [V FJOFS 4QF[JêLBUJPO JO 5-"� ÛCFSTFU[U� *OEFS 5-"��5PPMCPY MÕTU NBO EJF ¾CFSTFU[VOH EVSDI EFO .FOÛCFGFIM �$' ۛ�-�).'�/ �'0.��' �'"*Ҋ-$/#(� *O VOTFSFN #FJTQJFM XJSE EBOO VOUFS EFO "MHPSJUINVT 'PMHFOEFT FJOHFGÛHU�

-JTUJOH ��� %FS ÛCFSTFU[UF )BOPJ�"MHPSJUINVT

� ωϋ ���� ����� ����� ����� � /*2 -.�� ρϋ � !$) ./�/ ( )/ ϋς� +*. ҅҅ ����� /*2 -.� �*).ρ ' (Β . ,ς ҅҅ ҇҇ ' ( ҈҈ ω* . ,��� 1�-. ҅҅ ҇҇ /*2 -. ҈҈

���� )$/ ҅҅ ρϋ �'*��' 1�-$��' . ϋς�� χω /*2 -. ҅ ҇҇ ҇҇ Βͮ Βͯ ͰΒ ͱ҈҈Β ҇҇ ҈҈Β ҇҇ ҈҈ ҈҈���� � 3/ ҅҅ χω �.. -/ρ/*2 -.σͰτ χ҅ ҇҇ Βͮ Βͯ ͰΒ ͱ҈҈Β�� Λ��$'0- *! �.. -/$*) �/ '$) ͮͱΒ �*'0() ͲΑΛς�� χω ω� !-*( ω$) υ$ͮ ω$) +*.Γ /*2 -.σ$ τͮ χ҅ ҇҇ ҈҈φΓ�� ω� /* ω$) υ$ͯ ω$) +*.Γ ωχ /*2 -.σ$ τͯ ҅ ҇҇҈҈�� ωχ ��ρ/*2 -.σ!-*(τς ҇ ��ρ/*2 -.σ$ τͯςφΓ�� /*2 -.Κ ҅ σ/*2 -. ������ Ζσ!-*(τ ҅ ��$'ρ/*2 -.σ!-*(τςΒ�� Ζσ/*τ ҅ �*).ρ ��ρ/*2 -.σ!-*(τςΒ /*2 -.σ/*τςτ���� �+ � ҅҅ )$/ χω στσ� 3/τν1�-.���� ωϋ ��� ����� ����

�)BU NBO [XFJ 7BSJBCMFO 0 VOE 1 EBOO LBOO NBO EBT 7FSUBVTDIFO EFS 8FSUF JO �$"- EVSDI EJF "OXFJTVOHυ 0 Γ҅ 1 ψψ 1 Γ҅ 0 φ GFTUMFHFO�

Page 10: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

"CCJMEVOH �� &SSPS�5SBDF E�I� -ÕTVOH EFT 4QJFMT

;V FSMÅVUFSO JTU EFS &YJTUFO[�2VBOUPS ω� JO ;FJMF �� VOE ��� &S CFEFVUFU [VN#FJTQJFM GÛS ;FJMF ���%JF "VTTBHF XJSE XBIS XFOO FT FJOFO 8FSU JO EFS EPSU BOHFHFCFOFO .FOHF HJCU� 8JS IBCFO BMTPIJFS FJOF 'PSNFM EJF NBO TP MFTFO NVTT� t&T FYJTUJFSU FJO !-*( JO ��� GÛS EBT FJO /* JO ��� FYJTUJFSU TP EBTT /*2 -.Κ ҅ ΑΑΑ HJMU�i

"V�FSEFN IBCFO XJS CJTIFS ������ OJDIU HFTFIFO� &T JTU FJOF BOEFSF .ÕHMJDILFJU VN EJF GSBNFDPOEJUJPO BVT[VESÛDLFO� "MMFT CMFJCU HMFJDI BV�FS EFN XBT JO ������ BOHFHFCFOXJSE�%BCFJ TUFIUΖ GÛS EJF OFVF 4FRVFO[ BMTP /*2 -.Κ JO EJFTFN 'BMM�

/BDI EFS ¾CFSTFU[VOH IBCFO XJS FJOF 5-"��4QF[JêLBUJPO VOE XJS LÕOOFO XJFEFS FJO .PEFMMCJMEFO VOE FT NJU EFN � ��*� ' �# �& - ÛCFSQSÛGFO� &JOF *OWBSJBOUF NÛTTFO XJS OJDIU BOHFCFO XFJM KB EBT �.. -/ 5FJM WPO � 3/ JTU�

%BT &SHFCOJT EFT.PEFM $IFDLFST XJSE JO"CCJMEVOH � EBSHFTUFMMU� 6OE JO EFS 5BU FSHJCU TJDI FYBLUEJF -ÕTVOH BVT 5BCFMMF ��

��

Page 11: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

х �)#�)"

хѵр �+ 5$!$&�/$*) � - �̔ƕ-( 1*) �)*$҂ $) � ۔�

ĦĨĝĮĥĞ ?�MQB1

ĞıĭĞħĝĬ AMi2;2`b, a2[m2M+2b

įĚīĢĚěĥĞĬ H, K, `

AMBi �= ∧ H = �1, 2, 3, 4�∧K = ��∧ ` = ��

1KTiv(b2[) �= G2M(b2[) ≤ 0*QMb(2H2K, b2[) �= �2H2K� ○ b2[

*�MJQp2(i1, i2) �=∧ ¬1KTiv(i1)∧1KTiv(i2) ∨ (¬1KTiv(i2) ∧>2�/(i1) < >2�/(i2))

JQp2(i1, i2, i3) �=∧*�MJQp2(i1, i2)∧ i1′ = h�BH(i1) ∧ i2′ = *QMb(>2�/(i1), i2) ∧ i3′ = i3

L2ti �=∨ JQp2(H, K, `) ∨JQp2(H, `, K)∨ JQp2(K, H, `) ∨JQp2(K, `, H)∨ JQp2(`, H, K) ∨JQp2(`, K, H)

aT2+ �= AMBi ∧2[L2ti]�H,K, `�:Q�H �= ` = �1, 2, 3, 4�*?2+F �= ¬:Q�H

%FS LPNNFOUJFSUF2VFMMUFYU CFêOEFU TJDI BVG #//+.Γχχ .�Χ� 1Α"$/#0�Α$*χ(�/χ#�)*$ͮΑ/'�

��

Page 12: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

хѵс �+ 5$!$&�/$*) � - �̔ƕ-( 1*) �)*$҂ $) ��۔

ĦĨĝĮĥĞ ?�MQB2

ĞıĭĞħĝĬ hG*, AMi2;2`b, a2[m2M+2b

oBMHPSJUIN ?�MQB\

WBSJBCMF iQr2`b = ��1, 2, 3, 4�, ��, ��� �EFĕOF \ TQb �= ĝĨĦĚĢħ iQr2`b

*QMb(2H2K, b2[) �= �2H2K� ○ b2[ ^

\

XIJMF ĭīĮĞ \

BTTFSU iQr2`b[3] ≠ �1, 2, 3, 4� �XJUI 7`QK ∈ {B1 ∈ TQb ∶ iQr2`b[B1] ≠ ��},

iQ ∈ {B2 ∈ TQb ∶ ∨ iQr2`b[B2] = ��∨>2�/(iQr2`b[7`QK]) < >2�/(iQr2`b[B2])}

\ iQr2`b[7`QK] ∶= h�BH(iQr2`b[7`QK])iQr2`b[iQ] ∶= *QMb(>2�/(iQr2`b[7`QK]), iQr2`b[iQ]) �

^

^

^ ^

#&(*/ 53"/4-"5*0/

įĚīĢĚěĥĞ iQr2`b

EFêOF TUBUFNFOU

TQb �= ĝĨĦĚĢħ iQr2`b

*QMb(2H2K, b2[) �= �2H2K� ○ b2[

p�`b �= �iQr2`b�AMBi �= (MPCBM WBSJBCMFT

∧ iQr2`b = ��1, 2, 3, 4�, ��, ���L2ti �= ∧�bb2`i(iQr2`b[3] ≠ �1, 2, 3, 4�,

��

Page 13: 1*) )*$$) Ô · $ -( 1*) )*$$) Ô #vslibseu3fo[ @ . +$ ' %bt4qjfmt5Ûsnfwpo)bopjicftufiubvtesfjhmfjdihsp fo4uÅcfo efo5Ûsnfo "vgejf5Ûs nfolÕoofonfisfsfhfmpdiuf4difjcfohfmfhuxfsefo

҂��$'0- *! �.. -/$*) �/ '$) рфѶ �*'0() цѵ҃ )∧ ∃ 7`QK ∈ {B1 ∈ TQb ∶ iQr2`b[B1] ≠ ��} ∶∃ iQ ∈ {B2 ∈ TQb ∶ ∨ iQr2`b[B2] = ��

∨>2�/(iQr2`b[7`QK]) < >2�/(iQr2`b[B2])} ∶iQr2`b′ = [iQr2`b ĞıĜĞĩĭ �[7`QK] = h�BH(iQr2`b[7`QK]),

�[iQ] = *QMb(>2�/(iQr2`b[7`QK]), iQr2`b[iQ])]aT2+ �= AMBi ∧2[L2ti]p�`b

&/% 53"/4-"5*0/

%FS LPNNFOUJFSUF2VFMMUFYU CFêOEFU TJDI BVG #//+.Γχχ .�Χ� 1Α"$/#0�Α$*χ(�/χ#�)*$ͯΑ/'�

$/ -�/0-

<�> -FTMJF -BNQPSU� 4QFDJGZJOH 4ZTUFNT o ćF 5-"� -BOHVBHF BOE 5PPMT GPS )BSEXBSF BOE 4Pę�XBSF &OHJOFFST #PTUPO� "EEJTPO�8FTMFZ �����

<�> -FTMJF -BNQPSU� ćF 1MVT$BM "MHPSJUIN -BOHVBHF .JDSPTPѫ 3FTFBSDI�#//+.Γχχ222Α($�-*.*!/Α�*(χ )Χ0.χ- . �-�#χ0+'*��.χ+-*�χͯͭͮͳχͮͯχ�# Χ�'0.��'Χ�'"*-$/#(Χ �)"0�" Α+�! �����

<�> )JMMFM8BZOF� -FBSO5-"� 5VUPSJBM #//+.Γχχ' �-)/'�Α�*(χ$)/-*�0�/$*)χ �� "QSJM �����

��