=6» '8,.) / ±c) »8µ >8=6Ä )x± =6/ &()xµ '8= 7:/ ¿i...

30

Upload: others

Post on 21-Mar-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

����������� ��������������������������������� �!�#"$�%� ���

&('*)�+-,.)�/!021-343456) '874/9 7:,./<;�=6>�'8,

?$@BA(C DFEHGI@BJKE�L�MON�L�GIAQP4EH@8DSR4TBUV@BJ:TB@XWY$JQUVZ[@*DH\FUVE^]�L�M`_aL�DHbcW4Y$dSegf�hi?kjlemdon$?qplr�s

hOG�C�UutwvQ\gEH@BAQx:@BJcy$TB\Bs ]KL�DHbcs C�TXs PQbcs

z�{`|B}B~ �(��}X� f%x:Uu\$T*xQC�A:EH@*Dl�:@8\FT8DHUV�c@B\$EHxQ@�EHxQ@BL�DF]�C�JQ��PQ\F@�L�M�N%�`DHLX��LXtV�:s �4W`C\gE�C EH@8��L�M6��EHx:@8�^C�DFEIe^J(�:P:T8EHUVZ[@���LX��UVT��iDHL���D�C�GIGIUuJ:���wem���a��\g]4\gEH@BG�si��M6EH@8DI@*�4�A:t�C�UVJQUVJQ��x:L���EHL��:L���JQtVLXCX��EHx:@o\FLXP4DHTB@lTBL��:@�W:EHx:@$DH@�CX�4@8D�UV\��XPQUu�4@��EHx4DHLXPQ��xEHx:@��4@BZ[@BtVLXA:GI@BJKE�L�M��iDHL��XLXt`UVJ:AQP:E��(tV@B\$TBLXJKE�C�UVJ:UuJ:�IEm]4Ac@��:@8�QJQU EHUVLXJQ\BW(GIL��:@�4@BTBtuC�D�C EHUuL�JQ\BW��QC�T�b4��DHLXP:J(��b�JQL���tV@��4�X@XWK@*�QC�GIAQtV@B\OC�JQ��UVJ�EH@8��DHU Em]�TBLXJ:\gEFD�C�UVJKEH\Bsf%x:@oEHxQ@BL�DF]��c@8xQUVJ(��EHxQ@o\g]4\gEH@BG¡UV\�EHxQ@8J��:@8\FT8DHUV�c@���PQ\FUVJ:��C�\FUVGIAQtV@o@*�QC�GIAQtV@C�\�UutVtVPQ\gEFD�C EHUVLXJ�s(f%xQ@SG�C�UVJ�C�tV�XL�DHU EHx:GI\�UuJ��iDHL��XL�t�C DH@o�XUVZ[@BJ�C�JQ�GI@*EHxQL��:\�L�MA4DHPQJQUVJ:��EHxQ@l\F@�C DHT*x�\FAQC�TB@qL�MiAcLX\F\FUV�QtV@�x�]4AcL�EHxQ@B\F@B\�C DH@q�:UV\FTBPQ\F\F@B�-scdS@8��E�EHxQ@C�AQAQtVUVT�C EHUuL�J�L�M-�QPQUVt EF��UVJIA:DHLKTB@��4P:DH@B\OM¢L�D�@B\gEHUVG�C�EHUVJQ�qA4DH@��:UVT8EHUVZ[@�C�T8TBP:D�C�T8]�C�JQ�\gE�C EHUu\gEHUVT�C�t�\FUV�XJ:U �(T�C�JQTB@lL�Mi�iDHL��XL�t�xK]4AcL�EHx:@B\F@B\%UV\��:@BGIL�JQ\gEFD�C EH@��-s4��C�\gEHt ]KW�EHxQ@DH@�C��:@8D�UV\l\FxQL���J#x:L��£EHL�PQ\F@�EHxQ@�GIL�DH@ICX�4ZXC�JQTB@���M¢@BC�EHP:DH@8\�L�M�N%�`DHLX�XL�tV�:s �:WUVJQT8tuPQ�:UVJQ�lAcL�\FU EHUuZX@8��LXJQt ]�tu@BC�DHJQUVJ:��C�J(��EHx:@�P:\F@�L�M.GI@8E�C�tuL��XUVT�C�tcA:DH@��4UuTBC�EH@B\OM¢L�DA4DHPQJQUVJ:��EHxQ@l\F@BC�DHT�x�\FA(C�TB@Xs

¤ ¥Q¦�§c¨.©lª�«�¬�§.­H©�¦

® ,.)�'8,.)�7:>*¯�°�/�±�=6²�+-5�)�²�)�/Q'8°K'8=�7:/�7�³O'*,.)�´F/-±c1-µ '*=6¶4)�·i743:=6µ�¸�>8743:>8°4²�²�=6/.3�¹�´H·a¸SºS»�¯c»�¼'*)�²¾½$¸�>*7:347:5�¿�À�Á$Â$°:»�Ã�>8»�'S±c)X»*µ�>*=6Ä�)X±�=6/�Å ÆKÇgÀQ&(=6/-µ )�'*,-)�/ °/Q1-²Ä�)�>$7�³O°4±.¶[°4/-µ )X»�,-°[¶:)Ä�)�)�/�²�°4±c)o7K¶4)�>O'8,.)l74>8=634=6/-°�5-½$¸�>8743:7456¿-À6Á�=�/�»*¯c»H'8)�²�»�»�1�µB,�°:»�½$¸�>*7:347:5�¿�À ÈIÅ ÉKÇgÊ�¸�¸�>*74¼34745wÈcÀ6Á�°4/-± ¸S¸�>874347:5¢È.À È.À ® ,.)I±c)�¶:)�5674+.²�)�/:'$7�³i'8,.)�»*)�»�¯c»�'*)�²�»$,-°:»�Ä�)�)�/ =6/c³�74>8²�)�±�Ä(¯³�)�)�±.Ä-°4µBË�³�>874²Ì) Íc+�)�>*=6²�)�/Q'8»q74/#°�¶K°4>*=6) 'H¯�74³a>8)�°45u¼gÂS7:>*5¢±�°4+.+.56=6µ�°K'*=674/�»IÅ Î-Ê*Ï.Ê8ÐcÊ Á�¿-Ê*ÈKÇmÀ® ,.=6»<µB,-°4+c'*)�><±c)X»*µ�>*=6Ä�)�» '*,.)�'*,.)�74>8¯£°�/-±Ñ1-»�)Ò7�³�½$¸�>*7:347:5�¿�À ¿�Ê�°Ó+.1-Ä.5�=¢µ 56¯Ô±c=¢»H¼

'*>8=�Ä.1.'*)�±Ô¶4)�>B»*=�7:/Õ74³�'*,.)Ö¸�>*7:347:5o³�°�²�=�56¯k7�³I´H·O¸Ì»�¯c»�'*)�²�»�À�´F/£7:>8±c)�>�'*7Ó³�74565�7KÂ×'*,-)) Í.°�²�+.56)�»S=�/�'*,-=6»oµB,-°4+c'*)�>�ÊQ=u'l=¢»o°4»8»�1.²�)X±�'*,-°�'o'*,.)�>*)X°4±c)�>S=¢»S³�°�²�=65�=¢°�>$Âl=u'8, '8,.)�°�=6²�»7�³`´H·O¸%Ê4Ø�74>8/�µ 5¢°�1-»*)l5�7:34=¢µl°�/-±�¸�>*7:5�7:3�/-7�'8°�'*=674/�³�74>Sµ 5¢°�1-»*)�»�À�´g'�=¢»�°456»*7�°4»8»�1-²�)X±�'*,-°�''*,.)l>8)�°:±c)�>�=¢»%³�°�²�=65�=¢°�>�Âl=�'*,�'8,.)qµ 7:/-µ )�+c'8»�7�³`±c)�±c1�µ�'*=6¶4)l56743:=6µ$=6/�74>B±c)�>�'87I1./-±c)�>8»�'8°4/-±'*,.)�'*,.)�74>8) '*=¢µ�°45.³�7:1./-±.°�'*=674/-»�7�³i¸�>8743:745mÀ�;.1.>*'*,.)�>*²�7:>*)q=�'S=¢»�°:»*»*1.²�)�±�'8,-°K'S'*,.)�>*)X°4±c)�>,-°4»�°:µ�µ�)�»8»�'87!°#²�°4µB,.=6/.)�>81././.=6/.3!Ù�Ú�´FÛÜÂl=�'*,Ý°�/�=6/:'8)�>8/.) 'µ�74/./-)�µ�'8=�7:/iÀ ® ,.=¢»IÂl=65�5Ä�)�/-)�µ )X»*»8°�>8¯�=6/<7:>8±.)�>o'*7�7:Äc'8°4=�/<'8,.)�»�74³w'HÂ$°4>*)I°4/-±<>*1./<'8,.)I) Í.°�²�+.56)�»�±c)�»8µ >8=�Ä�)�±<=6/'*,.)�µB,-°4+c'*)�>�À® ,.)�µB,-°�+.'*)�>O,-°4»Þ'8,.)�³�7:5�567KÂl=�/-3q»H'8>*1-µ '*1.>8)4ÀX&()�µ '*=674/�Èl±c)X»*µ�>*=6Ä�)X»`,.7KÂ�'*7l1-»*)�°�/-74/(¯Q¼

²�7:1-»`³w'8+I'*7�74Äc'B°�=6/�½$¸�>874347:5�¿�À ¿�Ê8'*743:) '8,.)�>iÂl=�'*,�'*,.)$°4»8»�7cµ =¢°K'8)�±�±c=¢»H'8>*=6Ä.1c'8=�7:/±.°K'B°4»*) 'B»°�/-±�±c7cµ 1.²�)�/Q'B°K'*=674/OÀ�Ø�°[¶Q=6/.3�74Äc'B°�=6/.)�±�'8,.)#»�¯c»�'*)�²#Ê�&()�µ '*=674/ÕÎ!341-=6±c)X»�'8,.)<>*)X°4±c)�>'*,.>8741.3:,�'*,.)�34)�/-)�>B°�5-°4+.+.>87:°4µB,�'*,�°K'$»*,.7:1.56±�Ä�)q'B°�Ë:)�/�'*7±.)�¶4)�5�7:+.=6/.3�°�¸�>8743:745c=6/.+.1c'Ã-5�)�µ 74/Q'B°�=6/.=�/-3�) Í.°�²�+.56)�»q°4/-±<Ä-°4µBË(3:>*7:1./-±�ËQ/-7KÂl5�)X±c34):À ® ,.)I'8,.)�7:>*¯�Ä�)�,.=�/�±2¸�>874347:5

Page 2: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

=6»�'8,.)�/�±c)�»8µ >8=6Ä�)X±�=6/�&()Xµ�'8=�7:/¿I°�/-±=�56561-»H'8>8°�'*)X±�Ä(¯°�»�=6²�+.5�)o)�Íc°4²�+.5�):ÀKØq)�>8)S'*,.)o²�°�=6/°�563474>8=�'*,.²�»l=6/-»*=6±c)'*,.)�»�¯c»�'*)�²×°4>*)I3:=�¶:)�/2=6/��Q1.=u'8)°�3:7(7(±#±c)X°�5�7�³�±c)�'8°�=65mÊ�,.7:+�)�³�1.565�¯Âl=u'8,.741c'$Ä�)�=�/-3'87Q7�'*)�µB,-/.=6µ�°�5mÀ ® ,-)�>8)�°4±.)�>�=¢»�'8,.)�/<»�,-7KÂl/�=�/�&c)�µ�'8=�7:/�ÐI,-7KÂ�'87²�°�Ë:)1-»�)�74³�Ä.1.=65u'*¼m=6/�+.>87(µ�)�±c1->*)X»�Âl,.=¢µB,�»�1.+-+�7:>�'�'*,-)�)X»H'8=�²�°�'*=674/Ò7�³�+.>8)�±.=6µ '*=6¶4)�°4µ�µ 1.>B°4µ�¯°�/-±!»�'8°�'*=¢»H'8=6µ�°�5�»�=634/.=�Ã�µ�°�/-µ�)�7�³�,(¯(+�74'*,.)X»�=¢»*)�±<'*,-)�74>8=6)�»�À�&()Xµ�'*=674/�Ï ±c)X»*µ�>*=6Ä�)X»q,.7K '871-»�)I=6/Q'*)�34>8=u'H¯<µ 74/�»H'8>8°4=�/Q'8»l°4/-±#+.>81./.)�»�'8°�'*)�²�)�/:'B»l'87�µ 74/Q'8>*7:5i»�)X°�>BµB,�=6/�½$¸�>8743:7456¿-À ¿-À® ,.)�»*) '*'*=6/.3�7�³O>8)�»*741.>Bµ )�Ä�7:1./-±.»$=¢»$±.=6»8µ 1-»8»*)�±�=6/<&()Xµ�'8=�7:/��(À.&()Xµ�'8=�7:/�Ʊ.)�»8µ >8=�Ä�)�»S'*,-)³�°4µ =656=u'8=�)X»�°[¶K°�=65¢°�Ä.56)�'*7<»�1.+-+�7:>�'q'8,.)�±.)�Ä.1.3:34=6/.3�74³�°�½$¸�>8743:7456¿-À ¿�=6/.+.1.'�Ã-56)4ÀÞ;�=�/-°45�56¯4Ê&()�µ '*=674/kÉÒ»*1.²�²�°�>8=6»*)�»�'8,.)#+.,.=65�7Q»�7:+.,(¯ÓÄ�)�,.=6/-±k¸�>8743:745o°�/-±�) Íc+.5¢°�=6/-»�Âl,(¯Ó=�'�Â$°:»±c)�»*=�3:/.)�±�=�/�'*,-)<Âo°[¯�=u'�Âo°4»�À�02)�/Q'*=674/Õ=¢»�²�°:±c)�74³�»*74²�)<7�³�'8,.)#²�74>8) =6²�+�74>*'8°4/Q'°�+.+.56=¢µ�°K'8=�7:/-»o7�³a'*,.)�»*¯c»H'8)�²Ì'*7�>*)X°�5�¼mÂ$74>85¢±�+.>874Ä.56)�²�»�À

� � ©�� §c© ©�q§��­�¦ ���Ö¨-©���©�������

´g'I»*,.7:1.56±ÖÄ�)�/.74'*)X±!'8,-°K'�½$¸�>8743:7456¿-À ¿�=6»I°[¶K°4=�5¢°�Ä.56)�³�>8)�)�³�7:>�°:µ�°:±c)�²�=¢µ>8)�»*)�°4>8µB,!°4/-±'*)�°:µB,.=6/.3-ÀO;-74>�µ 74²�²�)�>Bµ =¢°�5�>*)X»�)X°�>BµB,iÊi°256=6µ�)�/-»*)�»�,-741.5¢±�Ä�)�74Äc'B°�=6/.)�±�Ä(¯�Âl>*=�'*=6/.32'87'*,.)�Ã->B»�'l°41c'*,-74>XÀ½$¸�>874347:5�¿�À ¿�µ�°�/#Ä�)I74Äc'B°�=6/.)�±�=6/<)�=u'8,.)�>l74³a'8,.)�³�7456567KÂl=�/.3�Âo°[¯(»�À��������® ,-)�³w'*+2»�=�'*)�µ�°�/<Ä�)�°:µ�µ�)�»8»�)X± ¶(=¢°'8,.)�³�7456567KÂl=�/.3�Â$)�Ä#+-°�3:)��

�� ! !"$#&%'%)('('($*,+!-.*0/�1�2!34*�5�+.*76'38%:9<;)=8%>"!2?1�=?1!;�*@�! >9A;�*

BDC:E � ´g'aµ�°�/�°�5¢»*7$Ä�)�7:Äc'8°4=�/-)�±�±c=6>*)Xµ�'*56¯�Ä(¯�°�/.7:/(¯Q²�7:1-»�³w'*+I³�>874²GF H"$*,+'-.*@/?1H2'34*I58+.*@6!3=�/<'8,.)�±c=6>*)Xµ�'*7:>*¯ "'6'JK%�L'M N!O8PRQ?S8%>"�2�1H=?1�;�TU*0T À

® ,.)�³w'8+�»*=u'8)Sµ�74/Q'8°4=�/-»a°WV�XUYWZ�0[XÖÃ-5�)SÂl=u'8,=6/-»�'*>81-µ�'8=�7:/-»O7:/�=6/-»H'B°�565�=6/.3�'*,.)o»�74³w'HÂ$°4>*):À;.74>�'*,.=¢»�¯:741�Âl=65�5�/.)�)X±�'*7�Ä�)�>81././.=6/.3�°�Ù�Úq´FÛ�¹�74>S·i=6/Q1.Í.º�74+�)�>B°K'*=6/.3�»*¯c»H'8)�²�Âl=u'8,�°3:µ�µoµ�74²�+.=65�)�>�À[´F/�³�°4µ '�Ê�¸�>8743:7456¿-À ¿q=¢»�°�1c'874²�°K'8=6µ�°�565�¯�µ�74²�+.=65�)X±=6/�'*,.)l»*741.>Bµ )o±c=6>*)Xµ�'*7:>*¯Âl,.)�/�¯4741�74Äc'B°�=6/�°45�5�'*,-)Ã-56)�»�³�>874²×'8,.)�³w'*+�»�=�'*)�°�/-±�>81./!'8,.)�\^]`_?a>bdc�»8µ >8=�+c'XÀ ® ,.=6»µ 74²�²�°�/�±Ý°4±.±c=�'*=674/�°�565�¯�µ 7:²�+-=�56)�»�°2+.>87434>B°�² µ�°�5656)�±e�(»*°4²�+.5�):ÊOÂl,.=¢µB,Ý=¢»1-»*) ³�1-5�³�7:>>8°4/-±c74²�56¯ »8°�²�+.56=�/.3�'8>8°4=�/-=�/.3�°4/-±�'*)�»�'�»*) 'B»�¹�=6/-»�'*>81-µ�'8=�7:/-»o³�74>�>*1./-/.=�/-3f�(»8°�²�+.56)�°�>8)=�/<'*,-)�µ 74²�²�)�/Q'B»l°K'l'*,-)�'*74+<7�³g�(»*°4²�+.5�):À µXº�À® 7�'8)�»�'q'*,�°K'�¸�>*7:347:5`=6»�µ 74>8>8)�µ�'85�¯�=�/�»H'B°�565�)X±2°K³w'*)�>�>81././.=6/.3�)�Íc+-°�/-±iÊ-²�7K¶4)�'87�'*,-)

»�7:1.>8µ�)�±.=�>8)�µ '*74>8¯ °4/-± =¢»8»�1.)�'8,.)�³�74565�7KÂl=6/.3�µ 7:²�²�°4/-± ³�>*7:² '*,.)�Ù�Úq´FÛ +->*7:²�+.'�Àh "�2?1�=?1�;

´F/<>8)�»*+�74/-»*)�¯:741#»�,-741.5¢±#»�)�)�'8,.)�³�7456567KÂl=�/.3�ÀS!2?1H=?1�;ji�kH2d-�l>1>mnT4*0T

o@p

® 7�»*)�)�'*,.)I56=¢»H'q74³%°[¶K°�=65¢°�Ä.56)�µ�74²�²�°�/-±-»$'H¯Q+�)�'*,-)�³�74565�7KÂl=6/.3-Ào@p �8k';>"Kq

Page 3: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

Úq7�'8)I'*,�°K'�=6/2=�/Q'8)�>B°4µ�'8=�¶:)I²�7(±.)¸�>8743:745`=¢»�»*=�²�=656°4>l'*7 °�¸�>*7:5�7:3�=�/Q'*)�>*+->*)�'*)�>XÀ.´F/#³�°:µ�'�ʸ�>874347:5a1�»�)X»�'8,.) X�±.=�/(Ä.1.>834,Ò¸�>87456743 »*¯(/Q'8°KÍÖ°4/-±Òµ 74/Q'B°�=6/-»�°�56²�7Q»H'�°45�5%7�³S'*,.)�Ä-1.=�5�'�¼=�/Ô+->*)X±c=6µ�°K'8)�»�1-»�)X±£=6/ ½S5�7cµBËc»*=�/Ñ°4/-±Ô02)�5�56=¢»�, � »�=�/Q'*>87c±c1-µ '*=674/£'87�¸�>87456743£Å�Á ÇgÀ���/-)=�²�²�)�±c=¢°K'8)�±c=��Þ)�>8)�/-µ�)�,.7KÂ$)�¶:)�>�=¢»�'8,.)�1�»�)�7�³��� � °K'S'*,.)�)�/-±�7�³��Q1.)�>8=6)�»�=6/-»�'*)X°4±�74³��6À � ÀYq/(¯�»�'8°�'*)�²�)�/:'l)�/-±c=6/.3�Âl=u'8,2°�¢À � =6»l°:»*»*)�>*'*)X± =6/Q'*7�'*,-)�µ 5¢°�1-»*) ¼gÄ-°4»*)4À

� 741£µ�°4/Õ3:) '�7:/.) ¼g5�=6/.)!±c)X»*µ�>*=6+c'8=�7:/Õ74³�¸�>874347:5 � »�Ä.1.=65u'*¼m=6/Ôµ 7:²�²�°4/-±.»�1�»�=6/.3�'*,-)µ 74²�²�°�/�± ,.)�5�+#=6/<'*,.)�³�7:5�567KÂl=�/-3�³�°:»�,-=�7:/iÀo@p �8k';>" �& ?k';';'%����>q

® 7 �Q1.=�'�¸�>874347:5�'H¯Q+�)�)�=�'*,.)�>�°�/<)�/�±(¼m74³w¼^Ã�5�)�¹�1�»�1-°45�56¯#½S7:/Q'*>8745�¼@Z�º�7:>�� �Q1.=�'�� � À;.74>�'*,.)l³�7:5�567KÂl=6/.3-ÊK¯:741�»�,-741.5¢±�=�/�µ 561-±c)l'8,.)�»*741.>Bµ )l±c=6>*)Xµ�'874>8¯�°4»�+-°�>*'�7�³Þ'*,-)q+-°K'8,

±c)�»8µ >8=�+.'*=674/�=6/ ¯:741.>�À 56743:=�/�Ã-5�)�=6/ 74>B±c)�>�'*7�Ä�)�°4Ä.5�)�'*7�1-»*)q'*,-)�� +.>874347:5 � µ 7:²�²�°4/-±�=6/7�'*,-)�>q±c=6>*)Xµ�'874>8=�)X»�À

� ����� ���H© ��­�¦W� �¦ ­*¦���«q§�� ���! B©�¨ ����¨.©���©�������

Y�»�Âl=�'*,Ý°�565%´H·O¸¡»�¯c»�'*)�²�»�Ê`¸�>8743:745%µ 74/�»H'8>*1-µ '8»�567434=¢µ�+.>*7:34>B°�²�»�³�>*7:² ) Í.°�²�+.56)�»�°4/-±Ä-°4µBË(34>8741-/-±�Ë(/.7KÂl56)�±c3:)4Àc;.7:>l=�/�»H'B°�/-µ�)4Êc34=6¶4)�/�¶K°4>*=6741-»$)�Íc°4²�+.5�)X»o7�³�"*°41./Q' 7�³$#

5�6'm� &%H1 F ��''5>m8k�(I�8k>m�2!/)� *5�6'm� &%H1 F � -�5';';�/ (*'8l`9+� **'*

°�/-± Ä-°4µBË(3:>*7:1./-±ÔË(/.7KÂl56)�±.34)�µ 74/�µ )�>8/.=6/.3,"�+-°4>*)�/:' 7�³$#-Ê-"H³�°�'*,.)�> 7�³*#.Ê."�²�74'*,.)�> 7�³*#°�/-±/"*»*=6»�'*)�> 74³$#

"85H2?k�m' &%!1 F ��S?5H2?k�m' (�0H�Al>;�1&� # p F 5� !�8kH2&%H1 F �&S?5�2?k�m� (20H�Al>;�13� *"85H2?k�m' &%!1 F ��S?5H2?k�m' (�0H�Al>;�1&� # p 9A1� !�8kH2&%H1 F �&S?5�2?k�m� (20H�Al>;�13� **'*F 5H !�8k�2&%!1 F �`-�5R9�(I�?k�m'2'/�� **'*9A1H !�8k�2&%!1 F �`-�5H2?5�� (*'8l`9+� **'*-�l!-) ?k�2&%!1 F �*''5�m8k�( -�5 94� *-�l!-) ?k�2&%!1 F �`-�5�;';�/5(`->5H2�5>�6��**'*

'*743:) '8,.)�>�Âl=u'8, °Ý56=6»�'#7�³I'H¯(+�)X»�°4/-±£²�7c±c)�±.)�µ 5¢°�>B°K'8=�7:/-»�Ê�¸�>8743:745�µ�°�/ѵ�74/-»�'*>81-µ�'<°±c) Ã-/-=u'8=�7:/2³�74>l'8,.)�°41./Q' 74³%+->*)X±c=6µ�°K'8)4À-´F/27:>8±.)�>l'87 ±c7�'8,.=6»�¸�>8743:745`/.)�)�±.»q'*7�Ä�)�'8745¢±'*,.)�³�7:5�567KÂl=�/-3�=6/c³�7:>*²�°K'8=�7:/�°4Ä�7:1c'l'*,.)I56)�°4>*/-=�/.3�'8°:»�ËÞÀ

7�8:9 ;=< E >@?

® ,.)�»*)Ò±.)�»8µ >8=�Ä�)Ö'8,.)ݵ�°�'*)�3:74>8=�)X»�74³�74ÄBAH)�µ�'B»�¹�/(1.²Ä�)�>B»�Êl56=¢»H'B»�Êo/-°4²�)X»�Êo)�'8µ�À º�=�/ '*,-)ÂS7:>*5¢± 1-/-±c)�>�µ 74/�»�=¢±c)�>B°K'8=�7:/iÀc´F/<'*,.=¢»q)�Í.°�²�+.56)IÂS)�74/-5�¯�/.)�)X± '8,.)I'H¯(+�) _?\DC�EDF)b-Ê�»�=6/-µ�)°�565`74ÄGAH)Xµ�'8»o=6/<'*,.)I3:=�¶:)�/<>*)�56°�'*=674/-»o°4>*)�7�³�'*,-=6»o'H¯(+�)4À

Page 4: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

"8kH2d-�1>m ��''5�m?k3� *"8kH2d-�1>m ���8k�m'2'/)� *"8kH2d-�1>m � -�5�;!;�/)� *"8kH2d-�1>m ��'Kl`9+� **'*

® ,.=6»�»�=6²�+.56¯#»�'8°�'*)X»l'*,�°K'�°45�5a7�³�'*,-)�)�56)�²�)�/Q'B»�=6/(¶47456¶4)X±�»8°K'8=6»�³�¯�'*,.)�1./-°�>8¯<+.>*)X±c=¢µ�°K'8)_?\DC�EDF)b-À-´F/<74'*,.)�>lÂS7:>8±-»�'8,.)�¯�,-°[¶4)�'H¯(+�) _8\DC�E F>b-À

7�8�� ����� >@?

® ,.)�»*)�±.)�»8µ >8=�Ä�)'8,.)�>*)�56°�'*=674/-»�¹�+->*)X±c=6µ�°K'8)�»BºqÄ�) 'HÂ$)�)�/Ö74ÄBAH)�µ�'B»�7�³�3:=�¶:)�/!'H¯(+�)�»�Âl,.=¢µB,µ�°�/Ä�)S1-»�)X±I)�=�'*,-)�>O=6/I'8,.)S,-)�°4±�¹� F c�\��±c)�µ�56°4>8°�'*=674/-»Bº�74>aÄ�7c±c¯�¹� F c�\ ��±c)�µ�56°4>8°�'*=674/-»Bº7�³�,(¯(+�74'*,.)X»�=���)X±Ôµ 5¢°�1-»*)�»�ÀS0!7(±.)�»<°�5¢»�7�±.)�»8µ >8=�Ä�)!'8,.)Ö³�7:>*² '*,-)�»*)Ò°�'*74²�»�µ�°�/Ô'8°�Ë:)Âl=u'8,.=�/2°�µ 5¢°�1-»*)4Àc;-74>$'*,.)�,.)X°4±�7�³%°�/(¯�34)�/.)�>B°�5�>*1-5�)�±c) Ã�/.=�/-3 a���b�� F��SÂS)�²�=�3:,Q'o3:=�¶:)'*,.)�³�7:5�567KÂl=�/-3�,-)�°4±�²�7c±c)�±c)�µ�56°4>8°�'*=674/-»

# p 9d1 1�k�� � �6(^5�6'm' &%!1 F ����"8k>2d->1�m (�H"�kH2d->1>m)�@�)q

® ,.)�±c)Xµ 5¢°�>B°K'8=�7:/#»�'8°�'*)X»l'*,�°K'�,-)�°4±Ö°K'*7:²¾,�°4»q+->*)X±c=6µ�°K'8)»�¯(²�Ä�7:54a���b�� F�q°�/�±#,-°4»�ȶ[°4>*=¢°�Ä-5�)X»O74³.'H¯(+�)_?\DC�EDF)bI°4»�°�>8341-²�)�/Q'8»�À ® ,.)=��� � »*=634/=6/-±c=¢µ�°�'*)X»O'8,-°K'�°�/�°�>8341.²�)�/:'�=6»°�/ =6/.+.1.'o¶K°4>*=¢°�Ä.56)4À�Y � ¼ � »�=634/�ÂS7:1.5¢±�=6/-±c=¢µ�°K'8)�°4/ 7:1c'*+.1.'o¶K°4>*=¢°�Ä.56)4Êc°4/-± °��� � Â$741.5¢±=�/-±.=6µ�°K'*)o'8,-°K'�°Iµ�74/-»�'8°4/:'�»*,.741.5¢±�Ä�)l+-56°:µ )�±�°K'%'8,.)l+�7Q»�=�'*=674/�=6/�'8,.)l,(¯(+�74'*,.)X»�=¢»�À ® ,(1-»'*,.)�±c)Xµ 5¢°�>B°K'8=�7:/�°�Ä�7K¶4)�=6/-±c=¢µ�°K'8)�»o'8,-°K'

5�6'm� &%H1 F ��� ( �)�=6»�°�56567KÂS)X±!°4»�'*,.)�,.)X°4±�°K'*7:² 7�³S°�34)�/.)�>B°�5�±c) Ã�/.=u'8)�µ 5¢°�1-»*)4Ê`°�/�±2'*,�°K'�347:°456»�µ�°45�56=6/.3'*,.=¢»qµ 5¢°�1�»�)I»*,.741.5¢±�Ä.=�/�±�Ä�7�'8,#¶[°4>*=¢°�Ä-5�)X»�À

Yq565.²�7(±.)�,#¹�°�/�±�²�7c±c)�Ä�º%±c)�µ�56°4>8°�'*=674/-»%µ�74/Q'8°4=�/�°�/Q1-²Ä�)�>�µ�°45�56)�±'*,-)l>*)Xµ�°�565mÀ ® ,.=6»=6»$1-»*)�± '*7�Ä�7:1./-±�'*,.)�/(1.²Ä�)�>o74³a°�5�'*)�>*/-°�'*=6¶4)�»�7:5�1.'*=674/-»�³�74>o=6/-»H'B°�/Q'*=¢°K'8=�/-3'8,.)�°�'*7:²<ÀØq)�>8)o=u'�=¢»lÁoÄ�)�µ�°41-»*)S'8,.)q°�1-/:' 7�³�+.>*)X±c=¢µ�°K'8)o34=6¶4)�»%°�1./-= �Q1.)l°�/�»�Â$)�>l¹�¯:)�»�7:>%74/�º�Âl,.)�/34=6¶4)�/ 'HÂS7�=6/.+.1c'q°�>8341-²�)�/Q'8»�ÀQ;-74>l°+->*)X±c=6µ�°K'8)�»*1-µB,#°4»=E"!#�8a C&\ C*F F��Þ'*,.)�>8)�µ�°45�5�Â$741.5¢±Ä�)�È�»*=�/-µ�)l°�/(1.²�Ä�)�>�,-°4»%°�'�²�7Q»H'%'HÂ$7�»^�Q1-°�>8)$>*7(7�'B»�ÀK´g³�=�/�±c7:1.Äc'�1-»*)q°�5¢°�>834)$/(1.²Ä�)�>74> ��$ � °:»�'*,.)�>8)�µ�°�565^À ® ,-)�56°�'�'*)�>�²�)�°4/-»I/.7256=�²�=�'I'*7#'8,.)�/(1.²Ä�)�>7�³o=�/-»�'8°4/Q'*=¢°K'*=674/�»'*,-°�'q²�=634,Q'lÄ�)I²�°:±c)IÄ.1c'XÊ.=6/<+->8°:µ�'*=¢µ ):Ê.¸�>8743:745�Âl=�565O»*) 'q=�'8»o7KÂl/<1.+.+�)�>q56=�²�=�'q7�³oÁ&%'%.À;.74>�°K'*7:²�»�=6/Ý'*,.) Ä�7c±c¯�7�³q°23:)�/.)�>8°45�>81.5�):ÊOÄ�7c±c¯�²�7c±c)�±c)�µ�56°4>8°�'*=674/-»I²�1-»�'�Ä�)

34=6¶4)�/#°4»$³�7:5�567KÂq»�À# p 9d1 1�k�J �#(4(I"85H2�k�m� �)@%H1 F � p "?kH2K->1�m5(��H"?k�2K-�1)m6�@�>q# p 9d1 1�k�J �#(4(I"85H2�k�m� �)@%H1 F ��H"?kH2K->1�m5( p "?k�2K-�1)m6�@�>q# p 9d1 1�k�J �#(4(`-�l!-R ?kH2�)@%H1 F ��H"?kH2K->1�m5( p "?k�2K-�1)m6�@�>q

® ,.)�Ã->B»�'�7�³%'8,.)�»*)�±c)Xµ 5¢°�>B°K'8=�7:/-»qµ�°4/!Ä�)1-»*)�±#'87�°:±.± _?a C&\ b�� F��q°�'*7:²�»q'*7 '*,.)�Ä�7c±c¯7�³�°�,(¯(+�7�'*,-)�»*=6»oÂl,.=¢µB,#=�/Q'8>*7c±c1-µ�)�74/.)�74>l²�7:>*)�+-°4>*)�/:'B»o7�³%°�34=6¶4)�/#µB,.=656±iÀ-&(=�²�=656°4>*56¯4Ê'*,.)�»*)�µ�74/-±<°�565�7KÂq»U_8a C^\`b�� F��'87�Ä�)�1�»�)X± =6/<'*,.)IÄ�7c±c¯�'87�Ã-/-±<74/.)I7:>o²�7:>*)IµB,.=65¢±c>*)�/7�³`°�34=6¶4)�/�+-°4>*)�/Q'�°4/-±�'*,.)�56°:»H'�µ�°�/�Ä�)l1�»�)X±�=�/�'*,-)qÄ�7c±c¯'*7�Ã-/�±�74/.)l7:>�²�7:>*)q»*=¢»H'8)�>B»7�³�°�3:=�¶:)�/<=�/�±c=�¶(=¢±c1-°45^À

Page 5: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

7�8 7 � >!C C�������?

® ,.)�»*)<±.)�»8µ >8=�Ä�)<»*74²�)<7�³q'8,.)#>*1-/:'8=�²�)<+-°�>B°�²�)�'*)�>�»*) '�'8=�/-3:»�'*,-°�'�¸�>874347:5�1-»*)�»�À�;.7:>=�/-»�'8°4/-µ ):Êc=�/<'8,.)�³�74565�7KÂl=6/.3

# p ->kH 5��"81?-�1�mK;�/���q_BF E F>b��S'*1->*/-»�7:/�'*,-)$+�7:»*=�'*=6¶4) ¼g74/-5�¯�)�¶K°45�1-°�'*=674/�²�)XµB,-°�/-=6»*² Å É�ÇmÀ ® ,.=¢»%°�565�7KÂq»O'*,-)$1�»�)�>'*7#°[¶474=¢±#=6/-µ 7:>*+�74>B°K'8=�/.3 /.)�3Q°K'*=6¶4)�) Í.°�²�+.56)�»�Ê�Âl,.=6µB,Ò°�>8)74³w'*)�/�1././-°�'*1.>B°�5a'*7#±c)�Ã-/.)4Ê°�/-±<°�5¢»�7�74³w'*)�/#1./�°[¶[°4=�5¢°�Ä-5�)�=�/#>8)�°45u¼gÂS7:>*5¢±�±c7:²�°�=6/-»�À

Yq565�'8,.)Ö74'*,.)�><»*) '*'*=6/.3:» =�/Ѹ�>*7:347:5�°�>8)!±c)�»8µ >8=6Ä�)X±£=�/Ô'*,.)�²�°4/(1-°�5�'*,-°�'�=¢» +-°4>�'�7�³'*,.)�»*741.>Bµ )�±c=¢»H'8>*=6Ä.1c'8=�7:/iÀ

7�8�� ;� >�� ��� E�� >!C > >���� � E�� >

® ,.)�³�1.5�5O5�=¢»H'8=�/-3�7�³O'8,.)I) Í.°4²�+-5�)�³�74565�7KÂq»�À ® ,.=¢»o=6»l»*=6²�=65¢°�>o'*7�'8,.)�Ã-56) 5�6'm� 4*7"K; ³�741-/-±1./-±c)�>o'*,.)�±c=6>8)�µ�'874>8¯ k��?5 98"K;!k8-RT4*0T =6/<'*,.)�¸�>*7:347:5�¿�À ¿±.=6»�'*>8=�Ä-1c'*=674/ݹ�»*)�)�&()Xµ�'8=�7:/2È:º�À�������������������������������������������������������������������������� M�k'5�2!m<l m�= 5�6'm� &%H1 F F 2?1R9G"85�2?k�m� &%H1 F 5�mB1 -�lH-) ?kH2&%H1 F *

��� kH ! Al m�=d-

# p -�k� 5��"818->1�mK;�/)�>q

� L?1 1'k 1'k8+H;!5H2�5H Al>1�md-

# p 9A1�1�k�� � �)(^5�6'm� B%!1 F ��H"?kH2K->1�m5(���"8k�2K-�1)m6�@�>q# p 9A1�1�k�J �"(+(I"85H2?k>m� &%!1 F � p "?k�2d-)1�m (���"?kH28-�1�m)� �>q# p 9A1�1�k�J �"(+(I"85H2?k>m� &%!1 F ���H"?k�2d-)1�m ( p "?kH28-�1�m)� �>q# p 9A1�1�k�J �"(+(`-�l!-) �kH2&%!1 F ���H"?k�2d-)1�m ( p "?kH28-�1�m)� �>q

� � /!"?k8-

"?kH2d-�1�m5��''5�m8k&� *"?kH2d-�1�m5���8k�m�2!/)� *"?kH2d-�1�m5� -�5�;';>/)� *"?kH2d-�1�m5��'Kl`94� *"?kH2d-�1�m5� -�5R94� *"?kH2d-�1�m5� -�5H2?5>�6� *"?kH2d-�1�m5��'�6B1!/�� *

�"! 58+R3'='2?1�6!mB1 3!m81>(K;!k 1!=�k

"?5H2?k�m� B%!1 F �&S�5H2?k�m� �($0H�dl�; 1�� # p F 5H H�8kH2&%!1 F �&S?5H2�k�m� 5(�0��<l�; 1�� *"?5H2?k�m� B%!1 F �&S�5H2?k�m� �($0H�dl�; 1�� # p 9A1H H�8kH2&%!1 F �&S?5H2�k�m� 5(�0��<l�; 1�� *

Page 6: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

F 5H !�8kH2B%!1 F � ->5R9�(I�8k)m�2'/3� *

9d1H !�8kH2B%!1 F � ->5H2?5�� (�'Kl`9�� *

-'l!-) ?kH2B%!1 F ��'!5�m8k�(`-)5R94��*-'l!-) ?kH2B%!1 F � ->5�;';�/ (,-�5H2'5��)� *-'l!-) ?kH2B%!1 F ��'>6B1!/ (`-)5H2?5)�6� *

��� �?5 98"K;!k8-

5>6'm� &%!1 F ��''5�m?k�(I�8k�m!2'/)��*5>6'm� &%!1 F � -�5�;!;�/ (*'Kl,94� *5>6'm� &%!1 F ��'�6B1H/ (*'Kl`9�� *Úq7�'8)o'*,-°�'�°�5�=6/.)lÄ�)�3:=�/./-=�/.3IÂl=�'*,�'8,.) ���-� µB,-°�>B°4µ '*)�>�=6/-±c=¢µ�°�'*)X»�°Iµ 74²�²�)�/Q'XÀ4Úq)�3:°K'8=�¶:)) Í.°�²�+.56)�»o74³ a���b�� F�oµ 741-56±�,-°[¶4)�Ä�)�)�/<=6/-µ�5�1-±.)�±#°4»$³�7:5�567KÂq»�À

# p 5>6'm� &%!1 F ���8k�m'2'/ (`-�5';!;�/3� *# p 5>6'm� &%!1 F ��'�6B1H/ (`-�5H2�5>�6��*

Úq7�'8)�'*,.)I1�»�)�7�³ � � ¼ � '*7�=6/-±c=¢µ�°�'*)�/.)�3Q°K'8=�7:/iÀ

7�8�� ;� > ��� C:E � C

Y�»8»�1.²�=6/.3�'*,�°K'q'8,.)�°�Ä�7K¶4)�56=6»�'*=6/.3�=¢»l=�/!°�Ã�5�)�µ�°�565�)X± a���b��� _ �.»8°[¯4Êc=�'qÂS7:1.5¢±�Ä�)�3:=�¶:)�/'*7�¸�>8743:745�Ä(¯�'H¯(+.=�/-3�'8,.)�³�7456567KÂl=�/.3�7:/ '8,.)�µ 7:²�²�°4/-± 56=6/.)4À

"�2?1H=?1'; 5�6'm� Yq5�'*)�>8/-°�'*=6¶4)�56¯�'*,-)#»*)�»8»*=�7:/�²�=�3:,Q'�Ä�)#=�/Q'8)�>B°4µ�'8=�¶:)�=6/ÕÂl,.=6µB,kµ�°:»�)#¸�>8743:745SÂS7:1.56±�Ä�)) Íc)�µ�1c'*)X±kÂl=u'8,£/.7Ó°�>8341.²�)�/:'B»�À ® ,.)21-»*)�> µ�741.5¢±Õ'*,.)�/k'H¯(+�)!=6/£²�7c±c)�»�Ê�'H¯(+�)�»�°4/-±µ 5¢°�1-»*)�»�7:>�1-»*)!¸�>87456743Ò=�/.+-1c'�>8741c'8=�/-)�»�»*1-µB,Ô°4»��F)b&E � ���l'*7�>*)X°4±�=�/kÃ-56)�»�ÀS&()�)2'*,-)²�°4/(1-°�5�+�°�34)�³�7:>I³�1.>*'*,.)�>�±c)�'8°�=65¢»�À ® ,-)�741c'8+.1c'74³$)�Íc)�µ 1.'*=6/.3#'*,.)�°�Ä�7K¶4)�µ 7:²�²�°4/-±³�74565�7KÂq»�À0HS'2?1H=?1';ji?kH2d-�l)1�m T4*0T

�� 1Kl!-�kj�?58- J8k'k�m -�kH ?1 ����� ������ �?5R98"8;!k l m F ;!5H Al>1>m �858- J8k'k�m ->kH �1nT���� ���� � �8k "818-�1>mK;�/ F ;!5�=n�?58- J8k'k�m !6�2Hm8k 1 P ��� # p -�kH 5��"?18-�1�mK;>/)��q p � l`9dk �5H3?k�m��*����8- �� # p 9A1 1�k��5� �6(^5�6!m� &%!1 F � ��"8k�2K-�1)m (�H"?k�2d-)1�m6� �>q p � l`9dk �5H3?k�m��*����8- �� # p 9A1 1�k�J5� ������(0"85H2?k�m' &%H1 F � p "�kH2K-�1>m (��>"8kH2K->1>m6����q p"� l 9Ak ?5H3?k�m��*����8- �� # p 9A1 1�k�J5� ������(0"85H2?k�m' &%H1 F ���H"�kH2K-�1>m ( p "8kH2K->1>m6����q p"� l 9Ak ?5H3?k�m��*����8- �� # p 9A1 1�k�J5� ������( -�l!-) ?k�2&%H1 F ���H"�kH2K-�1>m ( p "8kH2K->1>m6����q p"� l 9Ak ?5H3?k�m��*����8- �� � k8-) Al:m�= F 1H2 +�1�m' '2?5 1dlH+) Al>1�md- ��� 1G+�1�m� '2�5 1dl!+) dl>1�mA- F 1�6'mG1 �

Page 7: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

� N�k�m8kH2�5�;8l!-�l:m�= 5>6'm� &%!1 F ��''5�m?k�(I�8k�m'2!/)��* �� L?18-) -R"8k?+�l F l!+ +H;!5�6A->kGl!- �

5>6'm� &%!1 F ��� ( ! � # p "85H2�k�m� &%!1 F �*05( ! �+(�-'l!-) ?kH2B%!1 F ���5($0�� *

� M�k'5H2!mAl m�=n5�6!m� &%!1 F %�� F 2?1 9 "?18-�lR Al��?k k��?5 98"K;!k8- �� 0U# p ��( ����( �@�)( �j5>6'm� &%!1 F ��� ( ! � * �� 0U#���( ����(�T ( �j5�6'm� B%!1 F ���5( ! � # p "?5H2?k�m� B%!1 F �*0�( ! � * �� 0U#���( ����(�( �j5�6'm� B%!1 F ���5( ! � # p "?5H2?k�m� B%!1 F �*0�( ! �+( -�l!-) �kH2&%!1 F ��� ($0�� * �� 0U#���( ����(�( �j5�6'm� B%!1 F ���5( ! � # p "?5H2?k�m� B%!1 F �*0�( ! �+( -�l!-) �kH2&%!1 F ��� (��)� * �� 0U#0T ( ����(��( �j5�6'm� B%!1 F ���5( ! � # p -'l!-) ?kH2B%!1 F ���5($0�� * �� � k��H"K;!1H2?k�1 -�k'5H2K+R� m81 1�k?- �F�� ��(I" � ����(Im � �(I� � �� O?k8-R6K;> 1 F -�k'5H2d+ � lH- �

5>6'm� &%!1 F ��� ( ! � # p "85H2�k�m� &%!1 F �*05( ! �+(�-'l!-) ?kH2B%!1 F ���5($0�� *

� n2?k�1H6'mB1�5>m� G+H;!5>6A-�k8-e2�kH '2?58+R ?k 1 �

5>6'm� &%!1 F ��� ( ! � # p "85H2�k�m� &%!1 F �*05( ! �+(�-'l!-) ?kH2B%!1 F ���5($0�� *

� � 1H ?5�; m!6�98J8kH2 1 F +H;H5�6A-�k8- � � �

� � l`9Ak ?5H3�k�m��*����?- �

� ,.)�/�¸�>8743:745Q=6»%3:=�¶:)�/�°�Ã-56)l°4»%=6/.+.1c'XÊK=u'�'8>*=6)�»a'*7I±c)�¶4)�5�7:+�°�34)�/.)�>B°�5Q>*1-5�)$³�74>�°45�5c+.>8)�±c¼=6µ�°K'*)X»S°4+.+�)�°�>8=6/.3�=6/ ,.)X°4±�²�7c±c)�±c)�µ�56°4>8°�'*=674/-»�À4´F/ '*,.=¢»oµ�°4»*)l'8,.)�7:/.56¯�»*1-µB,�+.>*)X±c=¢µ�°K'8)=6» a���b�� F�BÀi´g'�Ã->B»H'I)�/�»�1.>8)�»�'8,-°K'�'*,-)�°:»*»*)�>*'*)X±!µ 5¢°�1�»�)X»�°4>*)�µ 7:/-»*=6»�'*)�/:'XÀÞ´F/Ö'8,.=6»Iµ�°4»*)=u'I>8)�+�74>*'8»�'*,-°�'�/.7#µ 7:/Q'*>B°4±c=¢µ�'8=�7:/-»�Â$)�>8)�³�7:1./-±�»�7�'*,.)�=6/.+.1c'I=¢»�µ�74/-»*=¢»H'8)�/Q'�ÀÞ´g'�'*,.)�/µ 74/�»H'8>*1-µ '8»�'8,.)l²�7:»�'�»*+�)�µ =�Ã�µlµ�56°41-»�)o74³�'8,.)oÃ->B»H'�+�7:»*=u'8=�¶:)$)�Í.°�²�+.56)l=�/�'*,.)l=6/.+.1.'�À ® ,-)Ã->8»�'l+�7Q»�=�'*=6¶4)I)�Í.°�²�+.56)�=¢»

5�6'm� &%H1 F ��''5>m8k�(I�8k>m�2!/)� *

°�/-±�=u'B»l²�7:»�'�»�+�)�µ�=uÃ�µ�µ�56°41-»*)�=¢»5�6'm� &%H1 F ��� ( ! � # p "85H2�k�m� &%!1 F �*05( ! �+( -�l!-) ?k�2&%!1 F ��� ($0�� *

´g'l'*,.)�/�3:)�/.)�>8°�'*)�»$/.)� µ�56°41-»�)X»S³�>*7:² '*,.=¢»l²�7:»�'q»�+�)�µ�=uÃ�µ�µ�56°41-»*)�°4/-±#»�)�)�»$,.7KÂѲ�°4/Q¯7�³�'*,.)I)�Íc°4²�+.5�)X»S'*,.)�¯ +.>87K¶4):À(Ø�)�>8)�'*,.)�µ�56°41-»*)

5�6'm� &%H1 F ��� ( ! � *

) Íc+.5¢°�=6/-»IÎ +�7:»*=�'*=6¶4)�) Í.°�²�+.56)�»�¹�¿'% % � =6/���°K'8=�7:/Ò±.1.>*=6/.3<+�7Q»�=�'*=6¶4)�¼m7:/.56¯25�)X°�>8/.=�/-3<°4/-±Î $[¿���ÁXÈ =6»'*,-) »�)Xµ 7:/-±�/(1.²Ä�)�>�=�/�'8,.) 56=6»�'Bº°�/-±kÁ:Á�>8°4/-±c7:² =6/-»H'B°�/-µ�)�»�¹w'*,-)�'*,-=�>B±)�56)�²�)�/Q'q=6/�'8,.)I56=6»�'Bº À�&(=6²�=65¢°�>85�¯

5�6'm� &%H1 F ��� ( ! � # p "85H2�k�m� &%!1 F �*05( ! � *

Page 8: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

) Íc+.5¢°�=6/-»�'*,-)Ö»*°4²�)2/Q1-²Ä�)�>�74³�+�7:»*=�'*=6¶4)2) Í.°4²�+-5�)X»�Ä.1c'�³�)�ÂS)�>Ö¹^Ð:º�>B°�/-±c7:²�5�¯Õµ 74/.¼»H'8>*1-µ '*)X±�=�/-»�'8°4/-µ )X»�Êa°�/-±Ò'8,Q1�»�,-°:»�°#Ä�)�'�'8)�>�²�)X°4»*1.>8)�74³qµ 74²�+.>8)�»8»*=�7:/Õ¹^Ï.Êi'8,.)�Ã->B»�'/Q1-²Ä�)�>l=6/ '8,.)�5�=¢»H'�º�À ® ,.)�³�7:1.>�'8,�/(1.²�Ä�)�>o=6»l°4/�7:+c'*=6²�=6»�'*=¢µ�)�»�'*=6²�°�'*)�7�³a'*,.)�/(1.²Ä�)�>7�³�56=u'8)�>B°�5¢»/-)�)�±.)�±Ó=6/Ó'8,.)#µ 5¢°�1-»*)�°4/-±�'*,-)�Ã�>8»�'�=¢»�°!²�)�°:»�1.>8) Ä�°4»*)�±Ý7:/Ý'*,.)#74'*,.)�>'*,.>8)�):À�&c)�)�'*,.)</.) Í('�»�)Xµ�'8=�7:/�°�/-± Å Æ�Ço³�74>�³�1.5�5l±c)�'8°4=�5¢»�À�¸�>*7:34745�'*,.)�/�°:±.±.»'*,.)#Ä�)�»�'34)�/-)�>B°�56=6»8°K'8=�7:/#'*7 =�'8»�µ�56°41-»�)�Ä-°4»*)�°4/-±2>8) '8>8°:µ�'8»�°�/(¯2µ 5¢°�1�»�)X»qÂl,.=¢µB,Ö,-°[¶:)/.7K Ä�)�)�/²�°:±c)�>*)X±c1./-±.°4/Q'�À`Úq74'*)�'*,-°�'�Î<µ 5¢°�1�»�)X»�°4>*)�>*)�'*>B°4µ '*)�±iÀÞÙ�»�1�°�565�¯!¸�>*7:34745aÂS7:1.5¢±!/.7K²�7K¶:)7:/:'87�'8,.)�/-) Í('�)�Í.°�²�+.56)�°�/�±2>*)�+�)X°K'�'*,.=¢»�+.>87(µ�)�±c1->*):À�Øq7KÂ$)�¶:)�>XÊ�°45�5%) Í.°4²�+-5�)X»°�>8)�/-7K µ 7K¶:)�>8)�±`Ê(»*7�¸�>*7:347:5Þ»�'*7:+-»l°�/�±�»*,.7KÂq»o=�'8»lµ 7:/-»�'*>81-µ�'8)�±<±c) Ã-/-=u'8=�7:/iÀ

� ����� §����i©�¨��

® ,.)�¸�>*7:347:5-»�¯c»�'*)�² 1-»�)X»S°4/�°4+.+.>87:°4µB,�'87'8,.)�34)�/-)�>B°�5-+->*7:Ä.5�)�² 7�³O´H·a¸�µ�°45�56)�± ²�7(±.)±c=�>8)�µ '*)X±�=�/(¶4)�>8»*)�)�/Q'8°4=�56²�)�/Q' ¹�0�Z�´IX$º�À�´F/Óµ 74/Q'8>8°:»H'�'*72=6/(¶4)�>8»*)�>*)X»�7:5�1.'*=674/kÅuÁ %KÇS°4/-±»�1.Ä�»�1.²�+c'8=�7:/!74>8=6)�/Q'*)X±2°�+.+.>87:°:µB,.)�»l'*7 =6/-±c1�µ�'*=674/�ÅuÁXÎKÇgÊ-=6/Q¶:)�>B»�))�/Q'8°4=�56²�)�/Q'�=¢»�Ä�°4»*)�±1.+�7:/ ²�7c±c)�5�¼m'*,.)�74>8¯�>B°K'8,.)�>S'*,�°�/ >8)�»*74561c'8=�7:/�+.>*7(74³w¼^'8,.)�7:>*¯:À:´F/ '*,.=¢»$Â$°[¯�°3:>*)X°K'S±.)�°�57�³aµ�56°4>*=�'H¯�°�/-±�»�=6²�+.56=6µ�=u'H¯�µ�°�/ Ä�)I°4µB,.=6)�¶:)�±`À(;.1->�'8,.)�>8²�74>8)�Ä(¯�Ä-°4»*=6/.3�=6/-±c1�µ�'*=674/�74/<°»�7:1./-±c)�>i'*,-)�74>8) '8=6µ�³�7Q74'*=6/.3-Ê�=u'%=¢»i,.7:+�)X±�'*,-°�'a=�'a=¢»i)X°4»*=�)�>i'*7�±c)�¶:)�5674+�µ 7:²�+.5�)�'*)�/.)�»8»O°4/-±µ 74/�»�=¢»H'8)�/-µ�¯�>8)�»*1.5u'B»�À:0[Z�´IX�=¢»�°�34)�/.)�>B°�56=¢»*°�'*=674/�°4/-±�)�/.,�°�/-µ�)�²�)�/Q'�7�³�'*,.)X»�)l+->*)�¶Q=6741�»°�+.+.>87:°:µB,.)�»�À

�+8:9 ;� >���>��4>�� � �UE�� � �:> � � ���� ��

® ,.)�34)�/.)�>B°�5%+.>874Ä.56)�² =�/Ò´H·O¸¡µ�°4/�Ä�)�»*1.²�²�°4>*=���)X±�°:»�³�74565�7KÂq»�À���=6¶4)�/ÒÄ-°:µBËQ3:>*7:1./-±ËQ/-7KÂl5�)X±c34)�� °�/-±Ó) Í.°�²�+.56)�»�� Ã-/-±Ó'*,.)<»�=6²�+.5�)X»H'�µ 7:/-»�=¢»�'*)�/Q'�,Q¯(+�7�'8,.)�»*=6»�� »*1-µB,'*,-°�'

����� � ���

´g³.ÂS)�>8)�°4>*>B°�/-34)�'*,.)S°�Ä�7K¶4)�1-»*=�/-3q'*,-)�56°[Â�74³-µ 74/Q'8>8°4+�7Q»�=�'*=674/�ÂS)�34) 'a'*,.)�²�7:>*)S»�1.=�'8°4Ä.56)³�74>8²

��� ��� � �

´F/ 34)�/.)�>B°�5��Ê�� °�/�±���µ�°�/�Ä�)�°4>*Ä.=�'*>B°�>8¯56743:=6µ�+.>87434>B°�²�»�Ä-1c'$=�³OÂ$)q>8)�»�'*>8=6µ '�� °4/-±��'*7�Ä�)�=6/.3 »*=�/-3456)�Øq74>8/2µ 5¢°�1-»*)�»�Ê � °4/-± � °�Ä�7K¶4)IÂl=65�5aÄ�)�3:>*7:1./-±#»*Ë47456)�²�=¢»�)X± 1-/.=u'µ 5¢°�1-»*)�»�À:´g³ =6»S'*,-)�µ�74/ AH1./�µ�'*=674/ 7�³O3:>*7:1./-±�56=u'8)�>B°�5¢»�Âl,-=6µB, °4>*)�'*>81.)�=6/�°45�5Þ²�7c±c)�5¢»S7�³�!� ��Â$)�,-°[¶4)

�!� �"� �

&(=�/�µ ) � ²1-»�'�Ä�)'8>*1-)�=�/�)�¶:)�>8¯ ²�7c±c)�5%7�³��#� � =�'�²�1-»H'�µ 7:/:'B°�=6/!° »*1.Ä-»*) '�7�³�'*,-)34>8741./-±�56=u'8)�>B°�5¢»S=6/ �À-Øq)�/-µ )

��� ��� � $� � �

°�/-±<»�7� � �%

Y »�1-Ä-»�)�'�7�³%'8,.)»*74561c'*=674/-»q³�74>&� µ�°�/<'*,-)�/!Ä�)I³�741-/-±#Ä(¯<µ�74/-»*=6±.)�>8=�/.3�'8,.7:»*)µ 5¢°�1�»�)X»Âl,.=6µB,('K¼F»*1.Ä-»*1.²�)) �À ® ,.)�µ 7:²�+.5�)�'*)�»*) '�74³oµ�°�/-±c=¢±.°�'*)�»I³�74>*� µ 7:1.56±Ò=6/Ò'*,.)�74>8¯ÖÄ�)

Page 9: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

³�741./-±�³�>*7:²�'8,.7:»*)�µ 5¢°�1�»�)X»�Âl,.=¢µB,�=�²�+.56¯� �ÀHY�»�¯4)�'S¸�>8743:745.±c7()�»�/.7�'$°K'�'8)�²�+c'S'*7�Ã�/-±°#³�1.565�)�>�»*) '�7�³qµ�°4/-±c=¢±.°K'8)�» ¹�Ä(¯Q+�°4»8»�=6/.32'8,.) 1./�±c)�µ�=6±.°4Ä.=65u'H¯�7�³l=6²�+.5�=¢µ�°�'*=674/ÓÄ�) 'HÂ$)�)�/µ 5¢°�1-»*)�»�Âl=�'*,�Ä�7:1./-±.»%7:/'8,.)o/(1.²Ä�)�>�74³�>8)�»*74561c'*=674/�»H'8)�+-»%=6/�'*,.)l¸�>87456743�=�/Q'8)�>8+.>*)�'*)�>Bº À¸�>874347:5�»*)�°4>8µB,-)�»S'*,.)I5¢°K'*'*)�>q»�1.Ä�»�)�'q7�³�»*74561c'8=�7:/-»$³�74> � '*,�°K'l'*,-) '8°�¼g»*1.Ä-»*1.²�) �À

�+8�� ����� > � >���� ��� ��C � � �4?

´F/�3:)�/.)�>8°45 µ�°4/�,-°[¶:)�=6/cÃ-/-=u'8)�µ�°�>B±c=6/-°�56=�'H¯4Àc¸�>8743:745-1�»�)X»$'*,.)I,.)X°4±<°�/-± Ä�7c±c¯�²�7(±.)±c)�µ�56°4>8°�'*=674/-»�'*7:34)�'*,.)�>�Âl=�'*,�74'*,.)�>�»�)�'�'*=6/.3Q»�'*72Ä.1.=65¢±Ö'8,.)�²�7:»�'�»�+�)�µ�=uÃ�µ�µ�56°41-»�)�°4/-±,.)�/-µ�)�'*7�µ 7:/-»�'*>B°�=6/ '8,.)�»�)X°�>BµB,�³�7:>q»�1.=�'8°4Ä.56)�,(¯(+�7�'*,-)�»*)�»�À

YѲ�7c±c)�±c)�µ�56°4>8°�'*=674/�,-°:»$)�=�'*,.)�>S'8,.)�³�74>8² � F c�\� � b���a�� F�����74> � F c�\ � � b��Ua�� F����[ÀÂl,.)�>8)�/iÊ�'*,.)�>8)�µ�°45�5mÊ-=¢»�°4/!=6/:'8)�3:)�>�3:>*)X°K'8)�>l'8,-°�/ ��)�>87�74>���$ � °4/-±!°K'874²×=6»�°�3:>*7:1./-±°K'*7:²#À ® )�>8²�»�=6/!'8,.)�°K'*7:² °�>8)�)�=�'*,-)�>�/.74>8²�°�5�74>�+.5¢°4µ )�¼m²�°4>*Ë:)�>XÀ8Y�/-74>8²�°45O'8)�>8² =6»)�=�'*,.)�>�°�µ�74/-»�'8°4/Q'�74>�³�1./-µ�'8=�7:/Ö»*¯Q²�Ä�7:5i³�7:5�567KÂS)X±#Ä(¯<°�Ä->8°:µBË4) '8)�±�'*1-+.5�)�7�³%'8)�>8²�»�ÀAY+.56°:µ )�¼m²�°�>8Ë4)�>S=¢»l)�=u'8,.)�> ��'H¯(+�)4Ê(¼m'H¯Q+�)I74> ��'H¯(+�)IÂl,.)�>8)�'H¯Q+�)�=6»�°�µ�74/-»�'8°4/Q'�À® ,.)S>8)�µ�°�565(=6»%1-»*)�±�'*7�Ä�741./-±'*,-)$/(1.²�Ä�)�>%7�³�°45u'8)�>8/-°K'8=�¶:)S»*74561c'*=674/�»O³�7:>�=�/�»H'B°�/Q'*=¢°K'*¼

=�/.3�'8,.)�°K'874²#À?Y¡>*)Xµ�°45�5`74³ ��$ � =6/-±c=¢µ�°�'*)�»l°45�5i»*74561c'8=�7:/-»$¼�=�/#+.>B°4µ '*=¢µ )I°�56°4>*3:)�/(1.²�Ä�)�>�À��'H¯Q+�)4Êa¼m'H¯Q+�)4Ê ��'H¯Q+�)�µ�74>8>*)X»�+�74/�±Ö'87Ö=6/.+.1c'�¶K°�>8=6°4Ä.5�)X»�Êa741c'8+.1c'�¶[°4>*=¢°�Ä-5�)X»�°�/-±�µ 74/.¼»H'B°�/Q'8»o>8)�»*+�)Xµ�'8=�¶:)�56¯4À¸�>874347:5�=6²�+�7:»*)�»�°�>*)X»H'8>*=¢µ�'8=�7:/Ó1.+�74/�'*,.)<+.5¢°4µ�)�²�)�/Q'�7�³�=6/.+.1c'�¶K°�>8=¢°�Ä.56)�»�=�/Õ,(¯Q¼

+�74'*,.)X»�=¢»�)X±Ýµ 5¢°�1-»*)�»�Àa&(1-+.+�7Q»�)�'*,.) µ�56°41-»*)�=6»Âl>*=�'�'8)�/Ó°4»�� ���� ��������������ÒÂl,.)�>*)��=6»�'*,.)�,.)�°:±2°K'874² °�/-±�������Á������� Ó°4>*)�'8,.)Ä�7c±c¯2°K'874²�»�À ® ,.)�/Ö)�¶4)�>*¯�¶K°�>8=6°4Ä.5�)7�³��'H¯Q+�)�=6/�°4/(¯Ö°K'874²!���o=6»I)�=u'8,.)�>7�³ ��'H¯Q+�)�=6/"�Ý74>�¼m'H¯Q+�)�=6/Ó»�7:²�)�°�'*74²#�%$�Âl,.)�>8)Á��'&)(*�8À ® ,.=¢»�=6²�+�7Q»�)X»�° �Q1-°:»�=�¼m7:>8±.)�>l74/#'8,.)Ä�7c±c¯2°K'874²�»�°4/-±#)�/-»*1.>8)�»q'*,-°�'�'*,-)µ 5¢°�1-»*)�=6»o56743:=6µ�°�565�¯ µ�74/-»*=¢»H'8)�/Q'l=�/#=�'8»o1-»*)I7�³�=�/.+-1c'�°�/�± 7:1c'*+.1.'q¶[°4>*=¢°�Ä-5�)X»�À

�+8 7 + ��>���� � E �:>

´F/Ö74>B±c)�>�'87�=65�561-»�'*>B°K'8)�,.7K ¸�>*7:347:5iÃ-/-±-»�µ�74/-»*=¢»H'8)�/Q'�,(¯(+�7�'*,-)�»*)�»�Ê-'8,.)�³�74565�7KÂl=6/.3 )�Í(¼°�²�+.56)�Âl=65�5`Ä�)�1-»*)�±Ò¹w'*,-=6»o=¢»l»�=6²�=�5¢°�>S'*7�'8,.)�34>B°�²�²�°�>�)�Í.°�²�+.56)�Ã�5�)�=�/�'*,-)�¸�>*7:347:5�¿�À ¿>*)�5�)X°4»*)Xº�À���������������������������������������� N!2?5 9'9A5H2 ;!k!5H2!m<l m'= "�2?1�J8;!kR9W* M'k'5H2!mA- 5 -�l`98"8;!k � m�=8;?l!-R�G;!5�m'=!685H=?k� "'��2�58-�k ='2?5 9'9A5H24*

�-, mA+R2?k'58-�k ?1 � ���n H�8k 2?k8-�1�;)6� Al>1�mjJ81�6'mG1 1 F !�?k S!2?1�;!1H= l:m� ?kH2!"'2?kH ?kH25(� l>k* !�8k 9A5 �Al`986�9 m!6�98J8kH2 1 F 6!m<l F l!+>5H Al>1�md- !�8k l m' ?kH2!"�2�kH ?kH2 (<l�;';� "8kH2 F 1H2>9 "8k�2 +>5�;';�*# p -�k� 5�&2 ( � ���3��q

�-, mA+R2?k'58-�k ?1 � ����� !�8k 1�k�"� H� J81�6'mB1 F 1�2 H�8k S'2?1�;!1�= l m� ?kH2H"�2?kH ?k�24*# p -�k� 5��� ( � �����3��q

��� kH ;!k'5�2!m<l m�= F 2?1R9G"818-'lR Al��?k k��?5R98"8;!k8- 1�m8;�/4*# p -�k� 5��"818->1�mK;�/)�>q

Page 10: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

� M�k'5�2!m ='2?5R9'9d5H2 2!6K;Hk8- (<lR !�n�8k'5�1 -�� , m (,P)6� )� 5�mG1 J?1 1!/ 5H ?1R9 - 2?k�"�2?k?-�k�m� Al:m�=� 1�kH �kH2>9 l m?kH2d-4(f"�2?k�"81?-�lR Al>1>mA-4( m81�6'mA-+(�kH d+.*# p 9A1�1�k�� � �)(`-+� �H(8;8l!-) �( p (K;?lH-) 3�@�>q# p 9A1�1�k�J � �)($1�kH 5���H(K;8l�-) 5( p (8;8l�-) ��@�>q# p 9A1�1�k�J � �)(I"�2?k�"5� �H(K;�l!-R ( p (K;�l!-R )� �>q# p 9A1�1�k�J � �)(Im81�6'm5� �H(K;�l!-R ( p (K;�l!-R )� �>q# p 9A1�1�k�J � �)(� ��?kH2HJ � �H(?;8lH-) 5( p (?;8lH-) �� ��q# p 9A1�1�k�J � �)( l��?kH2HJ � �H(?;8lH-) 5( p (?;8lH-) �� ��q# p 9A1�1�k�J �"(+(Im'" � ��(K;8l!- ( p (8;?l!- )� ��q# p 9A1�1�k�J �"(+(��!" � ��(K;8l!- ( p (8;?l!- )� ��q

���������������������������������������� � /!"?k8-

(8;8l!-) 5� �� � *(8;8l!-) 5� ���Wo�� - � � # p (81�2G1�� � ��( (K;8l!-R 5� � -G� *

(?1H2G1��,5&� * (81�2G1��,5H �� * (?1H2G1���J?5�;';&� * (81H2G1 ��J<lR=)� * (81�2G1��*1�1�=)� *f(81�2G1��,k ��kH2'/)� *(?1H2G1����?5�"'"�/)� * (?1H2G1����AlR d-G� * (81H2@1����81�6d-�k3� * (81H2@1��:l m6� * (81H2@1��@9A5�m)� * (81�2G1���m<lH+�k3� *(?1H2G1��,1>m6� *f(81�2G1�� - 9d5�;';&� * (81�2G1��& ?5�3?k8-G� * (81�2G1��& !�?k3� * (81H2G1��� ?13� * (81H2G1��I(85�;�3d-@� *

����������������������������������������������"! 58+R3'='2?1�6!mB1 3!m81>(K;!k 1!=�k

� � �8k F 1�;!;!1�(<l m'= 2?k�"'2?k8-�k�m' d-e !�8k ='2�5R9'9A5H2 2H6K;!k�� S p�� � ���� P)Q m!" � � �6( � �3� # p 1�kH �� � �6( � 3�+( m?1�6'm � � �( � �3� *m!" � � �6( � �3� # p 1�kH �� � �6( � 3�+( 5�1G' � � ( � T)�+(fm81�6'm5� � T ( � �3� *

� � �8k F 1�;!;!1�(<l m'= 2?k�"'2?k8-�k�m' d-e !�8k ='2�5R9'9A5H2 2H6K;!k� � ��� p�� 51'kH 5� � 5 o ��� ( � � *1'kH 5� � H�8k o ��� ( � � *1'kH 5� � k �?kH2'/ o ��� ( � ��*

�H" � � �6( � �3� # p ��?k�2!J � � �)( � �3� *�H" � � �6( � �3� # p ��?k�2!J � � �)( � 3�+( "�2?k>" � � �( � �3� *

m?1�6'm � � 9A5�m o � � ( � � *m?1�6'm � � 1�1H= o � � ( � � *m?1�6'm � � �81�6A-�k o ��� ( � � *m?1�6'm � � J85�;'; o ��� ( � ��*

� � 2?5>mA-�lR Al��?k 5�mB1 l m' '2?5�mA-'lR Al��?k �?kH2!Jd-.*

Page 11: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

��?kH2!J � � �<lR d- o ��� ( � � * ��?kH2!J � � ?5H3?k?- o ��� ( � � * ��?kH2!J � � (85�;�3K- o ��� ( � � *

l��?kH2!J � � J85H2'3K- o ��� ( � � *l��?kH2!J � � �<lR d- o ��� ( � � *l��?kH2!J � � ?5H3?k?- o ��� ( � � *l��?kH2!J � � (85�;�3K- o ��� ( � � *

"'2?k�" � � 5H o ��� ( � � *"'2?k�" � � ?1 o ��� ( � � *"'2?k�" � � 1�m o ��� ( � � *"'2?k�" � � l m o ��� ( � � *"'2?k�" � � F 2?1R9 o ��� ( � ��*

5�1G' � � JAlR= o ��� ( � � *5�1G' � � -`9A5�;'; o ��� ( � ��*5�1G' � � mAl!+�k o � � ( � � *5�1G' � � �?5�"'"�/ o ��� ( � ��*

���������������������������������������� S?18-'lR Al��?k k��?5R98"8;!k8-

-�� � !�8k (79A5�m (0(85�;�3d-�(� !��k�(�1�1�= � ( �� � *-�� � !�8k ($1�1H= (0(85�;�3d-�(� ?1 (� H�8k (D9A5)m � ( � � � *-�� � 5�($1'1H= (I�<l d-4(^5�(@J85�;H; � ( � � � *-�� � !�8k (79A5�m (0(85�;�3d-�( l m5(� H�8k (0�81)6A->k � ( �� � *-�� � !�8k (79A5�m (0�<lR d-4(0 !�8k ($1'1H= � ( ��� � *-�� � 5�(IJ?5�;'; (I�AlR d-4(� ��8k�(21�1�= � ( �� � *-�� � !�8k (79A5�m (0(85�;�3d- � ( ��� � *-�� � 5�(IJ?5�;'; (I�AlR d- � ( �� ��*-�� � k �?k�2'/ (IJ85';'; (I�<l: d- � ( � � � *-�� � k �?k�2'/ ($1�1�= (I(85�;)3d- � ( � � � *-�� � k �?k�2'/ (79A5>m (I(85�;)3d- � ( � � � *-�� � 5�(79d5�m (I(85';�3d- � ( �� ��*-�� � 5�(`-`9A5�;'; (D9A5�m (I(�5�;�38- � ( � � � *-�� � k �?k�2'/ (Im<lH+�k�($1�1>= (IJ�5H2!3d- � ( ��� � *

´F/I'*,.)$°�Ä�7K¶4):Ê�Ä�741./-±-»i74/�'*,.)S74/�'*,-)$±c=6²�)�/-»*=674/-»O7�³.+.>87(7�³�»Oµ�°�>8>*=6)�±�7:1c'aÄ(¯�'*,.)$¸�>87456743=�/Q'*)�>*+->*)�'*)�>O=�/-»*=¢±c)S¸�>*7:34745mÊ °�>8)�»*) 'iÃ�>8»�'�À ® ,.)�>8)�»*74561c'*=674/�Ä�741./�±���¹�²�°KÍc=6²1.² /(1.²Ä�)�>7�³`1./.=�Ã�µ�°�'*=674/-»Bº%=¢»�=6/-µ >8)�°:»�)X±³�>874² =u'B»�±c)�³�°�1.5�'S¶K°45�1.)l74³`¿'% % '*7�Á % % %�°�/�±�'*,.)�±.)�+c'8,Ä�7:1./-±!¹�²�°�Íc=�²�1.²Ü»H'B°4µBË�±c)�+.'*,�Ä�) ³�7:>*)�³�74>Bµ )�±�Ä-°4µBËQ'*>B°4µBË(=6/.3QºO³�>874² =�'8»$±c) ³�°41.5u'o7�³OÎ'%'*7<Á&% %-À � ,.)�/.)�¶:)�>$'*,-)�=6/Q'*)�>8+.>8) '8)�>$>*)X°4µB,.)X»�°�56=6²�=�'l=u'o34=6¶4)X»S°Â$°4>*/-=�/.3�²�)�»8»*°434)�°4/-±

� �`DHLX�XL�t�� \�4@8MwC�PQt EI\F@8EFEHUVJQ��\�T�C�J��c@�M¢L�PQJ(�!PQ\FUVJ:� EHx:@������� ������T8LXGIG�C�JQ�<��xQ@BJ!DHPQJ:JQUVJQ��`DHLX�XL�t�UVJKEH@8D�C�T*EHUuZX@Bt ]Ks

Page 12: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

>*)�'*1.>8/-»l³�°4=�561.>8)�»*7�'*,-)�'HÂ$7 »�)�'8»�7�³�µ�74²�²�°�/-±.»�°�>8)�AH1-»�'�° +.>*)Xµ�°41c'*=674/#'87 °[¶47:=6±<'8,.=6»,-°�+.+�)�/-=�/.3�À® ,.)�°4=�² 74³`'*,.)�) Í.°�²�+.56)�=¢»S'*7Ã-/-±�3:>8°4²�²�°4>�>81.56)�»SÂl,.=6µB,�+-°�>B»*)�»�=6²�+.56) X�/.3456=6»*,

»�)�/:'8)�/-µ�)�»�»*1-µB,Ô°:» " ® ,.)Ö²�°4/kÂ$°45�Ëc»�'8,.)Ö±c7:3�#.À ® ,.)!²�7c±c)Ö±c)Xµ 5¢°�>B°K'*=674/�»�) Íc+.>8)�»8»'*,.=¢»I°�/-±Ò°�5¢»*7<±c)�Ã-/.)�'*,-)�=6/.+.1.'X¹ ��º�°4/-±!7:1c'*+-1c'X¹�¼Fº�¶K°�>8=¢°�Ä.56)�»�°�/-±Ö'*,-)�'H¯(+�)�»�74³�'*,-)+-°�>B°�²�) '8)�>B»S¼�=�/<'*,-=6»qµ�°4»*)�'8,.)�¯<°�565`,-°[¶4)�'8,.)�»*°4²�)�'H¯(+�)�� ��� E��$¹�²�)�°4/.=6/.3�ÂS7:>8± 5�=¢»H'�º�À� )#'8,.)�/£±c)�Ã-/.)2Â$74>B±Ó56=6»�'8»�>8)�µ�1.>8»*=6¶4)�56¯Ý=6/�'8)�>8²�»�7�³�°Ò3:=�¶:)�/k»�)�'�7�³�Â$74>B±.»�Âl,.=¢µB,°�+.+�)�°4>�=6/�'*,.)o)�Íc°4²�+.5�)X»�°�/-±�Ä-°:µBËQ3:>*7:1./-±IË(/.7KÂl56)�±.34)4ÀK;�=6/-°�565�¯ Á�¿�+�7Q»�=�'*=6¶4)o) Í.°4²�+-5�)X»7�³q»�=6²�+.56) X�/.3:5�=¢»*,�»*)�/Q'8)�/-µ�)�»°4>*)�3:=�¶:)�/iÀO´F/Ý+.>8°:µ�'8=6µ�)�'*,.=¢»�=¢»°!¶4)�>8¯�»*²�°�565�/(1.²Ä�)�>Ä.1c'q=¢»q»�1���µ�=�)�/Q'$³�7:>l5�)X°�>8/.=6/.3�°³�)� »*=6²�+-5�)I3:>8°4²�²�°4>S>81.56)�»�À

�+8�� � � �4?:C � � �>C�� � � � B C > � � ?:C�? E >�������� � � � � ? >® ,.)�µ 7:/-»H'8>*1�µ�'*=674/�7�³�'*,.)I²�7Q»H'q»*+�)Xµ =�Ã�µIµ 5¢°�1-»*) ¡+.>87cµ )�)�±.»l°:»$³�74565�7KÂq»�À

® ,.)�Ã->B»H'qµ 5¢°�1�»�)�'87�34)�/-)�>B°�56=6»*)�=¢»-+� � H�8k�(79A5>m (I(85�;>3d-+(� H�?k�(21�1�= � ( �� � *

;.>874² '8,.)I,.)�°:±<²�7c±c)I±c)Xµ 5¢°�>B°K'8=�7:/# p 9d1 1�k�� � �6(`-+� ��(K;8l!-) 5( p (?;8lH-) �� ��q

ÂS)�,-°[¶:)�'8,.)�'*>8=6¶Q=¢°�5i±.)�±c1-µ '*=674/�!� � � �Q¹�Å � � ����� ����������� ��� �� �������QÇ ��Å Çwº

;.>874² '8,.)IÄ�7c±c¯�²�7(±.)�±c)�µ�56°4>8°�'*=674/# p 9d1 1�k�J � �6($1�kH �� �H(K;8lH-R ( p (8;8lH-R )����q

°�/-±�>*)�+.5¢°4µ =6/.3�'*,.)I=6/.+.1.'q¶[°4>*=¢°�Ä-5�)�Ä(¯ÖÅ '8,.)4Ê ²�°�/iÊ Âo°�56Ë(»�Ê '*,.):Ê ±c7:3�Ç`Â$)�,�°[¶4)�'*,.)I±c)X±c1-µ�¼'*=674/

�!� � ��� !� ¹*Å � �� ����� �������"� � �#� � �������QÇ �XÅ ��� ����������� ��� �� �������QÇ�ºÚq7�'8)�'*,�°K'�'8,.=6»µ 74/�»H'8>*1-µ '8»�'8,.)�'8)�>8²�Å ²�°�/iÊ Â$°45�Ëc»�Ê '8,.)4Ê ±c7:3�Ç�=6/Ý+.56°:µ )�74³S'8,.)�741.'*+.1c'¶[°4>*=¢°�Ä-5�):À.Ù�»*=�/.3�'8,.=6»q/.)� '*)�>*²ÜÂl=�'*,<'8,.)IÄ�7c±c¯�²�7(±.)�±c)�µ�56°4>8°�'*=674/

# p 9d1 1�k�J � �6(Im81�6!m � �H(K;?lH-) �( p (K;?lH-) 3�@��q°�/-±�>*)�+.5¢°4µ =6/.3�'*,-)I=�/.+-1c'q¶K°�>8=6°4Ä.5�)�Ä(¯�'8,.)I/.)� '*)�>*²ÌÂS)I,-°[¶:)�'8,.)�±c)X±c1-µ�'8=�7:/

� � � � $�&% �¹�Å �'� ���(� ����� ��� �� �#� ���:Ç ��Å �����"��� �#� � �#� ���QÇwºØq7KÂ$)�¶4)�>�Ê�1-»*=�/.3�7�'8,.)�>%²�7c±c)l±c)�µ�56°4>8°�'*=674/-»O=�/�°�»�=6²�=�5¢°�>�Â$°[¯�Â$)$µ�°�/�34) '�'*,-)S³�7:5�567KÂl=6/.3±c)�±c1�µ�'*=674/�»q°4»oÂ$)�565^À

��� � � *)a¹�Å ��� �#�����"��� �#� � �#� ���QÇ �XÅ ��������� ��� �� �������QÇ�º��� � �,+ � �K¹�Å �����"� � �#� � �������QÇ �XÅ � �� �#� ���:Ç�º��� � �,+!)�¹�Å �����"��� ��� �� �#� ���:Ç ��Å � �� �������QÇ�º��� � � *)a¹�Å � �� �������QÇ ��Å Çwº

Page 13: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

¸�1c'*'*=6/.3�'*,.)X»�)I°4/-±#°�565`7�'*,-)�>q»*=�²�=656°4>q±c)�±c1�µ�'*=674/�»$'*743:) '8,.)�>lÂ$)�34) '��� � � �:¹*Å � �� ����� �������"� � �#� � �������QÇ �XÅ Ç�º �

���� ¹�Å � �� �#�'� �#�����"��� ��� �� �#� ���:Ç ��Å ��� �#�����"��� �#� � �#� ���QÇwº � ������ *)a¹�Å � �� �������QÇ ��Å Çwº

�=6»�'8,.)�>*=634,Q'�,-°�/-±�»�=¢±c)�7�³�'8,.)�°�Ä�7K¶4)�±c)�±c1�µ�'*=674/OÀ`´F/Ö) �Þ)�µ '�° >8)�»�'*>8=6µ '*)X±!²�=�/-=�²�°�5Øq)�>8Ä.>B°�/-±Ö²�7(±.)�5%,-°4»�Ä�)�)�/Òµ�74/-»�'*>81-µ�'8)�±!³�74> �#� ��ÊÞ'*,.)�²�7c±c)�±c)�µ�56°4>8°�'*=674/-»�Ä�)�=�/-31-»�)X±�'*7�341.=¢±c)�'*,.)�=�/�µ 561-»�=674/ 7�³i+.>8)�±c=¢µ�°�'*)X»�'8,-°K'$²�=634,Q'$Ä�)�7�³i=6²�+�7:>�'B°�/-µ�)4À ® 7�±c)�>8=�¶:) �Ê('*,.)�°4Ä�7K¶:)�=¢»$Ã->B»H'l/.)�3:°�'*)�± '*7�3:=�¶:)

�Q¹�Å � �� �#�'� �#�����"��� ��� �� �#� ���:Ç ��Å Ç�º��� �� ¹�Å � � ����� ����������� ��� �� �������QÇ ��Å �'� ���(� ����� ��� �� �#� ���:Ç�º�� ������� *)�¹�Å � � �#� ���QÇ �XÅ Ç�º

°�/-±<'8,.)�/2'8,.)²�7Q»H'�»*+�)�µ =�Ã�µ�µ 5¢°�1-»*)µ�°4/2Ä�)�µ 74/�»H'8>*1-µ '*)X±#ÄQ¯#>8)�+.5¢°4µ�=�/-3�'*)�>8²�»q=6/2'*,-)°�Ä�7K¶4)�ÄQ¯�1./.= �Q1.)�¶[°4>*=¢°�Ä-5�)X»�À

� �Q¹�� � ��º�� � �� ¹�� ���Iº� *)a¹� ��� º � $�&% �¹�� ��� º�� � +� � ��¹�� � �º��� + � �K¹�� � �º�� +�)a¹� � �º� � �� ¹ � ����º�� *)a¹ � � ��º

=�)� =6»o3:=�¶:)�/<ÄQ¯-���� ( ! � # p 1�k� 5��� ($03�+( m'" ��� (��)�+( m81�6'm �$05(��)�+( ��?kH2HJ ��� ( � �+(�l��?k�2!J ��� ( � �+( ) )

�!"5��� ( � ��( 1�kH 5� � (��)�+( m'" � � ( ! � *

=�/�¸�>*7:5�7:3#/.7�'B°K'*=674/Ô¹^»�)�)�&()Xµ�'*=674/�Æ#'*7Ö»*)�)�,.7KÂ�'*72'8>8°:µ )�'8,.)�µ�74/-»�'*>81-µ '*=674/�7�³l'8,.=6»µ 5¢°�1-»*)Xº À

�+8�� + � � � � ��C �� B � � � � � ? C � � �>C � � � C > � � ? C ? E >�������� ��� � � ? >

® ,.)o34)�/-)�>B°�5c°�56347:>*=�'*,.² ³�7:>�µ 74/�»H'8>*1-µ '*=6/.3�'*,.)o²�7:»�'�»�+�)�µ�=uÃ�µoµ�56°41-»�)$=¢»%34=6¶4)�/�=�/�;�=6341.>8)Á4À ® ,.)�Ã-/-°45�»*) '� =¢»I°#±c=6» AH1./-µ '*=674/�7�³o=�'8»�²�)�²�Ä�)�>8»I»*7<'*,.)�Ã-/�°�5�µ 5¢°�1�»�)�Âl=65�5�,-°[¶:)'*,.) ��µ 7:/-»�'*>81-µ�'8)�±�=6/ »H'8)�+�È�°4»�=�'8»S,.)X°4±�°�/�±�'*,.) ��»�µ�74/-»�'*>81-µ�'8)�±�=6/ »�'*)�+ ¿°4»S°K'*7:²�»=�/#=�'8»lÄ�7c±c¯4ÀÚq7�'8)l'*,�°K'�´F/ ® )�>8²�»�=¢»�/.74'S° �Þ)�µ '*)�±�Ä(¯�¶K°�>8=6°4Ä.5�)X»�µ 7:>*>8)�»*+�74/-±c=6/.3�'*7�¼^'H¯(+�)q=�/�»�'*)�+

Î�Ä�)�µ�°41-»*)7�³�'8,.)�>*)X»H'8>*=¢µ�'8=�7:/2²�)�/Q'*=674/.)X±!)�°4>*56=6)�>q'8,-°K'�°�/�=�/.+-1c'�¶K°4>*=¢°�Ä.56)�=6/�° Ä�7c±c¯°K'*7:² ²1-»�'�)�=u'8,.)�>�Ä�)�°4/!=�/-+.1c'I¶K°�>8=6°4Ä.5�)=�/Ö'*,.)�,.)�°:±274>�°�/Ö741c'8+.1c'�¶[°4>*=¢°�Ä-5�)�=�/Ö°4/)�°�>856=�)�>$Ä�7c±c¯�°�'*7:²<À® ,.)o>*)Xµ�°�565c=¢»%1-»�)X±�'*7I±c) '8)�>8²�=�/.)l,-7KÂ�²�°�/(¯I'8=�²�)�»�'*7�µ�°45�5('8,.)q¸�>87456743�=�/Q'8)�>8+.>*)�'*)�>

³�74>o)�°:µB, =6/-»H'B°�/Q'*=¢°K'8=�7:/ 74³O'*,-)�µ�56°41-»*)�=6/<»�'*)�+�¿�À(´g'o²�°[¯�Â$)�565`Ä�)�'8,-°K'o'*,-)�µ�56°41-»*)�Âl=65�5»�1-µ�µ )�)�±�²�°4/(¯�'*=6²�)�»q°4/-±<+.>*7c±c1�µ )�²�°�/(¯ °�/�»�Â$)�>l»*1.Ä-»�'*=�'*1c'8=�7:/-»�À® ,.)�²�°�Í(=6²1-²�¶K°4>*=¢°�Ä.56)�±.)�+c'8,Ò¹^±c) ³�°41.5u'lÎ:ºS±c)�'*)�>8²�=�/-)�»$,.7K£²�°�/(¯�'*=6²�)�»o»H'8)�+�¿

=6»l)�Íc)�µ 1.'*)�±iÀ ® ,.)¸�>*7:5�7:3=6/:'8)�>8+.>8) '*)�>q=6/-»�=¢±c)�¸�>*7:34745Þ=¢»q°�5¢»*7�Ä�741-/-±c)�±<=6/2=u'B»l/(1.²Ä�)�>7�³%>*)X»�7:5�1c'8=�7:/�»�'*)�+-»q°�/�± =6/#=u'B»q±c)�+.'*,iÀ

Page 14: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

�-@8E��l�c@oEHxQ@oTBtuC�PQ\F@�� v���� ����� �� -sf%x:@BJ �lUV\ ����� � � ��� s� ��� � v�������������� UV\�C�M6PQJQT*EHUuL�J�PQJ:U ��P:@Bt ]�G�C�A:AQUVJQ��EH@8DHGI\%EHL�J(C EHP:D�C�t�J�PQG��c@8DH\Bs! s(�S�Q� �lEHL�EHxQ@o�QC�T�b4��DHLXP:J(��b�J:L ��tV@��4�X@" s�#%$&�������'��(�)�W&*�(+), s.-ÞUVJQ��EHxQ@$�:DH\gE�xQ@�C���GIL��:@o�:@BTBtuC D�C�EHUVLXJ � \FP:T*xEHx(C�E � \FP:�Q\FP:GI@B\/�I��UVEHx�\FPQ�Q\gEHU EHP4EHUuL�J�0

-:L�D�@�C�T�x'132�4�UVJ'04WU M51ITBL�DFDH@B\FAcL�J(�4\�EHL�C76�Em]4Ac@XW4DH@BA:t�C�TB@�1�UVJ � �K]�4U M51ITBL�DFDH@B\FAcL�J(�4\�EHL�C78SEm]4Ac@oL�D���E^]:Ac@�W4DH@8AQtuC�TB@�1�UVJ � �K]�1:9��xQ@8DH@�1:9�UV\�EHxQ@oZ�C�DHUuC��:tV@l\FPQT�x�EHx(C E<;=( � ��� � �>4H�e^M?1IT8L�DFDH@B\FAcL�J(�:\�EHLIC78SE^]4Ac@XW:CX�Q��4�EHL�EHx:@o\F@8E�emJQf�@8DHGI\Bs

�S�Q� � EHL�*�s�4s.-:L�D�@�C�T�x��cL���]�GIL��4@l�:@8TBtuC�D�C�EHUVL�J��

-QL�D�@BZX@8DF]AcLX\F\FUV�QtV@q\FPQ�:\gEHUVEHP4EHUVLXJ'0�L�M`Z�C�DHUuC��:tV@B\ST8L�DFDH@B\FAcL�J(�:UVJ:��EHL�8SEm]4Ac@��]IEH@*DHGI\%M6DHLXG EHx:@o\F@8E�emJQf�@8DHGI\

@�@BAc@�C E�DH@BT�C�tVt-EHUuGI@8\e�Mi�`DHLXtVLX�I\FP:TBTB@B@��4\�LXJ���L[C�tA�S��U EHx�C�JQ\g�%@*D$\FP:�Q\gEHU EHP:EHUVLXJB0�C

-QL�D�@�C�T�x'132D4%UuJB0�C�JQ�B0�Ce^M?1�TBL�DFDH@B\FAcLXJQ�:\�EHL�6�E^]:Ac@�W4DH@8AQtuC�TB@E1IUVJ'�S��]�4L�EHxQ@*DF��Uu\F@lDH@BA:tuC�TB@E1IUVJ'�$�K]�1:9���xQ@8DH@E;=( � ��� � �>4F�e^M?1�TBL�DFDH@B\FAcLXJQ�:\�EHLIC���Em]4Ac@XW:C��Q��4aEHL�EHxQ@l\F@*ESe^J(f�@*DHGI\

�$�:� �SEHL7*F sQe^JQT8DH@8GI@BJKE%EHxQ@lZ�C�DHUuC��:tV@q�:@BA4EHxG scn$L�EHLI\gEH@BA���UVM`EHx:@oG�C��4UVG�P:G Z�C�DHUuC��:tV@q�:@BA4EHx�xQC�\��c@B@BJ�C�T*x:UV@BZ[@��.s

H<IKJ �ML(� �StV��L�DHU EHxQG¡M6L�D�TBLXJ:\gEFDHPQT8EHUVJ:��*

�+8>N � >���� � � � � C > ? �� ? ��� E C�� � � � ��C:C���� >

® ,Q1�»�ÊS³�74><)�°:µB,£) Í.°�²�+.56)4ÊS'*,.)Ò»�)X°�>BµB,k³�74><»�1.=�'8°4Ä.56)Ö,(¯(+�74'*,.)X»�)X» =¢» 56=6²�=�'*)X±£'87Ó'*,-)Ä�7:1./-±c)X±<»*1.Äc¼g5¢°K'�'8=6µ�)

OQP � P

Âl,.)�>8) P ±c)�/.7�'8)�» 'K¼F»�1-Ä-»�1-²�+.'*=674/k°�/-± O =6»�'8,.)#)�²�+c'H¯ ¹w³�°�5¢»*)Xº�µ 5¢°�1-»*)4À ® ,-)#»*1.Äc¼56°�'�'*=¢µ )�,-°:»�°�²�7Q»H'I34)�/.)�>B°�5�)�56)�²�)�/:'�'874+ÒÂl,.=6µB,Ò=¢» O °4/-±Ò°�²�7Q»H'I»�+�)�µ�=uÃ�µ�7:>�5�)X°4»�'34)�/-)�>B°�5.)�5�)�²�)�/Q'SÄ�7�'�'874² Âl,.=¢µB,�=¢» �À ® ,.)�µ�74/-»�'*>81-µ�'8=�7:/�7�³`'8,.)�²�7:»�'$»*+�)�µ =�Ã�µ�µ 5¢°�1-»*) ¡>8)�±c1-µ�)�»$'8,.)�»�)X°�>BµB,�»*+-°4µ�)I»�=634/.=�Ã�µ�°�/Q'*56¯4À

� ,.)�/�34)�/-)�>B°�56=6»*=�/-3q°�/�)�Íc°4²�+.5�)��Ô>8)�5¢°K'8=�¶:)�'*7�Ä-°4µBË(34>8741-/-±�Ë(/.7KÂl5�)X±c34) ��Ê[¸�>874347:5µ 74/�»H'8>*1-µ '8»� °4/-±Õ»�)X°�>BµB,.)�»�³�>874² 3:)�/.)�>8°45�'87Ó»�+�)�µ�=uÃ�µ�'8,.>*7:1.34,�'*,.)!»*1.Äc¼g5¢°K'�'8=6µ�)#7�³»�=6/.3456)#µ 5¢°�1-»*)�,(¯(+�7�'*,-)�»*)�» � »*1-µB,�'8,-°K' ORP � P �À ® ,-)<»*)�°4>8µB,�»*+-°:µ )<=6»�'*,(1-»Ä�7:1./-±c)X±�Ä�7�'*,#°�Ä�7K¶4)�°�/-± Ä�)�5�7KÂIÀ ® ,.)�»�)X°�>BµB,�=6»S'*,-)�>8) ³�74>8)�Ä�) '*'*)�>oµ�74/-»�'*>B°�=6/.)X±�'*,-°4/=�/�7�'8,.)�>�°4+.+.>87:°:µB,.)�»a'*7I3:)�/.)�>8°45Q'*7�»*+�)Xµ =�Ã�µl»�)X°�>BµB,.=6/.3-ÀK;.7:>%'*,.)�+.1.>8+�7Q»�)o7�³`»*)�°�>BµB,.=6/.3'*,.=¢»�5¢°K'*'*=¢µ )�74³lµ�56°41-»*)�»I7:>8±c)�>*)X±ÒÄQ¯�'K¼F»�1-Ä-»�1-²�+.'*=674/iÊ�¸�>874347:5�)�²�+.567K¯c»�°#>*)�Ã-/.)�²�)�/Q'74+�)�>B°K'*7:>�ÀO&c=�/-µ�)�� P �Êi=�'�²1-»�'Ä�)�'*,.) µ�°4»*)�'*,-°�'I'*,.)�>*)�)�Í(=¢»�'8»�°2»*1.Ä-»�'*=�'*1c'8=�7:/ '»�1-µB,Ó'*,-°�' � '�S �À ® ,(1-»�³�7:>)X°4µB,Ý56=u'8)�>B°�5 ��=�/ �ÝÊO'8,.)�>8)�)�Í(=¢»�'8»�°25�=�'*)�>8°45 �UT�=6/ »�1-µB,�'*,�°K' � ' � �VT^À ® ,.)�¸�>8743:745�>*)�Ã-/.)�²�)�/Q'�7:+�)�>8°�'*7:>�,�°4»I»*=�²�+.56¯!'87<Ë:)�)�+Ö'8>8°:µBË27�³'<°4/-±�°�56=6»�'I7�³�'8,.7:»*)�5�=�'*)�>8°456» �VT%=6/ �Âl,.=¢µB,�,-°[¶:)�°#µ 7:>*>8)�»*+�74/-±c=6/.3�5�=�'*)�>8°45 �S=6/��ÝÀ

Page 15: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

Yq/(¯Ýµ 5¢°�1-»*)�� Âl,.=¢µB,�»*1.Ä-»*1.²�)�» ¾µ 74>8>8)�»*+�7:/-±.»�'87�°Ö»*1.Ä-»*) '�7�³l'8,.) 56=u'8)�>B°�5¢»�=6/ Âl=u'8, »�1-Ä-»H'8=u'81c'*=674/�»S°4+.+.56=�)X±`À:´F/�¸�>874347:5cÂS)�,-°[¶4)o'8,.)�°4±.±c)X±�+.>87K¶Q=¢»*=�7:/�'8,-°K'S'*,.)�,.)�°:±°K'*7:²Ü²1�»H'�°45�Âo°[¯c»SÄ�)I=6/-µ 561-±c)X±�=6/#74>B±c)�>$'87�7:Äc'8°4=�/2°�»*)�/-»*=�Ä-5�)�34)�/.)�>B°�56=¢»*°�'*=674/iÀ;.74>�'*,-)�²�7:»�'�»*+�)�µ =�Ã�µ<µ 5¢°�1-»*) =6/Ó'8,.)<) Í.°�²�+.56)<°4Ä�7K¶:)4Ê�¸�>874347:5�»�'8°�>*'8»³�>874² '*,-)

)�²�+c'H¯�µ�56°41-»*)F 5�;?-�k�# p '2!6?k*

°�/-± Ã->B»H'q>8) Ã-/-)�»o=�'l'*7-+��� ( ! � *

® ,.=6»�µ 5¢°�1-»*)o=6»�'8,.)�/�'8)�»�'*)�±�'87�»*)�)o,.7KÂ�²�°�/(¯74³-'*,-)l+�7Q»�=�'*=6¶4)q°4/-±/-)�3:°�'*=6¶4)o) Í.°4²�+-5�)X»=u'�+.>8)�±c=¢µ�'B»�À ® ,.)$>8) Ã-/.)�²�)�/Q'8»a7�³.'8,.=¢»�µ 5¢°�1-»*)S°4>*)�'*,.)�/�µ�74/-»*=6±.)�>8)�±`À[¸�>8743:7454/-7KÂÓ>*)�Ã-/.)X»'*,.=¢»qµ 5¢°�1�»�)�Ä(¯ °4±-±c=�/-3�'8,.)�Ã->B»H'qÄ�7c±c¯ °�'*74²×±c) '[¹ YÊ ½oºS'87�'*,.)�µ�56°41-»�):À

-+��� ( ! � # p 1�kH 5���5($0�� *® ,.)�/.)�Âѵ 5¢°�1�»�)�=6»S'*,-)�/�'8)�»�'*)X± °�3Q°�=6/-»�'�'*,.)�)�Íc°4²�+.5�)X»S°4/-±�+�7:»8»�=6Ä.56)�>8) Ã-/-)�²�)�/Q'8»

°�>8)$°43:°�=6/µ�74/-»*=6±.)�>8)�±`ÀK¸�>8743:745Q=6»%»*)�°4>8µB,.=6/.3�°�'8>*)�)SÂl,-7:»*)S>87(7�'%/.7c±c)o=6» O À:½S,-=�5¢±c>8)�/�7�³°�/.7c±c)�°�>8)o'*,-)q+�7Q»*»*=6Ä.5�)�>*)�Ã-/.)�²�)�/:'B»%'*,�°K'$µ�°�/�Ä�)q²�°4±c)l'87I'*,-)�µ 5¢°�1-»*)q°K'�'*,-°�'�/.7c±c)4À½S)�>*'8°�=6/�/.7c±c)�»�Âl=�565�Ä�)�+.>81./.)X±�Ä(¯Ö'*,.)�1�»�)�74³S'8,.)�1-»*)�>*¼g±.) Ã-/.)X±Ò+.>*1-/.)�»H'B°K'8)�²�)�/Q'8»Âl,.=6µB,�±c)�56=�²�=�'O'8,.)�,(¯(+�74'*,.)X»�=¢»�»�+-°:µ ):À�´F/�'*,-=6»�) Í.°4²�+-5�)�/-74/.)�74³c'*,.)$»�1-Ä-»�1-²�)X±�µ 5¢°�1�»�)X»°�>8)�°:µ�µ�)�+c'8)�±<»�7�¸�>8743:745�'*,.)�/#Ä-°4µBËQ'*>B°4µBËc»�'*7�'8>*¯

-+��� ( ! � # p m'" ��� (�0�� *´F/�'8,.=¢»q) Í.°4²�+-5�)I¸�>8743:745Þ,-°:»o'*7�»*)�°4>8µB,2ÈcÁ�/.7c±c)X»qÄ�) ³�74>8)�Ã-/-±c=6/.3�'8,.)�²�7:»�'�µ 7:²�¼

+.>*)X»*»*=6¶4)�,Q¯(+�7�'8,.)�»*=6»-+��� ( ! � # p m'" ��� (�0��+( �!"5�*05(��)��( m'" ���5( ! � *

Úq7�'8)�°456»*7�'8,-°K'�'8,.)�>8) Ã�/.)�²�)�/Q'�74+�)�>B°K'874>�µ 74/�»�=¢±c)�>B»�74/.56¯2¶K°�>8=6°4Ä.5�)��[¶K°�>8=¢°�Ä.56)�»�1-Ä-»H'8=u¼'*1c'8=�7:/-»�Âl,.=¢µB,Ö²�°�+�,Q¯(+�7�'8,.)�»*=6»*)�±�µ 5¢°�1-»*)�»�'*72»*1.Ä-»*) 'B»�74³ �À ��)�/.)�>8°45�»�1.Ä�»�1.²�+c'8=�7:/µ�°�/�Ä�)q°4µB,.=6)�¶:)�±�Âl,-)�/�/.)�µ�)�»8»*°4>*¯IÄ(¯I'8,.)$'*,.)l1-»*)o7�³�'*,.)l) �:1�°�56=u'H¯�7:+�)�>8°�'*7:>a=6/�²�7c±c)�ıc)�µ�56°4>8°�'*=674/-»�À.&()�)�Å ÆKÇ`³�7:>o³�1.>�'8,.)�>�±c) 'B°�=656»�À

�+8�� ;� > ? >���� � ��� � � � ��C ��® 7!»*)�°4>8µB,�'*,.)�»*1.Ä-»*1.²�+c'8=�7:/Ý56°�'�'*=¢µ )�¸�>*7:347:5%°4+.+.56=�)X»�°�/eY $X¼g5�=6Ë4)�°�56347:>*=�'*,-² '*72Ã�/-±'*,.)qµ�56°41-»�)oÂl=�'*,�²�°KÍc=6²�°�5.µ 7:²�+.>*)X»*»*=674/iÀ)YÔ»*=�²�+.56)o741c'85�=6/.)l74³�'8,.=6»�°�563474>8=�'*,.² =¢»�3:=�¶:)�/=�/2;�=�3:1.>8)IÈ.À® ,.)I°�563474>8=�'*,.²Ìµ�°�5¢µ 1.5¢°K'8)�»S'*,-)�³�74565�7KÂl=6/.3�³�74>l)X°4µB,#µ�°�/�±c=6±-°K'*)Iµ�56°41-»�)I»

)�� � % � � � ��� ) � ����� � +���� � ) � �� � � � � � �� '��&��%��� � � �� � �&� �

�� � % � � � ��� $!�*� � ��+���� � )�� � � � � � � � � �� '��&��%����� �"�� �&�&� �

�� � �"� � � �'���� � � % �! � �Á��� � % � � � ����� % �&� � � � � �&� �� �� �&� )�� �� � ��� �"��% ����� � )�� Õ¹ �� ���� �'����º

���S=¢»�µ�°�5¢µ 1-56°�'*)�±�Ä(¯=6/-»*+�)Xµ�'8=�/.3�'8,.)q7:1c'*+.1.'�¶[°4>*=¢°�Ä-5�)X»%=�/�'*,-)�µ 5¢°�1-»*)l°�/-±�±c)�'*)�>*²�=6/.=�/-3Âl,.) '8,.)�>l'8,.)�¯ ,-°[¶4)�Ä�)�)�/2±c)�Ã-/.)X±`À-;.7:>l) Í.°�²�+.56)

Page 16: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

��tV�XL�DHU EHx:G¡M¢L�DS\F@�C DHT*x:UuJ:��������� *

�lUV\�EHxQ@o@8�:C�GIAQtV@o�c@BUVJQ���X@BJ:@8D�C�tVUV\F@��! s���.�D$'(��� KW������M����� (+)" s&�<(+�����4B����&��$��*W���&��$�(���&��$ ����� [W������:����� (������:����������� , sQU M��.�� .$ �K�V� �a�XL�EHL F�4s���.�D$'(k����&��$!������"$# $A���B�D$&4 �K�V� �F� �%�����M�����F sQU M?4 �D����# $ �%4 ���c�&�����:����� � ��&��$��aDH@8EHP:DHJB�����4B�&�����:�����4�G sQU M'��&��$B(+)�DH@8EHP:DHJB��wJ:L���@BJQ@8D�C�tVUu\HC EHUVLXJc�( sQ��L�EHL "

H�I J �*)-� �StV�XL�DHU EHxQG¡M¢L�D$\F@BC�DHT�xQUVJQ��EHx:@ltuC�EFEHUVTB@

-+��� ( ! � *ÂS7:1.56±�,-°[¶4) ��� �ÔÎÄ�)Xµ�°41-»�)�=u'o>8):�Q1.=6>*)X»�°K'o56)�°4»�'�'8,.>8)�)�5�=�'*)�>8°456»�³�>*7:² Ñ'*7�µ 74/�»H'8>*1-µ '°�µB,�°�=6/�74³%°�'*74²�»lµ�74/./.)Xµ�'8=�/.3 Y '87,+�À ® ,-=6»o=¢»o³�741-/-±�³�>*7:²Ì°�»H'B°K'*=¢µI°�/�°�56¯(»*=¢»S74³ �À

����=¢»�°�²�)�°4»*1.>8)�7�³�,.7K ÂS)�5�5o°Òµ 5¢°�1-»*)'��) Íc+.5¢°�=6/-»�°�565$'*,.)<) Í.°�²�+.56)�»�Âl=�'*,�+->*)�³�)�>*¼)�/-µ�)I34=6¶4)�/ '*7�»*,.74>*'*)�>lµ 5¢°�1-»*)�»�À

® ,.)!³�1./�µ�'*=674/ � �!� ¹.-�º�>8) '81.>8/-»�°�µ 5¢°�1-»*) �0/1- Âl,.=¢µB,Ô,-°4»�'*,.)Ò,.=634,.)X»H' � ¶[°45�1-)=�/2-oÀ

) �&% $(¹��Xº=¢»'8>*1-)�=�³� �� � %Ò°�/-± ����3 %.À%´F/Ó'8,.=6»�µ�°4»*)�=�'�=¢»�/.7�'�Â$74>*'*,�µ�74/-»*=6±.)�>*¼=�/.3�>8) Ã-/-)�²�)�/Q'8»q7�³ �°4»$'8,.)�¯<µ�°�/-/.7�'l+�7:»8»�=6Ä.56¯ ±c7�Ä�) '�'8)�>�»*=6/-µ )I°�/(¯�>8) Ã�/.)�²�)�/Q'qÂl=65�5°4±.±2°4/.7�'8,.)�>�°K'*7:²Ì'87�'8,.)Ä�7c±c¯#7�³%'*,.)�µ 5¢°�1-»*)°4/-±!»*7�µ�°�/-/.7�'�,-°[¶4)�°�,-=�3:,.)�>�¶[°45�1-)7�³ )�'8,-°�/ �I±.7Q)X»�À-´g'�°�5¢»�7�µ�°4/./.7�'l=6²�+.>*7K¶:)�1-+�7:/) ���°4»$'8,.)I5¢°K'�'8)�>l=¢» ��)�>*7�À

� ��&�)� $��� &��¹.- �54�º=6»�'*>81.)<=u³� � � � � ¹6-�º�Ê �� � %-Ê � �23 %�°4/-±Ý³�7:>�)X°4µB, ��=�/�4=u'o=6»S'8,.)�µ�°4»*)q'8,-°K' ���87 �:9BÀQ´F/ 74'*,.)�>$Â$74>B±.»�/.74/.)�7�³i'8,.)�>*)�²�°4=�/-=�/.3�µ 5¢°�1-»*)�»S/.7:>$°4/Q¯+�74'*)�/Q'8=6°45�>8) Ã�/.)�²�)�/Q'B»�74³�'*,-)�² µ�°�/!+�7:»8»�=6Ä.56¯2+.>87(±.1-µ )�°�Ä�) '*'*)�>I7:1c'8µ�74²�)�'8,-°�/�'*,-)µ 1.>8>*)�/Q'o7:/.)4À

® ,.=6»l°45�3:74>8=u'8,.² =¢»o341-°4>8°4/:'8)�)X±�'*7�'*)�>*²�=6/-°K'8)I°�/-± '*7�>8) '*1->*/�'*,.)Iµ�56°41-»�)�¹�=u³%=u'l)�Í(=¢»�'8»BºÂl,.=6µB,�,-°:»�Ä�7�'*,�²�°�Í(=6²1-²�) Íc+.5¢°�/�°K'*7:>*¯I+�7KÂ$)�>�°�/�±�,-=�3:,�µ 74²�+.>8)�»8»*=�7:/�°4»�²�)X°4»*1.>8)�±ÄQ¯ =u'B»l5�)�/.3�'8,iÀ´F/�'8,.)Â$74>B»�'lµ�°4»*)�'*,.)�°�563474>8=�'*,.²¾Âl=�565aµ�74/-»*=6±.)�>q°�565aµ�56°41-»*)�»l=6/#'*,.)�»�1.Ä�»�1.²�+c'8=�7:/

74>B±c)�>8=�/-3-À4;-74>�³�1->�'8,.)�>o±c) 'B°�=656»�74/�Ä�741-/-±.»�³�7:>�'8,.)�°45�3:74>8=u'8,.² °4/-±�°I²�7:>*)l'8,.)�7:>*)�'*=¢µ�°45±c=6»8µ 1�»*»*=�7:/�74³O'8,.)�¸�>8743:745`»�¯c»�'*)�²Ì»�)�)�Å Æ�ÇmÀ

�+8<; ;� >�� ��= >�� � � � � � � � � � C �¸�>874347:5q1-»*)�»#°�»*=6²�+-5�)�»�)�'<µ�7K¶4)�><°�56347:>*=�'*,.² '*7k±c)X°�5�Âl=u'8,Ѳ1-5u'8=�+.56)�) Í.°�²�+.56)�»�À$´g'>*)�+�)X°K'*)X±c56¯�34)�/-)�>B°�56=6»*)�»S) Í.°�²�+.56)�»$=6/ '8,.)�74>B±c)�>$³�7:1./-±�=�/�'*,.)I¸�>*7:34745Þ»*741.>Bµ )�Ã-5�)I°4/-±

Page 17: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

�ÔUV\�EHx:@o�(C�T*b���DHLXPQJQ��b�JQL���tV@��4�X@XW��£EHx:@o\F@8E�L�Mi@*�QC�GIAQtV@B\Bs! sQe�M�� (�)�DH@8EHP:DHJ��" s(�-@8E��l�c@oEHxQ@$�:DH\gES@*�QC�GIAQtV@$UVJ��, scN�L�JQ\gEFDHP:T8E�TBtuC�PQ\F@ *�M6L�D���4scN�L�JQ\gEFDHP:T8E�TBtuC�PQ\F@���M�DHLXG *F s(�-@8E�� (����G s(�-@8E�� C ( ��lv%��� � � $ ����� ( � ( s(�-@8E�� (����� C� scn$L�EHL !

H<IKJ ���-� N�L Z[@8DHUVJQ��C�tV�XL�DHUVEHx:G

°4±.±.»l'*,.)I3:)�/.)�>8°45�=¢»*°�'*=674/ '*7�'*,.)Ä-°4µBË(34>8741-/-±�Ë(/.7KÂl56)�±c3:)4À�X�Í.°4²�+-5�)X»oÂl,.=6µB,2°4>*)�/.7KÂ>*)X±c1./-±.°4/Q'o>8)�5¢°K'8=�¶:)�'87�'*,.)I/.)�ÂÑÄ-°:µBË(34>8741./-± Ë(/.7KÂl5�)X±c34)�°�>8)�'*,.)�/<>8)�²�7K¶:)�±`À ® ,.=¢»o=6»»�,.7KÂl/<=6/#;�=6341.>8)IÎ.À;.74>q'*,.)�34>B°�²�²�°�>q56)�°4>*/.=6/.3�+.>874Ä-5�)�²<Ê�74/.56¯<74/.)�+�°4»8»o'*,.>8741-34,#'*,-=6»�°�56347:>*=�'*,.²¾=6»

/.)�)X±c)�±�'*7�µ�7K¶4)�>S°�565�'*,.)�) Í.°�²�+.56)�»�À ® ,-=6»$>8)�»*1.5u'B»�=6/�'8,.)�»*=6/.3456)�,(¯(+�74'*,.)X»�=¢»*)�±�3:)�/.)�>8°45µ 5¢°�1-»*)I»�7:5�1c'8=�7:/iÀ

�+8�� ;� > ��� C:E � C® ,.)I741c'8+.1c'l³�>874²Ì¸�>*7:347:5�Âl,.)�/#+.>*7cµ�)�»8»�=6/.3�'*,.)I)�Íc°4²�+.5�)�³�7:5�567KÂq»�À0HS'2?1H=?1';ji?kH2d-�l)1�m T4*0T

� # p -�kH 5�&25( �����3�>q p � l`9Ak ?5H3?k>m��*����8- �� # p -�kH 5��� ( �������&��q p � l`9Ak ?5�3?k�m��*����?- ��� 1Kl!-�kj�?58- J8k'k�m -�kH ?1 ����� ������ �?5R98"8;!k l m F ;!5H Al>1>m �858- J8k'k�m ->kH �1nT���� ���� � �8k "818-�1>mK;�/ F ;!5�=n�?58- J8k'k�m !6�2Hm8k 1 P ��� # p -�kH 5��"?18-�1�mK;>/)��q p � l`9dk �5H3?k�m��*����8- �� # p 9A1 1�k��5� �6(`-+���H(K;8l!-R ( p (8;?l!- )� ��q p � l`9Ak ?5�3?k�m��*����?- �� # p 9A1 1�k�J5� �6($1�k� 5� �H(K;?l!-R ( p (K;�l!-R )� �>q p � l 9Ak ?5H3?k>m ��*����8- �� # p 9A1 1�k�J5� �6(I"�2�k�" � �H(8;8lH-) 5( p (?;8lH-) �� ��q p � l`9Ak ?5H3�k�m��*����8- �� # p 9A1 1�k�J5� �6(Im81>6'm � �H(8;8lH-) 5( p (?;8lH-) �� ��q p � l`9Ak ?5H3�k�m��*����8- �� # p 9A1 1�k�J5� �6(� ���kH2!J � ��(K;?l!-R 5( p (K;?l!-R ��@�)q p � l`9Ak ?5�3?k�m��*����8- �� # p 9A1 1�k�J5� �6( l���kH2!J � ��(K;?l!-R 5( p (K;?l!-R ��@�)q p � l`9Ak ?5�3?k�m��*����8- �� # p 9A1 1�k�J5� ������(0m'" � �H(8;8lH-) 5( p (?;8lH-) �� ��q p � l`9Ak ?5H3�k�m��*����8- �� # p 9A1 1�k�J5� ������( �!" � �H(8;8lH-) 5( p (?;8lH-) �� ��q p � l`9Ak ?5H3�k�m��*����8- �� � k8-) Al:m�= F 1H2 +�1�m' '2?5 1dlH+) Al>1�md- ��� 1G+�1�m� '2�5 1dl!+) dl>1�mA- F 1�6'mG1 �� N�k�m8kH2�5�;8l!-�l:m�= -�� � !�8k (79A5�m (0(85�;�3d-+(I !��k�($1'1�= � ( �� � * �� L?18-) -R"8k?+�l F l!+ +H;!5�6A->kGl!- �

-���� ( ! � # p 1�k� 5��� ($03�+( m'" ��� (��)�+( m81�6'm �$05(��)�+( ��?kH2HJ ��� ( � �+(�l��?k�2!J ��� ( � �+(

Page 18: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

�H" ��� ( � �+( 1�kH �� � (��)��( m'" � � ( ! � *

� M�k'5H2!mAl m�=G-H% � F 2?1R9G"818-�l Al��?k k �?5R98"K;Hk8- �� 0U# p �( � ��( ��� ( -���� ( ! � * �� 0U#0T ��( � ��(���(�n-+���5( ! � # p 1�kH 5��� ($0�� * �� 0U# � ��( � ��(��(��n-+���5( ! � # p m'" ���5($0�� * �� 0U# � �6( � ��( �6( � -+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)� * �� 0U# � ��( � ��( �6( � -+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)�+( l��?kH2HJ �*05(���� * �� 0U# � ��( � ��( �6( � -+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)�+( l��?kH2HJ �*05( � � * �� 0U# � ��( � ��( �6( � -+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)�+( �!" �*0�(��)� * �� 0U# � ��( � ��( �6( � -+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)�+( �!" �*0�( � � * �� 0U#� � ( ����( �6( � -+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)�+(-1�kH 5��� ( � � * �� 0U#����( ����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)�+(fm'" ���5( ! � * �� 0U#� � ( ����( �6( � -+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)�+(fm'" ���5( � � * �� 0U# � �6( � ��( �6( � -+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05(��)� * �� 0U# � ��( � ��( �6( � -+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05(��)�+( �!" �*0�(��)� * �� 0U# � ��( � ��( �6( � -+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05(��)�+( �!" �*0�( � � * �� 0U#� � ( ����( �6( � -+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05(��)�+(-1�kH 5��� ( � � * �� 0U#����( ����( �6( �n-+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05(��)�+(fm'" ���5( ! � * �� 0U#� � ( ����( �6( � -+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05(��)�+(fm'" ���5( � � * �� 0U# � �6( � ��( �6( � -+���5( ! � # p m'" ���5($0��+( �H" �*05(���� * �� 0U#0T ��(��HT ( �6( � -+���5( ! � # p m'" ���5($0��+( �H" �*05(����+( 1�kH ���� ( � � * �� 0U#0T'T (��HT ( �6( �n-+���5( ! � # p m'" ���5($0��+( �H" �*05(����+( m'" ��� ( ! � * �� 0U#0T ��(��HT ( �6( � -+���5( ! � # p m'" ���5($0��+( �H" �*05(����+( m'" ��� ( � � * �� �)� k��!"K;!1�2?k 1G-�k'5�2d+R� m81 1'k8- �F�� T'T (I" � �HT (Im � �6(I� � �� O?k8-R6K;> 1 F -�k'5H2d+ � lH- �

-���� ( ! � # p m'"5��� ($0���( �!" �*0�(��)�+( m!" ��� ( ! � *

� �n2?k�1H6'mB1�5>m� G+H;!5>6A-�k8-e2�kH '2?58+R ?k 1 �� N�k�m8kH2�5�;8l!-�l:m�= -�� � !�8k (79A5�m (0(85�;�3d- � ( ��� � * �� L?18-) -R"8k?+�l F l!+ +H;!5�6A->kGl!- �

-���� ( ! � # p 1�k� 5��� ($03�+( m'" ��� (��)�+( m81�6'm �$05(��)�+( ��?kH2HJ ��� ( ! �+(�l��?k�2!J ��� ( ! �+(�H" ��� ( ! � *

� M�k'5H2!mAl m�=G-H% � F 2?1R9G"818-�l Al��?k k �?5R98"K;Hk8- �� 0U# p ��� (�T���( ��� (� -+��� ( ! � * �� 0U#�HT (����(���(��n-+���5( ! � # p 1�kH 5��� ($0�� * �� 0U#0T ��(����(��( � -+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)� * �� 0U#0T���(��HT (��( � -+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( m81>6'm �*05( �)� * �� 0U#0T���(��HT (��( � -+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( m81>6'm �*05( � � * �� 0U#0T ��(�����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( ���kH2!J ���5( ! � * �� 0U#0T'T (�����( �6( � -+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( ���kH2!J ���5( � � * �

Page 19: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

� 0U#0T'T (�����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( ���kH2!J ���5( ! �+( l��?kH2!J5��� ( ! � * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( ���kH2!J ���5( ! �+( l��?kH2!J5��� ( � � * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( ���kH2!J ���5( ! �+( �!" ��� ( ! � * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( ���kH2!J ���5( ! �+( �!" ��� ( � � * �� 0U#0T���(����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+(�l���kH2!J ���5( ! � * �� 0U#0T ��(����( �6( � -+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+(�l���kH2!J ���5( � � * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+(�l���kH2!J ���5( ! �+( �!" ��� ( ! � * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+(�l���kH2!J ���5( ! �+( �!" ��� ( � � * �� 0U#0T ��(�����( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( �!"5��� ( ! � * �� 0U#0T'T (�����( �6( � -+���5( ! � # p 1�kH 5��� ($0��+(fm'" ���5(��)�+( �!"5��� ( � � * �� 0U#0T ��(��HT (��( � -+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)� * �� 0U#0T'T (��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��( ��?kH2HJ ��� ( ! � * �� 0U#0T ��(��HT ( �6( � -+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��( ��?kH2HJ ��� ( � � * �� 0U#0T ��(��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��( ��?kH2HJ ��� ( ! �+([l���kH2!J ���5( ! � * �� 0U#0T ��(��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��( ��?kH2HJ ��� ( ! �+([l���kH2!J ���5( � � * �� 0U#0T ��(��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��( ��?kH2HJ ��� ( ! �+( �!"5��� ( ! � * �� 0U#0T ��(��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��( ��?kH2HJ ��� ( ! �+( �!"5��� ( � � * �� 0U#0T'T (��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��(�l��?kH2HJ ��� ( ! � * �� 0U#0T ��(��HT ( �6( � -+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��(�l��?kH2HJ ��� ( � � * �� 0U#0T ��(��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��(�l��?kH2HJ ��� ( ! �+( �!"5��� ( ! � * �� 0U#0T ��(��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��(�l��?kH2HJ ��� ( ! �+( �!"5��� ( � � * �� 0U#0T'T (��HT ( �6( �n-+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��( �!" ���5( ! � * �� 0U#0T ��(��HT ( �6( � -+���5( ! � # p 1�kH 5��� ($0��+(fm81�6'm5�*05(��)��( �!" ���5( � � * �� 0U# � ��(IT���(��( � -+���5( ! � # p m'" ���5($0�� * �� 0U#0T���(�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! � * �� 0U#0T ��(�����( �6( � -+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05(��)� * �� 0U#0T ��(�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( l��?kH2HJ �*05( ! � * �� 0U#0T ��(�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( l��?kH2HJ �*05(���� * �� 0U#0T ��(�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( �!" �*0�( ! � * �� 0U#0T ��(�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( �!" �*0�(��)� * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( l��?kH2HJ �*05( ! �+( �!"5�*05( ! � * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( l��?kH2HJ �*05( ! �+( �!"5�*05(��)� * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( l��?kH2HJ �*05(����+( �!"5�*05( ! � * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( l��?kH2HJ �*05(����+( �!"5�*05(��)� * �� 0U#0T'T (�����( �6( �n-+���5( ! � # p m'" ���5($0��+( ��?kH2!J �$05( ! �+( l��?kH2HJ �*05(����+( �!"5�*05( � � * �� 0U#0T���(����( �6( �n-+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05( ! � * �� 0U#0T���(����( �6( � -+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05(��)� * �� 0U#0T ��(�����( �6( �n-+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05( ! �+( �!" �*0�( ! � * �� 0U#0T ��(�����( �6( �n-+���5( ! � # p m'" ���5($0��+(�l��?kH2!J �$05( ! �+( �!" �*0�(��)� * �� 0U#0T���(�����( �6( �n-+���5( ! � # p m'" ���5($0��+( �H" �*05( ! � * �� 0U# � ��(IT'T ( �6( � -+���5( ! � # p m'" ���5($0��+( �H" �*05(���� * �� T��nk��!"K;!1�2?k 1G-�k'5�2d+R� m81 1'k8- �F�� T���(I" � ���(Im � �6(I� � �� O?k8-R6K;> 1 F -�k'5H2d+ � lH- �

Page 20: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

-���� ( ! � # p m'"5��� ($0���(�l��?kH2HJ �*05( ! � *

� �n2?k�1H6'mB1�5>m� G+H;!5>6A-�k8-e2�kH '2?58+R ?k 1 �

-���� ( ! � # p m'"5��� ($0���( �!" �*0�(��)�+( m!" ��� ( ! � *-���� ( ! � # p m'"5��� ($0���(�l��?kH2HJ �*05( ! � *

� � 1H ?5�; m!6�98J8kH2 1 F +H;H5�6A-�k8- � � �

� � l`9Ak ?5H3�k�m��*���?- �

® ,.)�/�°�²�)�»S7�³`'8,.)�¶K°4>*=¢°�Ä.56)�»�²�°[¯�/-7�'l°�56Â$°[¯c»�²�°K'BµB,�'*,-7:»*)�=6/�'*,-)�±c)X»*µ�>*=6+c'8=�7:/ »�=6/-µ�)¸�>874347:5�34)�/.)�>B°K'8)�»�'*,-) /-°4²�) 7�³q°2¶K°�>8=6°4Ä.56)�³�>*7:² =�'8»/Q1-²Ä�)�>XÀ ® ,.) µ�56°41-»*)�»IÂl=65�5$Ä�)):�Q1.=6¶[°45�)�/Q'o1-+�'87�°�56+.,-°4Ä�)�'*=¢µ�>8)�/�°�²�=�/-3�'8,.741-34,iÀ

��/-µ )�¸�>874347:5-,-°:»o±c) '8)�>8²�=6/.)X±�'*,-)�²�7:»�'l»�+�)�µ�=uÃ�µ�µ 5¢°�1�»�)* �Ê(=u'o5�=¢»�'8»S'*,.7Q»�)�µ 5¢°�1�»�)X»Âl,.=6µB,�»*1.Ä-»*1.²�)l=u'�°4/-±�Âl,.=6µB,�²�=634,Q'�Ä�)l+�°�>*'%74³Þ°4/(¯IÃ-/-°45.,(¯Q+�7�'8,.)�»*=¢»%=u'�>8)�°:µB,.)�»�À�;.7:>)�°4µB,Iµ�56°41-»�)%'8,.)�¿q=6/Q'*)�34)�>B»`7:1c'*+.1.'aµ 7:>*>8)�»*+�7:/-±�'*7 ��Ê )aÊ� �°�/�± �OÀ ® ,-)�»*)�°�>8)�°o²�)�°4»*1.>8)7�³-+.>8)�±.=6µ '*=6¶4)$+�7KÂ$)�> �Kµ�74²�+.>8)�»8»�=674/iÊ '*,.)o/(1.²Ä�)�>%74³-+�7Q»�=�'*=6¶4)$) Í.°4²�+-5�)X»a)�Íc+.56°4=�/-)�±`ÊX'*,-)/Q1-²Ä�)�>74³$/-)�3:°�'*=6¶4)�)�Íc°4²�+.5�)X»I=6/-µ 7:>*>8)�µ '*56¯Ö) Íc+.5¢°�=6/.)X±Ò°4/-±Ò'*,-)�/(1.²Ä�)�>�74³o³�1.>�'8,.)�>°K'*7:²�»$'*7�µ 7:²�+-5�)�'*)�'*,-)�µ 5¢°�1-»*)4Êc>8)�»*+�)Xµ�'8=�¶:)�56¯4À.Úq74'*)�'*,�°K' �Ö=6»l±c)�Ã-/.)X±<°:»

� ����¹�) Õ¹ �� � ��º�º�� )Âl,.)�>8) �=6»I/-7K '*,-)�5�)�/.3�'8,Ý7�³$'*,.)�µ�56°41-»�)�°4/-±��Ì=¢»�'*,-)�'*74'8°�5�/Q1-²Ä�)�>I7�³o+�7:»*=u'8=�¶:)) Í.°�²�+.56)�»�À ® ,.)�²1.5�'*=6+.56=6µ�°K'*=674/IÄ(¯��k°�/-±I±c=6¶(=6»*=674/�Ä(¯ )°4>*))AH1�»H'%°lÂ$°[¯�7�³./.7:>*²�°�56=¢»�=6/.3'*,.)�²�)X°4»*1.>8)�Âl,.=65�)�»H'8=�565%5�)X°[¶Q=6/.3 ��°�²�7:/.7�'874/.=¢µ�°45�56¯�=6/-µ�>*)X°4»*=�/.3�³�1./-µ�'8=�7:/!7�³$)aÀ ® ,-)¶[°45�1-)I7�³ �!7:1c'*+-1c'�=¢»q>8741./-±.)�±�'*7�'8,.)�/.)X°�>8)�»�'q=�/Q'*)�34)�>�À.Ø�=�3:,.)�>q¶K°45�1.)X»l7�³ �Ö=�/�±c=6µ�°K'8)'*,.)I²�7:»�'l+.>874²�=6»*=6/.3�µ�°�/�±c=6±-°K'*)Iµ�56°41-»�)X»$³�74>o'8,.)�Ã-/-°45`,Q¯(+�7�'8,.)�»*=6»�À

Yq5¢»�72/.74'*)�'8,-°K'�'8,.)�)�Íc°4²�+.5�)�=6565�1-»�'*>B°K'8)�±Ò=¢»I+�)�>*,�°�+-»I74³l74/.)�74³S'8,.)�²�7:»�'Ä-°:»�=¢µËQ=6/-±.»�'*,-°�'�¸�>874347:5Qµ�°�/�µ 7:+�)lÂl=�'*,iÀ4´g'�,-°4»%/.7�µ�74/-»�'8°4/Q'�±.)�µ 5¢°�>B°K'8=�7:/-»�Ê�³�1-/-µ�'8=�7:/-»�Ê45�=¢»H'B»�Ê=�/Q'*)�34>8=u'H¯�µ 74/�»H'8>8°4=�/Q'8»�ÊÞ>*)Xµ 1.>B»*=�7:/�°�/�±�,�°4»�³�)�Â�) Í.°4²�+-5�)X»I°�/-±�Ä-°4µBË(3:>*7:1./-±Öµ�56°41-»*)�»�À´g'q,-°4»oÄ�)�)�/<1�»�)X± ³�7:>l=�56561-»H'8>8°�'*=6¶4)�+.1.>8+�7Q»�)X»o74/.56¯4À

� ��:§.­� �§c­*¦�� �¬`¬`«�¨?�¬ � �¦�ª��(­I�S¦�­ ��¬A�¦�¬)�

��/-µ )�¸�>*7:347:5c,-°4»�5�)X°�>8/:'�°»�)�'S7�³`>81.56)�»�³�>874²�) Í.°4²�+-5�)X»�ÊK'8,.)�»*¯c»H'8)�²�+�)�>*²�=�'8»$° �Q1-°�/.¼'*=�Ã�°�Ä.56)�°�/-°45�¯c»*=6»�74³$+.>8)�±.=6µ '*=6¶4)�°4µ�µ�1.>B°4µ ¯:À ® ,.)�²�)�'*,.7c±.»�1-»�)X±!'872°4µB,.=6)�¶:)'8,.=6»�¶[°4>*¯°4µ�µ�74>B±c=6/.3'87�'*,.)I/(1.²�Ä�)�>q7�³a'*)�»�'q) Í.°4²�+-5�)X»�À&(1.+.+�7:»*)l'*,-)�'8)�°4µB,-=�/.3�Ã-5�) ='2�5R9 '2!m4*@"K; µ�74/Q'8°4=�/-»�'*,.)�³�74565�7KÂl=6/.3±.) Ã-/.=�'*=674/�»S°4/-±

) Í.°�²�+.56)�»�¹w'8,.)�'H¯Q+�)�»o°4/-±�Ä-°:µBË(34>8741./-±�Ë(/.7KÂl56)�±.34)�°4>*)�°4»8»�1-²�)X±�'8,.)�»8°�²�)�°4»S=�/�'*,-)+.>*)�¶(=�7:1-»o) Í.°�²�+.56)I°�/-±�,-°[¶:)�'8,(1-»oÄ�)�)�/#74²�=�'�'8)�±-º À# p -�k� 5�&2 ( � ���3��q# p -�k� 5��� ( � �����3��q# p -�k� 5��"818->1�mK;�/)�>q

Page 21: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

� M�k'5�2!m ='2?5R9'9d5H2 2!6K;Hk8- (<lR !�n�8k'5�1 -�� , m (,P)6� )� 5�mG1 J?1 1!/ 5H ?1R9 - 2?k�"�2?k?-�k�m� Al:m�=� 1�kH �kH2>9 l m?kH2d-4(f"�2?k�"81?-�lR Al>1>mA-4( m81�6'mA-+(�kH d+.*# p 9A1�1�k�� � �)(`-+� �H(8;8l!-) �( p (K;?lH-) 3�@�>q# p 9A1�1�k�J � �)($1�kH 5���H(K;8l�-) 5( p (8;8l�-) ��@�>q# p 9A1�1�k�J � �)(I"�2?k�"5� �H(K;�l!-R ( p (K;�l!-R )� �>q# p 9A1�1�k�J � �)(Im81�6'm5� �H(K;�l!-R ( p (K;�l!-R )� �>q# p 9A1�1�k�J � �)(� ��?kH2HJ � �H(?;8lH-) 5( p (?;8lH-) �� ��q# p 9A1�1�k�J � �)( l��?kH2HJ � �H(?;8lH-) 5( p (?;8lH-) �� ��q# p 9A1�1�k�J �"(+(Im'" � ��(K;8l!- ( p (8;?l!- )� ��q# p 9A1�1�k�J �"(+(��!" � ��(K;8l!- ( p (8;?l!- )� ��q

���������������������������������������� � /!"?k8-

� *'*'*

����������������������������������������������"! 58+R3'='2?1�6!mB1 3!m81>(K;!k 1!=�k

� *'*'*

���������������������������������������� S?18-'lR Al��?k k��?5R98"8;!k8-

-�� � !�8k (79A5�m (0(85�;�3d-�(� !��k�(�1�1�= � ( �� � *-�� � !�8k ($1�1H= (0(85�;�3d-�(� ?1 (� H�8k (D9A5)m � ( � � � *-�� � 5�($1'1H= (I�<l d-4(^5�(@J85�;H; � ( � � � *-�� � !�8k (79A5�m (0(85�;�3d-�( l m5(� H�8k (0�81)6A->k � ( �� � *

-�� � !�8k (79A5�m (0(85�;�3d- � ( ��� � *® ,.=6»�=¢»I°�56²�7:»�'�'8,.)�)�Í.°�²�+.56)�74³�'*,-)�5¢°4»�'I»�)Xµ�'*=674/�Âl=u'8,Ò°�>8)�±c1-µ '*=674/�=�/�'*,.)�+�7:»*=u'8=�¶:)) Í.°�²�+.56)�»�À ��=6¶4)�/2'*,-=6»�>8)�±c1-µ '*=674/Ö¸�>*7:347:5iÂl=�565a³�°�=656»�'*7�Ã-/-±#'8,.)�»*°4²�)�,(¯Q+�7�'8,.)�»*=¢»�°:»Ä�)�³�74>8)�°4/-±<+.>87(±.1-µ )X»l»�7:²�)�=6/-µ 7:>*>8)�µ 'oµ�56°:»*»*=�Ã�µ�°�'*=674/-»�À

��/-µ )<¸�>874347:5�,-°:»�³�7:1./-±Ó°Ö>*1.56)�³�7:>E�=�'�µ�°�/�Ä�)<34=6¶4)�/Ó°Ö»*) '�7�³l'*)X»H'�) Í.°4²�+-5�)X»'*7 »*)�)�,-7K¡°:µ�µ�1.>8°�'*)I=�'8»�+.>*)X±c=¢µ�'*=674/�»�°�>8)4À�&(1.+.+�7:»*)I'*,-)�'*)X»H'�Ã-56) ='2�5R9 d-) U*@"K; =¢»�°:»³�74565�7KÂq»�À� S?18-'lR Al��?k ?k8-) k��?5 98"K;!k8-

-�� � !�8k (79A5�m (0�<lR d-4(0 !�8k ($1'1H= � ( ��� � *-�� � 5�(IJ?5�;'; (I�AlR d-4(� ��8k�(21�1�= � ( �� � *-�� � 5�(IJ?5�;'; (I�AlR d- � ( �� ��*-�� � k �?k�2'/ (IJ85';'; (I�<l: d- � ( � � � *-�� � k �?k�2'/ ($1�1�= (I(85�;)3d- � ( � � � *-�� � k �?k�2'/ (79A5>m (I(85�;)3d- � ( � � � *-�� � 5�(79d5�m (I(85';�3d- � ( �� ��*

Page 22: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

-�� � 5�(`-`9A5�;'; (D9A5�m (I(�5�;�38- � ( � � � *-�� � k �?k�2'/ (Im<lH+�k�($1�1>= (IJ�5H2!3d- � ( ��� � *

�� kH=�5H Al��?k ?k8-) k��?5 98"K;!k8-

# p -+� � k �?kH2!/ (79A5�m � ( �� � *# p -+� � 5�(79A5>m � ( �� � *# p -+� � 5�(`- 9d5�;'; (79d5�m � ( �� � *# p -+� � k �?kH2!/ (Im<l!+>k�($1�1>= � ( � � � *� )�µ�°�/#µ�°�565i¸�>8743:745Þ=6/:'8)�>B°4µ '*=6¶4)�56¯�Ä(¯ AH1-»�'q'H¯(+.=6/.3"'2?1H=?1�;74/�'*,.)�µ�74²�²�°�/-±�5�=6/.)�°4/-±�'8,.)�/2µ�74/-»*1.5�'$'8,.)�Ã-56) =!2?5R9 '2Hm$*@"K; '*7�>*)X°4±�=�/�'*,-)�±c) Ã.¼/.=u'8=�7:/-»�°4/-±�) Í.°�²�+.56)�»�ÊK34)�/.)�>B°�56=¢»�)$'*,-)q+.>8)�±c=¢µ�°�'*)o=�/ �Q1.)X»H'8=�7:/�°�/-±�'*,-)�/�'*)X»H'$¸�>874347:5 � »,Q¯(+�7�'8,.)�»*=6»S°�3Q°�=6/-»H'�'*,.)�'*)�»�'�Ã�5�):ÀQÚ�7�'*)�'*,-°�'S=6/�=6/:'8)�>B°4µ '*=6¶4)l²�7c±c)�Â$)q,-°[¶:)l'*7�)�Íc+.5�=¢µ�¼=u'85�¯ '*)�565O¸�>*7:34745�'*7�Ã�/-±#°�3:)�/.)�>8°45Þ>*1.56)4Ào@p +�1>mA-R6K;� ��&='2?5R9)%� '2!m���q

o@p =?k>m8kH2?5�;?l!-�k � -�%��3��q

-���� ( ! � # p m'"5��� ($0���( �!" �*0�(��)�+( m!" ��� ( ! � *-���� ( ! � # p m'"5��� ($0���( ��?kH2HJ �*05( ! � *

o@p ?k?-) 5�&='2�5R96%� d-R )��q

� �?5�;?-�kjm?kH=?5H Al��?k# � -�� � k �?k�2!/ (@m<lH+�k (�1�1>= (IJ?5�2!3d- � ( � � � *

� S'O � � , 0�� ��� -H%�� �

0'1�m� Al m'=?k�mA+)/j ?5�JK;Hk � %@%@%@%@% %@%@% �&% %@%@%@%@% % %�� �S o � o � o �

o � � * � � o � �* � � o�RS o � o T o �o � * � � o � ��* � � o�������������������������������������

� T ��� P �?kH2?5';'; 58+'+ 6�2?58+)/ � ���*��� � �?% p �*��� ���� 0H�<l p - � 685H2?k � � * � � ���� lR !�?1�6� �?5� ?k8- +�1H2!2?k8+) Al)1�m � �*��HT �� 0H�<l p - � 685H2?ke"�2?1�J?5�J<l�;8l '/ � �*��)� � T �® ,.) �F)b&E�� ����µ 7:²�²�°4/-±k=¢» 1-»*)�±Õ'87�°4±-±Õ'*,.)Ò±c) Ã-/-=u'8=�7:/-»�°4/-±£µ 5¢°�1�»�)X»�'*7Õ¸�>874347:5 � »ËQ/-7KÂl5�)X±c34)oÄ-°:»�):À ® ,.)��!\`bA\ C^a � � E \Sµ 74²�²�°�/�±'8,.)�/�'8)�5656»S¸�>8743:745Q'*7IÃ�/-±�°�34)�/.)�>B°�5c>81.56)³�74>��:À ® ,.)�°4>*3:1.²�)�/Q'o'*7�'*,.=¢»qµ�74²�²�°�/-±<,-°:»$'*,.)�³�7:>*² _)C&\,c � ,a��0\�Aa C ��� KÀ ® ,.)�»*)�µ 7:/-±>*1.56)�'8,-°K'�¸�>8743:745�Ã-/�±.»�=�/-µ�74>8>*)Xµ�'85�¯Ò,-°4» ��)\DC"�=6/-»�'*)X°4±Ý74³ ��R\DC"� À ® ,.=¢»�>*1-5�)�=¢»'*,.)�/

Page 23: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

'*)�»�'*)X±Ò1-»�=6/.3<'*,-)�'*)�»�'µ 7:²�²�°4/-±�Âl,.=6µB,�)�Í(+�)�µ '8»�°�Ã-56)�/�°�²�)�°4»�=�'8»�»*7456)�°�>8341.²�)�/Q'XÀ® ,.)�>*)X»�1-5u'�74³S'8)�»�'*=6/.3!°�>8)�°4»�³�7:5�567KÂq» �`7:1c'�7�³$'*,-) É#+�7Q»�=�'*=6¶4)�)�Íc°4²�+.5�)X»I=6/�'8,.)�'8)�»�'°�565�Ä.1c'�74/.) ÂS)�>*)�µ�74>8>*)Xµ�'*56¯Ö+->*)X±c=6µ '*)X±�ÄQ¯�'*,-) >81.5�)X»�À ® ,.)�¿!/-)�3:°�'*=6¶4)�)�Íc°4²�+.5�)X»�=6/'*,.)�'*)X»H'�°�>8) °�565$µ�74>8>*)Xµ�'85�¯Ò+.>8)�±c=¢µ�'8)�±ÝÄ(¯Ò'*,.)<>81.5�)X»�À ® ,.)<µ 74/Q'8=�/.3:)�/-µ�¯Ö'B°�Ä.56)�°4Ä�7K¶:)»�,.7KÂq»I'*,.=¢»I¼��¾»�'8°4/-±.»I³�7:>�+.>8)�±c=¢µ�'8)�±�Ä(¯�'*,.)�>81.56)4Ê�� �¾/.7�'�+.>*)X±c=¢µ�'*)X±`Ê��Ì»H'B°�/-±.»³�74>o°4µ�'81-°�5Þ+�7:»*=u'8=�¶:)�)�Íc°4²�+.5�)X»�Ê�� �Ô³�7:>$/-)�3:°�'*=6¶4)�74/.)X»�À'Y »�'8°�'*=¢»H'8=6µ�°�5`µB,.=�¼g»^�Q1-°�>8)l'8)�»�',-°4»SÄ�)�)�/<°�+.+.56=6)�±�'87�'8,.)�±-°K'8°�°�/�±�°�/�7K¶:)�>B°�565�°:µ�µ 1->8°:µ ¯�°�/-±�µB,-=u¼F»&�Q1-°4>*)�+.>*7:Ä-°�Ä-=�56=u'H¯µ�°�5¢µ 1-56°�'*)�±iÀ® 7Ò=�²�+.>87K¶4)<°4µ�µ 1.>B°4µ�¯4Ê�74/.)#µ 7:1.56±�'*,-)�/�'*>8¯Ó°4±.±c=6/.3�'*,.)<'8)�»�'�)�Í.°�²�+.56)�»�'*7Ò'*,-)

5�)X°�>8/.=�/-3�)�Íc°4²�+.5�)X»l°�/-±#»*)�)�=�³a'8,.)�»�¯c»�'*)�²Ìµ�°4/<µ�74²�)�1.+#Âl=u'8,#°4/�=6²�+.>87K¶4)�±�>81.5�):Àc´F/'*,.=¢»�µ�°4»*)I'*,-)�'*)X»H'�>81.5�)X»�°4>*)°�5�=�'�'85�)�²�74>8)�34)�/.)�>B°�5O°4/-±!¸�>*7:34745i±.7Q)X»�µ�74²�)�1.+ÖÂl=u'8,°�/-)� >*1.56)�'*,-°�'q) Íc+.5¢°�=6/-»l°�565Þ'*,-)I) Í.°�²�+.56)�»�À

Y ³�1.>*'*,.)�>!'*)X»H'8=�/-3k'*)�µB,-/.= �Q1.)�+.>*7K¶(=¢±c)�± Ä(¯ '*,.)�»*¯c»H'8)�² =6»2'*,.)�5�)X°[¶4) ¼g74/-) ¼g741c'²�)�'*,.7c±`À � ,.)�/!'*,-)�>8)°�>8)�/.74'�²�°�/(¯�)�Í.°�²�+.56)�»l'87 56)�°4>*/#³�>874² °�/-±2'*)�»�'�ÊÞ°�/27K¶:)�>B°�565°4µ�µ�1.>B°4µ ¯Ò²�)�°:»�1.>8)�µ�°�/ÓÄ�)#µ�°�5¢µ 1-56°�'*)�±ÓÄQ¯Ý+-1c'�'8=�/.3Ò74/-) ) Í.°4²�+-5�)#°4»*=6±.)�³�74>�'*)X»H'8=�/-3°�/-±Ö5�)X°�>8/.=�/-3 ° >81.56)�³�>874² '8,.)�>8)�²�°4=�/.=6/.3�) Í.°�²�+.56)�»�À ® ,-=6»�=¢»�'8,.)�/�>*)�+�)X°K'8)�±2³�7:>�°45�5'*,.)I)�Íc°4²�+.5�)X»�À ® ,.)I+.>87(µ�)�±c1->*)�'*7�±.7�'8,.=¢»q=¢»$'*7�µ 7:/-»*1.5u'l'8,.)�>8)�56)�¶K°�/Q'oÃ-56)�»q°4/-± '*,.)�/'*7Iµ�°45�5c'8,.)lÄ.1.=65�'�¼g=�/�+.>87cµ )�±.1.>*) � \,a )\�Âl=�'*,�°4/�°4>*3:1.²�)�/Q'�7�³-'8,.)o³�74>8² _)C&\,c � ,a��0\ �<a C ��� KÀÚq7�'8)I'*,�°K'�3:)�/.)�>8°45�=¢»�)�²�1-»H'�/.7�'�Ä�)�1-»*)�±��-7�'8,.)�>8Âl=¢»�)�'*,-)>81.5�)I=¢»q56)�°4>*/Q'l³�>874²×°�565i'*,-)) Í.°�²�+.56)�»�À

Yq/.74'*,.)�>q'*)XµB,./.= �Q1.)�'8,-°K'�µ�°�/2Ä�)1�»�)X±2=6»q'*,-°�'�74³�56°[¯:)�>8)�±<5�)X°�>8/.=6/.3-À.´F/!'*,.=¢»�µ�°4»*)¸�>874347:54=¢»iÃ�>8»�'%°45�567KÂ$)�±�'87q³�74>8² °�34)�/-)�>B°�54>81.56)$°4/-±�'8,.)�/�=u'%=¢»a3:=�¶:)�/°�Ã-56)S74³-) Í.°4²�+-5�)X»³�>*7:² Âl,.=¢µB,Õ=�'�'*)X»H'B»�°�/�±Ó'8>*=6)�»�'87�=�²�+.>87K¶4)<=u'B»�>81.5�):ÀY /(1.²Ä�)�>�74³�'8,.)2) Í.°4²�+-5�)X»°�>8)I'*)X»H'8)�±!°43:°�=6/-»�'l'*,.)�34)�/.)�>B°�5O>*1.56)°4/-±2Âl,.)�/2'*,.)Ã->B»H'�³�°�5¢»�)�+�7:»*=�'*=6¶4)�7:>�/.)�3:°K'8=�¶:)=6»�)�/�µ 741-/:'8)�>8)�±�¸�>874347:5�Âl=65�5o=6²�+.>*7K¶:) =�'8»�>81.5�)�'*7�'8°4Ë4)#°4µ�µ 741-/:'�7�³�'*,.=¢»�) Í.µ )�+c'*=674/iÀ® ,.)�+.>*7cµ�)�»8»�=¢»�'*,.)�/Ò>8)�+�)�°�'*)X±!Ä.1c'I/.7K '*,.)�) Í.µ�)�+c'8=�7:/-»�°�>8)�°4µ�µ 1.²�1.5¢°K'*)X±!1./Q'8=�5�°�'5�)X°4»�'lÐ�µ 5¢°�1�»�)X»S,�°[¶4)�Ä�)�)�/ '8)�»�'*)X±�Ä�) ³�7:>*)�¸�>8743:745�=�²�+.>87K¶4)X»�=�'8»o>81.56)�³�>874²Ü'*,.)�²<À ® ,-)°�563474>8=�'*,.² '8,.)�/k>8)�+�)�°K'B»�Âl=u'8,£È:ÐcÊoÁXÈ:ÐcÊoÀ6À�À�µ�56°41-»�)X»�'*7�Ä�)<'8)�»�'*)�±ÕÄ�) ³�7:>*)<'*>8¯(=�/-3Ö'87=�²�+.>87K¶4)�'*,.)I>81.56)4À ® ,-=6»lµ�74²�²�°�/-±�=6»q=6»8»�1-)�±<°4»$³�7456567KÂq»�Ào@p ;!5�/?kH25� F l�;!k�m85 9Ak3��q

� ���a¬<�I%¨?�§.­ � � ��­I �

´F/Ý'*,.) ³�74565�7KÂl=6/.32'HÂ$7!»*1.Äc¼F»�)Xµ�'*=674/�»�Â$) ±c)�»8µ >8=6Ä�) '*,.)�²�°4=�/ݲ�)XµB,-°�/.=¢»*²�»=�/�¸�>874347:5'*,-°�'�µ�°�/!Ä�)�1�»�)X±2'*7<µ 7:/:'8>*7:5O'8,.)�»�)X°�>BµB,��[À ® ,.)�»*)�°4>*)�°:ºl=6/Q'*)�34>8=u'H¯2µ 7:/-»�'*>B°�=6/:'B»�°4/-±Ä�º�+->*1./-)�»�'8°K'8)�²�)�/Q'B»�À ® ,.)�=6>�) �Þ)�µ�'B»�°4>*)�=�56561-»H'8>8°�'*)X±Ý=�/�;a=6341->*)�¿-À%Úq7�'8)�'8,-°K'�Âl=u'8,=�/Q'*)�34>8=u'H¯�µ 7:/-»�'*>B°�=6/:'B»i=�³c'*,.)S,(¯Q+�7�'8,.)�»*=¢»�� =¢»O±.=6»8°�565�7KÂ$)�±�'8,.)�/�»�7�°�>8)�°�5654²�74>8)�3:)�/.)�>8°45µ 5¢°�1-»*)�»�À-½S74/(¶4)�>8»*)�56¯4Ê:Âl=u'8,�+.>81./.)I»�'8°�'*)�²�)�/:'B»�Ê(=�³ � =6»o+.>81./.)X±`ÊQ'*,.)�/<»*7�°�>8)�°45�5Þ²�74>8)»�+�)�µ�=uÃ�µ#µ�56°41-»�)X»�=�/�'*,.)2»*)�°4>8µB,iÀ ��7(7c±�1-»*)<7�³�'8,.)�»*)#±c)�µ�56°4>8°�'*=6¶4)<Ä.=6°:»�²�)XµB,-°�/-=6»*²�»¹�)�»*+�)�µ =¢°�5656¯I+.>*1-/.)l»H'B°K'*)�²�)�/Q'8»BºOµ�°�/�Ä�)o) Í('8>*)�²�)�5�¯I)D��)Xµ�'8=�¶:)S³�7:>%>*)X±c1-µ =6/.3�'*,.)o°�²�7:1./Q'7�³�»�)X°�>BµB, +�)�>*³�74>8²�)X± Ä(¯ ¸�>*7:347:5^À� R4@8T8EHUVLXJ ( �:@B\FT*DHUu�c@8\�xQL���EHL�\F@*EaDH@B\FL�P:DHTB@S�cLXP:J(�:\`��x:UuT�x�T�C�J�C�tV\FL��c@�PQ\F@B�IEHLlT8LXJKEFDHLXtQEHx:@\F@�C DHT*x-s

Page 24: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

1 n

Present search node

Solutions eliminated by

IntegrityConstraints

Search nodeseliminated by

Prune statements

prune(Head,Body) :- ..

false :- ..

IncreasinggeneralityH = h :- b , .., b

H<IKJ ����� N�LXJKEFDHL�tutVUVJQ�I\F@BC�DHT�x�PQ\FUVJQ��UuJKEH@B��DHU Em]TBLXJ:\gEFD�C�UVJKEH\$C�J(�A:DHPQJ:@o\gE�C�EH@8GI@BJKEH\

N�8:9 � �AC >�� � ��C < � � �4?:C � � ���AC ?

¸�>874347:5�°45�567KÂq»�'*,.)�1-»*)�>�'87#°:±.±�=�/Q'*)�34>8=u'H¯!µ�74/-»�'*>B°�=6/Q'8»�=6/:'87<'*,.)�µ 5¢°�1�»�)�Ä-°:»�):À ® ,-)�»*)°�>8)�>8)�+.>8)�»*)�/Q'8)�±�°:»S,-)�°4±.5�)X»*»oµ 5¢°�1�»�)X»�ÊQ'*,-741.3:,<°4>*)�»H'874>8)�± =�/Q'*)�>*/�°�565�¯�°:»$µ�56°41-»*)�»SÂl=u'8,,.)�°:± �`a � E \�À�;-74>�)�Í.°�²�+.56)4Ê.=�³�ÂS)IÂ$)�>8)�µ 7:/-µ )�>*/-)�±#Âl=�'*,#'*,-)�+.>8)�±c=¢µ�°�'*)�» _?\DC�EDF)b�Ê�� a � \°�/-± �`\#� a � \ Ê�ÂS)�²�=634,Q'l=�/-µ�5�1�±c)�'*,.)�³�7:5�567KÂl=6/.3�µ 5¢°�1-»*)�»�À

# p "?kH2d-�1�m5���)�+( 9d5�;!k �����+( F kR9d5�;!k ����� *

® ,.=6»q,.)�°:±c5�)X»*»oµ�56°41-»�)�=¢»q»�'*74>8)�±�=6/:'8)�>8/-°�5656¯�°4»F 5�;�-�k�# p "8kH2d-�1>m ���)�+( 9A5�;!k ��)�+( F k 9A5�;!k ��)� *

°�/-±�µ�°�/�Ä�)�>*)X°4±�°4»�»*°[¯(=6/.3 "H³�°�5¢»*)l=6»�+.>*7K¶K°4Ä.5�)l=�³Þ'*,.)�>*)�=6»S°�+�)�>8»*74/�Âl,.7I=¢»�Ä�7�'8,�²�°�56)°�/-±�³�)�²�°45�) #.Ê�=�):À�/.7q+�)�>B»*74/�µ�°4/�Ä�)SÄ�74'*,�²�°�56)�°�/�±�³�)�²�°�56)4ÀX´g³('*,.)$¸�>87456743 �Q1.)�>8¯ �`a � E \��»�1-µ�µ )�)�±.»a=u'�²�)�°4/-»O'*,-°�'�'8,.)$=�/Q'*)�34>8=u'H¯Iµ�74/-»�'*>B°�=6/Q'8»i,�°[¶4)�Ä�)�)�/�¶(=6745¢°K'8)�±`À ® ,.)$=�/Q'*)�34>8=u'H¯µ 74/�»H'8>8°4=�/Q'8»%µ�°�/Ä�)o5�=¢»�'*)�±�=6/�=6/Q'*)�>8°:µ�'*=6¶4)$²�7c±c)o1-»�=6/.3�'*,.)��Q1.)�>*¯ ��� E���� b�� � �`a � E \����*À:Ú�7�'8)'*,-°�'q/.)�3Q°K'*=6¶4)�)�Íc°4²�+.5�)X»l°�>8) AH1-»H'�°�»*+�)�µ =¢°�5aµ�°4»*)�7�³%=�/Q'8)�34>8=�'H¯�µ 74/�»H'8>8°4=�/Q'8»�Àc´g³�¸�>874347:5±c) '8)�µ�'B»o'*,�°K'�°�,(¯Q+�7�'8,.)�»*=¢»l1./-±c)�>qµ 7:/-»�=¢±c)�>8°�'*=674/<=6»o=6/-µ 7:/-»*=6»�'*)�/:'qÂl=�'*,<'8,.=6»q=�/Q'*)�34>8=u'H¯µ 74/�»H'8>8°4=�/Q'$'*,.)�/2=u'qÂl=65�5i±.=6»8°�565�7K =u'B»q°4µ�µ )�+c'8°4/-µ ):À

� � � ? > ��� � � � � ���AC >��� � C < � � � ? C � ��� �AC

Y¡²�7:>*)I°:±c¶K°�/-µ�)�±�) Í.°�²�+.56)�7�³�°�/<=�/Q'*)�34>8=u'H¯�µ�74/-»�'*>B°�=6/Q'l=6»l°:»$³�74565�7KÂq»�À

Page 25: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

# p �'/!"81H !�?k8-�l!-+�79A5�;!k ����+( ! 1�1!/5(*%&�6(f"8k�2d-�1�m ��)�+( ! 1 1!/ (m?1H 5� +H;H5�6A-�k �79A5�;!k ����+(0 '2H68k&� � *

® ,.)�¸�>*7:34745�Ä-1.=�5�'�¼g=6/Ó+.>8)�±c=¢µ�°�'*) ^_BF���8\ E � E>8) '81.>*/�»I'*,-) +.>8)�»*)�/Q',(¯(+�74'*,.)X»�=¢»�1-/-±c)�>µ 74/�»�=¢±c)�>B°K'8=�7:/�=�³a74/-)�)�Í(=¢»�'8»o°�/-±�³�°�=656»$74'*,.)�>*Âl=¢»�):À ® ,-)�'8,.>8)�)�°�>8341.²�)�/Q'B»�74³O,(¯Q+�7�'8,.) ¼»�=¢»o°�>8)ÁXº�,(¯(+�74'*,.)X»�=¢»�,-)�°4±iÊcÈ:º�,(¯(+�7�'*,-)�»*=6»SÄ�7c±c¯�°�/-±�ÎQº�'8,.)�1./.= �Q1.)�µ�56°41-»*)�/(1.²Ä�)�>7�³�'*,-)�,(¯(+�74'*,.)X»�=¢»*)�±2µ 5¢°�1�»�):À ® ,.)�=�/Q'8)�34>8=�'H¯<µ�74/-»�'*>B°�=6/Q'�µ�°4/!Ä�)�>*)X°4±!°:»�»8°[¯(=�/.3�'*,-°�'"H³�°�5¢»*)I=6»�+.>*7K¶K°4Ä.5�)�¹�=�):À�°�µ�74/Q'*>B°4±c=¢µ�'8=�7:/#,-°4»lÄ�)�)�/2³�741-/-±-ºo=�³�°:º$'8,.)�+.>8)�»*)�/Q'q,(¯(+�74'*,c¼)�»*=6»=6»²�°45�)Q¹�Û�ºf� ¼ +$7(±.¯Ò°4/-±�Ä�ºIÛÌ=6»�°2+�)�>8»*74/Ý°4/-±Ýµ�º +S7c±c¯Ò=¢»�+.>87K¶K°�Ä.56)�°�/-±Ý±�º²�°45�)Q¹�Û�º=¢»�/.74'�°�1./.=�' µ 5¢°�1-»*)�¹�+�7:»*=u'8=�¶:)�)�Íc°4²�+.5�)[º�=6/�'*,.)2µ 5¢°�1�»�)<Ä-°4»*) #-À�&(1-µB,�°4/=�/Q'*)�34>8=u'H¯�µ�74/-»�'*>B°�=6/Q'S=¢»o7�³w'8)�/#µ�°�5656)�± ° "�½S5�7Q»�)X± � 7:>*5¢± Y�»8»�1.²�+c'8=�7:/&#.Ê(²�)�°4/.=6/.3�'*,-°�''*,.)�,(¯Q+�7�'8,.)�»*)�»S²1�»H'o/.7�'o²�°�Ë:)�+.>8)�±c=¢µ�'8=�7:/-»$°�Ä�741c'o) Í.°�²�+.56)�»SÂl,.=¢µB, ,-°[¶:)�/.74'$Ä�)�)�/»�)�)�/iÀ ® ,.) 1-»*)�74³l»*1-µB,Ó°!µ�5�7Q»�)X±�ÂS7:>*5¢±�°4»8»�1-²�+.'*=674/Ý)�/�»�1.>8)�»�'*,-°�'�¸�>8743:745�Âl=65�5$/.74'7K¶4)�>834)�/.)�>B°�56=¢»�):Ê�Âl,.=6µB, =6»�1-»*) ³�1.5�³�7:>�=6/-»�'8°�/�µ )Ö=6/Ô'8,.)�µ�°4»*)Ö=6/ÔÂl,.=¢µB,Ñ/-7�/.)�3:°K'8=�¶:)) Í.°�²�+.56)�»�°�>8)�°[¶K°4=�5¢°�Ä.56)4À`Ø�7KÂS)�¶4)�>XÊ.'8,.)�=�/Q'8)�34>8=�'H¯#µ�74/-»�'*>B°�=6/Q'�)�5�=6²�=�/�°K'*)X»�7K¶4)�>834)�/.)�>*¼°�56=6»8°K'8=�7:/�Ä(¯!)�/-»�1->*=6/.3<'*,-°�'¸�>8743:745%Âl=�565�/.74'�34)�/-)�>B°�56=6»*)�°�'°�565�Âl=u'8,Ý>*)X»�+�)�µ '�'*7#'*,-)+�7Q»�=�'*=6¶4)�) Í.°4²�+-5�)X»��

� � C E � C � � � E�� >!C >�� >@? ? � �AC >��� ��C < � � � ? C � � � �AC

® ,.)�³�7456567KÂl=�/.3Ö=6»�°25�)X»*»�»�)�¶4)�>*)�=6/Q'*)�3:>*=�'H¯�µ 74/�»H'8>8°4=�/Q'�ÊOÂl,.=6µB,Ý,�°4»�Ä�)�)�/Ó>8) ³�)�>8>8)�±'*7�°:» "*=�/-+.1c'�µ�74²�+.56) '8)�/.)X»*»*#ÓÅ �XÇgÀ ® ,.)#µ 7:/-»�'*>B°�=6/:'�>*) �:1-=�>8)�»�'8,-°K'�'*,-) ,(¯(+�74'*,.)X»�=¢»�)X±+.>*)X±c=¢µ�°K'8)#²1-»�' °4µ ' °4»�³�1./-µ '*=674/-»Ö¹�=6)4À � ������� Âl,.)�>8)<'*,.)�>*)2=¢»�°K'�²�7Q»H'�74/-)�%¹���º /� ³�7:>�)�¶4)�>*¯ �2/�Òº�Âl=u'8,�>8)�»*+�)�µ�'�'87�'*,.)q'*>B°�=6/.=�/-3�)�Í.°�²�+.56)�»�ÀK´F/!Å �[Çc'*,.=¢»�'H¯(+�)7�³�µ 7:/-»�'*>B°�=6/:'�=6»�1-»*)�±#³�7:>�56)�°4>*/.=6/.3�>81.56)�»�³�74>�'*,.)�µ 7:/-»H'8>*1�µ�'*=674/274³�'*,.)�+-°:»H'�'*)�/�»�)�7�³X�/.3:5�=¢»�,OÀ ® ,(1-»�³�7:>�)�¶:)�>8¯¶:)�>8Ä�=�'�=¢»�°:»*»*1.²�)�±�'8,-°K'�'8,.)�>8)q=¢»�°I1-/.= �Q1.)�+-°4»�'�'*)�/-»*)4À ® ,-)³�74565�7KÂl=6/.3�¸�>8743:745�=�/Q'*)�34>8=u'H¯�µ�74/-»�'*>B°�=6/Q'l)�/-µ�7(±.)�»$'*,-=6»qµ�74/-»�'*>B°�=6/Q'�À# p ��/H"81H !�8k?-�l!-+��"?58-) 5��� (��)��( ! 1 1!/5(�%B��(

+H;!5�6A->k ��"858-R 5��� (��&��(� H2!6?k3��( ! 1 1!/ ( m81� 5��� ��� �3� *® ,.)�µ�74/-»�'*>B°�=6/Q'�µ�°�/ÖÄ�)�>*)X°4±2°4»�»*°[¯(=6/.3 "H³�°456»*)�=�³�°:ºl'*,.)�,Q¯(+�7�'8,.)�»*=6»�=6»�+-°:»H'[¹�ÛÊ � º � ¼+S7c±c¯:ÊK°�/-±Ä�º`'8,.)�>8)$=6»%°q1-/.=u'�µ�56°41-»�)�¹�=6)4ÀK)�Íc°4²�+.5�)[º`+-°:»H'[¹�Û�Ê� `º�°4/-±µXºiÂl,.)�/�'8,.) +$7c±c¯=6»�+.>*7K¶:)�±'*,.)�»�1-Ä-»H'8=u'81c'*=674/�³�7:> � ±.= �Þ)�>B»�³�>874²� )#.À4´F/�7�'*,-)�>�Â$74>B±.»%'8,.)q,(¯(+�74'*,.)X»�=¢»�)X±µ 5¢°�1-»*)�²�1-»�'�/.74'I²�°4Ë4)�° +.>8)�±.=6µ '*=674/!³�7:>�'*,.)�+-°:»H'�'*)�/-»�)�7�³o° ¶:)�>8Ä!=6/Ö'8,.)�)�Í.°�²�+.56)»�)�'qÂl,.=6µB,#±c=���)�>8»l³�>*7:² '*,.)�°:µ�'81-°�5`+-°:»H'o'8)�/-»*)I7�³a'*,-°�'q¶4)�>8ÄiÀ

� >�� >�� ��C�� = >����AC >�� � � C < � � �4?:C � � ���AC

® ,.)Ö)�Íc°4²�+.5�)X»�°4Ä�7K¶:)Ö=65�561-»�'*>B°K'8)!'*,-)�1-»*)Ò7�³=6/Q'*)�3:>*=�'H¯kµ 74/�»H'8>8°4=�/Q'8» ³�74>�'*)X»H'8=�/-3»�)�²�°4/Q'*=¢µq+.>874+�)�>*'*=6)�»�7�³O,(¯(+�74'*,.)X»�)X»�À:´g'$=¢»$°�5¢»�7 �:1-=u'8)�1-»*1-°�5�'*7�1-»*)q'8,.)�² '87�'*)X»H'l»*¯Q/.¼'8°4µ '*=¢µ$+.>*7:+�)�>�'8=�)X»�7�³�µ�56°41-»*)�»�À���/.)$»*1-µB,�Âl=6±.)�56¯�1-»*)�±�»�¯(/Q'8°:µ�'*=¢µ$+.>874+�)�>*'H¯I7�³�µ�56°41-»*)�»�=6»Âl,.) '8,.)�>o'8,.)�¯ °4>*) �H\ bd\DC&a��"��)\IÅ�Á4Á ÇgÊ(7�'8,.)�>8Âl=6»*)�µ�°�5656)�± C&a)b��H\�� C&\ E�� C � "�@\,cKÀ?Y 3:)�/.)�>8°�'*=6¶4)µ 5¢°�1-»*)�=¢»�74/.)�=6/�Âl,.=¢µB,Ö)X°4µB,�¶[°4>*=¢°�Ä-5�)�°�+.+�)�°4>8»�=6/�°K'I56)�°:»H'�'HÂS7<±c=���)�>*)�/:'�°�'*74²�»�ÀÞ´g'µ�°�/�Ä�)2»*,.7KÂl/Ó'8,-°K'�=�³�°45�5lµ�56°41-»�)X»�=�/k°Ö56743:=6µ�+.>8743:>8°4² °4>*)<>8°4/.34)�>*)X»H'8>*=¢µ�'8)�±Ó'*,.)�/°�565O'8,.)�°�'*7:²�»�Âl,.=¢µB,Öµ�°4/!Ä�)�±c)�>*=6¶4)X±<³�>*7:²×=�'I°�>8)�34>8741./�±`À ® ,.)�³�7456567KÂl=�/.3 =�/Q'*)�34>8=u'H¯

Page 26: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

µ 74/�»H'8>8°4=�/Q'�°�/-±Ò°4»8»*7(µ�=6°�'*)X±�±c)�Ã-/.=�'*=674/-»�)�/-µ�7(±.)�'8,.)�>8):�Q1.=6>*)�²�)�/Q'�74³$3:)�/.)�>8°�'*=6¶4)�/.)�»8»³�74>l,(¯(+�74'*,.)X»�=¢»�)X±�µ�56°41-»*)�»�À# p ��/H"81H !�8k?-�l!-+����k'5 15( ! 1�1!/5(*%&�6( m?1�m�=?k�m?kH2?5H Al��?k �@����k!5 15( ! 1�1H/)� � *

m?1�m�=?k�m?kH2?5H Al��?k �*0�� # p � 0 lH- 5 +�1R9'9d5 p -�k�"?5H2?5H ?k�1 ;8lH-) 1 F 5H ?1R9�-l m �����)($0��+( ��5H25�&i��)(������+(m81H 5�@� l m ��� � ($0��+( ����) ��� � ��( ��5H25�&i � (�� �3�+( Q4� ��� i �3�@� *

��5H25�&i (Ii)� # p �?5H25��i)� *��5H25�&i ( � � # p 5H2'=5� ( � ( � ���+( � ��( �?5H25��i ( � ��� *

® ,.)Ä.1-=�5�'�¼g=�/Ö+.>*)X±c=¢µ�°K'8) � b�'8)�»�'8»�'*,.)�²�)�²Ä�)�>B»*,.=�+Ö7�³�=u'B»qÃ�>8»�'�°4>*3:1.²�)�/Q'qÂl=u'8,.=6/!'*,-)µ 74²�²�°#»�)�+-°�>B°K'8)�±�5�=¢»�'�>*)�+.>*)X»�)�/Q'*)�±ÖÄ(¯Ö=�'8»�»*)�µ�74/-±Ò°�>8341.²�)�/:'XÀ ® ,.)�+.>8)�±c=¢µ�°�'*)�b�F>b ��H\ bd\DC&a�����)\I»�1�µ�µ )�)�±.»�=�³�'8,.)�>8)�=¢»I°�¶[°4>*=¢°�Ä-5�)�����=6/Ò°�'*74²�����7�³Sµ�56°41-»�)�Âl,-)�>8)����±c7()�»o/.74'�°�+.+�)�°4>l=�/#°�/(¯�74'*,.)�>q°K'*7:² ���I=6/�%À

N�8�� � � � �4> ?:C��?C > � >��AC ?

´F/:'8)�3:>*=�'H¯2µ 74/�»H'8>8°4=�/Q'8»�>*)�AH)�µ '�µ�)�>*'8°�=6/!,(¯(+�74'*,.)X»�)X»�Ê�Ä.1c'�74/-5�¯!°�³w'*)�>�'*,-)�¸�>*7:34745a=�/Q'8)�>*¼+.>*)�'*)�>I,-°4»Iµ�74/-»�'*>81-µ�'8)�±Ö'*,.)�,(¯(+�7�'*,-)�»*=6»�'87<Ä�)�'*)X»H'8)�±`ÀO´g³$+.>81./.=6/.3#=¢»I1-»*)�±�=�/-»�'*)X°4±`ʵ 5¢°�1-»*)�»�µ�°�/ÝÄ�)�'8°4Ë4)�/Ý741c'74³qµ 74/�»�=¢±c)�>B°K'8=�7:/�Âl=�'*,�5�=�'�'85�)�) Íc)�µ�1c'*=674/�'8=�²�)�7K¶:)�>8,.)�°:±`À½S74/-»*=6±.)�>o³�74>l)�Í.°�²�+.56)�'8,.)�³�7456567KÂl=�/.3�+.>81./.)�»�'8°�'*)�²�)�/:'XÀ

"�2!6'm8k ���?k'5 1�( ! 1 1!/�� # p �?k!5 15( m81H 5� ! 1 1!/)� *

® ,.=6»�»H'B°K'*)�²�)�/Q'�Âl=65�5a>*)�AH)�µ�'�°4/#,Q¯(+�7�'8,.)�»*=6»q34)�/-)�>B°K'*)X± Ä(¯#¸�>8743:745Þ=u³�=�'�=¢»o³�741./�±<'*,-°�'Âl=u'8,Ò°�µ )�>*'8°4=�/Ò»�1-Ä-»H'8=u'81c'*=674/�'*,-)�Ø�)�°4±�µ�°4/ÖÄ�)�+->*7K¶:)�±#Ä.1c'�'8,.)�+$7c±c¯!µ�°�/./.74'�À`¸�1.'°�/.74'*,.)�>�Âo°[¯4Ê�'8,.)�+.>*1-/.)�>*1.56)�»*°[¯c»�'*,-°�'I³�74>�)�¶:)�>8¯2=�/�»H'B°�/-µ�)�74³�'*,-)�,.)�°:±2'*,-)�Ä�7c±c¯²1-»�'lÄ�)�+.>87K¶[°4Ä.56)4À ® ,.=6»o²�)X°�/-»S'*,�°K'$'*,.)�'8°4>*3:) 'o>*1-5�)�»�)�'oµ�74/-»*=¢»H'B»S74³a°�»�=6/.3456)�µ 5¢°�1-»*)Âl,.=6µB,!µ�7K¶4)�>8»o°�565O74³%'*,.)�)�Í.°�²�+.56)�»�À ® ,(1-»q°�/(¯�,Q¯(+�7�'8,.)�»*=6»*)�±2µ�56°41-»*)IÂl,.=6µB,!±.7Q)X»l/.74'±c7Ò»*7�µ�°�/�Ä�)#=634/.7:>*)X±`Ê%°4»�µ�°4/�°�565o²�74>8)�»*+�)Xµ =�Ã�µ#µ 5¢°�1-»*)�»�Àa´F/�'*,-=6»�Âo°[¯Ò'*,.)<)�/Q'*=6>8)»�)X°�>BµB,�'*>8)�)�Ä�)�567K »*1-µB,#°�/<,(¯Q+�7�'8,.)�»*=¢»lµ�°�/<Ä�)�+.>81./.)�±iÀ¸�>81./.)Ý»H'B°K'8)�²�)�/Q'8»�°�>8)�) Í('*>8)�²�)�56¯ 1-»�)�³�1.5�³�7:>Ö»�'8°K'8=�/-3£Âl,.=6µB, Ë(=6/-±.»274³�µ 5¢°�1-»*)

»�,.7:1.5¢±�/.74'�Ä�)2µ 7:/-»*=6±c)�>*)X±Ó=6/�'8,.)!»*)�°�>BµB,iÀ%;.7:>�=6/-»�'8°4/-µ ):Ê�»�1.+-+�7Q»�)#¯47:1�Âo°�/Q'*)X±Ý'87±c=6»8°�56567KÂ�»�)�5u³w¼g>8)�µ 1->8»*=�¶:)µ 5¢°�1�»�)X»�À ® ,.=¢»Iµ�°4/ÖÄ�)�°:µB,.=6)�¶4)X±!1-»*=6/.3 '8,.)�³�74565�7KÂl=6/.3#»�=6²�+.56)+.>*1-/.)�>*1.56)4À

"�2!6'm8k ���?k'5 1�( ! 1 1!/�� # p l m5���?k'5 1�( ! 1 1!/�� *

® ,.)�+.>*1-/.)I»H'B°K'*)�²�)�/Q'l)�56=�²�=6/-°K'8)�»l°�/(¯�µ�56°41-»�)�Âl,.7Q»�)�Øq)X°4±�1./.=�Ã-)�»oÂl=�'*,2°�/<°K'874²Ü=6/=u'B» +$7c±c¯4À:&c=�²�=656°4>*56¯�°I»*=6/.3456)l5�)�¶4)�5.7�³`²1.'*1-°45->8)�µ 1->8»*=�7:/�µ�°�/�Ä�)q)�56=�²�=6/-°K'8)�±�1-»*=6/.3I'*,-)³�74565�7KÂl=6/.3�+.>81./.)I»H'B°K'8)�²�)�/Q'�À"'2!6'm8k ���?k'5 15( ! 1 1!/)� # p

l m ���' �1R9�( ! 1�1!/)�+( +H;!5�6d-�k ���' �1R9�( ! 1�1H/�� �+(l m ���?k!5 15( ! 1�1!/���� *

Page 27: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

� � �`§(§c­*¦���¨B� �Q©�«�¨-¬)� �I©S«�¦�ª �

´g'q=6»o/.)Xµ )X»*»8°�>8¯�'*7�+.1.'lÃ-/.=�'*)I56=�²�=�'8»l7:/<°�¶K°�>8=�)�'H¯�7�³a'*=6²�)�°�/-±#»*+-°4µ�)�>8)�»*741->8µ�)�»S1-»�)X±Âl=u'8,.=�/Ó¸�>*7:347:5 � »�»�)X°�>BµB,Ö=6/Ý74>B±c)�>�'872)�/-»*1.>8)�'*,-°�'�=u'�'8)�>8²�=�/-°�'*)X»I) ��µ =6)�/Q'85�¯:À ® ,.=¢»I=6»±c74/.)I5¢°�>834)�5�¯ 1-»�=6/.3�=6/Q'*)�>8/-°45O»�)�'�'8=�/.3Q»l7�³%¶K°�>8=�7:1-»l/-°4²�)�±<Ä�7:1./-±.»�À ® ,-)�»*)IÄ�7:1./-±.»q°45�5,-°[¶4)�±c) ³�°41.5u'I¶K°�561.)X»�Âl,-=6µB,Òµ�°�/�Ä�)�¶(=6)�Â$)�±!1�»�=6/.3�'*,.)�Ä.1.=65�'�¼g=�/�µ 7:²�²�°4/-± E \"� ��� b�� E �°�/-±<µ�°4/<Ä�)�°�5�'*)�>*)X± 1�»�=6/.3�'*,.)IÄ-1.=�5�'�¼g=6/#µ�74²�²�°�/-±-» E`\"�i°�/�± ��b&E \#�mÀ

+S)�5�7KÂk=¢»S°5�=¢»�'S7�³O'*,.)�/-°�²�)�±�>*)X»�7:1.>8µ�)qÄ�741./-±-»�³�7:5�567KÂS)X±�Ä(¯�'8,.)�=6>l±c) ³�°41.5�'S¶K°�561.)�»=�/#Ä.>B°4µBË:) '8»o°4/-±�°�»*,.74>*'q±c)�»8µ >8=6+c'*=674/<7�³%)�°:µB,iÀ ���� >!B � � ��C�� 7�� 8 ® ,.=¢»q=¢»l'*,-)�²�°KÍc=�²�1.²¾±.)�+c'8,!7�³�°�/(¯�+.>*7(74³%µ�°�>8>*=6)�±�741c'�ÄQ¯�'*,-)=�/Q'8)�>8+.>*)�'*)�>�ÊQ=�):ÀQ'*,.)�²�°KÍc=�²�1.² »H'B°4µBË�±c)�+c'*,�Ä�)�³�74>8)�Ä-°:µBË:'8>8°:µBË(=�/.37(µ�µ 1.>B»�À � ,.)�/'*,.)�5�=6²�=u'$=6»�) Í.µ )�)�±c)X±�°�Âo°�>8/.=6/.3I7�³Þ'8,.)l³�74>8² ��� ��������������c�\0_ � ���F���bAc �`a � ���GC&\� �@E \.E \"� � � ��� ����=¢»�=¢»*»*1.)X±`À ® ,.=¢»I=¢»�/.74'°�/�)�>8>*7:>�À`´g'�=6»I/-)�µ )X»*»8°�>8¯2'872,-°[¶4)�»*1-µB,³�°�=65�1->*)X»oÂl,.)�/#56)�°�>8/.=6/.3�>*)Xµ 1.>B»�=6¶4)�>81.5�)X»�À

� ��� >'B � � � C�� ������ 8 ® ,.=6»o=¢»S'*,.)�²�°KÍc=6²1.²¾±c)�+c'8,�74³a>8)�»*74561c'*=674/�»�¹�1./.=�Ã�µ�°�'*=674/-»Bº$°�5�¼5�7KÂ$)�±�=6/�°�/(¯�+.>87(7�³`µ�°�>8>8=�)X±7:1c'�Ä(¯�'*,-)q=�/Q'8)�>8+.>*)�'*)�>�À���/-µ�)o'*,.=¢»�56=�²�=�'�=¢»�) Í.µ )�)�±c)X±'*,.)�)�/Q'*=6>8)�+.>87Q74³l=6»�³�°�=65�)X±£¹�1./.56=6Ë4) 2=�/ÝÂl,-=6µB,ÓÄ�°4µBËQ'*>B°4µBË(=6/.3#7(µ�µ 1.>B»IÂl,.)�/Ý'*,-)Ä�7:1./-±Ö=6»�>*)X°4µB,.)X±-º�ÀÞ°�/�±#'*,.)�Âo°�>8/.=�/-3�������������� ���cH\@_ �� ��*F���bdc �`a � ���GC&\ � �@E`\E \#� � C � ��� �!��=¢»�=¢»8»�1.)X±`À Y�3:°4=�/Ò'*,-=6»=6»/.7�'°4/Ý)�>8>*7:>�À`´g'=¢»I/.)Xµ )X»*»8°�>8¯2'*7Ö,-°[¶4)�»*1-µB,³�°�=65�1->*)X»oÂl,.)�/#56)�°�>8/.=6/.3�>*)Xµ 1.>B»�=6¶4)�>81.5�)X»�À

� � � >@? ��� >!B � � ��C�� �"���� 8 ® ,-=6»�=¢»�°ÒÄ�7:1./-±�74/�'*,.)2/(1.²�Ä�)�>�7�³�»*)�°4>8µB,�/.7c±c)�»�)�Í(¼+-°�/�±c)�± =�/�'8,.)�»�)X°�>BµB,�7�³`'*,-)�5¢°K'*'*=¢µ )�74³aµ 5¢°�1�»�)X»�À!Y�µ�µ�74>B±c=6/.3�'87�»8°�²�+.56)�µ 7:²�+.5�)�Í(¼=u'H¯#>8)�»*1.5�'8»l=6/2'*,-)+-°4+�)�>�Å ÉKÇO'8,.=¢»�¶K°�561.)»*,.7:1.56±#Ä�)�»*) '�'*7 °4>*7:1./-±ÒÁ � Ï�'8=�²�)�»�'*,-)/(1.²Ä�)�>l74³a) Í.°4²�+-5�)X»S=6/�'*,.)�'*>B°�=6/.=6/.3�»�)�'o=6/<74>B±c)�>$'*7�²�=�/-=�²�=¢»�)I)�Í(+�)�µ '*)X± )�>*>874>XÀ

� ��� >'B � � ��C�� �# 8 ® ,.=¢»�=¢»�'*,-)2²�°�Íc=�²�1.² /(1.²�Ä�)�>�7�³I°K'874²�»�=6/�'8,.)2Ä�7(±.¯�74³�°4/Q¯,(¯Q+�7�'8,.)�»*=¢»�)X±�µ 5¢°�1-»*)4ÀX´F/-µ�>*)X°4»*=�/.3q'*,.=¢»O¶K°45�1.)S+�74'*)�/:'8=6°45�56¯I=6/-µ >8)�°:»�)X»Þ'*,.)$²�°KÍc=6²1.²µ 5¢°�1-»*)I»�)X°�>BµB,�»*= ��)�) Íc+�7:/.)�/Q'8=6°45�56¯4À

� ��� >'B � � ��C�� 7� 8 ® ,.=¢»o=6»o°�Ä�741./-±�74/ '*,.)�/(1.²�Ä�)�>l7�³a=�'*)�>8°�'*=674/-»$µ�°4>*>8=6)�±�7:1c'l=�/�'*,-)µ 7:/-»H'8>*1�µ�'*=674/�7�³�'8,.)�Ä�74'�'874² µ 5¢°�1�»�):ÀAXS°4µB,!=�'*)�>8°�'*=674/�=�/Q'*>87c±c1-µ�)�»�/.)�Â�¶[°4>*=¢°�Ä-5�)X»Ä-°4»*)�±!74/2'8,.)=6/-»�'8°�/Q'8=6°�'*=674/!74³�741c'8+.1c'�'*)�>8²�»�°:»*»*7cµ =¢°K'8)�±#Âl=�'*,!²�7c±c)�ÄÒ±c)�µ�56°4>8°�¼'*=674/-»�À

$ ������«����­�¦W� ��¨.©���©U��­*¦���«q§ � ��� �

Úq7�'8)�'8,-°K'oÂl>8=u'8=�/.3�Ä-°:µBËQ3:>*7:1./-±�Ë(/.7KÂl56)�±c3:)4Ê:=�/Q'*)�34>8=u'H¯�µ�74/-»�'*>B°�=6/Q'8»$°�/-± +.>*1-/.)�»�'8°�'*)�¼²�)�/Q'8»o=6/Q¶:7456¶4)X»�+.>8743:>8°4²�²�=6/.3�À:´g'q»*,.741.5¢±�Ä(¯�/-7KÂÔÄ�)Iµ�5�)X°�>$'*,-°�'l)�°4µB,�7�³a'*,.)X»�)Iµ 7:²�¼+�7:/.)�/Q'8»%74³�°�¸�>8743:745Q=�/-+.1c'�Ã-56)o=6»%=�'8»*)�5�³Þ°�+.=6)�µ�)o7�³�¸�>*7:5�7:3�µ�7(±.)4À ® ,(1-»%=�'%=¢»%=6²�+�74>*'8°4/Q''*7�,-°[¶4)I±c)�Ä.1.3:34=6/.3'87(745¢»oÂl,.=6µB,2°45�567K£'*,-)I1-»�)�>o'*7�'*)X»H'�°4/-±#µ 7:>*>8)�µ 'S'8,.=6»�µ 7c±c)4À ® ,-)°[¶[°4=�5¢°�Ä-5�)�±c)�Ä.1.3:34=6/.3�'*7(745¢»�°4>*)I)X»*»*)�/Q'8=6°45�56¯�'8,.)�»8°�²�)�°4»q'*,.7Q»�)�³�7:1./-±2=6/!°�»�'8°4/-±.°�>B±¸�>87456743�=6/Q'*)�>8+.>8) '8)�>�¹�=6)4À � C&a ,\�°�/-±�E7_ �º�ÅuÁ�ÇmÊ�'8,.741.3:,!'8,.)�>8)�=¢»�°�/Ò°4±.±c=�'*=674/�°�5%²�)�µB,-°�¼/.=6»*² =6/#½$¸�>8743:7456¿-À ¿�'*7'*)�»�'o,.7KÂÑ°�+�°�>*'*=¢µ 1.5¢°�>$Ä�74'�'874²Üµ 5¢°�1�»�)�=6»$Ä�)�=6/.3�µ�74/-»�'*>81-µ�'8)�±`À® ,.=6»�²�)�µB,�°�/.=¢»�² µ�°�/ÒÄ�)�=65�561-»�'*>B°K'*)X±ÖÂl=�'*,Ò>8) ³�)�>8)�/�µ )�'87<'*,.)�Â$74>8Ë4)�±#)�Í.°�²�+.56)³�>874²&()�µ '*=674/ ¿�À ¿�À(&c1.+.+�7:»*)�'8,-°K'lÂ$)�,-°[¶:)�567:°4±.)�±�'8,.)�Ã-5�) ='2?5 9'9A5H24*7"K; °4/-±�Âl=¢»*,�'*7�'*>B°4µ�)'*,.)lµ 7:/-»�'*>81-µ�'8=�7:/7�³-'*,.)o²�7:»�'%»*+�)�µ =�Ã�µoµ 5¢°�1�»�)o°4»8»�7cµ�=6°�'*)�±�Âl=u'8,'8,.)o) Í.°�²�+.56)$»*)�/Q'8)�/-µ�)" ® ,.)�²�°�/#Âo°�56Ë(»S'8,.)�±c743 #.À � )I+.>87(µ�)�)X± °4»$³�7:5�567KÂq»�À

Page 28: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

o@p '2�58+�k�qo@p -+� � !�8k�(D9A5�m (I(?5�;�3d-�(� H�8k (�1�1>= � ( � � ���� � k8-) Al:m�= F 1H2 +�1�m' '2?5 1dlH+) Al>1�md- �� �3� 0�5�;';�# F 5';?-�k� �3� �?5Kl�;�# F 5';?-�k�� 1G+�1�m� '2�5 1dl!+) dl>1�mA- F 1�6'mG1 �

Úq7�'8)�'8,.)S1�»�)S7�³�� � � °K³w'8)�>a'*,.)$) Í.°4²�+-5�)S>8°�'*,.)�>i'*,�°�/-�� � À ® ,.=¢»a'*)�565¢»a¸�>*7:34745�'*7�µ 74/�»H'8>*1-µ ''*,.)�²�7:»�'�»�+�)�µ�=uÃ�µ�µ�56°41-»*)�³�7:>�'*,.=¢»�) Í.°4²�+-5�):À ® ,.)�Ã->8»�'�'*,.=6/.32Âl,.=¢µB,�¸�>874347:5�±.7Q)X»�=6»'*7�'8)�»�'S=�³i'*,-)�34=6¶4)�/�) Í.°�²�+.56)�µ�74/Q'*>B°4±.=6µ '8»�°4/(¯�=6/Q'*)�3:>*=�'H¯�µ 74/�»H'8>8°4=�/Q'�À ® ,.=¢»�=¢»S±.74/.)qÄ(¯'*)�»�'*=6/.3�'*,.)$347Q°�5 �`a � E \ �*Ê�Âl,.=¢µB,�³�°4=�5¢»�Ê�56)�°:±c=�/-3q'*7�'*,-)$±c=¢°�3:/.7:»*=¢» � 1 +�1�m' '2?5 1dlH+) Al>1�md-F 1�6'mB1 � À(Úq)�Í('l'*,.) �.F:cH\ �±c)�µ�56°4>8°�'*=674/ =¢»l²�°K'BµB,.)�±<°4»$³�7:5�567KÂq»�À� �3� 0�5�;';�#[-+��%���(�%�� � � -+� � !�8k�( 9A5>m (0(?5�;)3d-4(I H�?k�(21�1H= � ( �� �� �3� �?1�m8k#[-+� � !�8k�(D9A5�m (I(?5�;�3d-�(� H�8k (�1�1>= � ( � � � � -+� � H�?k�(79K5�m (0(85';�38-4(I H�8k ($1!1H= � ( � � �® ,.)�Ã->B»�'a°�/-±I»*)�µ�74/-±I°4>*3:1.²�)�/Q'8»O°�>8)%³�741./-±I'*7qÄ�)�'8,.)�'8)�>8²�» � ��8\�� � a)b����a � � E � ��8\��Dc�F ���°�/-± � �BÀ�Ú�) Í('l'*,.)X»�)�'8)�>8²�»l°�>8)�'H¯(+�)IµB,.)�µBË:)�±<°4»$³�7456567KÂq»�À� �3� 0�5�;';�# (K;?l!-) 5� � !�8k�(79d5�m (I(�5�;>3d-+(I !��k�($1'1�= � �e-� �3� �?1�m8k# (K;?l!-) 5� � !�8k�(79d5�m (I(�5�;>3d-+(I !��k�($1'1�= � �® ,.)!1-»*)�> � »�>8)�»*+�74/-»*)27�³ � » � µ�°�1-»*)�»�'8,.)2'8>8°:µ =6/.3�7�³�'*,.)�»�1.Ä.¼m+.>87(7�³�'*7ÓÄ�)Ö»*ËQ=6+.+�)�±`Ê5�)X°4±c=6/.3Ò'*7Ò'*,-)2>*)X»�1.5�'�'*,-°�'�� ��8\�� � a)b����a � � E � ��8\��Dc�F ��� »*1-µ�µ )�)X±.»�°4»�° � � � E �mÀ�Ø�°[¶(=6/.3±c) '8)�>8²�=6/.)X±�'8,-°K'$'*,.)�/.)�£'*)�>*²Ì=6»$7�³O'H¯Q+�)�� � � E �^Ê.¸�>*7:34745-'*,.)�/�1�»�)X»�'8,.)�²�7(±.)�Ä�±.)�µ�¼56°4>8°�'*=674/-»�'*7�'*)�»�'$'*,.=¢»S'*)�>8² Âl=�'*,<>*)X»�+�)�µ '�'*7�'*,-)�Ä-°:µBË(34>8741./-±�Ë(/.7KÂl56)�±.34)�°:»�³�7:5�567KÂq»�À� �3� 0�5�;';�# 1�k� 5� � !�?k�(79A5�m (I(85�;)3d-+(� H�?k�(21�1H= � (*%�� � -� �3� �?1�m8k# 1�k� 5� � !�?k�(79A5�m (I(85�;)3d-+(� H�?k�(21�1H= � ( � 9K5�m (0(?5';�3d-�(� H�?k�(�1�1>= � �Øq)�>8)�=�'O=6»O»�,.7KÂl/�'8,-°K' � ?\i=6»i°l±.) '*)�>*²�=6/.)�>i³�74565�7KÂ$)�±�Ä(¯q'8,.)�+.,.>B°4»*) � �fa>b ���a � � E � � ?\��Dc F ���BÊÂl,.=6µB,�=6/�'*)�>*²�Ä�)�µ 7:²�)�»�°I/-)�ÂÕ'*)�>*²�Âl,.=¢µB,�=6/�'*1->*/�Âl=65�5�Ä�)l'*)X»H'8)�±�1-»*=�/-3I'*,.)�²�7c±c)�ıc)�µ�56°4>8°�'*=674/-»o°�/�±�°:»*»*7cµ =¢°K'*)X± Ä�°4µBË(34>8741./�±�+.>8)�±c=¢µ�°�'*)I±c) Ã�/.=u'8=�7:/-»�À

Y�»S=6»S1-»*1-°�5�Âl=u'8,�¸�>87456743�=6/Q'*)�>8+.>8) '8)�>B»�Ê4'*>B°4µ =6/.3µ�°�/�Ä�)q'81.>8/.)�±�7 �<Ä(¯�>8)�»*+�7:/-±c=6/.3Âl=u'8, b�Ê4°�/�±=�'�=6»�+�7Q»*»*=�Ä-5�)$'*7I56)�°4+'87�'*,.)l/-) Í('�»�+(¯Q¼g+�7:=�/Q'�Ä(¯�>*)X»�+�74/�±c=�/-3�Âl=�'*, �VÀQ&(+(¯:¼+�7:=�/Q'8»�°�>8)�»�)�'q74/#=�/�±c=�¶(=¢±c1-°45O+.>8)�±c=¢µ�°�'*)�±c)�Ã-/.=�'*=674/-»q1-»�=6/.3�'8,.).E7_ Iµ 7:²�²�°4/-±`À ® ,(1-»'*1.>8/.=6/.327 �Ó'8>8°:µ =6/.321-»*=�/-3eb�F�� C&a ^\ ��°4/-±�µ�°�5656=�/.3 E7_ � cH\#� � ��� �I°�Ä�7K¶4)�Â$741.5¢±Ò)�/-»*1.>8)'*,-°�'�'*,.) '*>B°4µ�)�74/.56¯�»�'8°4>�'8)�±�Âl,.)�/�'*,.) °4>*=�'H¯ÒÈ2+.>*)X±c=¢µ�°K'8)�c�\"��Âo°4»�µ�°�565�)X±`À Y�5�5o»*+Q¯+�7:=�/Q'8»�µ�°�/<Ä�)�'*1.>8/.)�±<7 �!1-»�=6/.3�b�F E7_ ��*ÀÚq7�'8=6µ�)�'*,-°�'Ö°kµ 74²�²�°�/�± »*1-µB, °4» E � � � ?\�� �fa>b ���a � � E � � ?\��Dc F ����� � � ����°�Ä�7K¶4)Ò74/-5�¯

5�)X°4±.»�'*7�'*,-)�µ�74/-»�'*>81-µ '*=674/Ö74³�'*,-)�Ä�7�'*'*7:² µ 5¢°�1-»*)4ÀÞ´g³$¯4741�Â$°4/Q'�'*7<'8>8°:µ )�'*,.)�)�/Q'*=6>8)»�)X°�>BµB,�'8,.>*7:1.34,�'8,.)�56°�'�'8=6µ�)4Ê�=�'O=¢»`/.)Xµ )�»8»8°�>8¯o'*7lÃ->B»�'i=6»8»�1-)%'*,.)�µ�74²�²�°�/-± E \"� � E \,a C ��� b������*À

� � « �¨��

® ,.)!±c)�»*=634/k²�) '*,-7(±.74567434¯Ó³�74>�¸�>8743:745oÂo°4»�'*7Ý+->*)X»�)�/:'�'8,.)21-»*)�>�Âl=�'*,£°Ý»�'8°4/-±.°�>B±¸�>87456743=6/Q'*)�>*+.>8) '8)�>o°�1.3:²�)�/Q'*)X± Âl=�'*,<=�/�±c1-µ�'8=�¶:)Iµ�°�+�°�Ä.=65�=�'*=6)�»�À ® ,.)I»*¯Q/Q'B°KÍ�³�74>l)�Íc°4²�¼+.5�)X»�ÊaÄ-°4µBË(3:>*7:1./-±�ËQ/-7KÂl5�)X±c34)�°4/-±�,(¯Q+�7�'8,.)�»*)�»=6»�'*,.) Z�)Xµ�¼BÁ&%2¸�>874567432»*¯(/:'B°KÍÒÂl=u'8,

Page 29: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

'*,.)�1-»�1�°�5a°41.34²�)�/:'B°�Ä.56)»*) '�74³�+.>8) Ã.Í`Ê-+�7:»�'�Ã-Í#°4/-±#=�/.Ã.Í274+�)�>B°K'*7:>8»�À-Ø�)�°4±.5�)X»*»�Øq74>8/µ 5¢°�1-»*)�»%°�>8)o1-»*)�±'*7�>*)�+.>8)�»*)�/Q'�/-)�3:°�'*=6¶4)$) Í.°�²�+.56)�»�°4/-±�=�/Q'*)�34>8=u'H¯�µ�74/-»�'*>B°�=6/Q'8»�À[´F/-±c)�)X±=u'�=¢»l+�7:»8»�=6Ä.56)�³�74>�¸�>*7:34745�'87�5�)X°�>8/�,.)X°4±c56)�»8»lµ 7:/-»�'*>B°�=6/:'B»$³�>*7:²Ì,.)X°4±c56)�»8»o34>8741-/-± 1-/.=u'µ 5¢°�1-»*)�»oÄ(¯�'8,.)�1-»*)I7�³�°�²�7c±c)�,2±c)Xµ 5¢°�>B°K'*=674/�³�74>q'*,.)I+.>8)�±.=6µ�°K'*) �`a � E \ À ® ,.)�»�'8°4/-±.°�>B±5�=6Ä.>B°�>8¯�74³O+.>8=�²�=�'*=6¶4)�+.>8)�±c=¢µ�°�'*)�»$±c)X»*µ�>*=6Ä�)X±�=6/#½S567cµBË(»*=6/�°�/�±�02)�5656=6»*,ÒÅ�Á ÇÞ=¢»SÄ-1.=�5�'l=�/Q'87¸�>874347:5Q°4/-±°[¶K°4=�5¢°�Ä.56)o°4»�Ä-°4µBË(3:>*7:1./-±IË(/.7KÂl56)�±c3:)4ÀK¸�>8743:745Qµ 74/�»H'8>*1-µ '8»�/.)�Â�µ 5¢°�1�»�)X»aÄ(¯34)�/-)�>B°�56=6»*=�/-3�³�>874² '*,-)�)�Í.°�²�+.56)�»�=�/�'*,-)�¸�>87456743 ±.°�'8°4Ä-°4»*)�1�»�=6/.3#°�/Ö=6/(¶4)�>8»*)�)�/Q'8°�=65�¼²�)�/Q'$°�56347:>*=�'*,-²<À'Vl)X»�1.5�'8»�³�>874²�'*,.)�'*,.)�74>8¯�7�³i´H·O¸�341-°4>8°4/Q'*)�)o'8,-°K'o¸�>8743:745-µ�74/-±c1�µ�'8»°�/�°4±c²�=¢»*»*=6Ä.5�)q»*)�°4>8µB,�'*,->*7:1.34,�'*,-)�»�+�°4µ )l74³�3:)�/.)�>8°45�=¢»8°K'*=674/�»�ÊXÃ-/-±.=�/.3�'*,.)q²�°�Í(=6²�°�565�¯µ 74²�+.>8)�»8»*=�¶:)#»*) '�7�³Iµ 5¢°�1-»*)�»�³�>874²�Âl,.=¢µB,£°�565q'*,-)!) Í.°�²�+.56)�» µ�°�/kÄ�)Ö=6/c³�)�>8>8)�±`À ® ,-)µB,.74=¢µ )I74³%)�/.34=6/.)�)�>8=�/.3�°�µ�74²�+.56) '8)�¸�>87456743�=�/Q'8)�>8+.>*)�'*)�>qÂ$°:»$'8°4Ë4)�/2=6/274>B±c)�>o'*7�²�°�Ë:)=�/-±.1-µ�'8=�7:/Ò° Ã->B»H'*¼gµ�56°:»*»�°�/-±Ö) ��µ =6)�/Q'I74+�)�>B°K'8=�7:/!74/Ö'*,.)�»8°�²�)�³�7Q74'*=6/.3#°4»�±c)�±.1-µ�'8=�¶:)'*,.)�74>8)�² +.>87K¶(=�/-3-ÀÞ¸�>874347:5a,�°4»�Ä�)�)�/Ò1-»*)�±Ò»�1�µ�µ )X»*»�³�1.565�¯Ö=�/Ò) Íc+�)�>8=�²�)�/Q'B»�=�/Ò5�)X°�>8/.=6/.3'*7�+.>8)�±.=6µ '�²1c'B°�3:)�/.=¢µo²�7456)�µ 1-5�)X»qÅ Ð.Ê�Á�¿�ÇgÊ�=�/�±.>*1.3�±.)�»*=�3:/!Å ¿�Ê�ÎKÇgÊ:°4/-±�=�/�+->*74'*)�=6/�»�,�°�+�)+.>*)X±c=¢µ�'*=674/�Å�ÁXÈcÊ�ÁXÐ[ÇgÀ

� "�� �#�����q�2�����������

® ,.)$Ã->8»�'�°�1c'8,.74>%Â$741.5¢±�56=�Ë:)$'*7�'*,-°4/.Ë�,.=¢»%Âl=u³�):Ê ® ,.=6>��X°�½$°:»H'8)�565�74¼H½S7:>�'8)�»�Ê�°�/�±�±.°41.34,.¼'*)�>�½S5¢°�>8)4Ê�Âl,-7q,-°[¶4)�+.>*7K¶(=¢±c)�±�1./.³�°�=65�=6/.3�»*1.+.+�74>*'�±.1.>*=6/.3l'8,.)�Âl>8=�'*=6/.3�74³c'*,.=¢»aµB,�°�+c'8)�>XÀ® ,.=6»aÂ$74>8Ë�Âo°4»�»�1-+.+�7:>�'8)�±I+�°�>*'*56¯�Ä(¯�'*,-)4XS»�+.>8=�'�·i7:/.3 ® )�>8² Vl)�»*)�°4>8µB, Y�µ�'*=674/�´H·O¸Ö´�´¹�+.>87 AH)Xµ�'�È %:È4Î!��º ÊKXS¸S&�Vq½ 34>B°�/Q' � V � ��ÐH��É4ÆQÐ�74/�X�Í(+�)�>8=6²�)�/Q'8»�Âl=u'8,�Z�=6»�'*>8=�Ä-1c'*=674/c¼Ä-°4»*)�±�0Ö°4µB,.=6/.)�·i)�°4>*/-=�/.3�°�/-± °�/ XS¸S&�Vq½ Y�±c¶K°�/-µ�)�± Vq)�»*)�°�>BµB, ;-)�565�7KÂq»*,.=6+�,.)�5¢±�Ä(¯'*,.)�°41c'*,.7:>�À® ,.)2»�)Xµ 74/�±�°�1.'*,.7:>�Â$741-56±�5�=6Ë4)�'*7Ò'8,-°�/.Ë�,.=6»�Âl=�³�)4Ê���°45�²�°4=�Yq56¯(»*=¢°.Ê%³�74>�²�1-µB,

¶[°45�1-)�±<,.)�56+#=�/<+.>87(7�³w¼g>*)X°4±c=6/.3�¶[°4>*=6741�»S¶:)�>B»�=674/�»S74³a'8,.=¢»lµB,-°�+c'8)�>XÀ

� �+ *�O¨B�O¦�¬)� �

! s��Õs -�s(N�tVLKT*b�\FUVJ�C�J(��NSs Rcscr�@BtVtVUV\Fx�s������ ��������� � � � � ��������� � ��s�R4A:DHUVJ:�X@8DF�"!O@8DHtuC��:W$#�@8DHtVUVJ�W!&% � ! s

" s('XC�GI@B\�N�PQ\F\F@8JQ\BW�?lC�Z4Uu���`C��X@�WiR�EH@8AQxQ@8J2r�PQ���XtV@8EHL�J�W`C�J(���S\FxK��UVJ2R�DHUVJ:UuZ�C�\HC�J�sY$\FUVJ:�e^J(�4PQT8EHUVZ[@��L��XUVT��`DHLX��D�C�GIGIUVJQ��M¢L�D�doC�EHP4D�C�t��-LX�XUVT��`DHLKTB@B\F\FUVJQ�4sÒe^J)�ksO?lC�@BtV@BG�C�JQ\BWf$s$�#@BU *mEH@*DH\BW.C�JQ����scZ�C�J��4@8D+#aLX\FT�x�Wc@��4U EHL�DH\BW-,�.0/2143 576�8:9;����< ��=>�@?BA+�� ������C,��ED? �F��HGI���71 ����� � � �����KJ�A+��HL7�����>10������L>� ���EMN����< �HW�A(C���@B\ "�FPO%, �:W:�`D�C���PQ@XW !&%�%:( s�Y$J:UuZX@8DH\FU Em]L�MihiTBLXJ:LXGIUVTB\BsOemJ�Z�U EH@���b[@*]:J:L�EH@SA(C�Ac@*D�s

, sq�Þs�-ÞUVJQJ-W�R.sXr�PQ���XtV@8EHL�J�W�?�s��`C���@XW�C�J(����s�RKDHUVJQUVZXC�\HC�J-s4�OxQC�DHG�C�T8LXAQx:L�DH@��4UV\FTBL Z[@8DF]qPQ\FUVJ:�EHx:@IUVJ(�:P:T8EHUVZ[@�tVLX��UVT�A4DHLX��D�C�GIGIUVJQ��\g]4\gEH@BGÌ�`DHLX��LXtwsQ/Q�RGI=�� � ��1 ������ � � ��W ,�S v " � !@O " (%! W!&%�% � s

�:s�@qsOjlUVJQ�:W%R.s�r�P:�X�XtV@8EHL�J�W/@qsa��@8��UV\BW%C�J(�Òr�s�RKEH@8DHJ��c@8DH�:sÓ?SDHPQ�#�4@B\FUV�XJ��K]ÖG�C�T�xQUVJ:@tV@�C DHJQUVJQ�4v-f%xQ@�PQ\F@�L�MaUuJQ�:P:T8EHUVZ[@qtuL��XUVT�A4DHLX��D�C�GIGIUVJQ��EHL�GIL��:@Bt�EHxQ@�\gEFDHPQT8EHP4DH@8�^C�T8EHUVZ�U Em]DH@8t�C EHUVLXJQ\Fx:UVAQ\oL�MaEFDHUVGI@8EHx:LXA:DHUVG�C�JQC�tVLX��PQ@B\l�:UVJ(�:UVJ:��EHL�4UuxK]:�4DHL�M¢L�t�C EH@�DH@��4PQT8E�C�\F@Xs(������DG � ��T�� �����4��J U= ��A+����V���W���YX�GZ�RT��@��[\��J�]WG�� ��NG ��HW ��% � "�, �*v !:!�,:":"&O.!:!,M"�G W !&%�%:" s

F s�@qs(jlUVJ:�:W-Rcs-r�PQ���XtV@8EHLXJ-W-��s-RKDHUVJQUVZXC�\HC�J-W.C�JQ��r�s-R�EH@8DHJ��c@8DH�4s$R�EFDHPQT*EHP:DH@8�^C�T*EHUuZ�U Em]DH@BtuC��EHUVL�JQ\FxQUVA:\a�4@8DHUVZ[@�����]qG�C�T*x:UVJQ@%tV@�C DHJQUVJQ�4vXEHxQ@�PQ\F@%L�M-C�EHLXGI\iC�J(�qEHxQ@BU DO�cLXJQ��TBL�JQJQ@8T8EHUVZ[@B\

Page 30: =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I ...shm/Papers/progtuttheo.pdf · =6» '8,.) / ±c) »8µ >8=6Ä )X± =6/ &()Xµ '8= 7:/ ¿I° /-± = 56561-»H'8>8° '*)X±

EHL�A:DH@��4UVT8E�G�P:E�C��X@BJ:UVTBU Em]��K]�UVJ(�:P:T8EHUVZ[@�tVLX��UVTA4DHLX��D�C�GIGIUVJQ�4s������PG � ��T�� � ������J U= ��A(��D��H���N���WX GZ�RT �@��[\��J�]NG�� ��WG ���W %:, v � , �PO �X� " W !P%�%:G s

G s�@qs ?�s4jlUVJQ�IC�J(���qscRKDHUVJQUVZXC�\HC�J-sO�iDH@��4UVT8EHUVLXJ�L�M`DHL��:@BJKE�T�C DHTBUVJQLX��@BJQUVTBU E^]��QUVLXC�\F\HCB]4\�M�DHLXGGIL�tV@BTBPQtuC DS\gEFDHP:T8EHP:DH@$PQ\FUVJQ��UVJQ�:PQT*EHUuZX@$tVLX��UuT�A:DHL���D�C�GIGIUuJ:�:s , � � �U�����>� �� "��� ����� U=�� �@�@D�V? ��G��� � ��HW !&S �Q� F �*v !PS:, !@O�!PS � S W !P%�%:G s

( s�@qs ':sOr�LKL�JQ@8]!C�J(�Ör�s h�saN%C�tVU��`s<emJQ�:PQT*EHUuL�J#L�M��QDH\gEF��L�D��:@8D��:@BT8Uu\FUVL�J�tVUV\gEH\Bv5@S@8\FPQt EH\�L�JtV@�C DHJQUVJQ�lEHx:@�A(C�\gEOEH@BJ:\F@�L�M-@BJQ��tuUV\Fx�Z[@8DH�:\Bs��7��L7� �N���Y��J�X ��� ��G��V����� � � �F� � ����WG � ���������GI=�W, v !@O3" �:W !&%�%:F s

� s�RcsXr�PQ�X��tV@8EHLXJ-sQe^J4ZX@8DH\F@�@BJKE�C�UutVGI@BJKEOC�J(���iDHL��XLXtwsYA ���� �� �@��� ��V��� . ��� ?WL �� ����W !, v " � FPO"��:G W !P%�%MF s

% s�Rcs`r�P:�X��tu@*EHLXJ�s���@BC�DHJQUVJ:��M6DHLXGÜAcL�\FUVEHUVZ[@��:C�E�C�sC/Q��GI= � � ��1 ����� � � ����W !P%�% � s��STBT8@BA:EH@��\FP:� *m@BT8E�EHL�DH@BZ�UV\FUVLXJ-s

!&S s�Rcs�r�P:�X�XtV@8EHL�JÕC�J(� �ks�#�PQJKEHUVJQ@Xs r�C�T*x:UuJ:@�UVJ�Z[@BJKEHUVLXJÝL�Mq�QDH\gEF��L�D��4@8D�A4DH@��:UVT�C EH@B\��K]UVJ�Z[@8DFEHUVJ:�%DH@B\FLXtVP:EHUVL�J�s�emJ4�����PG � ��T�� ��������J U= ����U=�� � �@��W����V���W���-. � �PJ �@� ��NG � � ��/Q�RGI= � � �1 �Z���� � � ��WQA(C���@B\ ,:,�% O ,:F:" s.jqC�P:M6G�C�J:J�W !P% � � s

!�! s�Rcs4r�PQ���XtV@8EHL�J�C�J(��NSs3-Q@BJ:�:s�h��ITBUV@BJKE%UVJ(�4PQT8EHUVL�JL�M-tuL��XUVToA4DHLX��D�C�GI\Bs-emJR.s�r�PQ�X��tV@8EHLXJ-W@B�:U EHL�D�W�� �WT�L>G��� � �;10� ���HGC����� ��������� � ����W�A(C���@B\ "��3!IO3"�% � s$�ST�C��:@BGIUVT �`DH@B\F\BW���L�J(�:L�J�W!&%�%:" s

!�" s�RcsQr�PQ�X��tV@8EHLXJ-W�@qs4jlUuJ:�:W:C�JQ��r�sQR�EH@*DHJ4�c@*DH�:si�`DHL�EH@BUVJ�\F@8TBLXJQ�QC�DF]\gEFDHP:T8EHP:DH@oA4DH@��:UVT8EHUVL�JP:\FUVJQ��tVLX��UVT8���(C�\F@B��G�C�T�xQUVJQ@Stu@BC�DHJQUVJ:�:s������� �� �2, ����� � � �@� � � ��W F � ( �*v G � (&O GMF*( W !P%�%M" s

!, s�RK����s.d$UV@BJ:x�P:]4\g�mN�xQ@BJ:��C�JQ� @qs��:@E�#L�t Mms��0��L �WTR����V��� ����J�� �NT�L>G��� � ��10� ���VG������ ��������D� � � ��saR�A:DHUVJQ��@8DF�"!a@*DHt�C��:W$#�@8DHtVUVJ�W !P%�% ( s���d$�Se !D":"�� s

! �:sq�qs�R�DHUVJ:UuZ�C�\HC�J�WSRcs�r�PQ���XtV@8EHLXJ-W<@�s�jlUVJQ�4W�C�JQ��r�sSRKEH@8DHJ��c@8DH�:s¡f%xQ@BL�DHUV@B\�M¢L�D�G�P:E�C ���@BJQUVTBU E^]-v:C�\gEHPQ�4]�L�MÞ�QDH\gEF��L�D��4@8D�C�J(�M6@�C�EHP4DH@l�(C�\F@���UVJ(�4PQT8EHUVL�J�s X � �� ��G��H����� � � �F� � ����WG�*W�:F � ! W " �*v " ( (&O3"�%�% W !&%�%:G s

!�F s�r�s%f�P:DHT8L�EFEH@XW�R.s ��s%r�PQ���XtV@8EHLXJ-W�C�JQ�Ýr�s ':s h�sSRKEH@8DHJ��c@8DH�:sÕ�`DHL�EH@BUVJ�M¢L�tu�ÒDH@BTBLX��JQU EHUVLXJ-se^J�NSs ?�s.�`C��X@XW.@��4U EHL�D�W-�����PG�� ��J U= ��� U=�� � �@� �N� ��V���N����9;����< ��=>�@? � ��� �NT�L$G��� � ��10� ���VG����� ��������� � � �! "��10��DK5#�%$ W(��d$�Se ! �X� G W(AQC���@B\ F�, O%G �:WN#�@8DHtVUVJ�W !&%�% � s.R�A:DHUVJQ��@8DF�"!a@*DHt�C��:s