+ All Categories
Home > Documents > Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7...

Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7...

Date post: 09-Aug-2020
Category:
Upload: others
View: 1 times
Download: 0 times
Share this document with a friend
23
Transcript
Page 1: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

������������ �����������������������! "��#%$'&(���)���*����+�-,.#/����#0�12�43

5)687*9;:<9>=?7�@BADC�9"=FE"7�GHG I"J<: KL=FMONQP�A R�ADS�7*6<J<7*=J<9"=FE"7�GHGUT�N*V�A W;XY9"=Z9"J"XY9;A N*I 6<7*6<J<7*=[T�N*V�A W;XY9"=Z9"J"XY9;A N*I

\L]Z^`_*acbcdQ]Zefbhg�ikjlg*d�^"m>bF]?aonfpZqO]?e`pY]rle"qHst]?aFuvqHbvw�g�iyxyg*aFg�etbFg

zQ{}|Y~[���>�f~���� ]0^>aF][uc]Zefb/_iUg*acd�_��>dQ]Zbc�`gt��g�i<i�m"e�p?bcqOg*e`_*�`^>aFg*��aF_*d��"]?st]Z�Og�^>�dQ]Zefbl�`_�uc]Y�+g*e�uvbF]Z^"�U�fwt��uvbF]Z^�bcaF_�e�u�i�g�acd�_*bcqOg�eD���eQbc��]?qHa4d�g�uvbl_���uvbcaF_�p?byi�g*acd���uv^;][pZq���p[_*bcqOg*e`uk_�aF]/][ucuc]ZefbcqO_*�H�Hw�^>aF][�tqOp[_*bF][u}bc��_*baF]?�O_*bF]4bc�`]�aF]Yuvm"�Hb4g�i�bc��]0uv^8][p?q��;][��^"aFg*��aF_*d�bFgLbc�`]�i�aF][]4s*_*acqO_*�"�O]YuDg�i�bc��_�by^"aFg*���aF_�d����Ue�bc�`]?qHakdQg�uvblp[g*e`pZaF]?bF]0iUg*acd���uv^;]Yp?q���pY_*bcqOg�e�u4_*aF]LuvqHd�^"�Hw�^"aFg*��aF_*dQu4qHe_)i�m>e`p?bcqOg*e�_��;^>aFg*��aF_*d�d�qHe"�)�O_*e>��m�_*�f]��"\L]Zsf]Z�Og*^"dQ]Zefbki�aFg*d�_*��uvbcaF_�pZb/uv^;][pZq��>�p[_*bcqOg*e`u�bFg�^"aFg*��aF_�d�u�qOulpY_��OpZm"�O_*bcqOg*e`_*���r0uvqHe>�+�Og*��qOp)qHe�bc��]�uv^;]Yp?q���pY_*bcqOg�e��O_*e"��m`_*�t]��`_�u)dQ_*efw�_��fs�_�etbF_*�t][uZ�D�Ud�^;g*ac�bF_*efbc�Hw�qHby_*�H�Og��Lu`e�g*e`�"]ZbF]?acd�qHe"qOuvbcqOp4uv^;]Yp?q��;p[_*bcqOg*e`u<bFg0�;]l��qHsf]Ze<��_*e`�)bc�tm`u4�>gf]Yue`g*b0iUg*aFpY]�g�st]?aFuv^;]Yp?q���pY_*bcqOg�eD�

� �; 0¡8¢;£)¤�¥)¦B¡;§c£� 

¨ª© =Z7*IfX�:<7*IfGl9t«�=Z7*V?7*I>=?NY6¬68I>V«�9;N*W<V?7*:¬9>J¬X[=ZI"J<VF«�9>=?­�MOJ © «�W<J<N�X?MO9>J8ItG�®<=?9 © =ZI"­�V�MOJ"XY97*¯`W;MHEtIfGO7*J>X�«�W8J<N�XZMO9"J<IfGl®<=Z9 © =?I>­�V�AD5)6<7�9"=FM © MOJ<IfG/®<=?9 © =ZI"­°N*I"J(±y7+N*9>J<V²MO:<7*=Z7*:'X[9'±y7I>J�7�³;7*N*W;XYI"±;GO7�VZ®}7*N�MH´BN*ItX?MO9>J}A

µFJ+XY6;MOVL®<I"®y7*=k¶o7¶)MOVZ6�X[9QN*9>J<V²MO:<7*=lJ<9fX�9>J;GH·�7�³;7*N*W;X[I>±�GO7oV?®y7*N�MH´DN*ItX?MO9>J<V�¸f±<W;XhIfGOVZ9MO­�®;GHMON�MHX�VZ®}7*N�MH´BN*IfXZMO9"J<V�XY6<IfX�=?7�GOItX[7QXY6<7QMOJ8®<W;X�I"J<:(=?7*VZW;GHX�9t«�I�«�W<J8N�XZMO9"J<ItGl®8=Z9 © =?I>­MOJ�¶�I*·;VLXY6<IfX © MHE>7J<9�MOJ<:;MON*IfXZMO9"J�9f«kI"J"·�®<=ZI"N�XZMON*IfG;¶�I*·�XY9QN*9"­�®<W�XY70XY6<7�=?7*VZW;GHX*A`@;W<N[6I¬VZ®}7*N�MH´BN*IfXZMO9"J¬N*I>J¹±y7�­�9"=Z7�I"±<VFX[=ZI"N�X�I"J<:�­�9>=?7�:<7*N�GOI>=?ItX?MHE>7�X[6<I"J�I"J�7�³;7*N*W;X[I>±;GO7VZ®}7*N�MH´BN*IfXZMO9"JyA

º»7�X[I>¼f7�X[6<7�«�9tGHGO9*¶)MOJ © ®y9fMOJ"X�9t«�E`MO7�¶�¸0I>®<®�GHMON*I>±;GO7+XY9¬®<=?9 © =ZI"­�­+MOJ © MOJ»MO­�®y7*=²½ItX?MHE>7t¸�«�W8J<N�XZMO9"J<IfG�¸l9"=�I"J>·�9fXY6<7*=Q¼"MOJ<:¾9f«�GOI"J © W8I © 7t¿l@;®}7*N�MH´BN*IfXZMO9"J<V�:<7*VZN*=²MO±y7+XY6<9"VZ7À"Á[Â�ÃYÄ[Å�Æ>Ç�ÈvÀ�É; X[6<IfX�I"=Z7(I"N*N*7*®;XYI"±;GO7¬I"J<:-®8=Z9 © =?I>­�V�I>=?7(9"J<7�V?9>=²X�9f«�V?®y7*N�MH´DN*ItX?MO9>JyA¨ V?®y7*N�MH´DN*ItX?MO9>J¬Ê»N*I>J¹±y7�=?7�´BJ<7*:¬X[9'I>J<9fXY687*=�VZ®}7*N�MH´BN*IfXZMO9"J¬Ë¬MH«)I>J<:¹9>J�GH·(MH«)Ê�:<7�½VZN*=²MO±y7*V47�E>7*=²·�9>±<V?7*=FEtIfXZMO9"J�Ë�:87*VZN*=FMO±}7*V�AYº-MHX[6;MOJ�VZW8NY6�I«�=ZI"­�7�¶�9"=Z¼<¸�J89>J<:87�XY7*=Z­+MOJ;MOVZ­®<=Z7*V?7*J"XYV�J<9Q:;MHÌ�N*W�GHXc·�I>J<:QX[6<7�EtIfGHMO:;MHXc·�9f«y=?7�´BJ<7*­�7*J"X�MOVLI�E"7*=F·�V²MO­�®;GO7)=?7�GOItX?MO9>J<V?6;MO®yAµFJ�XY687�N*I"VZ7'9f«�«�W8J<N�XZMO9"J<IfGQÍ�7�³;®<=Z7*V?VFMO9"JBÎQ®<=Z9 © =ZI"­�­�MOJ © 7*I"N[6�9>±<V?7*=FEtIfXZMO9"J�N*9>J8VFMOVFX[V9t«0XY6<7�V²XYIfXY7�MOJ(¶�6;MON[6�I"J(7�³;®<=?7*VZVFMO9"J'MOV�7�EtItGOW8ItX[7*:¬I>J<:ÏI>J<:ÏI�EtIfGOW<7�«�9>=XY6<7�¶�6<9fGO77�³;®<=Z7*V?VFMO9"JyA

5�9�:<7*V?N*=FMO±}7hI"N*N*7*®;XYI"±;GO709>±<V?7*=FEtIfXZMO9"J<V�¸*EtI"=FMO9"W<V0J<9tX[ItX?MO9>J8V�N*I>J�±}7�W<VZ7*:yA"P�9"­�­�9>JJ<9fXYIfXZMO9"J<V�MOJ<N�GOW<:<7Q®<=?7*:;MON*IfXY7�N*ItGON*W;GOW8V�I"J<:¬VZ7�X�J<9tX[ItX?MO9>J}A<C�7�MHXY6<7*=�9f«/X[6<7*VZ7�MOV�VZIfXZMOVF½«�I"N�XY9"=F·Q«�9"=�7�³;®<=Z7*V?VFMO9"J<V�¸`I"V0XY6<7�·�:�MOVZI © =?7*7�¶)MHXY6�7�³�MOV²XZMOJ © J89tX[ItX?MO9>J�«�9>=�:<7�X[7*=Z­+MOJ;MOVFX?MONÐ�Ñ m"�>�HqOuv�`]Y�QqHe�ÒDÓhj0n�Ô�Ô�Õ>�`Ö4qHaF�;�<×�g�ac�t_*e<�`_*e`� � gtgt�"p[gtpFØQ][�tqHbFg*aFuZ�t^>^<�<Ù�ÙFÚ`Ù�Ù*�<n�^>acqHe"�t]?ac�Û�]Zac�O_����`Ü�Õ�Õ�Ý>�

Page 2: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

� Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

7�³;®<=Z7*V?VFMO9"J<V�A"µFJ8VFXY7*I":�¶�7�W8VZ7�I�N*IfGON*W;GOW<V�9f«�J<9>J8:<7�XY7*=?­�MOJ;MOV²XZMON�7�³;®<=Z7*V?VFMO9"J<V/¼`J<9*¶�J'I"V±<W<J<N[6¹XY6<7*9"=F·tA4µF­�®;GHMON�MHXQVZ®}7*N�MH´BN*ItX?MO9>J8V�¶�=FMHX?XY7*JÏMOJ ®8=Z7*:;MON*IfXY7�N*IfGON*W;GOW<V�´<XQ¶�7�GHGhMOJ"XY9XY6;MOV)N*IfGON*W;GOW<V�A

����� ��� ������������������������������� !�5)6<7QVFX[=ZW<N�X[W<=Z7�9t«0XY6;MOV�®8I>®}7*=)MOV�I"V)«�9tGHGO9*¶�V�A�@;7*N�X?MO9>J�"�®<=Z7*V?7*J>X[V)I�X[6<7*9"=F·�9f«hJ89>J<:87�½XY7*=?­�MOJ;MOV²XZMON�7�³;®<=?7*VZV²MO9>J<VLX[6<ItX)MOV�W<VZ7*:�X[6<=Z9"W © 6<9>W�XhX[6<7�=?7*VFX�9f«lXY687�®<I"®}7*=�AD@;7*N�XZMO9"J$#MOJ"XY=Z9;:8W<N*7*V4I�«�W8J<N�XZMO9"J<IfG�®<=?9 © =ZI"­�­+MOJ © GOI>J © W<I © 7/I"J<:�I�V?®y7*N�MH´BN*IfXZMO9"J�GOI>J © W<I © 7tA�5)6<7®<=Z9 © =ZI"­�­�MOJ © GOI"J © W8I © 7�¶)MHGHGl±}7�I�V?W<±<V?7�X9f«�XY687�VZ®}7*N�MH´BN*IfXZMO9"J�GOI"J © W<I © 7tA;K0³;I>­�®;GO7*V9t«LW<VFMOJ © X[6;MOV�V?®y7*N�MH´BN*IfXZMO9"J�GOI>J © W<I © 7�I"=Z7 © MHE>7*JÏMOJ�@;7*N�X*A&%;A}µFJ�@�7*N�X�A('�XY6<7Q=Z7�GOIfXZMO9"J9t« Ä?Ã*)/É}Ã,+�ÃYÉBÇ MOV�MOJ>X[=Z9;:<W8N*7*:yA ¨ VZ®}7*N�MH´BN*IfXZMO9"J'ˬ=Z7�´BJ<7*V�I�V?®y7*N�MH´DN*ItX?MO9>J¬Ê�Í�¶�=FMHX?XY7*JÊ.- Ë;Î�M0/�7�E>7*=²· ¶�I*·�X[6<ItX�Ë�N*I"J�±y7'V?ItX?MOVF´B7*:�IfGOVZ9¹VZIfXZMOVF´D7*V�ÊkA ¨ ®8=Z9 © =?I>­ MOV�IVZ®}7*N�MH´BN*IfXZMO9"J(XY68ItX�N*I"J ±}7�7�³87*N*W�XY7*:(¶)MHX[6�I>N*N*7*®�XYI"±;GO7�7�Ì�N�MO7*J<N�·»I>J8: V?9(J<7*7*:<V�J89«�W<=²XY6<7*=L=Z7�´DJ<7*­�7*J"X�A�@;7*N�XZMO9"J$1+®<=Z7*V?7*J"XYV�I�J`W<­�±}7*=o9f«�XY687*9>=?7*­�V0XY6<IfX)I>=?7�9f«/6<7�GO®�MOJ®<=Z9�E�MOJ © XY687o=?7�´BJ<7*­�7*J>X�=?7�GOItX?MO9>JyA"@;7*N�X?MO9>J32�VZ6<9*¶�V06<9*¶�X[6<7*VZ70XY6<7*9"=Z7*­�VyN*I"J�±}7oW8VZ7*:XY9�:<7*=FMHE"7�®<=?9 © =ZI"­�V�«�=Z9"­ VZ®}7*N�MH´BN*IfXZMO9"J<V)±"·(I'J�W8­�±y7*=�9f«�VZ­�IfGHG/I"J<:¬«�9>=?­�IfGHGH·54²W<VF½XZMH´B7*:ÏVFXY7*®8V�A}S�M © 6<7*=�9>=?:<7*=)«�W8J<N�XZMO9"J<V�I"=Z7�:;MOV?N*W<VZV?7*:¬MOJ�@�7*N�X�A�6`A�@;7*N�XZMO9"J87'®<=Z7*V?7*J"XYVI(­�7�X[6<9;:(9f«�VZ®}7*N�MH«U·`MOJ © X?MO­�7�±}9"W<J<:<V�A4µFJ�@;7*N�X�A:9¬¶�7�GO9;9"¼�IfX�®<IfXZX[7*=ZJ�­�ItX[NY6�MOJ © A;�MOJ<IfGHGH·Ï@�7*N�X�A<">=�:;MOV?N*W<VZV?7*V�=Z7�GOIfXY7*:�=Z7*VZ7*I"=ZN[6yA

? @�£� )¤BA}¡CAk¢�D §F )§FE`¡;§c¦HGJILK�¢CA�ECE;§c£o LE

º�7 © 7*J<7*=ZIfGHMNM*7�X[6<7�J89tX?MO9>J�9f«�7�³;®<=Z7*V?VFMO9"J�X[9(IfGHGO9*¶POY:89>J<Q X�N*I"=Z7SR¬J89>J<:87�XY7*=Z­+MOJ;MOVZ­ÍvIfGOVZ9�¼`J<9*¶�J�I>V�O[7*=Z=?ItX?MONSRhJ<9"J<:<7�X[7*=Z­+MOJ;MOVZ­�ÎZAUT�W<= © 7*J<7*=ZIfGHMNM*7*:�7�³;®<=?7*VZVFMO9"J<VDI>=?7l¼`J<9*¶�JI>V ÁWV;É&XZY�ÃZ[U\BÄ?ÃZÂ[Â�È�ÀfÉ� ÍvS�7*6<J<7*=B"S9]7^'"ÎYA

_ MHE>7*JÏ7�³8®8=Z7*VZV²MO9>J8V)Ê(I>J8:�Ë<¸DX[6<7�7�³;®<=?7*VZV²MO9>J°Ê�` Ë N*ItGHGO7*:'X[6<7 ÁWV;É(XZY�V;É<ÈvÀ�É 9f«lÊI>J8:(ˬ:<7*J<9fXY7*V�I�EtIfGOW<7QX[6<ItX�N*9>W�GO:(±y7QX[6<7�EtIfGOW<7�9f«oʹ9>=�N*9>W�GO:(±y7QX[6<7�EtIfGOW<7�9f«oË<Aa�W<J<N[6(W<J;MO9"J(MOV�I>V?VZ9;N�MOIfXZMHE"7t¸}N*9>­�­�W;XYIfXZMHE"7t¸BI"J<:¬MO:87*­�®}9tX[7*J>X*A&T�=Z:�MOJ<I>=²·¬9>®}7*=ZIfXY9"=ZV:;MOVFX[=FMO±<W�XY7�9�E>7*=�±<W<J8NY6�W<J;MO9"JyA:;<9"=�7�³;I>­�®;GO7t¸4X[6<7�«�9tGHGO9�¶)MOJ © X[6<=Z7*7�7�³;®<=?7*VZV²MO9>J<VQI"=Z77*¯`W;MHEtIfGO7*J>X

ÍZ"�`Z'`Î(b-ÍF1!`,#"ÎÍZ"cbd1"Î,`*Íe"cbd#>ÎU`�Íf'Lbg1>ÎU`*Íh'Lbd#>Î

%i`e2C`Z95)687/MO:<7*J"X?MHXc·�9f«<±<W<J<N[6QW<J;MO9"JQMOV�¶�=FMHX?XY7*J�I>Vkj(l&mnmcA�µcXl=?7*®<=Z7*V?7*J"XYVDXY6<7L7*­�®;Xc·�±<W<J<N[6yA

¨ X�XY6<7�9>®<®}9"VFMHXY77*J<:�9f«�XY687�VZ®}7*N�XY=?W<­ MOVBo]mnm²¸8=Z7*®<=?7*VZ7*J"XZMOJ © X[6<7�W8J;MO9>J�9f«lItGHG47�³;®<=Z7*V²½VFMO9"J<V�A

¨ ±8W<J<N[6�Ê�MOV�I ÂWV<Á*ÁWV;É(XZY 9f«/I�±8W<J<N[6�Ë�MH«/I"J<:'9>J�GH·�MH«lX[6<7*=Z7MOV�I�±8W<J<N[6qp+VZW<N[6XY6<IfX�Ê�`rp�MOV�7*¯`W;MHEtIfGO7*J>XLXY9QË<A`º»7�¶�=²MHXY7�Ê�¿?Ë<A;5)6�MOVhMOV�I�®<I"=FX?MOItGD9>=?:<7*=�A];<9"=�ItGHG}±<W<J<N[67�³;®<=Z7*V?VFMO9"J<VhÊ4¸;¶�7�68I*E>7sj<l�mfm;¿*Ê4A<KL¯`W<IfGHMHXc·�9f«�±8W<J<N[6�7�³;®<=?7*VZVFMO9"J<V0¶)MHGHG�±y7)¶�=²MHXZX[7*J�I"VÊut Ë<¸;­�7*I"J;MOJ © Ê�¿cË�I"J<:�Ëo¿ ÊkACT�=Z:�MOJ<I>=²·�7*¯�W8ItGHMHXc·�MOVL¶�=FMHX?XY7*J�ÊLv'Ë�I"J<:�:;M0/}7*=ZV0«�=Z9"­Êut Ë�MOJ�X[6<ItX�MHX�:�MOVFXY=²MO±<W;X[7*Vh9*E"7*=�±<W<J8NY6�W<J;MO9"JyA85)6�W8V

Íe"�`U#"Î<vd# t ������ ` �h��w*xS

Page 3: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� Ý

¶�6<7*=Z7*I"V"�`U# �t #

P�7*=²XYIfMOJ�±8W<J<N[6�7�³;®<=?7*VZV²MO9>J<V}¶)MHGHG<±}7/N*IfGHGO7*: Ã�� Ã,+�ÃYÉBÇO A`KLI>N[6QJ`W<­�±y7*=}MOVlI"JQ7�GO7*­�7*J"XI>V�I"=Z7+XY6<7�N*9"J<VFX[I>J"XYV ������ I>J8: �h��w xS A ¨ GHMOVFX�9f«�7�GO7*­�7*J"XYV�MOV�I"J�7�GO7*­�7*J"X�Ayº 6;MON[6«�W<J8N�XZMO9"J<ItG8EtItGOW87*V)I>=?7�7�GO7*­�7*J"X[V/¶)MHGHG�±}7�:;MOV?N*W<VZV?7*:�GOIfXY7*=�A�º�7�VZI�·���MOV)I>J'7�GO7*­�7*J>X�9f«Ê'MH«��o¿�ʬI"J<:���MOVI>J'7�GO7*­�7*J"X*A

a�W<J8NY6<7*VQ­�I*·�±}7�N*9"J<V²MO:<7*=Z7*:¹I>V�V?7�XYVQ±<W;X�¶)MHX[6<9"W;XQXY6<7�J<7*VFX?MOJ © ÍvV?7�XYVQ9f«�VZ7�XYV[ÎY¸W<VFMOJ © I�VFMO­�®�GO7*=�J<9fXYIfXZMO9"J»Í�J<9�N*W<=FGH·¬±<=?I>N*7*V[ÎY¸8I>J<:'¶)MHX[6(:;MOV²XY=FMO±8W;XZMO9"J¬9t«L9>®}7*=ZIfXZMO9"J<V9*E>7*=�XY687(7�GO7*­�7*J"XYV�AL5)6<7(­�ItMOJ =Z7*I"VZ9"J<V�«�9>=�W<VFMOJ © ±<W<J<N[6<7*V�=?ItX[6<7*=�X[6<I"J¾VZ7�X[V�I"=Z7J<9fXYIfXZMO9"J<ItGfN*9>J"E>7*J�MO7*J<N*7t¸�I"J<:�XY68ItX4XY687�·�VZ®}7*N�MOIfGHMNM*7/®<=?9>®}7*=FGH·�X[9�:<7�X[7*=Z­�MOJ�MOVFXZMONkEtItGOW87*V�¸¶�6<7*=Z7*I"VLVZ7�XYV�:<9+J<9tX*A

��LA� �K A4¦}§���¦��l¡;§c£o ����h ��o¥���� A

T�W8=oV?®y7*N�MH´DN*ItX?MO9>JQGOI"J © W<I © 7)¶)MHGHG�±}7�I"J�7�³`XY7*J8VFMO9"J�XY9�I�V²MO­�®;GO7«�W<J8N�XZMO9"J<ItGD®<=Z9 © =?I>­+½­�MOJ © GOI"J © W<I © 7tA�5)6<7�7�³;®<=?7*VZV²MO9>J<V�9f«�XY6<7�VZ®}7*N�MH´BN*IfXZMO9"J�GOI"J © W<I © 7�I"=Z7�±<W<J<N[6'7�³;®<=Z7*V²½VFMO9"J<V�A

@�®y7*N�MH´BN*IfXZMO9"J<V�­�I*·�N*9"J"XYIfMOJ(«�=?7*7�EtI"=FMOI"±;GO7*V�Ak5)6<7*VZ7+=Z7*®<=?7*VZ7*J"X�X[6<7�MOJ<®<W�X�X[9'XY6<77�³;®<=Z7*V?VFMO9"Jy¸ È���Ã�� XY6<7�VFX[ItX[7�MOJ»¶�6;MONY6¹MHX�MOV�7�EtIfGOW<IfXY7*:yA4KLI"NY6¹EtI"=FMOI"±;GO7�=?7*®<=Z7*V?7*J>X[V�I"J7�GO7*­�7*J"X�A

¨ VhI�V²MO­�®;GO77�³8I"­�®�GO7)9t«�IQVZ®}7*N�MH´BN*IfXZMO9"Jy¸]j bd"oMOV�XY6<7)V?®y7*N�MH´BN*IfXZMO9"J�9f«�I�J`W<­�±}7*=9>J87 © =Z7*IfXY7*=�XY68I>J�VFX[ItX[7�EfI>=²MOI>±;GO7Jj�A0µcX�6<I"®<®y7*J8V�X[6<IfX�XY6;MOV�V?®y7*N�MH´DN*ItX?MO9>J¹MOV�IfGOVZ9�I®<=Z9 © =ZI"­�A�aL·�W<VFMOJ © ±8W<J<N[6�7�³;®<=Z7*V?VFMO9"J<V�¸"¶�7�IfGHGO9*¶-«�9>=LN[6<9tMON*7oMOJ�X[6<7)VZ®}7*N�MH´BN*IfXZMO9"JyA ¨VZ®}7*N�MH´BN*IfXZMO9"J�9f«yIQJ`W<­�±}7*=�XY68ItX0MOVh9"J<7t¸"Xc¶�98¸>9>=0XY6<=?7*7 © =?7*ItX[7*=4XY6<I"J j�MOV�j�b�ÍZ"�`U# `e%`ÎYA

�<��� �����3�������������! #"$�&%c��"$�<���'�& ���$(kxS]�;<9"=/X[6;MOVh®8I>®}7*=�¸f¶�7�¶)MHGHG}W<VZ7)X[6<7�V²MO­�®;GO7�GOI"J © W<I © 7�MHGHGOW<V²XY=ZIfXY7*:�MOJu;�M © AC=;A;K0³;®<=Z7*V?VFMO9"J<VMOJ'XY6;MOVoGOI>J © W<I © 7¶)MHGHG/±}7�N*IfGHGO7*: \BÄ?À*)�ÄFÆ�+Q XY9�:;MOVFX?MOJ © W�MOVZ6�XY6<7*­ «�=Z9"­ ­�9"=Z7 © 7*J<7*=?ItGVZ®}7*N�MH´BN*IfXZMO9"J<V�A

�,+k� !x 5)687�Xc·;®}7*V�9f«)XY6�MOVQGOI>J © W<I © 7+I>=?7�±<W<J8NY6<7*V�A�5)6<7�±<W<J8NY6 Á[À*À-� 6<I>V�7�GO7*­�7*J"XYV������ I>J8: �h��w*xS A}5)6<7�±8W<J<N[6 ÉBÆ>Ç 6<I"V�7�GO7*­�7*J"XYVL=;¸ "t¸�#`¸4I"J<:¬VZ9�9>J}A ¨ VZW<±8=ZI"J © 7�9f«XY6<7�J8ItX[W<=ZIfGOV�MOV�¶�=FMHX?XY7*J/. `1010�2Ï«�9"=�J<IfXYW8=ZIfGOV3.)I"J<:�2<Ak5)6;MOV�VZW<±<=?I>J © 7QMOJ<N�GOW8:<7*V3.�±8W;X7�³;N�GOW<:<7*V428A _ MHE"7*J'I�Xc·;®}765�¸`X[6<7)Xc·;®y76587hMOVLXY6<7)±<W8J<NY6�9t«4IfGHG<´BJ;MHX[7)GHMOVFX[V/¶)MHX[6�MHXY7*­�VÍ�GHMOV²X�­�7*­�±}7*=ZVYÎyMOJ95�A ¨ J�7�GO7*­�7*J"XYI"=F·�GHMOVFXMOV�9>J87�¶�6<9"VZ7MHXY7*­�V�I"=Z7�ItGHG�7�GO7*­�7*J>X[V�A

:,; �k��!xSx� *��"�x 5)6<7�W<V?W<IfGk±}9;9tGO7*I"J�I"J<:�J`W<­�7*=²MON*ItG}9>®}7*=ZIfXY9"=ZV0I>=?7�®<=?9*E`MO:<7*:y¸8I>V�¶�7�GHGI>V�I�VFXYI"J<:<I"=Z:+MH«U½v7�³;®<=Z7*V?VFMO9"JyA

<4MOV²XYV�I"=Z7+¶�=FMHXZX[7*J»MOJ�VZ¯`W<I"=Z7�±8=ZI"NY¼f7�XYVQ¶)MHXY6�V?7*­�MON*9fGO9>J<VQV?7*®<I>=?ItX?MOJ © XY6<7�MHXY7*­�V�A¨ W8VZ7�«�W�G/J<9fXYIfXZMO9"J¬«�9"=Z­�V�I�GHMOVFX�9f«�N*9>J"XZM © W<9"W<V�J8ItX[W<=ZIfGOV>=�? .@=1010�2BA)±}7 © MOJ<V�¶)MHXY6C.�I"J<:N*9>J"X?MOJ�W87*V�W<®¾X[9 Í�±<W;X�J<9tX�MOJ<N�GOW<:;MOJ © Î328A�<4MOVFX[V�­�I*·�±y7¬N*IfXY7*J<IfXY7*:�W<V²MOJ ©�D A6<4MOV²XMOJ<:<7�³`MOJ © MOVo¶�=FMHXZX[7*J�I"V 4FW�³�X[I>®}9"VFMHXZMO9"J�I"J<:�GHMOVFX[V�I"=Z7�MOJ8:<7�³;7*:�«�=Z9"­ =8A ¨ GHMOVFX�­�I*·�±y7MOJ<:<7�³;7*:�±>·'I�GHMOV²X�¸D®<=Z9;:8W<N�MOJ © I�GHMOVFX�9t«l=?7*VZW;GHX[V�A

Page 4: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

� Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

x�wf^8][uÓ/_*bcm"aF_*�Ou ����� ���ZÜ� � ��� n�m"�>aF_�e>�t][u Õ����YÜ � Õ��ZÜ����?Ü�ÜÖ�gtg*�O][_*e`u ������ ~[����� ��� ���U|��Ò;qOuvbFu ������� ����� � �!����� ��"#�!������

$&%f^>aF][ucuvqOg*e`uÓlm"d�]?acqOp[_*�'$&%t^"aF]YucuvqOg*e`u/Ü)(+* ÔÖ�gtg*�O][_*e,$&%t^"aF]YucuvqOg�e�u Ü)-+* � ���U|��jlg*e`�tqHbcqOg�e�_*�Ou ./��Ü0-1* ~�2&��3 Ý �4�U|�� � �Ò;qOuvbFu � Ü" � "cÝ�" � � � Ü" � "²Ý�" � �Ò;qOuvbFu � Õ�"��YÜ � � � Õ�"?Ü���"?Ü�Ü��Ò;qOuvblp[_*bF]Ze`_*bcqOg*e � Ü" � �456� Ý�" � � � Ü" � "²Ý�" � �Ò;qOuvb�qHe`�>]7%tqHe"� � Ü" � "cÝ�" � � � ÝÒ;qOuvb�qHe`�>]7%tqHe"� � Ü" � "cÝ�" � �8� Ý�" � "YÜ9"#�!� � � " Ý�" � "ZÜ��Ò;qOuvb��O]?e>��bc� :,� Ü9" � "²Ý�" � � ��tm"e`pZbcqOg*e`u ;=<?>���4� �A@ ;=B�>������ @ <?� ��"�� BC�D ^"^>�HqOp[_*bcqOg*e EF;=<G>����4� �A@ ;=B�>������ @ <?� ��"�� BC�/H�� Ü" � "cÝ�" � � � � Ü" � �Ò<]?b ���f~ BI-�Ý @J� Ü" � "FÝ�" � �I� ��"�� BC� � Ü" � "²Ý!�K .ML ��N<�OD uvqHd�^>�O]/i�m"e`pZbcqOg*e`_*�;^"aFg*��aF_*d�d�qHe>���O_�e>��m`_*�t]

;8W<J<N�XZMO9"J<V�I>J8:(GO7�XZ½v7�³;®<=Z7*V?VFMO9"J<V�MOJ"X[=Z9;:<W<N*7�J87�¶ªMO:<7*J"XZMH´D7*=ZV�¶�6�MONY6�­�I�·(±y7�W8VZ7*:¶)MHXY6;MOJ�X[6<7�MO=�±y9;:;MO7*V�AC;<W8J<N�XZMO9"J'I>®<®�GHMON*ItX?MO9>J�MOV�¶�=FMHX?XY7*J�I>V 4²W;³`XYI"®y9"VFMHX?MO9>JyA

C�9tX[I>±�GH·+I"±<V?7*J>X0«�=?9>­ X[6;MOV0GOI>J © W<I © 7LMOV�I"J>·�«�9>=?­.9f«k=?7*N*W<=ZV²MHE>7):<7�´BJ�MHXZMO9"JyA"R�7*N*W<=²½VFMO9"J�MOV)XY=?7*ItX[7*:�MOJ¬VZ7*N�X?MO9>JJ'8AN"fA

�( ����"i�- *�]x 5)6<70«�9"=Z­�IfG>V?7*­�I"J"XZMON*V}9t«<X[6<7/9"®}7*=ZIfXY9"=ZVB9f«<X[6<7/®<=?9 © =ZI"­�­+MOJ © GOI>J © W<I © 7N*I>J�±y7 © MHE"7*J�If³`MO9>­�ItX?MON*ItGHGH·tA ¨ GHMOV²XZMOJ © 9f«�ItGHG}XY687�It³`MO9"­�V0¶o9"W;GO:'±}7�=ZIfXY6<7*=�GO9>J © A>º�7GHMOVFX�I+«�7�¶ I"V)7�³;I>­�®;GO7*V�A

�c������L���� " Ê !w*xS Ët�Ê *���h��w xSB���� " Ê !w*xS Ët�Ë

P ? A&t =P�? Ê'A<tH"

P�ÍvÊ D Ë8Î tQP�ÊbRP�ËAAA

5)687/X[=Z7*IfXY­�7*J"XB9f«<7*=Z=?9>=?V/Í�«�9"=47�³;I>­�®;GO7l:;MHE`MOVFMO9"J�±"· =`ÎDMOVlI�­�ItX?XY7*=B9f«<VZ9"­�70NY689tMON*7tAº�7�N*I>J�XY=?7*ItXL7*=Z=Z9"=ZVLI"Vo7*¯`W;MHEfItGO7*J"X�XY9 o]mnm²¸�9>=L¶�7�N*I"J�9"­�MHX�It³`MO9"­�VLXY68ItX�ItGHGO9�¶�W<VLX[9=Z7*I"VZ9"J�I>±}9"W;X/7*=Z=?9>J87*9>W<V�N*9"­�®8W;XYIfXZMO9"J<V�A�K/MHX[6<7*=l¶�I*·�9f«yX[=Z7*IfXZMOJ © 7*=Z=Z9"=ZVkMOVhN*9"J<VFMOV²XY7*J"X¶)MHXY6�XY687�=Z7*V²X)9t«�X[6;MOV)®<I"®y7*=�A

�<�TS �(� !�B /U �]�C�- *��" %c��"$�(��� �& : ; ��'"�x� � "�x5)6<7'®<=Z9 © =ZI"­�­�MOJ © GOI"J © W<I © 7�®<=Z7*V?7*J"XY7*:»VZ9(«�I>=+N*I>J�±}7�W8VZ7*:�XY9϶�=FMHX[7�7�³;7*N*W;X[I>±;GO7VZ®}7*N�MH´BN*IfXZMO9"J<V�¶�6;MON[6�N*I"J(X[6<7*J(±}7�XY=?I>J<V²«�9"=Z­�7*:�X[9�­�9>=?7�7�Ì�N�MO7*J"X�®8=Z9 © =?I>­�V�W<VFMOJ ©

Page 5: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� *

N*9>J"E"7*J>X?MO9>J8ItGDXY7*N[6<J;MO¯`W<7*V�AµFJ8VFXY7*I":�9t«�VFXY9"®<®;MOJ © IfX�I>J 7�³87*N*W�XYI"±;GO7�V?®y7*N�MH´BN*IfXZMO9"J¹GOI>J © W<I © 7t¸�¶�7'¶)MHGHG�IfGHGO9*¶

I>J"·�±<W<J<N[6�7�³;®<=?7*VZVFMO9"J�XY9�±}7�W<VZ7*:�I"V)I�VZ®}7*N�MH´BN*ItX?MO9>J}A"µFJ�X[6;MOV)VZ7*N�X?MO9>J}¸"¶o7�®<=?7*VZ7*J"XoIJ`W<­�±y7*=�9f«/N*9"J<VFX[=ZW<N�X[VhX[6<IfXI"=Z7Q9f«/W<V?7�MOJ'¶�=²MHXZMOJ © VZ®}7*N�MH´BN*IfXZMO9"J<V�A�5)6<7�·�7�³`X[7*J<:�XY6<7®<=Z9 © =ZI"­�­�MOJ © GOI"J © W8I © 7�X[9�ItGHGO9*¶ © =Z7*IfXY7*=L7*I>V?7�I"J<:'=ZI"J © 7�9f«l7�³8®8=Z7*VZV²MO9>J}A

µFJQX[6;MOVlV?7*N�XZMO9"Jy¸�� I"J<:�� ¶)MHGHGBVFX[I>J8:�«�9>=k´B=ZV²X/9>=?:<7*=�®<=?7*:;MON*ItX[7*V�¸ ��«�9"=lI"J�7�GO7*­�7*J"X�¸Êk¸8Ë<¸BI"J<:8pQ«�9>=)V?®y7*N�MH´BN*IfXZMO9"J<V�¸`I>J8:�.0«�9"=�I>J�MO:<7*J"XZMH´D7*=�A

��J"XZMHGy@;7*N�X*AC6�¶�7�¶)MHGHG49>J;GH·�N*9>J<V²MO:<7*=/7�GO7*­�7*J"XYVlX[6<IfXhI"=Z7)´B=?VFX�9>=?:<7*=�¸tXY6<IfX/MOV�J`W<­�½±y7*=?V�¸L±}9;9tGO7*I"J<V�¸LI>J<: GHMOVFX[V'9t«Q´B=?VFX'9>=?:<7*=�7�GO7*­�7*J>X[V�Ac;<W8J<N�XZMO9"J<IfG�7�GO7*­�7*J"X[V�¶)MHGHGQ±y7:;MOVZN*W8VZVZ7*:+MOJ(@;7*N�X�Ai6�A

�L=Z7*:�MON*ItX[7*VyI"=Z7L±y9;9fGO7*I"J�7�³;®<=?7*VZVFMO9"J<V�A�S�9*¶o7�E"7*=�XY687hJ<9"J<:<7�X[7*=Z­+MOJ;MOVZ­ 9t«<X[6<7LVZ®}7*N�½MH´BN*IfXZMO9"J�GOI>J © W<I © 7hMOV�J<9fX�7�³�X[7*J<:<7*:QX[9�X[6<7)®<=?7*:;MON*ItX[7*V�A�;<9"=�7�³8I"­�®�GO7�.��(Í # `e%`ÎlMOV�J<9fXI>J�I"N*N*7*®;XYI"±;GO7�®<=Z7*:;MON*IfXY7+±y7*N*I"W<VZ7t¸yMOJ¾I"J>·�VFX[ItX[7�¶�687*=Z7 . v %;¸�MHX�MOV�7*¯`W;MHEfItGO7*J"X�X[9Í ������ ` �h��w*xS ÎYA"µFJ�7*I>N[6�V²XYIfXY7t¸`IQ®<=?7*:;MON*IfXY7)­�W<V²Xo±}7�7�MHXY687*=lXY=?W<7�9"=/«�ItGOV?7t¸;J<7�E"7*=h±}9fXY6y¸J<7�E>7*=�J<7�MHX[6<7*=�Í�X[6<9>W © 6+XY6<7GO9 © MONQ­�I*·�J89tX�±}7�N*9"­�®;GO7�X[7�7*J<9"W © 6�X[9�VZI*·�¶�6;MON[6BÎYA

�3����������� x ¨ J>·(®8=Z9 © =?I>­ MOV�IfGOVZ9'I'VZ®}7*N�MH´BN*ItX?MO9>J}A�;<W8=FXY687*=Z­�9"=Z7t¸8I"J>·Ï¶oI*·¹9t«LN*9>J;½VFX[=ZW<N�X?MOJ © ®<=Z9 © =?I>­�V/«�=Z9"­ ®<=Z9 © =ZI"­�VLN*I>J'±}7�W<V?7*:�X[9�N*9"J<VFX[=ZW<N�X�VZ®}7*N�MH´BN*IfXZMO9"J<Vl«�=Z9"­VZ®}7*N�MH´BN*IfXZMO9"J<V�A"5)6`W<V

? Ê$=ZËBAI>J8:

� � ����'" Ê !w*xS ËI>=?7�±}9tX[6�VZ®}7*N�MH´BN*IfXZMO9"J<V/®<=?9*E`MO:<7*:�X[6<IfX�� MOV�I�®<=?7*:;MON*IfXY7)I"J<:�Ê'I"J<:�Ë+I>=?7�VZ®}7*N�MH´BN*If½XZMO9"J<V�¸87�E>7*J�X[6<9>W © 6��¸8Êk¸DI"J<:�Ë�­�I*·�J<9fX)±y7�®<=Z9 © =ZI"­�V�A

�(�&wn�(�- *� "�x 5)6<7�7�³;®<=Z7*V?VFMO9"J� . ���.MOV)7*¯`W;MHEtIfGO7*J"X)XY9QX[6<7�±<W8J<NY6'9f«�ItGHG�7�GO7*­�7*J"X[V .0«�9"=¶�6;MON[6��.MOV�X[=ZW<7tAi;<9"=�7�³;I>­�®;GO7t¸�*.��-.4¿�j�o�����.���%�MOV)X[6<7�±8W<J<N[6$=C`S"�`U#`A}5)6<7QIt³`MO9"­«�9"=LXY6;MOV)¯`W<I"J"XZMH´B7*=LMOV�¿

Í �h¿� . ����Î v Íc@�W<±<VFX?MHXYW;X[7,��«�9"=�./7�E>7*=²·`¶�6<7*=Z7MOJ��+ζ)MHXY6�XY687�W<V?W<ItG4N*I*E"7*ItX[Vh«�9>=)V?W<±<V²XZMHXYW�XZMO9"JyA

� ��w*w 5)6<7'VZ®}7*N�MH´BN*IfXZMO9"J�j(l&mnm�=Z7�´DJ<7*VQItGHG�V?®y7*N�MH´BN*IfXZMO9"J<V�A�5)6;MOV�V?®y7*N�MH´DN*ItX?MO9>JÏMOV�J<9fXVZIfXZMOV²´B7*:�±"·'I>J"·'=Z7*VZW�GHX�A;5)687�If³`MO9>­ «�9>=�j(l&mnm�MOV

j<l�mfm t . � �h��w xSµFJ¬MO­�®}7*=ZIfXZMHE"7Q®<=Z9 © =?I>­�­�MOJ © ¸�XY6<7�N*9"=Z=?7*VZ®}9>J<:�MOJ © VZ®}7*N�MH´BN*IfXZMO9"J�MOV�X[6<ItX¶�6;MONY6¹6<I"V�¸I>VLMHX[V)¶o7*I"¼t7*V²X)®<=Z7*N*9"J<:;MHX?MO9>J�®<=Z7*:;MON*IfXY7oXY=ZI"J<V²«�9"=Z­�7*=�¸������ ������ A

� w w 5)6<7�V?®y7*N�MH´DN*ItX?MO9>J�o]mnmhMOVQ=?7�´BJ<7*:(±"·�IfGHGhV?®y7*N�MH´BN*IfXZMO9"J<V�A<µcXQN*I"J�±}7�W<VZ7*:¹±>·ÏXY6<7VZ®}7*N�MH´B7*=0XY9QMOJ<:;MON*IfXY7XY6<IfX)VZ6<7�:<9;7*V?J<Q XoN*I"=Z7�I>±}9"W;XhX[6<7�=?7*VZW;GHX*A<5)687�If³`MO9>­ «�9"=Bo]mfmkMOV

o]mfm t . � ������5)6;MOV�MOV)X[6<7�±<W8J<NY6�9f«lItGHG�7�GO7*­�7*J"X[V�A

Page 6: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

Ô Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

� "$ *� " ��"�����"i�� � xS ���- *��" 5)6<7�V?®y7*N�MH´DN*ItX?MO9>J Ê�` Ë VZ®}7*N�MH´B7*V�X[6<ItX�ItX�GO7*I"VFX�9>J<7Q9f«VZ®}7*N�MH´BN*IfXZMO9"J<V�Ê(I>J8:¬Ë¬­�W<VFX�±}7Q­�7�X�AD5)6<7QV?®y7*N�MH´BN*IfXZMO9"J�Ê�� Ë'VZ®}7*N�MH´B7*V�XY68ItX�±}9tX[6'ÊI>J8:�Ë�­�W<VFX)±}7�­�7�X�A�5)6<7�MO=�It³`MO9"­�V)I"=Z7

Ê�`?Ë t . �`Í�.y¿�ÊyÎ��(Í�.y¿�Ë;ÎÊ�� Ë t . �"Í�.y¿�ÊyÎ���Í�.y¿�Ë;Î

«�9"=�./J<9fX�«�=?7*7�MOJ'ʬ9"=)ËDA

� xSxS!�S� 5)6<7�VZ®}7*N�MH´BN*IfXZMO9"J�� @ ʬ7�³;®<=Z7*V?VZ7*VLXY68ItX)ʬ­�W<V²X±}7�­�7�X�¶�6<7*J � MOV)X[=ZW<7t¸I>J8:�9fXY6<7*=²¶)MOVZ7�I>J"·�=?7*VZW;GHX)¶)MHGHG�:<9;A�µcXYV)If³�MO9"­ MOV

� @ Ê t *� � ���� " Ê !w xS o]mfmµFJ�XY6;MOV)W<V?I © 7t¸ � MOV�N*IfGHGO7*:�I"J Æ�Â[Â�ÃYÄ�Ç�ÈvÀ�É A

������ 5)6<7�VZ®}7*N�MH´BN*ItX?MO9>J� @ ʬ7�³;®<=Z7*V?VZ7*VLXY6<IfX)ʬ­�W<VFX�±}7�­�7�X�¶�6<7*J �.MOV)X[=ZW<7t¸I>J8:�MOV�9fXY687*=F¶)MOVZ7MO­�®}9>V?VFMO±;GO7oXY9�­�7*7�X�A`µcX[V�It³`MO9"­ MOV

� @ Ê t � � ����'" Ê !w*xS j(l&mnmµFJ�XY6;MOV)W<V?I © 7t¸ � MOV�N*IfGHGO7*:�I )�V<ÆtÄ�� A

@�7*7*J�I"V)W<J<I"=F·�9"®}7*=ZIfXY9"=ZV�¸ � @ I"J<: � @ I>=?7�:<W8ItGOV)I"J<:'I>:�4F9fMOJ>X*A

����+ 5)6<7�VZ®}7*N�MH´BN*IfXZMO9"J ����+ Ê�7�³;®<=?7*VZV?7*VlXY68ItX�Ê'­�W<VFXL±y7�­�7�XhMH«�®}9>V?VFMO±;GO7tA>µcXYVLIt³`MO9"­MOV

����+ Ê t Í�Ê&�t j<l�mfmvÎ @ Ê t *� Ê&�t j<l�mfm ���� " Ê w xS o]mnm5)687�V?®y7*N�MH´BN*IfXZMO9"J ����+ Ê !w*xS Ë'7�³8®8=Z7*VZV?7*VLXY6<IfX�Ê(­�W<V²X±}7Q­�7�X�MH«h®}9"VZVFMO±�GO7t¸<I"J<:

MH«/J<9fX�¸�Ë�­�W<V²X)±y7�­�7�X�A>µcXYV)If³`MO9>­ MOV

���>+ Ê w xS Ë t *� Ê��t j(l&mnm ���� " Ê !w*xS Ë5)6;MOV�N*9"J<VFX[=ZW<N�X�7�³;®<=Z7*V?VZ7*VLI�¼"MOJ<:¬9f«/±<I"NY¼"X[=ZI"NY¼"MOJ © 9"=�:;·;J<I"­�MON�7�³8N*7*®�XZMO9"J�6<I"J<:;GHMOJ ©¶�6<7*=Z7«�IfMHGOW<=Z7�MOV)7�³;®<=Z7*V?VZ7*:�±"·$j(l&mnm²A

��J;GHMO¼t7�9"W<=49tX[6<7*=4VZ®}7*N�MH´BN*IfXZMO9"J�N*9>J8VFXY=?W<N�XYV�¸ ����+ I>J8: ���>+q!w xS I"=Z7LJ<9fX�­�9"J<9tX[9>J�MONMOJ'ItGHG4XY687�MO=)VZ®}7*N�MH´BN*ItX?MO9>J+9>®}7*=ZI"J<:<V�¸"¶)MHXY6'=Z7*V?®y7*N�XLXY9�XY6<7�VZW<±<±8W<J<N[6�9"=Z:<7*=²MOJ © A

% � ��( �k� 5)687�V?®y7*N�MH´DN*ItX?MO9>J¹GOI>J © W<I © 7�6<I"V�I¹­�9"=Z7 © 7*J<7*=?ItG�I"±<VFX[=ZI"N�XZMO9"J�9"®y7*=?ItX[9>=XY6<I"J�X[6<7�®<=?9 © =ZI"­�­+MOJ © GOI"J © W<I © 7tA!;89>=�MO:<7*J"X?MH´B7*= .�I>J<:�7�³;®<=Z7*V?VFMO9"J�Ê4¸`XY687�«�9fGHGO9*¶)MOJ ©MOV�I"J�7�³;®<=?7*VZVFMO9"J

� . ��Ê;89>=)I"J"·�7�GO7*­�7*J>X��

Í �'. �*Ê}Î$� t Íc@;W<±8VFXZMHX[W;XY7,��«�9>=6.L7�E>7*=²·�¶�687*=Z7�MOJ'Ê}Î

Page 7: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� �;<W<=²XY6<7*=?­�9"=Z7)I"®<®;GHMON*IfXZMO9"J�:;MOV²XY=²MO±<W;XY7*VL9*E"7*=)±<W<J<N[6�«�9"=Z­�IfXZMO9"Jy¸`V?98¸8«�9>=�7�³;I>­�®;GO7t¸

� j<l�mfm(t j(l&mnm��ÍvË�`Up>Î t Í��QË;Î,`*Í��p"Î

5)6`W<V�EtI"=FMOI"±;GO7*V�ItGH¶�I*·;V�=Z7*®8=Z7*VZ7*J"X�7�GO7*­�7*J"XYV�A<�I"­�±}:<I�I"±<VFX[=ZI"N�XZMO9"J'MOVQW<J"Xc·8®}7*:¬¶)MHX[6�=Z7*V?®y7*N�XXY9�XY6<7+®<=Z9 © =?I>­�­�MOJ © GOI>J © W<I © 7

Xc·;®y7*V�A/S�9*¶�7�E>7*=�¸0MOJ 9>=?:<7*=QXY9»®<=Z7�E"7*J"X�®<I"=ZI":<9*³`MON*ItG)7�³;®<=?7*VZVFMO9"J<V�¸�MHX�MOV�Xc·;®y7*:�¶)MHX[6=Z7*V?®y7*N�X)X[9�X[6<7�9>=?:<7*=�9f«hX[6<7�I"= © W<­�7*J"XYV�A���J"XZMHGh@;7*N�X*A�6�ItGHG/I"= © W<­�7*J>X[V�¶)MHGHGh±}7Q´B=ZV²X9>=?:<7*=�¸>XY6<IfX�MOV�¸DJ<9"J;«�W8J<N�XZMO9"J<IfG�A

% ]� <4MO¼t7�¶)MOV?7t¸;X[6<7�V?®y7*N�MH´BN*IfXZMO9"JQGOI"J © W8I © 7�6<I"V�I�­�9"=Z7 © 7*J<7*=ZIfG w ^� N*9"J<VFX[=ZW<N�X*A�µcX)MOV:<7�´BJ<7*:�±"·

w*]� .��*Ê t Í � . ��ÊyÎ�o]mnm5/·;®;MON*IfGHGH·�Ê�MOVh9f«BX[6<7�«�9"=Z­ � @ Ë<¸"MOJ+¶�6;MONY6+N*I>V?7�MHXoN*I"J�±y7)V?7*7*J�XY68ItX w ]� . �[Í � @ Ë;ÎMOV�XY6<7�W<J;MO9"J�9*E>7*=�IfGHG�7�GO7*­�7*J"XYV ./V?W<N[6�X[6<IfX � MOV)XY=?W<7t¸;9f«lË<A

�<� � � + "��������- *� �WxSx���!x

�3��!�^ �k "��^ 5)6<7�®<=Z7*N*7*:87*J<N*7h9f«�9>®}7*=ZIfXY9"=ZV�W8VZ7*:�MOJ�XY6�MOVo®8I>®}7*=l¶)MHGHG4±y7o´B=ZV²X�4FW�³�X[It½®y9"VFMHX?MO9>J¬ÍvI"®<®;GHMON*IfXZMO9"J�I"J<:�MOJ<:<7�³`MOJ © ÎLI>J8:�X[6<7*J�MOJ�9"=Z:87*=

P7� �

� � b�

``1010�

v�v��¿

� � � � *� ���� " !w*xS

����+���>+ !w xS

aLMOJ<:<7*=?V@@@ @

t- -

aLMOJ<:87*=ZVoÍ �y¸ w*]� ¸ *¸���¸��8ÎY¸ @ ¸"I>J8: @ I>=?7h=²M © 6"XLI>V?VZ9;N�MOIfXZMHE>7t¸�VZ9XY6<IfXl¶�7�N*I>JQ¶�=²MHXY7t¸«�9"=�7�³8I"­�®�GO7t¸

�'. �`Í � @ Í w ^� 2 ��Í � @ � @ Ê}ÎZÎZÎI>V

�'. � � @ w ]� 2 ��� @ � @ ÊR7�GOItX?MO9>J�9>®}7*=ZIfXY9"=ZV0I>=?7 X?ÀfÉBÇ�ÈUÉiV;ÈUÉ ) ¸4V?9�¶�7�N*I"J�¶�=FMHXY7t¸�«�9"=�7�³;I>­�®;GO7

ÍvÊJ--Ë;Î ��ÍvË- p>Î

I>VÊJ--Ë - p

Page 8: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

� Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

� + "��������- *� ���$�&��� ;<9"=�ItGHG�±;MOJ8:<7*=ZV�¸�¶�7�IfGHGO9*¶ X[6<7�«�9tGHGO9*¶)MOJ © I"±<±<=Z7�E`MOIfXZMO9"JyAkµc«)XY6<7XY7�³`XYW8ItGHGH·¬´B=?VFX�MO:<7*J"XZMH´B7*=�XY9'I"®<®y7*I"=)MOJ¹XY6<7+±y9;:;·'MOV�XY687�±y9"W<J<:�EtI>=²MOI>±�GO7t¸}XY6<7*J�XY6<7±y9"W<J<:�EtI"=FMOI"±;GO7�I"J<:�XY687�VZW8±<VZ7*¯`W<7*J"X):<9fXN*I"J'±y7�9>­+MHXZX[7*:yA`5)6`W<V

� . � .y¿>5 @ ÊN*I>J�±}7�¶�=²MHXZXY7*J�I"V

�'.k¿�5 @ ÊI>J8:

w ^� . � .&v � @ ÊN*I>J�±}7�¶�=²MHXZXY7*J�I"V

w*]� .<v � @ ʵFJ'®<=Z9 © =?I>­�V�¸"¶�7�ItGH¶�I*·;V�W<V?7�X[6<7�I"±<±<=?7�E�MOIfXY7*:�J<9fXYIfXZMO9"JyA

� � ¢;§v¡;§F �� K A4¦}§���¦ ��¡;§c£o LE

µFJ�XY6;MOV)V?7*N�XZMO9"J�V?7�E>7*=ZIfG47�³8I"­�®�GO7*VhI"=Z7 © MHE"7*J'9t«lW<V²MOJ © X[6<7�V?®y7*N�MH´BN*IfXZMO9"J�GOI"J © W<I © 7tAº»7¬=Z7*­+MOJ<:»XY6<7�=Z7*I":<7*=QXY68ItX�X[6<7�«�=Z7*7�EtI"=FMOI"±;GO7*V�X[9 © 7�XY6<7*=Q=?7*®<=Z7*V?7*J>XQX[6<7'VFXYIfXY7

MOJ�¶�6�MONY6¹XY6<7�7�³;®<=Z7*V?VFMO9"J¬MOV�7�EtIfGOW<ItX[7*:(I"J<:�X[6`W<V�7*I"N[6(«�=?7*7�EtI"=FMOI"±;GO7�=?7*®<=Z7*V?7*J"XYV�I"J7�GO7*­�7*J"X�A>R�7*VFX[=FMON�XZMO9"J<Vl9"J�XY6<7*V?7)EtI"=FMOI"±;GO7*V�¸>M�A 7tA;X[6<7)Xc·;®y79t«4XY687�VFX[ItX[7t¸"¶)MHGHG4±y7�V²XYIfXY7*:MOJ;«�9"=Z­�ItGHGH·tA

¨ J�MO­�®;GO7*­�7*J"X[ItX?MO9>J�MOV)9"±;GHM © 7*:�X[9 © MHE"7QI�=Z7*VZW�GHX:87*VZN*=FMO±}7*:�±"·�XY6<7�VZ®}7*N�MH´BN*ItX?MO9>J}A5)6`W<VLj<l�mfmkMOV)W<J;MO­�®�GO7*­�7*J"XYI"±;GO7tA`5)6<7�VZ®}7*N�MH´BN*IfXZMO9"J

� Êvd= ���� " j<l�mfm !w*xS "N*I>JQ±}7�VZIfXZMOVF´D7*:�MOJ�V²XYIfXY7*V4VZW8NY6QX[6<ItXlÊ �v =�±8W;X/J<9fX�¶�6<7*J�Ê v =8A��l7*=?6<I>®8V4XY6<7LVZ®}7*N�MH´B7*=6<I"V�J<9)MOJ"XY7*J"XZMO9"JQ9t«D®<=Z9*E`MO:;MOJ © I�V²XYIfXY7l«�9>=4¶�6�MONY6QX[6<7hV?®y7*N�MH´DN*ItX?MO9>JMOV j<l�mfmc¸�±<W;X�XY9oXY6<7MO­�®;GO7*­�7*J"XY9"=/7�E>7*=²·�MOJ<®8W;X)MOV)I�®}9>V?VFMO±;MHGHMHXc·tA ¨ VZ®}7*N�MH´BN*IfXZMO9"J�MOV�N*IfGHGO7*: È +B\�� Ã,+�ÃYÉBÇ�Æ>Á � ÃMH«lXY687*=Z7)MOV�J89�VFX[ItX[7)MOJ'¶�6;MON[6�MHXMOV)7*¯�W�MHEtItGO7*J"X)X[9 j<l�mfmcA

�<��� �(!�������$ #"$�@;W<®<®}9"VZ7�X[6<ItX���MOV�I(GHMOV²X�EtI"=FMOI"±;GO7�9f«�I¬Xc·;®}7 587�I"J<:�Ê�MOV�IÏEtI>=²MOI>±�GO7�9f«�Xc·;®y7 5�AµFJ;«�9"=Z­�ItGHGH·t¸�¶o7�J<7*7*:�XY9Q´DJ<:'I>J�MOJ<:<7�³�9t«lI"J�MHXY7*­ ʬ9f«lI�GHMOVFX��A ¨ ´B=ZV²X�ItX?XY7*­�®;XhIfX«�9"=Z­�ItGHGH·�V?®y7*N�MH«�·`MOJ © XY6;MOV�MOV

. ����.�v�Ê5)6;MOV)VZI�·8V�X[6<IfXo¶�7�¶oI"J"X�I>J"·�.0VZW<N[6�XY6<IfX��9.&v»ÊkADS�9*¶�7�E>7*=�¸<Ê'­�I*·�J<9fX)9;N*N*W<=0MOJ�ItX�ItGHG�A�;<9"=�VZW8NY6(I'N*I"VZ7t¸DX[6<7�I>±}9*E"7�VZ®}7*N�MH´BN*ItX?MO9>J�MOVsj<l�mfmc¸}I"J<:(VZ9�XY687�VZ®}7*N�MH´BN*ItX?MO9>JMOV�W<J;MO­�®;GO7*­�7*J"X[I>±;GO7tA�@;W<®<®}9>V?7�X[6<ItX)¶�7�MOJ"XY7*J<:�XY9+W<VZ7�XY687�V?®y7*N�MH´BN*IfXZMO9"J�9"J;GH·�¶�6<7*JÊ�9;N*N*W8=ZV�MOJ(X[6<7QGHMOVFX*A�5)6<7*J�¶o7�:89>J<Q X�N*I>=?7Q¶�6<IfX�XY687�=Z7*VZW�GHX�¶o9"W;GO:¹±y7QMH«)Ê�:�MO:�J<9fX9;N*N*W<=�¸�I>J8:�X[6<7�V?®y7*N�MH´BN*IfXZMO9"J�V?6<9"W;GO:'±y7

Í�� . ����.�v�ÊyÎ @ Í . ���.&v�ÊyÎ

Page 9: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� Õ

5)6;MOV�MOV�VFX?MHGHG/J<9fX�7*J"XZMO=?7�GH·¬VZIfXZMOVF«�I>N�X[9>=²·�MH«LMHX�MOV�J<9fX © W<I"=ZI"J>X[7*7*:'±>·¬X[6<7�If³�MO9"­�VN*9>J;½N*7*=ZJ;MOJ © GHMOVFX[V�X[6<ItX � .�v Ê(MOV�«�ItGOV?7Q«�9"=)EtIfGOW<7*V�9f« .LX[6<ItX�I>=?7�J89tX�EtItGHMO:�MOJ<:;MON*7*V�9f« �)A5)6<7�J87�³�X�V?®y7*N�MH´DN*ItX?MO9>J�N*9�E>7*=ZV�X[6;MOV)VFMHX[W<IfXZMO9"J

Í�� .B¿�=C`1010�P � � �9.(v�ÊyÎ @ Í .k¿>=i`1010�P � � ��.&v�ÊyÎ

ÍvC�9tX[7�X[6<7�W<V?7�9t«LXY687�VF·;J"XYI"N�XZMON�V?W © I"=�«�=Z9"­ @;7*N�X*A�#�Ar#`A Î�5)6<7 ����+ 9"®}7*=ZIfXY9"=)N*I>J¹±y7W<VZ7*:�XY9+­�I"¼t7�X[6;MOV)­�9"=Z7�N*9>J8N�MOVZ7t¿

����+ Í .k¿>=i`1010�P � � ��.&v�ÊyÎ

µcXQMOV�J89tX[7�¶o9"=FX[6>·¬X[6<IfX�X[6;MOV�MOV�I¬J<9"J<:<7�X[7*=Z­�MOJ�MOVFXZMON�®8=Z9"±;GO7*­�A}º�6<7*J�Ê�I>®<®}7*I"=ZV­�9"=Z7�X[6<I>J�9>J8N*7)MOJ�X[6<7)GHMOV²X�¸�XY6<7�=?7*VZW;GHX�N*I"J�±}7�I"J>·�VZW;MHX[I>±;GO7MOJ<:<7�³BA ¨ :<7�X[7*=Z­+MOJ;MOVFX?MONVZ®}7*N�MH´BN*IfXZMO9"J�GOI>J © W<I © 7�¶�9>W;GO:'J<7*N*7*V?VFMHX[ItX[7)9*E>7*=?VZ®}7*N�MH´BN*ItX?MO9>J}A

�<�TS � !� ��� ���Nx %c��xW�u���!�&� '�� W�MHXY7�9f«UX[7*J�I"J�MOJ;«�9"=Z­�ItGBV?7*I>=?NY6�VZ®}7*N�MH´BN*IfXZMO9"J�¶)MHGHG�±y7�9t«�X[6<7�«�9>=?­ O?MH«�XY687*=Z7)MOV�I"J�ÊVZW<N[6'XY68ItX � Êk¸DX[6<7*J ��Ê4¸}7�GOVZ7�Ë!R8Ay5)6<7 *� ���� "H!w*xS N*9"J<VFX[=ZW<N�X)N*I"J¬J<9fX�±}7�W8VZ7*:XY9Q«�9>=?­�IfGHMNM*7)XY6;MOV�I"V)Ê�¶)MHGHG�J89tX)±}7�I*EtIfMHGOI"±;GO7�MOJ�X[6<7�X[6<7*J;½v®<I>=²X�A ¨ V?9tGOW;X?MO9>J�MOV�XY9+W<VZ7XY6<7 ����+�!w*xS N*9"J<V²XY=ZW8N�X�A];<9"=)7�³;I>­�®;GO7t¸"XY687)«�9fGHGO9*¶)MOJ © V?®y7*N�MH´DN*ItX?MO9>JQMOV8? A}MH«k;<7*=Z­�ItXSQ V<�I>V²X)5)6<7*9>=?7*­.MOV)X[=ZW<7�I>J8:�MOV)V?9>­�7�N*9"W<J"XY7*=?7�³8I"­�®�GO7)9tX[6<7*=F¶)MOV?7tA

����+ Í w ]� j�¿ ÉBÆ"Ç bd% @ w*]� .}¿ ÉBÆ"Ç @ w*]� 2�¿ ÉBÆ"Ç @ w*]��� ¿�j�o�� @.�� b!2��v � � @ ? j = .@=�2 = � AkÎ

w xS ? A

�<� � �(�&�S�- #"$�@;W<®<®}9"VZ7�XY68ItX � MOV)I�=Z7�GOIfXZMO9"Jy¸�9>J�I�Xc·;®y7 5�¸;X[6<IfXhMOV)=?7�B7�³`MHE>7t¸�XY=ZI"J<V²MHXZMHE>7t¸�I>J8:�X[9tX[ItGÍ�X[6<ItX�MOV�¸f«�9"=/IfGHG<Ê�I"J<:�ËQMOJ 5�¸`7�MHX[6<7*=�Ê ��ËQ9"=lË��+ÊyÎ[A�º»7�¶)MOVZ6�X[9�V?®y7*N�MH«�·�X[6<IfX�¸ © MHE"7*JI�GHMOV²X�¸}¶�7�¶�I>J"XQI�®}7*=Z­�W�XYIfXZMO9"J�9f«/MHX�XY68ItX�MOV�VZ9"=FX[7*:'¶)MHXY6(=?7*VZ®}7*N�X)XY9�XY6;MOV�=Z7�GOIfXZMO9"JyAº�7�¶)MHGHGB®8=Z7*VZ7*J"X�Xc¶�9�7*¯`W;MHEfItGO7*J"XhV?®y7*N�MH´DN*ItX?MO9>J<V}X[9�MHGHGOW<V²XY=ZIfXY7LX[6<7�=ZI"J © 7�9f«BVFXc·`GO7*V�XY6<IfXXY6<7�VZ®}7*N�MH´BN*IfXZMO9"J�GOI>J © W<I © 7�®}7*=Z­�MHX[V�A

� % � �� *� � �- * "i�� � �(� �B /U �]�C�- � " 5)6<70´B=ZV²XlVZ®}7*N�MH´BN*IfXZMO9"J)MOV/­�9>=?7�GO9 © MON�9>=²MO7*J"XY7*:yAµcX�®<=?9;N*7*7*:<V�±"·(:<7�´BJ;MOJ © I�®8=Z7*:;MON*IfXY7�:<7*VZN*=²MO±;MOJ © XY6<7�:<7*V²MO=Z7*:¬=?7�GOItX?MO9>J<V?6;MO®¬±}7�Xc¶o7*7*JXY6<7LMOJ<®8W;XoI"J<:�9"W;X[®<W;X/9f«yX[6<7)®<=?9 © =ZI"­�A ;�MO=ZV²Xh¶�7�:<7�´DJ<7�I�«�W<J<N�X?MO9>J�X[6<IfX/=Z7�X[W<=ZJ<VkXY6<7J`W<­�±y7*=L9f«�XZMO­�7*V�I"J�MHXY7*­ 9;N*N*W<=ZV0MOJ¬I�GHMOV²X�A

XZÀ�V;ÉBÇ �¬Ê �����t � � 2�¿�=C`1010�P � �(Êv � 25)6;MOVLW<VZ7*V0XY6<7N*9>W<J"X?MOJ © 9>®}7*=ZIfXY9"= � � XY6<IfX © MHE>7*VLXY687�J`W<­�±y7*=09t«�7�GO7*­�7*J>X[VlMOJ�IQ±<W<J<N[6yAC�9*¶�¶�7�:<7�´DJ<7�¶�6<IfX�MHX�MOV�«�9"=)9"J<7�GHMOV²X)XY9�±}7�I+®y7*=?­�W;XYIfXZMO9"J�9f«lI>J<9fXY687*=

� ÃYÄU+ ��� �����t �4Ê � X?À�V;ÉBÇ �¬Êv XZÀ�V;ÉBÇ � Ê

Page 10: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

Ü�� Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

C�7�³`X�MOV�I�®<=?7*:;MON*IfXY7)X[6<ItX�MOJ<:�MON*ItX[7*VoI�GHMOVFX)MOV�­�9>J<9fXY9"J<7

� À�É}À � �����t � 2�¿ "�`1010�P � � �2Í 2 � "�Î � � 25)6<7�´BJ<IfGk®<=?7*:;MON*IfXY7�V²XYIfXY7*V0XY6<IfX)9>J<7GHMOVFX�MOVI�VZ9"=FX[7*:�®}7*=Z­�W;X[ItX?MO9>J�9f«lI"J<9tX[6<7*=

� À�Ä�Ç�À�� ��� �����t � ÃYÄU+ ��� ��� À�É}À �;�MOJ<IfGHGH·�X[6;MOV)®<=?7*:;MON*ItX[7)MOV�W<V?7*:�X[9�«�9"=Z­ X[6<7�V?®y7*N�MH´BN*IfXZMO9"Jy¿

Â�À�Ä�Ç �����t � ��¿ 5 7 @ � ¿>5 7 � � ÀfÄ�ÇvÀ�� ���

� " :,; �k��!xSx� � " � �- "��� � �(� !�B /U �]�C�- *��" 5)687)VZ7*N*9"J<:QVZ®}7*N�MH´BN*ItX?MO9>J�MOVL­�9"=Z7L7�³�½®<=Z7*V?VFMO9"J�9"=FMO7*J"X[7*:yA�;kMO=ZVFX�¶�7�:<7�´BJ<70I�®}7*=Z­�W;X[ItX?MO9>J«�W<J<N�X?MO9>J�I"V4XY6<7LVZ­�ItGHGO7*V²Xk«�W<J<N�X?MO9>JVZIfXZMOV²«U·`MOJ ©\8ÃYÄ,+ t � �¿ 5 7 @ �L`�Í w ]� � ¿ \8ÃYÄU+ � @ w*]� . � w ]� 2 ��= �C.���2 � P � @

� ? = =1010 . A D ? � 2BA D � ? .<b " =1010�2BA D ? � .#A D � ? 2 b " =1010�P � A8ÎÍv5)6<7�­�7*I>J;MOJ © 9f« O[VZ­�IfGHGO7*VFX�«�W<J<N�X?MO9>JiR)¶)MHGHGy±}7�7�³8®�GOItMOJ<7*:�MOJ�VZ7*N�X?MO9>J';Ar#`A Îl5)6;MOV0«�W<J8N�½XZMO9"J�J89>J<:87�XY7*=Z­+MOJ;MOVFX?MON*ItGHGH·Q=Z7�X[W<=ZJ8VhI"J"·�®y7*=?­�W;XYIfXZMO9"J�9f«�MHXYV�I>= © W8­�7*J"X�A"C�7�³�X�¶�7�:<7�½´BJ<7XY6<7�±<W<J<N[6�9t«lIfGHG�9>=?:<7*=Z7*:+GHMOVFXYV9*E>7*=65 I"V�XY6<7�VZ­�IfGHGO7*VFX)±<W8J<NY6�VZIfXZMOV²«U·`MOJ ©

ÀfÄ��>ÃYÄ?à � t ? Af`*Í w*]� � ¿ À�Ä��>ÃYÄ?à � @ w*]� �t¿ 5 ��Í � .f¿n=C`1010�P � � � � � .cÎ @ ? ��A D �.Î;�MOJ<IfGHGH·�9"J<7�N*I>J�VZ®}7*N�MH«U· Â�À�Ä�Ç I"V

Â�À�Ä�Ç �����t � ��¿�5 7 @ À�Ä��`ÃYÄ?Ã�� � \8ÃYÄU+ �

� �gA��� �A:D A� /¡

����� ���u�U�"� � '"i��J!w*�C�- � "º�7(:87�´BJ<7¬X[6<7¬=Z7�´BJ87*­�7*J"X�=Z7�GOIfXZMO9"J¾Ê -%Ë�XY9�­�7*I>J�X[6<IfX�Ë�¿DÊ�W<J;MHE"7*=ZVZIfGHGH·tABaL·OYW8J;MHE>7*=?VZIfGHGH·iR�¶�7�­�7*I"JQMOJ�IfGHGBV²XYIfXY7*V�¸fX[6<IfXlMOV/«�9>=LIfGHGBI>V?VFM © J<­�7*J"X[Vl9t«}7�GO7*­�7*J"XYVkXY9�XY6<7«�=?7*7�EtI>=²MOI>±�GO7*V/9f«k7�³;®<=?7*VZVFMO9"J<VlÊ�I>J8:�Ë<A"º�7VZI*·�Ê ÈOÂ�Ä?Ã*)/ÉBà ��Á � Ë<AC;89>=L7�³;I>­�®;GO7t¸fXY6<IfX"�`r# MOV�=Z7�´BJ87*:�±"· "�MOV�¶�=FMHX?XY7*J

"�`U# - ";<9"=)I>J<9fXY687*=h7�³;I"­�®;GO7t¸

j�¿ ÉBÆ"Ç @ j b-Íe"�`U#"Î - j b "5)6<7�=Z7�´BJ<7*­�7*J"Xh=Z7�GOIfXZMO9"J�MOV�I�®<I"=FX?MOItG}9>=?:<7*=�9>J'VZ®}7*N�MH´BN*IfXZMO9"J<V�A

�L=Z9 © =ZI"­�­�MOJ © «�=Z9"­ I�VZ®}7*N�MH´BN*IfXZMO9"J�ʬMOV)X[6<7�´BJ<:;MOJ © 9t«lI�®<=Z9 © =?I>­ Ë�VZW<N[6'XY6<IfXÊ -°Ë<A05�9�V²MO­�®;GHMH«�·�X[6;MOV�®<=?9;N*7*VZV�¸y¶o7�´BJ8: IÏVZ7*¯`W<7*J<N*7�9t«�V?®y7*N�MH´BN*IfXZMO9"J<V�Ê�� � � �[Ê

�¶�6<7*=Z7QÊ���MOV�Ê»I"J<:(Ê�MOV�Ë<¸�I"J<:¬¶�687*=Z7QÊ��c-ªÊ�� D�� MOV�I�«�ItMO=²GH·¬XY=FMHE`MOIfGlXY687*9>=?7*­�¸8«�9"=7*I>N[6 .?AD5)6;MOVoMOV)I�«�9"=Z­�ItGHMNM*IfXZMO9"J�9f«�XY6<7�®<=?9;N*7*VZVL9t«lV²XY7*®"¶)MOVZ7�=Z7�´BJ<7*­�7*J"X�A

C�9tX[7�XY6<IfX�V?9>­�7�I"W;X[6<9>=?V�¶�=FMHX[7¬Ê Ë�«�9"=�=?7�´BJ<7*­�7*J>X�¶�687*=Z7�¶o7�¶�=FMHXY7¬ÊH-Ë<A �l7*=?6<I"®<V�XY6<7�·�±}7�GHMO7�E>7�XY68ItX OY±�M ©>© 7*=�MOV�±y7�X?XY7*=�¸ R'±<W�X�¶�7�´BJ<:¹XY6<7�I>J<IfGO9 © ·(¶)MHX[6VFX[I>J<:8I>=?:�VZ7�X)J<9fXYIfXZMO9"J(Í��Î/X[9;9�VFX[=Z9"J © XY9�=?7*VFMOVFX*A

Page 11: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� Ü�Ü

���TS �3�������������! #"$��� ���� J�U�"� � �(� !�B /U �]�C�- *��"�x¨ X�X[6;MOV�®y9fMOJ"X�¶�7(N*I"J-I":<:-9"J<7'´BJ<IfG�N*9"J<V²XY=ZW8N�X�XY9»XY6<7¬®8=Z9 © =?I>­�­�MOJ © GOI"J © W<I © 7tA¨ J"·�V?®y7*N�MH´DN*ItX?MO9>J�ʬN*I"J�±y7�N*9>J8VFMO:<7*=?7*:�XY9�±}7�I+®<=Z9 © =?I>­ ®<=?9*E`MO:<7*:'I�®<=Z9 © =ZI"­ªË�MOVVZW<®8®;GHMO7*:�V?W<N[6�X[6<IfXÊJ--Ë<A8º�7�N*I"J�X[6;MOJ<¼�9t«lʬI"V)I�VZW8±<®<=Z9 © =ZI"­ªJ<I"­�7�I"J<:'9f«lË�I"VMHXYV)V?W<±<®<=?9 © =ZI"­ª±}9;:;·tA

R7*N*W<=ZV²MO9>J�I"J<:�­�W�XYW<IfGB=Z7*N*W8=ZVFMO9"J�I"=Z7�IfGHGO9*¶�7*:yA<@`MOJ8N*7�-�MOV�=Z7�B7�³`MHE>7t¸>MHXhMOV�IfGH¶oI�·8V®y9"VZV²MO±;GO7�XY9�=?7�´BJ<7�ʬ¶)MHXY6¬Ê�MHXYVZ7�GH«cA}5)6;MOV�GO7*I":<V�X[9�N*9"=Z=Z7*N�X)®<=?9 © =ZI"­�V�¸;±<W�X�9>J87*V�XY6<IfXXYI"¼t7�I"JQMOJ;´BJ;MHX[7oI"­�9"W<J"Xl9f«BXZMO­�7/X[9�7�³;7*N*W;X[7tA�5)6;MOV�¶)MHGHGB±}7o:�MOVZN*W<V?VZ7*:�«�W<=²XY6<7*=4MOJ�@;7*N�X�A78A

¨ ®<=?9 © =ZI"­�­+MOJ © J89tX[ItX?MO9>J+«�9"=o=?7*N*W<=ZV²MO9>J�N*9>W�GO:�±}7�:<7�´DJ<7*:y¸;±8W;X�¶o7�6<I*E"7�N[6<9"VZ7*JJ<9fXoX[9�:<9�V?98A

��� � � � "����- � " u�U�"� �� "i�a�7*N*I>W<V?7�¶o7�¶)MOV?6¬XY9'V?®y7*I"¼�9f«�=Z7�´BJ<7*­�7*J"X9f«L«�W<J<N�X?MO9>J8V�¸8¶o7+­�W<VFX�7�³�X[7*J<:'XY687�VZW<±;½±<W<J<N[6�=Z7�GOIfXZMO9"J�X[9�«�W<J8N�XZMO9"J<V�A�5)6;MOV�MOV�:<9"J<7�±"·':<7�´BJ;MOJ ©

Í �'. ��Ë;Î ¿ Í � .���Ê}Î

MH«�«�9"=)ItGHG�7�GO7*­�7*J>X[I>=²· .F¸Ë ¿ Ê

5)6`W<V�MH«lÊu-�Ë<¸8XY6<7*J � .��*Êu- �'. ��Ë<A

� �����dE�£����(¢;£ �L¢ � D D.§F ��

µFJ�XY6;MOV�V?7*N�XZMO9"J�¶o7�¶)MHGHGl®<=?7*VZ7*J"X�I�J`W<­�±}7*=)9t«lX[6<7*9"=Z7*­�V�XY6<IfX�N*I"J�±}7�W<VZ7*:'X[9�®<=Z9�E>7=Z7�´BJ87*­�7*J"X�=Z7�GOIfXZMO9"J<V�AhC�W<­�7*=Z9"W<V�9fXY6<7*=+XY6<7*9"=Z7*­�V�N*9>W�GO:-±}7(®<=Z7*V?7*J"XY7*: =0X[6;MOV�MOV�IVZ7�GO7*N�X?MO9>J�9t«�X[6<9>V?7�­�9>V²XW8VZ7�«�W�GB«�9"=):<7�E"7�GO9>®;MOJ © ®<=Z9 © =ZI"­�V�A

@�9>­�7�9f«lXY6<7�«�9fGHGO9*¶)MOJ © GOI*¶�V�VZ6<9*¶ ­�W;X[W<IfGk=?7�´BJ<7*­�7*J"X*¸"XY6<IfX)MOV�±}9fXY6'Ê$-�Ë'I"J<:Ë--Ê$=;¶�7�¶)MHGHG�W<V?7�Ê -�Ë�XY9�V?6<9*¶ XY6;MOV�AB@;9"­�79t«4XY687�«�9fGHGO9*¶)MOJ © GOI*¶�V)I>®8®;GH·�X[9�±y9fXY6I>V?VZ7*=²XZMO9"J<VhI"J<: © W<I>=?:<V>=�¶�7�¶)MHGHGlW8VZ7 @ @ X[9�­�7*I"J�9>J<7�9f« @ 9>= @ A}5)6<IfX�MOV�¸DX[6<7�GOI*¶�V¶�6<7*=Z7 @ @ I"®<®}7*I>=?VhÍv7�E"7*JQMH«k­�9>=?7hX[6<I"J�9>J<N*7�Îk7*I>N[6�I>±8±<=Z7�E`MOIfXY7L7�³8I"N�XZGH·QXc¶�9�GOI*¶�V�¸`9"J<7«�9"= @ I>J<:�9"J<7�«�9>= @ A

� "$ *� " !w �C "�� �- *� " Ê�`?Ë -�Ê�W�� "i������� �����- � "�C!w �C "��C�- n� " Ê - *� � ���� " Ê !w*xS Ê� ��xS8��"��iw +kx� *x

*� � ���� " Ê !w*xS Ë - *� � ���� " Í � @ @ Ê}Î !w xS Ë

*� � ���� " Ê !w*xS Ë - *� � ���� " Ê !w*xS Í � � @ @ Ë8Î% ]� #"���� � � �����- *��"�C!w #�! #"k�C�- � "���� .���������� ������� ���¬Ê� !�#" � �

Ê - w*]� . ��Ê

Page 12: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

Ü � Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

���� ; � ���kw �w*� � � ���uw ]� ��� ����� � � ��� ��� � � � � ��� Í @;W<±<V²XZMHX[W;XY7 ��«�9>= .�7�E>7*=²·�½¶�6<7*=Z7MOJ��+Î � " � �

w ]� . � � @ Ê - w*]� . � � @ Í @;W<±<V²XZMHXYW�XY73��«�9"=�./I"J"·`¶�6<7*=Z7MOJ¬ÊBÎ

���� ; � ���kw �w*� � � ��� ��� � ��� � � ��� ��� � � � � ����Íc@;W8±<VFX?MHXYW;X[7,��«�9>= ./7�E"7*=F·`¶�6<7*=Z7MOJ��+Î � " � �

. ��� - � ������ "i������� �����- � " Êu- � @ Ê� xSxS!�S�- � " w �C "��C�- � " � @ Êu- Ê ������ xW���� "$������ "$ "$�� ��� Í � � ��Î � ��� � � � � � ��� �#" � � � @ Êu- � @ Ê� xSxS!�S�- � " � !���� "$ "$� ��� Í � � ��Î � ��� � � � � � ��� �#" � � � @ Êu- � @ Ê� xSxS!�S�- � "� �<������ ��xS ��� Í � � ËQ¿*ÊyÎ� � ��� � � � � � ��� � " � � � @ @ ÊJ- � @ @ Ë� xSxS!�S�- � "� �<������ �]� ��( #"$ "$� � xS�kw ��S�- " �� � @ @ � @ @ Ê - ��� � @ @ Ê� ����� "����- *��" Í � @ ÊJ-�Ë8Î�v-Í�Ê - � @ Ë;Î� "�8� �� #"�� ��� � ��� � � ��� ��� � � �

.(v � @ @ Ê - .&v � @ @ Í @;W<±<V²XZMHX[W;XY7,��«�9"=�.LI>J"·`¶�6<7*=Z7MOJ'ÊyÎ� �k�kw *�]�C�- *��" "i������� �����- � "�C!w �C "��C�- � " ��� � . � Ê�� ����� � ���� � � ����� � � �� ����"� � � � �

�#" � �Í �'. ��ÊyÎDË - Íc@;W<±8VFXZMHX[W;XY7Ë�«�9"=�./7�E"7*=F·`¶�6<7*=?7�MOJ¬ÊBÎ

% � ��( �k�� "i������� �����- � " ��� Êu-�Ë � " � � � . ��Êu- � .��*Ë

5)687*=Z7�I>=?7�I © =Z7*IfX/­�I"J"·�GOI�¶�V/«�9>=0­�9*E`MOJ © I>V?VZ7*=FX?MO9>J8V�I>J<: © W<I"=Z:8V�A�µFJ"¶oI"=Z:�­�9*E>7�½­�7*J"X�GOI*¶�V�V?I*·�X[6<IfXI"VZV?7*=FX?MO9>J<VLI"J<: © W<I"=Z:8VhX[6<IfXI"®<®;GH·�XY9�I+VZ®}7*N�MH´BN*ItX?MO9>J�I>®8®;GH·�X[9I>J"·�®<I>=²X)9t«lX[6<7�V?®y7*N�MH´DN*ItX?MO9>JyA^;<9>=)7�³;I"­�®;GO7t¸� " ; � ���kw / " ����� �����('� "��Jw*� � � @ Ê�`?Ë - � @ Í � @ ÊyÎ,`?ËT�W�Xc¶oI"=Z:'­�9�E>7*­�7*J"X)GOI*¶�VVZI*·�XY6<IfX�I"VZVZ7*=²XZMO9"J<V�I>J8: © W<I"=Z:<V�X[6<IfX�I>®<®�GH·�X[9�ItGHGl®8I>=²XYV9t«lI+VZ®}7*N�MH´BN*ItX?MO9>J+I>®<®�GH·�X[9QXY6<7�¶�6<9fGO7�VZ®}7*N�MH´BN*IfXZMO9"JyA� " ; � ���kw ��<�(� ����� � ���< � "��Jw*� � ��� .�������� � � ����� ����� � " � �

w ^� . � � @ Ê - � @ w ]� .��*ÊK0³;N*7*®;X/«�9>= ����+ I>J<: ����+8!w*xS ¸DItGHGDXY6<79>®}7*=ZIfXY9"=ZV�¶�7�68I*E>7�MOJ"XY=Z9;:8W<N*7*:QXY6<IfXL«�9"=Z­

VZ®}7*N�MH´BN*IfXZMO9"J<V}«�=Z9"­.V?®y7*N�MH´BN*IfXZMO9"J�9>®}7*=ZI"J<:<V4I"=Z7�­�9"J<9fXY9"J;MON/MOJ�XY6<9"VZ7�9"®y7*=?I>J<:8V�¸�¶)MHX[6=Z7*V?®y7*N�X�XY9+XY6<7Q=?7�´BJ<7*­�7*J"X)=Z7�GOIfXZMO9"JyAD5)6;MOV © MHE"7*V�=FMOV?7QXY9�I�J`W<­�±}7*=)9t«0­�9"J<9tX[9>J�MON�MHXc·GOI*¶�V)X[6<ItX�¶)MHGHG�±}7�W<V?7*:�MO­�®;GHMON�MHXZGH·tA�;<9"=)7�³;I>­�®;GO7t¸� " ; � ���kw !����"�������"$ *�B N� + w*� � ��� Êu- Ë � " � �

� � ����'" Ê !w*xS p - *� � ���� " Ë !w*xS p�(9"J<9tX[9>J�MON�MHXc·�GOI*¶�V)ItGHGO9�¶�I"®<®;GHMON*IfXZMO9"J�9f«4XY6<7�9fXY687*=/GOI*¶�V):87*7*®�¶)MHXY6�MOJ�X[6<7�V²XY=ZW8N�XYW<=?79t«lI+VZ®}7*N�MH´BN*ItX?MO9>J}A

Page 13: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� Ü�Ý

� � A4¢;§��§F �� �Ï¢;£ �L¢ � D E

µFJ(X[6;MOV�V?7*N�XZMO9"Jy¸}¶�7�:<7*­�9>J8VFXY=?ItX[7�I'®<=?9 © =ZI"­�­+MOJ © ­�7�XY6<9;:<9fGO9 © ·'±<I"VZ7*:(9"J(X[6<7�=Z7�½´BJ<7*­�7*J>X�=Z7�GOIfXZMO9"JyA

�<��� �(!�������$ #"$�T�W8=oV?7*I>=?NY6�MOJ © VZ®}7*N�MH´BN*IfXZMO9"J�«�=?9>­ @;7*N�X*AC%;A =�¶�I>V

Í�� .B¿�=C`1010�P � � �9.(v�ÊyÎ @ Í .k¿>=i`1010�P � � ��.&v�Êyκ�7�I":<:�IQ®<I"=ZI"­�7�X[7*= 2�V?9�¶�7�N*I"J�VZ®}7*N�MH«U·�V?7*I>=?NY6;MOJ © MOJ+XY6<7)®<I"=FXL9t«}GHMOVFX ��®<=Z7*N*7*:�MOJ ©MOJ<:<7�³ 2

Â�ÃFÆtÄeXZY ÁZà �*À�Ä?à �����t �B2�¿F"�`1010S" b P � @ Í�� .*¿*=C`1010�2 � �3.Wv�ÊyÎ @ Í .*¿*=C`1010�P � � � .>v+ÊyÎ5)6<7�9"=FM © MOJ<IfGkV?®y7*N�MH´DN*ItX?MO9>J+MOV)=Z7�´BJ<7*:�±"·

Â�Ã?ÆfÄeXZY Á[à ��ÀfÄ?à Í#P �oεcX�=?7*­�IfMOJ<V�XY9¬VZW8®<®;GH·�IÏ®<=Z9 © =?I>­ XY6<IfX�=Z7�´BJ87*V Â�Ã?ÆfÄeXZY Á[à ��ÀfÄ?à A <�7�X32¹=Z7*®<=?7*VZ7*J"X

I>J"·�7�GO7*­�7*J"X)9t«lXc·;®}7 "�`1010S"�b P �)ADº�7QVFX[I>=²X±"·'=Z7�´BJ�MOJ © Â�ÃFÆtÄeXZY ÁZà �*À�Ä?à 2<A�ÍvC�9fXY7oXY6<IfX6;MOJ"XYV)I"®<®}7*I>= Á[Ã�Ç���Ã?ÃYÉ XY6<7Xc¶o9�VZ®}7*N�MH´BN*IfXZMO9"J<VlX[6<7�·�I"®<®;GH·�XY9;A Î

Â�Ã?ÆfÄeXZY Á[à �*À�Ä?à 2 *� MOJ"XY=?9;:<W<N�XZMO9"J�I"J<:�N*I>V?7�I"J<IfGH·;VFMOV- *� ��Í 2 � "�Î�v�Ê ���� " Í ��Í 2 � "�Î�v�Ê @ Â�Ã?ÆfÄeXZY ÁZà �*À�Ä?à 2;Î

!w*xS Í ��Í 2 � "�Î �v�Ê @ Â�Ã?ÆfÄeXZY ÁZà �*À�Ä?à 2;Î��7�´DJ;MHXZMO9"J�9f« Â�Ã?ÆfÄeXZY Á[à �*À�Ä?à ¸DI"VZVZ7*=²XZMO9"J�N*9"­�±;MOJ;MOJ © ¸8I>J<:�I"VZVZ7*=²XZMO9"J�¶�7*I"¼t7*J;MOJ ©- *� ��Í 2 � "�Î�v�Ê ���� " Í ��Í 2 � "�Î�v�Ê @ Í .y¿ =C`1010�P � � ��.<v�Ê}ÎZÎ

!w*xS Í ��Í 2 � "�Î �v�Ê � Í�� .B¿�=C`1010�2�� ��.&v�ÊyÎ @ Í .4¿S=C`1010�P � � ��.&v�Ê}ÎZΨ V?VZ7*=²XZMO9"J�W<V?7t¸<7�³;I"­�®;GO7GOI*¶�¸DI>J<:'I"VZV?7*=FXZMO9"J�7�GHMO­+MOJ<IfXZMO9"J�MOJ'X[6<7�X[6<7*J;½v®<I>=²X<�9 © MON�I>J<:'I"VZV?7*=FXZMO9"J�¶�7*I"¼t7*J;MOJ © MOJ�X[6<7�7�GOVZ7�½v®<I>=²X- *� ��Í 2 � "�Î�v�Ê ���� " 2 � "

!w*xS ÍZÍ�� .B¿�=C`1010�2 � " � ��.<v�ÊyÎ @ Í .y¿ =C`1010�P � � ��.<v�Ê}ÎZεc«�XY687*=Z7�7�³`MOV²XYV�I>J9.0MOJ =i`1010�2 � "t¸DX[6<7*J 2 "- *� ��Í 2 � "�Î�v�Ê ���� " 2 � "

!w*xS ÍZÍ�� .B¿�=C`1010�2 � " � ��.<v�ÊyÎ���2�¿�#!`1010S"�b P � @Í .y¿ =C`1010�P � � ��.&v�Ê}ÎyÎ

¨ V?VZ7*=²XZMO9"J�¶�7*I>¼f7*J;MOJ © I"J<:�I>V?VZ7*=FX?MO9>J�VZ®�GHMHXZXZMOJ ©- *� ��Í 2 � "�Î�v�Ê ���� " 2 � "

!w*xS ÍZÍ 2 � "�Îk¿!"�`1010S" b P � @Í�� .B¿�=C`1010�2 � " � ��.<v�ÊyÎ @Í .y¿ =C`1010�P � � ��.&v�Ê}ÎyÎ

��7�´DJ;MHXZMO9"J�9f« Â�Ã?ÆfÄeXZY Á[à �*À�Ä?à I>J8:�I"®<®;GHMON*IfXZMO9"J�MOJ>X[=Z9;:<W8N�XZMO9"J- *� ��Í 2 � "�Î�v�Ê ���� " 2 � "

!w*xS Â�ÃFÆtÄeXZY Á[à ��ÀfÄ?Ã Í 2 � "�κ»7�N*I"J�I":<:�X[9�±y9fXY6+VFMO:<7*V0XY6<7�=ZI"J © 7)I>V?VZ7*=FX?MO9>J+9>J 2�I"J<:+XY6<7*J�W<VZ7)X[6<7)«�W<J<N�XZMO9"J

=Z7�´BJ87*­�7*J"X/GOI*¶ 9f«/@;7*N�X�A '8Ar#�Í�GOI"­�±y:<IQMOJ"X[=Z9;:<W<N�X?MO9>JDÎYA"5)6;MOV © MHE>7*V)W8V

Page 14: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

Ü � Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

Â�Ã?ÆfÄeXZY Á[à �*À�Ä?Ã- �B2�¿!"�`1010S" b P � @ � ��Í 2 � "�Î(v�Ê ���� " 2 � "

!w xS Â�Ã?ÆfÄeXZY Á[à �*À�Ä?Ã Í 2 � "�Î

�<�TS �(�&�S�- #"$�¨ VLIQVZ7*N*9"J<:�7�³;I>­�®;GO7�9f«k:87*=FMHE`MOJ © ®<=Z9 © =ZI"­�V�¶�7�:<7*=²MHE>7�I�­�7*= © 7�VZ9"=FX�®<=Z9 © =?I>­�«�=Z9"­XY6<7�VZ9"=FX?MOJ © VZ®}7*N�MH´BN*IfXZMO9"J © MHE>7*J�MOJ(@;7*N�X�A %8Ar#`A

Â�ÀfÄ�Ç � ��7�´BJ;MHX?MO9>J- � � � À�Ä�Ç�À�� ��� *� MOJ"XY=?9;:<W<N�XZMO9"J�I"J<:'N*I"VZ7�I"J<IfGH·;VFMOV- *� P � �g"

���� " Í�P � �g" @ � � � À�Ä�Ç�À�� ���.Î!w*xS Í#P � " @ � � � À�Ä�ÇvÀ�� ���.Î

5)687�X[6<7*J;½v±<=ZI"J<N[6�MOV)=Z7�´DJ<7*:�I"V�«�9fGHGO9*¶�VP � �d" @ � � � À�Ä�ÇvÀ�� ��� ¨ VZV?7*=FX?MO9>J�W<VZ7�I>J<:'7�GHMO­+MOJ<ItX?MO9>J

- � �4P � �d" � � À�Ä�Ç�À�� � � K0³8I"­�®�GO7- �

º»7�J89*¶ =Z7�´BJ<7oXY6<7�7�GOVZ7�½v±<=ZI"J<N[6yA;5)687�´B=?VFX�MO:<7*I�MOV�X[9�:;MHE`MO:<7QI"J<:�N*9"J<¯`W<7*=�AP � " @ � � � ÀfÄ�ÇvÀ�� ���

<�7�X�MOJ"XY=Z9;:8W<N�XZMO9"J�I"J<:'I>V?VZ7*=²XZMO9"J�7�GHMO­�MOJ8ItX?MO9>J- w ^� 5 � w*]��� � � � � ÀfÄ�ÇvÀ�� ��� _ W<I"=Z:�MOJ>X[=Z9;:<W8N�XZMO9"J- w ^� 5 � w*]��� � ��v&5 D � @ � � � ÀfÄ�ÇvÀ�� ��� T�J87�®}9tMOJ"X- w ^� 5 � w*]��� � ��v&5 D � @ � � � ÀfÄ�ÇvÀ�� Í#5 D � Î �

º�7�±<=Z7*I"¼�9�/¬XY687�:<7*=²MHEtItX?MO9>J�IfX)XY6;MOV)®}9tMOJ"X�XY9+N*9>J<V²MO:<7*=LXY6<7�J<7�³`X�­�9*E"7tAS�I*E`MOJ © :;MHE`MO:<7*:(X[6<7QGHMOVFX*¸4¶�7�¶)MHGHGhV?9>=²X�X[6<7�Xc¶�9�®8I>=²XYV�ADº»7�J<7*7*:¬X[9'=Z7*®;GOI"N*7�XY6<7

®<=Z7*:�MON*ItX[7������ ��� ��±"· 9"J<7�MOJ�XY7*=?­�VQ9t«XY6<7�VZ9"=FX[7*: ®8I>=²XYV�Akº�7'N*IfGHG�XY6<IfX�®<=Z7*:�MON*ItX[7� ÃYÄ�)"ÃZÀ�� I>J<:�X[6<7�:<7*V²MO=Z7*:�XY6<7*9"=Z7*­ MOV

� ÃYÄ�)"ÃZÀ�� Í Â�À�Ä�Ç 5�Î0Í Â�À�Ä�Ç � Î � � � ÀfÄ�ÇvÀ�� Í#5 D � Î �

T�J87�:<7�´DJ;MHXZMO9"J�X[6<IfXo·`MO7�GO:<V�X[6;MOV�XY687*9>=?7*­ªMOV

� ÃYÄ�)"ÃZÀ�� 5 � � �����t Í � ÀfÉBÀ 5 ��� À�É}À � Î � � À�Ä�Ç�À�� Í#5 D � Î �

��V²MOJ © XY6<7�XY687*9>=?7*­.¶�7�N*9"J"XZMOJ`W<7XY6<7�:<7*=FMHEtIfXZMO9"J�¶)MHXY6- w ^� 5 � w*]��� � ��v&5 D � @ � � � ÃYÄ�)"Ã?À�� Í Â�À�Ä�Ç 5�ÎlÍ Â�À�Ä�Ç � Î �

º�7�:<7�«�7*=LX[6<7�MO­�®;GO7*­�7*J"XYIfXZMO9"J�9f« � ÃYÄ�)"ÃZÀ�� VZ9�«�9>=�J<9�¶�¶�7�4FW<V²X�:<7�´BJ<7

���� � �����t �� !¿@5 7 @ ���¾¿ 5 7 @ � À�É}À � � ÀfÉBÀ � @ � � � ÃYÄ�)"ÃZÀ�� �� �

@;9�X[6<7�:<7*=²MHEtIfXZMO9"J�N*9"J"XZMOJ`W<7*V

Page 15: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� Ü!*

- w*]� 5 � w*]� � ����v�5 D � @ � ��� �oÍ Â�À�Ä�Ç 5�ÎlÍ Â�À�Ä�Ç � Î_ W<I>=?:�V²XY=?7*J © X[6<7*J;MOJ ©- w*]� 5 � w*]� � ��5 v �,? ='=1010�P � � � # A � � v � ? P � � � # =1010�P ��A @

���� �)Í Â�ÀfÄ�Ç 5�ÎlÍ Â�ÀfÄ�Ç � Î_ W<I>=?:�­�9*E>7*­�7*J"X- w*]� 5 v �,? = =1010�P � � � #-A @

w*]� � v �,? P � � � # =1010�P ��A @ ���� �)Í Â�ÀfÄ�Ç 5�ÎlÍ Â�ÀfÄ�Ç � Î

º»7�J<9*¶ J<7*7*:(X[9'=Z7�´BJ<7�XY6<7 ����'�+VZ®}7*N�MH´BN*IfXZMO9"JyA ¨ VZV?W<­�MOJ © I>J8: �°9f«�XY6<7=FM © 6"XoXc·;®}7*V�¶o7�6<I*E"7

���� � � ��7�´BJ;MHX?MO9>J- � À�É}À ��� À�É}À � @ � � � ÃYÄ�)"ÃZÀ�� � �

*� MOJ"XY=?9;:<W<N�XZMO9"J�I"J<:'N*I"VZ7�I"J<IfGH·;VFMOV- *� v ? A ���� " Í�� À�É}À � � v ? A @ � � � ÃYÄ�)"ÃZÀ�� � �.Î

!w*xS *� � v ? A ���� " Í � ÀfÉ}À � � v ? A @ � � � ÃYÄ�)"ÃZÀ�� � �.Î!w*xS Í�� À�É}À � � ÀfÉ}À � � �v ? A$�v � @

� � � ÃYÄ�)"Ã?À�� � � Ψ V?VZ7*=²XZMO9"J�W<V?7�I"J<:'7�³8I"­�®�GO7- *� v ? A ���� " �

!w*xS *� � v ? A ���� " !w*xS Í�� À�É}À � � ÀfÉ}À � � �v ? A$�v � @

� � � ÃYÄ�)"Ã?À�� � � Î

� MOJ>X[=Z9;:<W8N�XZMO9"J

- *� v ? A ���� " �!w*xS *� � v ? A ���� " !w*xS *� = � � = ����'" Í�� ÀfÉBÀ � � À�É}À � � �v ? A4�v � � = � � = @

� � � ÃYÄ�)"ÃZÀ�� � � Î!w*xS Í�� À�É}À � � ÀfÉ}À � � �v ? A$�v � � � = � = @

� � � ÃYÄ�)"Ã?À�� � � Ψ V?VZ7*=²XZMO9"J�W<V?7t¸<7�³;I"­�®;GO7t¸�I>J<:':<7�´DJ;MHXZMO9"J�9f« ���� �- *� v ? A ���� " �

!w*xS *� � v ? A ���� " !w*xS *� = � � = ����'" ? = A D ����'�)Í ?0" =1010�P �AUÎ �!w*xS ? � = A D ���� � °Í � ?0" =1010�P � AUÎ

@�W<­�­�I>=²MNM�MOJ © X[6<7�I"±}9*E>7t¸�¶o7Q6<I�E>7�®<=Z9*E"7*J

Â�ÀfÄ�Ç- � �»¿ 5 7 @ � P � �g"

���� " �!w xS Í w*]� 5 v �,? ='=1010�P � � � #-A @

w*]� � v � ? P � � � # =1010�P ��A @ ���� �oÍ Â�À�Ä�Ç 5�Î0Í Â�À�Ä�Ç � ÎyÎ

I>J8:

���� �

Page 16: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

Ü�Ô Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

- �� ¿>587 @ ����¿�587 @ *� v ? A ���� " �!w*xS *� � v ? A ���� " !w*xS *� = � � = ����'" ? = A D � ��� �oÍ ?0" =1010�P �AUÎ �!w*xS ? � = A D ���� � Í � ?0" =1010�P � AUÎ

� � § �6�LA4¢���¢;¤BA4¢ �(¢;£ �L¢ � D D §F ��

µFJ¬@;7*N�X�Ai'8Ar#�¶o7�7�³`XY7*J<:<7*:�XY687�VZW8±<±<W<J<N[6�=Z7�GOIfXZMO9"J�X[9�«�W<J8N�XZMO9"J<V�A�5)6;MOV)ItGHGO9�¶�V�9>J87�X[9:<7�E>7�GO9"®�«�W<J8N�XZMO9"J<V/X[6<IfX68I*E>7�«�W8J<N�XZMO9"J<IfGy=Z7*V?W;GHXYV�AC;<9"=)7�³;I>­�®;GO7t¿

�'.y¿ ÉDÆ>Ç @ �B2�¿ ÉBÆ"Ç @ .&b/2sb-Íh=C`S"�`U#"Î- �'.y¿ ÉDÆ>Ç @ �B2�¿ ÉBÆ"Ç @ .&b/2sb "

º»7�I"=Z7�J<9fX�·>7�X�=Z7*I":;·�XY9�:<7�E"7�GO9>®�«�W8J<N�XZMO9"J<VLXY6<IfX)6<I*E"7�«�W<J<N�XZMO9"J<IfGy®<I"=ZI"­�7�X[7*=ZV�AR7*N*ItGHG�X[6<ItX�®<I>=?I>­�7�XY7*=?VhIfGH¶oI�·8V�=Z7*®8=Z7*VZ7*J"X�7�GO7*­�7*J>X[V�A8º�7�7�³`X[7*J<:'XY6<7QJ<9fXZMO9"J(9f«

7�GO7*­�7*J"XY689;9;:QXY9�«�W<J<N�XZMO9"J<V�±}7�«�9"=Z7)X[ItGO¼"MOJ © I"±}9>W;X�®<I"VZV²MOJ © «�W<J8N�XZMO9"J<V�I>V)I"= © W<­�7*J"X[V�AµFJ¹9>=?:<7*=�X[9'I*E>9fMO:�N�MO=?N*W;GOI"=FMHXc·¬MOJ¹XY6<7�:87�´BJ;MHXZMO9"J(9f« O[7�GO7*­�7*J"XUR�I"J<:(X[9�®8=Z7*N�GOW<:<7

®<I"=ZI":<9*³`MON*ItG07�³8®8=Z7*VZV²MO9>J8V�¸4¶�7�MO­�®y9"VZ7+I¬VFMO­�®�GO7�Xc·;®y7�VF·;VFX[7*­ 9"J»±<W<J<N[6<7*V�ÍcP�6`W<=ZN[6"S9]']=>ÎYA�K/³;®<=?7*VZV²MO9>J<V0N*9>J"X[ItMOJ;MOJ © 7�GO7*­�7*J>X[V/9f«�®<=FMO­+MHXZMHE>7Xc·;®y7*VLVZW<N[6�I"V�� � ��mc¸!j�o��Z¸<I"J<:GHMOVFX[V)9t«lV?W<NY6}¸;¶�7�V?I*·�I"=Z7�9t«�Xc·;®}7��FA ¨ GOI>­�±}:<I�7�³;®<=?7*VZVFMO9"J�MOVo¶�=FMHXZX[7*J �'.� ��Ê'¶�6<7*=Z7 MOV�IQXc·;®}7tA;µc«lÊ�MOV�9f«4Xc·8®}7�j�¸�� . � ��Ê'MOV)9f«�Xc·8®}7 �� j�A�µFJ�:87�XY7*=Z­+MOJ;MOJ © XY6<7Xc·;®y79t«LXY687�±y9;:;·(Ê»9"=�I"J"·(7�³8®8=Z7*VZV²MO9>J�¶)MHXY6;MOJ¹MHX�¸}MHXQMOVQI"VZVZW8­�7*:'XY68ItX .�6<I"V�Xc·;®y7 A ¨«�W<J8N�XZMO9"J�9f«lXc·;®y7 � j�¸}N*I"J'±y7QI"®<®;GHMO7*:'9>J�GH·�X[9�I"= © W<­�7*J"XYVL9f«lXc·;®y7 =8XY6<7�Xc·;®y79t«�X[6<7�I"®<®;GHMON*IfXZMO9"J�MOVBj�A

º»7�VZI�·¬XY6<IfX�I�GOI>­�±}:<I�7�³8®8=Z7*VZV²MO9>J �'. � �fÊ�MOV�I"J(7�GO7*­�7*J"X�M0/�«�9"=�7*I"N[6(7�GO7*­�7*J"X�Q9t«�Xc·8®}73j�¸lÍ � .�� �fÊyÎ ��MOV�I>J¬7�GO7*­�7*J"X�Ai;<9>=7�³8I"­�®�GO7t¸<X[6<7�7�GO7*­�7*J"XYV�9f«�� .����i"�`U#�I"=Z7� .�� �]"�I"J<:�� .�� ��#�A

5)6�MOV�:<7�´BJ;MHX?MO9>J»6<I"V�XY687�MOJ"XY7*=?7*VFX?MOJ © ¸k±<W;X�J<9fX�®<=?9>±;GO7*­�ItX?MONt¸�N*9"J<VZ7*¯`W<7*J8N*7�XY6<IfXXY6<7*=?7)I>=?7�J<9"J;½hj<l�mfm}«�W<J<N�XZMO9"J<V0XY6<IfXhI"=Z7�®<=Z9"®}7*=/VZW8±<±<W<J<N[6<7*V09t«�7�GO7*­�7*J"X[V�A!;<9"=�7�³;I>­+½®;GO7t¸

Í � . � � .&v = @ =`Î ¿ Í � . � �>=�Î5�9¹I*E>9fMO:�N�GOW;X?XY7*=FMOJ © VZ®}7*N�MH´BN*ItX?MO9>J8V�¸}MOJ<N�GOW8:;MOJ © ®<=?9 © =ZI"­�V�¸}¶)MHXY6�V?W<±<V?N*=FMO®;X[V�¸4¶�7

I>:89>®;X�X[6<7�«�9tGHGO9*¶)MOJ © N*9"J>E"7*J"XZMO9"Jy¿� .k¿�Ê @ p

I>±8±<=Z7�E`MOIfXY7*V� .�� �-.y¿�Ê @ p

I>J8:�'.BÊ�¿�Ë @ p

I>±8±<=Z7�E`MOIfXY7*V�'. ����

��-.<Ê�¿�Ë @ p

¶�6<7*=Z70Ê�MOVl9t«`Xc·;®}7 I"J<:�Ë�MOVl9f«`Xc·;®y7cj�Af@`MO­+MHGOI>=²GH·�«�9"=4«�W8J<N�XZMO9"J<V}9t«<­�9>=?7lI>= © W8­�7*J"XYV�A5)6;MOV)­�I"¼t7*VLVZ7*J8VZ7�±}7*N*I"W<VZ7)I�«�W<J<N�X?MO9>J .lXY68ItX�­�I"®<VL7�GO7*­�7*J"XYVL9t«�Ê'X[9�7�GO7*­�7*J"XYVL9t«�ËMOV�I"N*N*W<=ZIfXY7�GH·�:<7*V?N*=FMO±}7*:�±"·�X[6<7�®<=Z7*:;MON*IfXY7 .<Ê�¿�Ë<A

Page 17: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� Ü �5)687h:<7�´DJ;MHXZMO9"JQ9t«<I"®<®;GHMON*IfXZMO9"J�MOV�XY6<7LVZI"­�70«�9"=4«�W8J<N�XZMO9"J<IfG�®<I"=ZI"­�7�X[7*=ZVDI>V�«�9>=�J89>J;½

«�W<J8N�XZMO9"J<ItGD®<I>=?I>­�7�XY7*=?V�Af5)6<IfXoMOV�¸8MHXoMOVoXY6<7�W8J;MO9>J'9*E"7*=)ItGHG4VZW8±<VFX?MHXYW;X?MO9>J<V09t«l7�GO7*­�7*J"XYV9t«�X[6<7�I"= © W<­�7*J>XL«�9"=LXY6<7�®<I"=ZI"­�7�X[7*=�A

<�7�X�W8V�GO9;9"¼�IfX�6<9*¶.:87�´BJ;MHXZMO9"J<V)9f«hI"®<®;GHMON*IfXZMO9"J'I>J<:¬7�GO7*­�7*J"XY6<9;9;:�I�/}7*N�X�6;M © 6<7*=9>=?:<7*=0«�W<J<N�X?MO9>J8V�A<@�W<®<®}9>V?7)¶o7Q6<I�E>7QI�6;M © 6<7*=�9>=?:<7*=L«�W<J8N�XZMO9"J +�ÆU\ :<7�´BJ<7*:�±"·� � ÉDÆ>Ç ¿ ÉBÆ"Ç @ � ��¿ ÉDÆ>Ç 7 @ � ¿ ÉDÆ>Ç 7 � P � v+P � ��Í � .�¿ =i`1010�P � � � .]v ��Í � .cÎZÎXY6<7*J�XY687�I"®<®;GHMON*IfXZMO9"J

+�Æ,\ Í � .y¿ ÉBÆ"Ç @ .&b-Íe"�`U#"ÎZÎ ? ='=e= AMOV)7*¯`W;MHEtIfGO7*J>X)X[9

?0" =S" Af`�? # =,# A5)6;MOVlMOV0®y7*=?6<I"®<V4I�V?9>­�7�¶�6<ItX�V?W<=Z®<=²MOVFMOJ © N*9>J8VZ7*¯`W<7*J<N*7t¸�±<W;XlX[6<7�ItGHX[7*=ZJ<IfXZMHE"7h9f«yIfGHGO9*¶)½MOJ © ®<I>=?I>­�7�XY7*=?VhX[9�=?7*®<=Z7*V?7*J>X�J89>J<:87�XY7*=Z­+MOJ;MOVFX?MON�«�W<J<N�XZMO9"J<V�68I>V�VZ7*=FMO9"W<V�®�MHXZ«�IfGHGOV+Í�VZ7*7Í �(7*7*=²XY7*J<VL"S9]7]2>ÎLI>J8:�X[6<7�:�MOVZN*W<V?VFMO9"J�MOJ¬@;7*N�X*A�">=�±}7�GO9*¶�ÎYA

¨ V)XY687 +�ÆU\ 7�³;I"­�®;GO7QVZW ©>© 7*VFX[V�¸`X[6<7�«�9"=Z­�ItGHMOV?­ ®<=Z7*V?7*J>X[7*:�687*=Z7�N*I>J¬±}7QW<VZ7*:'X[9®<=Z9�E�MO:87�«�9>=?­�IfG):<7�´BJ;MHX?MO9>J<V+9t«c¸LI>J<:�®8=Z9*E"7¬®<=Z9"®y7*=²XZMO7*VQ9f«²¸�6;M © 6<7*=�9"=Z:87*=�9>®}7*=ZIfXY9"=ZVVZW<N[6�I>V�X[6<9>V?7�9f« aLMO=Z:�ÍZ">9]7 6�Î[A

� A4¢�D §F ��l¡;§c£�  �h o¤ �§ D §F ��

¨ V�J<9fXY7*:Q®<=?7�E`MO9>W<V²GH·t¸"®<=Z9 © =?I>­�V}XY6<IfXlI>=?7hN*9"=Z=?7*N�X�I>N*N*9"=Z:;MOJ © XY9XY6<7LN*ItGON*W�GOW<V © MHE>7*J�VZ9«�I"=/MOJ�XY6�MOVh®<I"®}7*=/­�I�·�VZ®}7*N�MH«U·�J<9"J"XY7*=Z­+MOJ<IfXZMOJ © N*9>­�®<W;XYIfXZMO9"J<V�A�5)6;MOVLMOV�±}7*N*I>W<V?7)I>J"·VZ®}7*N�MH´BN*IfXZMO9"J�ʹ­�I*·(±}7�W<V?7*:(I>V�I'®<=Z9 © =?I>­ ®8=Z9*E`MO:<7*:ÏMHX�MOV�=Z7�´BJ87*:¬±>·(I'®<=?9 © =ZI"­�¸¶)MHXY6'=Z7*N*W8=ZVFMO9"J'ItGHGO9�¶o7*:yA(;89>=�7�³;I"­�®;GO7t¸�¶�7�­+M © 6"X�=?7�´BJ<7�ʬ±>· � � ���� " Ê !w*xS ʬ9"=7�E>7*J'±"· 4²W<VFX�Ê4A

µcX+MOV�®}9>V?VFMO±;GO7�ÍvI"J<:�9f«UX[7*J =?7*I>V?9>J8I>±;GO7�Î�X[9(E"7*=FMH«U·�X[6<ItX�I�®<=?9 © =ZI"­ XY7*=?­�MOJ<IfXY7*V�¸9>=�XY9(E"7*=FMH«�· I¹XZMO­�7'±y9"W<J<:»«�9"=�MHX*¸L±>·¾I"J<IfGH·;VFMOJ © XY6<7'®<=?9 © =ZI"­ It«�XY7*=QMHX�68I>V�±y7*7*J:<7*=FMHE"7*:�¶)MHX[6<9"W;Xo7�³;®;GHMON�MHX�N*9"J<V²MO:<7*=ZIfXZMO9"J�9f«�XZMO­�7tA>µc«4XY6<7E>7*=FMH´DN*ItX?MO9>J�«�IfMHGOV�¸�MHX)MOV)±<I"NY¼XY9�X[6<7�:<=ZI*¶)MOJ © ±}9>I"=Z:yA8@;W<N[6¬I>J8ItGH·;VFMOVoMOV�:;MOVZN*W8VZVZ7*:�MOJy¸8«�9>=�7�³;I"­�®;GO7t¸4Íc@�I>J<:8Vs">9]7^9"ÎYAµFJ�X[6;MOV�VZ7*N�X?MO9>J�¶�7�7�³8®�GO9>=?7�I>J�IfGHXY7*=ZJ8ItX?MHE>7)MO:<7*I;¸`X[6<IfXo9f«4MOJ<N*9>=?®y9"=ZIfXZMOJ © XZMO­+MOJ © ÍvI"J<:6<7*J<N*7LXY7*=?­�MOJ<IfXZMO9"JBÎ}=Z7*¯`W;MO=?7*­�7*J"XYVkMOJ>X[9�X[6<7)9"=FM © MOJ<ItGDVZ®}7*N�MH´BN*ItX?MO9>JQI"J<:�=?7�´BJ;MOJ © VZW<N[6VZ®}7*N�MH´BN*IfXZMO9"J<VlX[9�9>±;X[ItMOJ'I�®8=Z9 © =?I>­'A

�<��� �(� !�B /U �]�C�- *��"�x � N���g�� #��R�IfXY6<7*=QX[6<I>J�:<7*IfG)¶)MHXY6 XY7*=Z­+MOJ<IfXZMO9"J�I"J<:�J<9"J"XY7*=Z­+MOJ<IfXZMO9"J�I"V�I»:<W<IfGHMHXc·"¸/¶o7¬:<7*IfG¶)MHXY6�X[6<7LXZMO­�7)=Z7*¯`W;MO=Z7*:Q«�9>=0I�N*9"­�®8W;XYIfXZMO9"J�X[9�N*9"­�®�GO7�XY7tA ;�MO=ZV²Xh¶�7)­�W<VFXL7�³;®<I>J8:QXY6<7MO:<7*I'9t«)I"J�9"±<VZ7*=²EtIfXZMO9"J¬XY9�MOJ<N�GOW<:87�XY687�XZMO­�7QXY6<IfX�MOVQ=?7*¯�W�MO=Z7*:(«�9>=�I¬N*9"­�®<W;X[ItX?MO9>J}A� \8ÃZXYÈ )�X?Æ"Ç�ÈvÀ�É; �0È�Ç�Y�Ç�È*+�à I"=Z7�¶�=²MHXZX[7*J�I>V �+T 5�¶�6<7*=?7 � MOVLI�VZ®}7*N�MH´BN*ItX?MO9>JQ9f«kI�EtIfGOW<7I>J8:95.MOV�I�J`W<­�±y7*=VZ®}7*N�MH´BN*ItX?MO9>J}A<5)6<7�¼"MOJ<:Ï9t«LJ�W8­�±y7*=?V�W<VZ7*:'MOJ�XY6<7�5.®<I"=FX�­�I*·MOJ<N�GOW<:<7�I>J»MOJ;´DJ;MHXc·�EtIfGOW<7tA�C�9"J<:<7�X[7*=Z­�MOJ�MOVFXZMON�7�³;®<=?7*VZV²MO9>J<V�­�I�·�±}7�W<V?7*:�X[9 © MHE"7�I=ZI"J © 7o9f«4I>N*N*7*®;X[I>±�GO7hX?MO­�7*V�A<Íc@`·;J"XYI"N�XZMON*IfGHGH·�T�±;MOJ<:<VLN�GO9>V?7*=lX[6<I>J+I>J"·�9"®y7*=?ItX[9>=�¸�7�E"7*J4FW;³`X[I>®}9>V²MHXZMO9"JyA Î

Page 18: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

Ü � Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

�L=Z9 © =ZI"­�­�MOJ © I"J<:�9tX[6<7*=49>®}7*=ZIfXY9"=ZVD9>JQVZ®}7*N�MH´BN*IfXZMO9"J<V}I>=?7lGHMH«UX[7*:�XY9�V?®y7*N�MH´BN*IfXZMO9"J<V¶)MHXY6�XZMO­�7�I"N*N*9>=?:;MOJ © XY9�I ÇUÈ +�ÈUÉ ) \8À-� ÈhX � A ¨ XZMO­�MOJ © ®y9fGHMON�·�=?7�B7*N�XYV�MO­�®;GO7*­�7*J>X[ItX?MO9>J:<7*N�MOVFMO9"J<V�ÍvV?W<N[6�I"V�¶�6<7�XY687*=o9"®}7*=ZI"J<:<V/I"=Z7�7�EtIfGOW<IfXY7*:�MOJ¬V?7*¯`W<7*J<N*7�9"=)®<I"=ZIfGHGO7�GUÎY¸�GOI>J;½© W8I © 7h:87*VFM © J�:87*N�MOVFMO9"J<VhÍvV?W<NY6�I"VlV²XY=FMON�X[J<7*VZV[ÎY¸�I>J<:Q:<7*N�MOV²MO9>J8V�I>±}9>W�Xl6<9*¶�­�W<N[6�9>®}7*=ZIf½XZMO9"J<VLVZ6<9"W;GO:�N*9"VFX*A"º�7¶)MHGHG�7�³86�MO±;MHXoI�®8I>=²XZMON*W;GOI"=lX?MO­�MOJ © ®}9tGHMON�·�±8I>V?7*:�9>J�VZ7*¯`W<7*J"X?MOItGMO­�®;GO7*­�7*J"XYIfXZMO9"Jy¸4VFX[=FMON�X�I"®<®;GHMON*IfXZMO9"Jy¸�I>J<:�N[6<I"= © MOJ © IfX�GO7*I>V²X�9>J87�W<J�MHX�9t«�X?MO­�7�«�9"=7*I>N[6�=Z7*N*W<=?VFMHE>7�N*IfGHG�A

�L=FMO­+MHXZMHE"7*V)VZW<N[6�I"V)­�W;GHX?MO®;GHMON*ItX?MO9>J�I"=Z7�GHMH«UXY7*:�X[9�VZ®}7*N�MH´BN*IfXZMO9"J<Vl¶)MHX[6�X?MO­�7�I>VÊyTso � Ë;T � t Í�Ê � Ë;Î?T+Í oBb ��Î

5)6<7 *� MOV)GHMH«UX[7*:�I"V � Ê}T o ���� " Ë;T � !w*xS p"T � t Í *� Ê ����'" Ë !w*xS p"ÎZT�ÍFoLb � Ê ���� " � w xS � Î@;®}7*N�MH´BN*ItX?MO9>J8Vh9f«l«�W8J<N�XZMO9"J<VL¶)MHXY6'X?MO­�7�VZ®}7*N�MH«U·�±}9fXY6�XY6<7�XZMO­�7�=?7*¯�W�MO=Z7*:�XY9�®<=Z9;:<W8N*7XY6<7�«�W8J<N�XZMO9"J<V�I>J8:�X[6<7�XZMO­�7�=Z7*¯`W;MO=?7*:�X[9�I"®<®;GH·�MHX+ÍvI"V)I�«�W8J<N�XZMO9"J'9t«�MHX[V�I>= © W8­�7*J"X�Î[A5)6<7'VZ®}7*N�MH´BN*IfXZMO9"J Í �'. �;Ê}T o`ÎZT ��V?®y7*N�MH´D7*V�I(«�W8J<N�XZMO9"J»XY6<IfXQXYI"¼t7*V �+XZMO­�7�W<J�MHXYV�X[9®<=Z9;:8W<N*7�I"J<: Í � . �&o`ÎFË�X?MO­�7¬W<J�MHXYV�X[9�I>®<®�GH· X[9�ËDAh5)6<7¬«�9fGHGO9*¶)MOJ © ¶�I*·-9f«�GHMH«�XZMOJ ©I>®8®;GHMON*ItX?MO9>J'­�9;:<7�GOV)7*I © 7*=)7�EtIfGOW<IfXZMO9"J'¶�6<7*=Z7�XY687�N*9"VFX�9f«h7�EfItGOW<IfXZMOJ © XY6<7QI"= © W<­�7*J"XMOVhI"VZV?7*VZV?7*:�IfX/X[6<7)®}9tMOJ"Xh9f«yI"®<®;GHMON*IfXZMO9"JyAB<�7�XÍ � . � ÊyTso`Î���­�7*I"J �'. �cÊ�I"J<:�Í �'. �cÊ}T o`Î��­�7*I"J �'. ��o8ADC�9*¶

�}T���Ë;T � t Í�� � Ë;Î?T+Í �kb � b � � Ë8ÎR7�«�7*=Z7*J8N*7QXY9¬I¬=Z7�´DJ<7*:�V?®y7*N�MH´BN*IfXZMO9"J¬MOV�IfGHGO9*¶�7*: I"VQI¬®<=Z9 © =ZI"­�­�MOJ © N*9"J<VFX[=ZW<N�X

Íc@;7*N�X*A('8AN"�ÎY¸k±<W;X�7�³�X[=ZI�XZMO­�7�­�I�·(±y7�9"®;X?MO9>J<IfGHGH·(I":<:<7*:yA�;89>=�7�³;I>­�®;GO7t¸}MH«)ÊyT =�MOV�I=Z7�´BJ87*:�VZ®}7*N�MH´BN*IfXZMO9"Jy¸`9"J<7�­�I*·�­�I>¼f7�=?7�«�7*=Z7*J8N*7�XY9�Ê}T "fA;µFJ'I"J"·�GO9;9"®�9f«l=Z7�«�7*=Z7*J<N*7*V�¸±"·�X[6;MOV)XZMO­+MOJ © ®}9tGHMON�·t¸}IfX)GO7*I>V²X "�X?MO­�7�W<J;MHX�­�W<V²X)±y7QI":<:<7*:�MOJ¬XY6<7�GO9;9"®yA<5)6`W<VoXY6<79>±8VZ7*=FEfItX?MO9>J�XY6<IfX�ÊyTso-�ÊyTso;¸}ItGHX[6<9"W © 6�XY=?W<7t¸8:<9;7*V)J<9fX�ItGHGO9*¶.W8V)XY9�W8VZ7QÊyTso�MOJ¬I®<=Z9 © =ZI"­�A�T�J�X[6<7h9fXY687*=�6<I>J8:y¸�MH«yÊyTso- ÊyT�ÍFo�bq"�Î}MOVlX[=ZW<7t¸fÊ}T o�Ív9"=lÊyT�ÍFo�b8"�Î?Î4­�I*·±y7+W<VZ7*:¹I>VQI¬®<=?9 © =ZI"­�A(;<9"=Q7�³;I>­�®;GO7t¸}XY687�9>±8VZ7*=FEfItX?MO9>J¬X[6<IfX�ÊyT�� - Ê}T+Í�� b "�έ�7*I"J<VQXY68ItX�Ê}T�� ­�I*·�±y7'W<V?7*:�I>V�I»®<=?9 © =ZI"­�=�±<W;X�Ê}T�� MOV�J<9fX�I�E"7*=F·�W<V?7�«�W;GVZ®}7*N�MH´BN*IfXZMO9"JyA`R�7*N*W<=?VFMHE"7�=Z7�«�7*=Z7*J<N*7)V?6<9"W;GO:'±y7�I�±;MHX�N�GO7*I"=Z7*=0¶)MHXY6'I"J�7�³;I"­�®;GO7tA

@>MOJ<N*7�X[6<7�V?W;Ì�³�T�=¹9;N*N*W<=ZV�¯`W;MHXY7�«�=?7*¯`W<7*J"XZGH·�¶�7�¶)MHGHG)XYI"¼t7�XY6<7�GHMO±}7*=FXc·�9f«�J<9fX¶�=FMHX?MOJ © MHX�¸�GO7*I*E`MOJ © MHX)MO­�®;GHMON�MHX*A

�<�TS � " :,; ��� �kw*<�7�X� ��±}7�XY6<7)V?W<­.9f«yX[6<7�7�GO7*­�7*J"XYVl9f«yI�GHMOV²Xo9f«yJ<IfXYW8=ZIfGOV �A T�W<=LVZ®}7*N�MH´BN*IfXZMO9"J�¶)MHX[6XZMO­�7�9f«lI�VZW<­�­�IfXZMO9"J�«�W8J<N�XZMO9"J�MOV

Â>VC+ �����t � ��¿ ÉBÆ>Ç 7 @ Í� ��ÎZT�Í#P ��Î5)6<7�XZMO­�7�=?7*¯�W�MO=Z7*:»XY9¹®<=Z9;:<W8N*7�XY687�V?W<­�­�ItX?MO9>J¹«�W<J8N�XZMO9"J ­�W8VFX�±}7u=;¸0XY6<IfX�MOV�J89=Z7*N*W<=?VFMHE"7�N*ItGHGOVQI"=Z7�IfGHGO9*¶o7*:}¸�±"·(XY687�N*9>J"E"7*J>X?MO9>J¹9t«�J<9fX�¶�=²MHXZMOJ © T =8Ak5)6;MOV�MOVQ7*I"VFMHGH·I>N[6;MO7�E"7*:�MH«0¶o7�¶�=²MHXY7�XY6<7�«�W<J8N�XZMO9"J�I"V�I�N*9"J<V²XYI"J>X*A;5)6<7QT P �-­�7*I>J<VLX[6<ItX)X[6<7�X?MO­�7=Z7*¯`W;MO=?7*:�XY9�I"®<®;GH·�XY6<7�VZW<­�­�IfXZMO9"J�«�W8J<N�XZMO9"J�X[9�IQGHMOVFX ��MOV P �)A�º�7�¶)MHGHGk¶�=²MHXY7 Â>VC+��

Page 19: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� Ü�Õ

«�9"=)XY687�V?I>­�7QVZ®}7*N�MH´BN*ItX?MO9>J�¶)MHX[6¬XY6<7�ÍUMO­�®;GHMON�MHX�Î�T�=�=Z7*®�GOI>N*7*:'±"·�T "fA4S�9*¶o7�E"7*=�� �MOV)VZ®}7*N�MH´B7*:�MOJ¬:87�XYIfMHG�¸;X[6<7�«�9tGHGO9*¶)MOJ © VZ689>W;GO:'6<9fGO:

��v ? A @ � � - =� �v ? A @ � � - �8=Bb ��Í � ?0" =1010�P ��AUÎ

5)6<7�«�9tGHGO9�¶)MOJ © I"=Z7�ItGOV?9�XY=?W<7��v ? A @ P � - =� �v ? A @ P � -H"cbRP�Í � ?0" =1010�P ��AUÎ

º MHXY6�XY687*VZ7)X[6<7*9>=?7*­�V0¶o7�N*I"J�¯`W;MON[¼"GH·Ï:87*=FMHE>7�XY687�9"±"E�MO9"W<V)®<=?9 © =ZI"­ÂWVC+ *� MOJ"XY=Z9;:8W<N�XZMO9"J =`N*I"VZ7�I>J8ItGH·;VFMOV =;´D=ZVFX)I"J<:�XY6;MO=?:�XY6<7*9"=Z7*­�V

- � �»¿ ÉBÆ"Ç 7 @ *� ��v ? A ���� " =`T�=!w*xS Í � �v ? A @ Í� ��ÎZT�Í#P ��ÎZÎ

@;7*N*9"J<:�I"J<:�«�9"W<=²XY6�XY6<7*9"=Z7*­�V- � �»¿ ÉBÆ"Ç 7 @ *� ��v ? A ���� " =

!w*xS Í �8=Bb ��Í � ?0" =1010�P ��AUÎ?ÎZT�ÍZ"cbRP�Í � ?0" =1010�P ��AUÎZΨ ®8®;GHMON*ItX?MO9>J+«�9"=)VZ®}7*N�MH´BN*IfXZMO9"J<Vl¶)MHX[6�X?MO­�7- � �»¿ ÉBÆ"Ç 7 @ *� ��v ? A ���� " = !w xS �8=Bb ÂWVC+ � Í �,?0" =1010�P ��AUÎ

�<� � � �(�� ��� ��k!�q�(� �B /U �]�C�- � "�x � N��� �� � 5)6<7�X?MO­�7�X[I>¼f7*J�X[9)I>®<®�GH·�I�«�W<J8N�XZMO9"J�9"±;XYIfMOJ<7*:)«�=Z9"­ I"J�I"®<®;GHMON*IfXZMO9"J�9f«;I)6;M © 6<7*=F½v9>=?:<7*=«�W<J8N�XZMO9"J�­�I�·�¶o7�GHG�:<7*®}7*J<:�9>J�XY6<7XZMO­�7�XY9�I"®<®;GH·�I�N�GO9>V?W<=Z7tA�5)6<7��'I"J<:���J89tX[ItX?MO9>JItGHGO9�¶�V)VZ®}7*N�MH´BN*ItX?MO9>J�9t«lV?W<N[6�«�W<J<N�X?MO9>J<V�A ¨ J�7�Ì�N�MO7*J"X�­�I>®�«�W<J8N�XZMO9"J�MOV)V?®y7*N�MH´B7*:�±"·� � ÉBÆ"Ç ¿ ÉBÆ"Ç @ � ��¿ ÉBÆ"Ç 7 @Í � ¿ ÉBÆ"Ç 7 � P � vRP � � Í � .B¿�=C`1010�P � � � .�v � ��Í ��.²Î?ÎZÎ?T+Í���� �� � � ��� "cb � ��Í �9.cÎZÎ

� �9�l¡`¡CA4¢< �� ��¡8¦ �)§F ��

µFJ¬­�9;:<7*=?J�«�W<J<N�XZMO9"J'®<=Z9 © =ZI"­�­�MOJ © GOI"J © W<I © 7*V�¸`«�W8J<N�XZMO9"J<V)I"=Z7 © 7*J<7*=?ItGHGH·':<7�´BJ87*:�±"·I�V?7*¯�W87*J<N*7Q9t«L7*¯�W8ItX?MO9>J<V�¶)MHX[6¬XY687�I"®<®<=?9>®8=FMOIfXY7�:<7�´BJ;MHX?MO9>J¬±}7�MOJ © ®�MONY¼f7*:(I>N*N*9"=Z:�MOJ ©XY9�®<IfXZXY7*=?J�­�IfXYN[6;MOJ © A <4MO¼t7�¶)MOV?7�XY687 �^�ixS N*9>J8VFXY=?W<N�Xl9f«²¸`«�9>=L7�³;I>­�®;GO7t¸"S�I"VZ¼f7�GHGB¶�9>=?¼`V±"·�®<IfXZX[7*=ZJ�­�IfXYN[6;MOJ © A;º»7�GO9;9>¼�6<7*=Z7�IfX�6<9*¶�XY6�MOV�VF·;J"XYI"N�XZMON�:<7�E`MON*7QN*I>J'±}7 © MHE>7*J¬IVZ7*­�I>J"XZMON*VLW<V²MOJ © XY687�J<9fXYIfXZMO9"J�I"J<:�XY6<7*9"=F·�®<=Z7*V?7*J>X[7*:�7*I"=FGHMO7*=�A

@>MOJ<N*7)«�W8J<N�XZMO9"J�:<7�´BJ�MHXZMO9"J�±"·�®<IfXZX[7*=ZJ�­�ItX[NY6;MOJ © N*I"J�±}7�W<J8:<7*=ZV²XY9;9;:�MOJ�X[7*=Z­�V/9f«XY6<7 �^�ixS N*9"J<VFX[=ZW<N�X0¶o7Q:;MOV?N*W<VZV�9"J;GH·�XY6<IfX�A8P�9>J<V²MO:<7*=LXY6<7 �^�ixS 7�³;®<=?7*VZVFMO9"J

�]��xS Ê ����� ��. � Ë =� 2 � p��

º 6<7*=?7 �¾I"J<: ��I"=Z7�«�W<J8N�XZMO9"J<V�­�I>®8®;MOJ © Xc·;®y7*V 5 I>J8: � =Z7*V?®y7*N�X?MHE>7�GH·(X[9(I¬XY6�MO=Z:Xc·;®y7tA�5)6<7�N*I"VZ7�7�³;®<=Z7*V?VFMO9"J�N*I"J'±y7�W<J<:<7*=?VFXY9;9;:�I"V�XY687�V?®y7*N�MH´BN*IfXZMO9"J

Ê�¿ ��5 ` � � @ w ]��� ¿�Ê @ Í w*]� . � � ¿ ��. @ Ë8ÎU`Í w*]� 2 � � ¿ ��2 @ p"Î

Page 20: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

� � Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

5)6�MOV)MOJ"XY7*=Z®8=Z7�XYIfXZMO9"J�9f«�XY687�N*I"VZ7�VFX[ItX[7*­�7*J"X/MOV�J<9>J8:<7�XY7*=?­�MOJ;MOV²XZMON�¶�6<7*J'®<IfXZX[7*=ZJ<V9*E>7*=²GOI>®}AQ@;7*¯`W<7*J"XZMOIfG�®<IfXZX[7*=ZJ�­�IfXYN[6;MOJ © MOV¹­�9;:<7�GHGO7*:�VZ9"­�7�¶�68ItX¬:;M0/}7*=Z7*J"XZGH·tA�5)6<7I>±}9*E"7�N*I"VZ7�7�³8®8=Z7*VZV²MO9>J�N*I"J�±}7�­�9;:<7�GHGO7*:�I"V

w ]� � ¿*Ê @ *� � ¿ � 5 ���� " Í w*]� . � � ¿ � . @ Ë8Î w xS3 ��� ¿� � ���� " Í w*]� 2 � � ¿ � 2 @ p"Î w xS o]mnm

?l� �gA�� �l¡CA4¤ � £L¢��

5)6<7�W<VZ7�9f«BGO9 © MON�X[9�7�³;®<=?7*VZV�X[6<7�=Z7�GOIfXZMO9"J<VZ6;MO®Q±}7�Xc¶o7*7*J�MOJ<®8W;XhI"J<:�9"W;XY®<W�Xl:<ItX[7*V�±<I"NY¼XY9�¶o9"=Z¼'±"·(5�W<=²MOJ © Í �(9"=Z=FMOVI>J<:��>9"J<7*V ">9]7^'tÎ[¸4I"J<:¬MOV�­�9>=?7Q=Z7*N*7*J"XZGH·�«�9"W<J<:¬MOJ�XY6<7¶o9"=Z¼�9t«c¸8«�9"=o7�³;I"­�®;GO7t¸8S�9"I"=Z7�Íe"S9]2^9fÎ�I>J<: �M 4F¼`VFX[=ZI�Íe"S9!6^1�ÎYA

5)687�W8J;MH«�9"=Z­ XY=?7*ItX[­�7*J"X�9t«/I"±<V²XY=ZI"N�X�VZ®}7*N�MH´BN*ItX?MO9>J8VoI"J<:'®<=?9 © =ZI"­�V0MOV�±}7*N*9>­+MOJ ©N*9>­�­�9"J)MOJ�MO­�®}7*=ZIfXZMHE>7�®<=Z9 © =?I>­�­�MOJ © ­�7�X[6<9;:<9fGO9 © MO7*V�Aea�I>N[¼+Íe"S9]7!6tÎY¸�S�7*6<J87*=0Íe"S9]7^'fÎY¸�(9"= © I>J(ÍZ">9^7]7>Î[¸DI>J<: �(9"=Z=²MOV�ÍZ">9^9]=>Î[¸D±<W;MHGO:;MOJ © 9>J�X[6<7�¶o9"=Z¼�9t« ��M 4F¼`V²XY=ZI'ÍZ">9 6]1tÎ[¸BIfGHG7�³`XY7*J<:+MO­�®}7*=ZIfXZMHE>7�GOI"J © W<I © 7*V0XY9QMOJ<N�GOW8:<7�I"=Z±;MHX[=ZI"=F·�VZ®}7*N�MH´BN*IfXZMO9"J<V�A ¨ J<7�¶�­�7�X[6<9;:;½9tGO9 © ·+9f«BS�7*6<J<7*=oÍe"S9]9^=fÎ4XY=?7*ItX[V4XY6<7)®<=?9 © =ZI"­�­+MOJ © GOI>J © W<I © 7hI"V/I�VZW<±8VZ7�Xl9f«BGO9 © MON)I"J<:W<VZ7*VLGO9 © MON�I"V�XY6<7�«�W;GHG�V?®y7*N�MH´BN*IfXZMO9"J�GOI"J © W<I © 7tA

@�9>­�7�9f«lXY687�V?®y7*N�MH´DN*ItX?MO9>J�N*9>J8VFXY=?W<N�XYVL®<=?7*VZ7*J"XY7*:'6<7*=?7�I"=Z7Q±<I"VZ7*:'9"J¬N*9>J<V²XY=?W<N�XYVXY6<IfXh68I*E>7�±}7*7*J�W<V?7*:�MOJ+MO­�®}7*=ZIfXZMHE>7)V?®y7*N�MH´DN*ItX?MO9>JyAf5)6<7 @ ¸ ����+ ¸;I"J<: ���>+� w xS 9"®y7*=²½ItX[9>=?V�¸>«�9"=o7�³;I"­�®;GO7t¸�I>=?7�V²MO­�MHGOI"=LXY9�9"®y7*=?ItX[9>=?V/:<7*V?N*=FMO±}7*:�±"· �Ï9>= © I"J¹Íe"S9]7]7tÎ�I>J8:��t9"=C�7�GOV?9>J(ÍZ">9^7!6�Î[A

µFJ XY6<7'«�W<J<N�XZMO9"J<IfG)®<=Z9 © =?I>­�­�MOJ © N*9"­�­�W8J;MHXc· J89>J<:87�XY7*=Z­+MOJ;MOVFX?MON�V?®y7*N�MH´BN*IfXZMO9"J<V6<I*E"7�±y7*7*J¬I�E>9fMO:<7*:y¸4®}7*=Z6<I"®<V�±}7*N*I"W<VZ7�MHX�MOV�«�7*I"=Z7*:'X[6<IfX�J<9"J<:<7�XY7*=?­�MOJ;MOV?­ :<9;7*V�J<9fX­�MH³�¶)MHX[6�=?7�«�7*=Z7*J"X?MOItG<X[=ZI"J<VZ®8I>=?7*J<N�·tA ¨ J�7�³;N*7*®;X?MO9>J�MOVhX[6<7)¶�9>=?¼�9f«0@�>J<:87*= © I>I"=Z:�I"J<:@;7*VFX[9t«�XhÍZ">9^7]7>¸�">9^9]=>Î}¶�6;MON[6�7�³;®;GO9"=Z7*V�V?7�E>7*=ZIfG"EtI>=²MO7�XZMO7*Vl9f«<J<9"J<:<7�X[7*=Z­�MOJ�MOVZ­�I>J<:�X[6<7�MO==Z7�GOIfXZMO9"J<VZ6�MO®<V4XY9�=Z7�«�7*=?7*J"XZMOIfG>X[=ZI"J<VZ®<I"=Z7*J8N�·"A�R�7*:<7�GO­�7�MO7*=LÍe"S9]7]'tÎ�W<V?7*:�I�«�9"=Z­ 9f«B¶�7*I"¼>½7*VFX�®<=?7*N*9>J<:�MHXZMO9"J�V?7*­�I"J>X?MON*VBX[9�:<7�´BJ87/I�®<=?9 © =ZI"­�­+MOJ © GOI>J © W<I © 7t¸�±<W;Xl:;MO:QJ<9fXl®<W<=?VZW<7J<9"J<:<7�XY7*=?­�MOJ;MOV?­.9"=o®8=Z9 © =?I>­ :<7*=FMHEfItX?MO9>JyA>5)6<=Z7*7�±y9;:;MO7*VL9f«�¶o9"=Z¼+MOJ�«�W<J<N�X?MO9>J<IfGy®8=Z9f½© =?I>­�X[=ZI"J<VF«�9>=?­�IfXZMO9"J�:<9�IfGHGO9*¶¾J<9"J<:<7�X[7*=Z­+MOJ;MOVFX?MONlVZ®}7*N�MH´BN*IfXZMO9"J<V�A�5)687*VZ7LI>=?7/X[6<7oPLµ �®<=Z9�4F7*N�X+ÍfaoI"W<7*= Ã�Ç�Æ � � ">9]7 6�Î[¸ �(7*7*=²XY7*J<VWQ V�7*VZV?I*· Í �Ï7*7*=FXY7*J8V "S9]7^2"ÎY¸kI>J<:ÏS�9;9 © 7*=²¶o9f½9>=?:<Q V�XY687*VFMOV�ÍvS�9;9 © 7*=F¶�9;9>=?:u"S9]7]9>ÎYA

5)687hPLµ �(®<=?9�4F7*N�X}MOJ"E>9fGHE>7*V0J<9tX�9"J;GH·�«�W<J<N�X?MO9>J<IfGt®<=?9 © =ZI"­�­+MOJ © ¸[±<W;X�ItGOV?9�IfG © 7*±<=?ItMONVZ®}7*N�MH´BN*IfXZMO9"J�9f«�:<IfXYI¬Xc·;®}7*V�I"J<:�MO­�®}7*=ZIfXZMHE"7�®<=?9 © =ZI"­�­+MOJ © AkT�J�GH· X[6<7�«�W<J8N�XZMO9"J<ItG®<=Z9 © =ZI"­�­�MOJ © I"VZ®}7*N�XYV�9f«hPLµ �¾I"=Z7Q:;MOVZN*W8VZVZ7*:�6<7*=?7tABPLµ � MOV�IfGOVZ9�I+XY=ZI"J<V²«�9"=Z­�IfXZMO9"J<IfGI>®8®<=Z9"I>N[6(±<I"VZ7*:»9"J�J<9"J<:<7�X[7*=Z­+MOJ;MOVFX?MON�V?®y7*N�MH´BN*IfXZMO9"JyADµFJ�PLµ � 7*I"NY6¹VZ®}7*N�MH´BN*ItX?MO9>J�MOVI>V?VZ9;N�MOIfXY7*:�¶)MHXY6¹I'VZ7�X�9f«LEtItGOW87*V�N*IfGHGO7*:¬MHXYV�±<=?7*I>:;X[6yA�T�J<7�VZ®}7*N�MH´BN*IfXZMO9"J¬=Z7�´BJ<7*VI>J;½9tX[6<7*=�MH«)MHX[VQ±<=Z7*I":;XY6�MOV�I¬V?W<±<V?7�X�9f«oX[6<7�9fXY6<7*=WQ V�A�PLµ ��MOJ8N�GOW<:<7*V�I xS� � ¯`W<I>J"X?MH´B7*=¶�6;MON[6�N�GO9>V?7�GH·�®<I>=?ItGHGO7�GOVkXY6<7 0¯`W<I"J>X?MH´B7*=l®<=?7*VZ7*J"XY7*:Q6<7*=?7tAf5)6<7)VFM © J;MH´BN*I"J"X/:;M0/y7*=?7*J<N*7*V±y7�Xc¶�7*7*J(PLµ ��I>J<:�XY6<7�«�9"=Z­�ItGHMOV?­°®<=?7*VZ7*J"XY7*:'6<7*=?7�I"=Z7�­�ItMOJ�GH·�MOJÏXY6<7�X[=Z7*IfXY­�7*J"X�9f«7*=Z=?9>=?V�¸;I"J<:�®<=Z7*:�MON*ItX[7*V�A

KL=Z=?9>=?V4MOJ�PLµ ��I"=Z7�=?7*®<=Z7*V?7*J>X[7*:�±"·�I�±}9fXZXY9"­�EtIfGOW<7tA"5)6<7�®<=Z7*V?7*J<N*7/9f«BX[6<7L±y9fXZX[9>­EtIfGOW<7�MOJ�XY6<7�±<=Z7*I":;X[6�9f«�I�V?®y7*N�MH´DN*ItX?MO9>J¹­�7*I"J<V�XY6<IfX�XY6<7�VZ®}7*N�MH´BN*IfXZMO9"J�­�I*·�GO7*I":XY9¬7*=?=Z9"=�A �(I"J"·(XY=?I>J8VF«�9"=Z­�ItX?MO9>J¬=?W;GO7*V�6<I*E>7�VZ®}7*N�MOIfG/VFMO:<7�N*9>J8:;MHXZMO9"J<V�I>±}9>W�X�7*=?=Z9"=ZV�¸

Page 21: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� � Ü

7*VZ®}7*N�MOItGHGH·�MOJ(®<=?7*:;MON*ItX[7*V�A�µFJ'XY6<7Q®<=?7*VZ7*J"X)«�9"=Z­�ItGHMOV?­�¸87*=Z=?9>=?V)I>=?7�=?7*®<=Z7*V?7*J>X[7*:�±"·�o]mfm9>=�±"·�MOJ<N*9>­�®;GO7�XY7*J87*VZVl¶)MHX[6'I�=Z7*V?W;GHXZMOJ © V²MO­�®;GHMH´DN*ItX?MO9>JyA

�L=Z7*:�MON*ItX[7*VhMOJ(PLµ ��I"=Z7QVFMO­�®;GH·�±}9;9fGO7*I>J�VZ®}7*N�MH´BN*IfXZMO9"J<V�A�5)6;MOV�6<I"V�I�W<J;MH«U·`MOJ © 7�«U½«�7*N�X*¸*±<W;X*¸*I"V}¶)MHXY6Q7*=Z=?9>=?V�¸*I":<:<V4V²MO:<7/N*9"J<:;MHX?MO9>J<V}X[9�XY=ZI"J<V²«�9"=Z­�IfXZMO9"J)=ZW�GO7*V�¸�«�9>=47�³;I"­�®;GO7VZI*·`MOJ © X[6<ItX0XY6<7)®8=Z7*:;MON*IfXY7�­�W<V²Xh±}7):<7�XY7*=?­�MOJ;MOV²XZMON�I>J8:�­�W<VFX�J<9fXh±}7�MOJ�7*=?=Z9"=�AfµFJ+XY6<7®<=Z7*V?7*J"Xl«�9"=Z­�ItGHMOV?­�¸�¶o7:<9QJ<9tXLVZ®}7*N�MH«U·QXY687)7�³8I"N�X/GOI"J © W<I © 7�W<V?7*:�«�9"=h®8=Z7*:;MON*IfXY7*V�¸t±8W;X¶o7Q:<9�I>V?VZW<­�7�X[6<ItX�7*I"N[6�®8=Z7*:;MON*IfXY7MOV�7�MHXY687*=hX[=ZW<7�9"=)«�IfGOVZ7�MOJ¬7*I"NY6¬V²XYIfXY7t¸8ItGHX[6<9>W © 6XY6<7oGO9 © MON�­�I*·�J89tX)±}7�N*9"­�®;GO7�X[7)7*J<9>W © 6+XY9�V?I*·�¶�6;MON[6yAi;<9"=)7�³8I"­�®�GO7�=

�=�vd1QMOV)J<9fX

N*9>J8VFMO:<7*=?7*:�XY9Q±}7�MOJ�7*=Z=Z9"=�¸>J<9>=LX[9�±}7�J89>J<:87�XY7*=Z­+MOJ;MOVFX?MONtA ¨ VLMOJ�PLµ ��¸�XY6<7�V²MO:<7�N*9"J<:;MH½XZMO9"J<V)I"±y9"W;X�:<7�XY7*=?­�MOJ;MOV?­!I"=Z7�XY6<7*=?7t¸;±<W�X�I>=?7�V?9>­�7�¶�6<ItX�6;MO:<:87*JyA8º�7�I>=?7�N*W<=?=Z7*J"XZGH·GO9;9>¼"MOJ © IfX�IfGHGO9*¶)MOJ © J89>J<:87�XY7*=Z­+MOJ;MOVFX?MON�®<=Z7*:;MON*IfXY7*V0¶)MHXY689>W;X)N*9"­�®;GHMON*IfXZMOJ © X[6<7�GOI*¶�V�A

R7*N*7*J>X?GH· ���9fGHGO7*=�Íe"S9]7^9fÎ)®<=Z9"®}9>V?7*:�I"JdOYI"VZV?7*=FX?MO9>J�R�N*9"J<V²XY=ZW8N�Xh«�9>=�PLµ ��A}S�MOVN*9>J;½VFX[=ZW<N�X*¸�� Ê�MOVQV²MO­�MHGOI"=�X[9'±y9fXY6(9"W<= © W8I>=?:(I>J8:�I"VZV?7*=FXZMO9"J¬MOJ¹XY6<IfX�MHXQMOVQÊ»¶�6<7*J�ªMOV�XY=?W<7t¸}±<W;X�:;M0/y7*=?V�«�=Z9"­°±y9fXY6¬9"W<=�N*9>J<V²XY=?W<N�XYVLMOJ(X[6<IfX�MHX�MOVXY6<7�±}9fXZXY9"­ Ív7*=?=Z9"=YÎEtIfGOW<7�¶�6<7*J � MOVQ«�IfGOVZ7tAkµcX�MOV�«�IfMHXY6;«�W;GLXY9'XY687�J<9fXZMO9"J»9t«�I"VZV?7*=FXZMO9"J<V�I>V�V?It«�7�Xc·�J<7�X[V�AaL·�N*9>J"X[=ZI"VFX�¸>9>W<=LI"VZVZ7*=²XZMO9"J�N*9"J<VFX[=ZW<N�X0MOVoW8VZ7*:�XY9Q=Z7*®<=?7*VZ7*J"XhN*9"J"XY7�³`X�A>5)6<7�:;M0/}7*=Z7*J<N*7MOV)MHGHGOW<V²XY=ZIfXY7*:'±"·'XY6<7�I"VZVZ7*=²XZMO9"J�7�GHMO­+MOJ<IfXZMO9"J�GOI�¶�¸D¶�6;MONY6Ï:<9;7*V�J<9tX�6<9tGO:'«�9>= ���9tGHGO7*=WQ VI>V?VZ7*=²XZMO9"J<V�A

�Ï7*7*=FXY7*J8V�¸�MOJ+6;MOVl7�³;N*7�GHGO7*J"X/®<I"®y7*=�9"JQXY=?I>J<V²«�9"=Z­�ItX?MO9>J;IfGt®<=?9 © =ZI"­�­+MOJ © Í �(7*7*=²XY7*J<V"S9]7]2tÎY¸}:;MOV?N*W<VZV?7*V�J<9"J<:<7�X[7*=Z­�MOJ�MOVFXZMONo«�W<J<N�X?MO9>J8ItG�®<=?9 © =ZI"­�V�I"V�I�W8J;MH´B7*:¬J<9fXYIfXZMO9"J'«�9"=VZ®}7*N�MH´BN*IfXZMO9"J<V)I>J8:(®<=Z9 © =ZI"­�V�A���J�«�9"=FXYW8J<ItX[7�GH·t¸ �Ï7*7*=FXY7*J8V�N*9>J�«�W<V?7*VBj<l�mfm�Í�MOJ¹6;MOV�J<9t½XYIfXZMO9"J ? A

�=`Î/¶)MHX[6�XY6<7�W8J<:<7�´BJ<7*:+EtIfGOW<7+ÍUXY6<7�7*=?=Z9"=/EfItGOW<7�Î[A<5)6�MOV�GO7*I>:<V�6;MO­ X[9�NY6<9;9"VZ7

±y7�Xc¶�7*7*J»=Z7 4F7*N�X?MOJ © X[6<7�EfItGHMO:;MHXc·�9f«�Ê - j(l&mnm�I"J<:�=Z7 4²7*N�XZMOJ © X[6<IfX -°­�7*I"J<V8O[­�I*·ÍvI"V�I�XYI"VZ¼;Î)±}7�=Z7*®;GOI"N*7*:¬±"·tA R¬5)6<7�VZ9fGOW;XZMO9"J¬MOV�XY9�I>N*N*7*®�X�±y9fXY6y¸}=?7 © I"=Z:8j(l&mnmLI>VXY6<79*E>7*=²½ :87�XY7*=Z­+MOJ<7*:�EtIfGOW<7t¸DI"J<:�W8VZ7�XY6<7�W<J<:<7�X[7*=Z­�MOJ87*:�EtIfGOW<7 o]mnm�XY9�=?7*®<=Z7*V?7*J"Xo7*=?=Z9"=ZV�A

�Ï7*7*=FXY7*J8V�W8VZ7*V�:�MO=Z7*N�X�VZW8±<VFX?MHXYW;X?MO9>J»«�9"=�I"®<®;GHMON*IfXZMO9"JyA0S�7¬IfGOVZ9»I":<9>®�XYVQXY687�=?W;GO7Í���` �;ÎlÊdt ��Ê�` �+Ê4AlS�7�N*9"=Z=?7*N�XZGH·¬J<9fXY7*V�XY6<IfX�X[6<7*VZ7+VZ7*7*­�MOJ © GH·�=?7*I>V?9>J8I>±;GO7�N[6<9fMON*7*VGO7*I>:�XY9+N*9>J"XY=?I>:�MON�XZMO9"J<V�A`5)687�«�9tGHGO9*¶)MOJ © 7�³;I>­�®;GO7)MOV © MHE>7*J

� �����t �<���� �����t �<���%� �����t ������� "cb��#

XY6<7*J%i`e23t Íe"�bs#"Î,`*Íh%!b�%`Îkt�� ��`� �3t��Í���`��;Î t Í���` �;Î>" b+Í���` �8Îe# t ÍZ"�`e%�Îeb+Í # `e%`Î t %C`e'i`U1!`e2T�W8=l«�9"=Z­�ItGHMOV?­.I*E"9tMO:<V0XY6�MOVh®<I"=ZI":<9*³�±"·�N*I"=Z7�«�W;GHGH·�:<7�´BJ;MOJ © 7�GO7*­�7*J"X[6<9;9;:�I"J<:�IfGHGO9*¶)½MOJ © 9"J;GH·�7�GO7*­�7*J"XYV�I>V�X[6<7�EfItGOW<7*V)9f«l®<I"=ZI"­�7�X[7*=ZV�A

T�J<7�9>W�X © =Z9*¶)X[6�9f«�(7*7*=FX[7*J<V>Q V�®<I"®y7*=�MOV�X[6<7�V?9t½vN*ItGHGO7*: aLMO=Z:�½��(7*7*=²XY7*J<V�«�9>=?­�IfGH½MOVZ­'A<µFJ�MHXZMOIfGHGH·"¸kJ<9"J<:<7�XY7*=?­�MOJ;MOV²XZMON�V?®y7*N�MH´DN*ItX?MO9>J�¶oI"V�M © J<9"=Z7*:�Í�VZ7*7Q7tA © AlÍfaLMO=Z: ">9^7!6�Î?ÎYAµFJ ÍfaLMO=Z: "S9]9]=>ÎY¸:aLMO=Z:�:;MOV?N*W<VZV?7*V�J89>J<:87�XY7*=Z­+MOJ;MOVFX?MONQVZ®}7*N�MH´BN*ItX?MO9>J8V�¸4±<W�X+J89tXQXY687�=Z7�½´BJ<7*­�7*J>X�9"=Z:<7*=L9>J�X[6<7*­�A

S�9;9 © 7*=F¶�9;9"=Z:LMOJ�6�MOV4XY6<7*V²MOV0Í�S�9;9 © 7*=²¶o9;9"=Z:�">9^7]9tÎ}:<7�E>7�GO9"®<V4I)N*IfGON*W;GOItX?MO9>J8ItGt­�7�XY6<9;:9t«L«�W8J<N�XZMO9"J<IfG/®<=Z9 © =ZI"­ :<7�E"7�GO9>®<­�7*J"X�±<I"VZ7*:¹9>JÏGO9 © MON*ItGLVZ®}7*N�MH´BN*IfXZMO9"J<V�ADµFJ»N*9>J"X[=ZI"VFXXY9�XY687�®<=?7*VZ7*J"Xo®8I>®}7*=�¸`687�:<9;7*VLJ<9fXhX[=Z7*IfXoV?®y7*N�MH´BN*IfXZMO9"J<VlI"J<:�7�³;®<=Z7*V?VFMO9"J<VhI"V�9>±C4²7*N�XYV

Page 22: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

��� Ò8g*��qOp[_*�<n�^;][pZq���pY_�bcqOg*e�u4i�g*a��fm"e�p?bcqOg*e`_*� Ñ aFg*��aF_*d�u

9t«0XY6<7QV?I>­�7�V?9>=²X�¸DI"J<:¬XY6`W<V:<9;7*V�J<9fX�6<I*E"7�I�=Z7�´BJ<7*­�7*J"XN*IfGON*W;GOW<V =}=ZIfXY6<7*=�¸<V?®y7*N�MH´8½N*ItX?MO9>J8VoI"=Z7�®<=?7*:;MON*ItX[7*V/X[6<IfX:87*VZN*=FMO±}7�X[6<7�:<7*VFMO=?7*:�7�³;®<=?7*VZVFMO9"J<V�A;C�9"J<:<7�X[7*=Z­+MOJ;MOVZ­ MOVJ<9fXoIfGHGO9*¶�7*:�MOJ�7�³;®<=Z7*V?VFMO9"J<V�XY687*­�VZ7�GHE"7*V�¸"±<W�XoI�V?®y7*N�MH´BN*IfXZMO9"J�­�I�·"¸�9t«4N*9"W<=ZV?7t¸"W<J<:<7*=²½:<7�XY7*=?­�MOJ<7�X[6<7�­�7*I"J;MOJ © 9t«�X[6<7�:87*VFMO=Z7*:�7�³;®<=Z7*V?VFMO9"JyA

? ? ��£� )¦ �F¥LE;§c£� LE

º�7¹6<I*E>7»®<=?7*VZ7*J"XY7*:¾I�V²MO­�®;GO7¹=Z7�´BJ87*­�7*J"X�N*IfGON*W;GOW<V�«�9"=�«�W<J<N�X?MO9>J8ItG�®8=Z9 © =?I>­�­�MOJ ©I>J8:�I"J'ItX?XY7*J<:<I"J"Xo®8=Z9 © =?I>­�­�MOJ © ­�7�XY689;:<9tGO9 © ·"A>5)6<7�¼f7�·�I"VZ®}7*N�X�9t«�X[6;MOV)N*ItGON*W�GOW<VLMOVXY6<IfX4MHXlXY=?7*ItX[VyV?®y7*N�MH´DN*ItX?MO9>J<VDI>J8:�7�³;7*N*W;X[I>±�GO7/7�³;®<=Z7*V?VFMO9"J<V}W<J;MH«�9"=Z­+GH·tAt5)6�MOV�ItGHGO9*¶�VkXY6<7®<=Z9 © =ZI"­�­�7*=DXY9«�9"=Z­�ItGHGH·Q7�³;®<=Z7*V?VlI>J8:�XY9E>7*=FMH«�·�7*I>N[6�VFX[7*®�9t«}I�V²XY7*®"¶)MOVZ7�=?7�´BJ<7*­�7*J"X*A5)6<7�N*IfGON*W;GOW<V�MOJ8N�GOW<:<7*V�X?MO­�MOJ © ¸}J<9fX 4FW8VFX�«�9>=�I>J8ItGH·;VFMOV�If«UXY7*=®<=Z9 © =?I>­ :87�E>7�GO9"®<­�7*J"X�¸±<W;X)I"V)I © W�MO:<7�X[9�:<7�E"7�GO9>®<­�7*J"X�A

@�7�E>7*=ZIfGl9f«/XY687�VZ®}7*N�MH´BN*ItX?MO9>J'9"®y7*=?ItX[9>=?V�®<=Z7*V?7*J>X[7*:'I>J<:ÏW<VZ7*:(687*=Z7�MOJ¬I"=Z7�J<7�¶.9"=J<7�¶.X[9�«�W<J<N�X?MO9>J<IfG�®<=Z9 © =ZI"­�­�MOJ © ¸DI"V�«�I>=�I>V�¶�7�¼`J<9*¶�A�5)687*VZ7QMOJ<N�GOW<:87 @ ¸ @ ¸ w*]� ¸����+ ¸8I>J<: ����+�!w xS A

5)687�VZ®}7*N�MH´BN*IfXZMO9"JQGOI>J © W<I © 7)MOV�I�VZ­�ItGHGB7�³`X[7*J<VFMO9"J�X[9�IQ«�W<J<N�X?MO9>J8ItGB®8=Z9 © =?I>­�­�MOJ ©GOI>J © W<I © 7tA*5)6<7�7�³`XY7*J<V²MO9>J�IfGHGO9*¶�VlX[6<7/V?®y7*N�MH´B7*=}X[9�VFX[ItX[7/X[6<7h=?7�GOItX?MO9>J8VZ6;MO®�±y7�Xc¶�7*7*J�XY6<7«�=?7*7�EtI>=²MOI>±�GO7*VhI"J<:�X[6<7�=?7*VZW;GHX�9t«4I"J�7�³;®<=Z7*V?VFMO9"JyA!a�7*N*I"W<VZ7�GO9 © MON�N*I>J+±y7�W8VZ7*:�X[9QVFXYIfXY7XY6;MOV�=?7�GOItX?MO9>J<V?6;MO®y¸"X[6<7)GOI"J © W<I © 7�MOV�7�³;®<=Z7*V?VFMHE>7�I>J8:�J<IfXYW<=?ItG8XY9QI>J"·"9>J<7«�I"­�MHGHMOI"=/¶)MHX[6GO9 © MONtA45)6<7�V?®y7*N�MH´D7*=�J<7*7*:<V)X[9�V²XYIfXY7Q7�³;I>N�X?GH·'XY6<7�:<7*V²MO=Z7*:¬=?7�GOItX?MO9>J<V?6;MO®(I"J<:(J<9fXY6�MOJ ©­�9"=Z7 =>XY6<7*=?7)MOV�J<9�=?7*¯`W;MO=Z7*­�7*J>XLXY68ItX�XY687�=Z7�GOIfXZMO9"J<V?6;MO®�±}7�«�W<J<N�X?MO9>J<IfG�AC;8W<=FX[6<7*=Z­�9>=?7t¸XY6<7�=Z7�GOIfXZMO9"J<VZ6�MO®�N*I"J�±}7�7�³8®8=Z7*VZV?7*:�MOJ'¶�I*·;V)XY68ItX)I"=Z7�N*9"­�®�GO7�XY7�GH·�J<9"J<IfG © 9"=FMHX[6<­�MONtA

� � � "�� �5w* � �& � '"i��x º»7�¶�9>W;GO:�GHMO¼t7�XY9QX[6<I"J<¼�R�I*· aLGOI"I>¼<¸ ¨ J<:<=?7�¶ �(IfGHXY9"Jy¸`I"J<:XY6<7+=Z7�«�7*=?7*7*V)«�9"=�6<7�GO®;«�W�GhN*9"­�­�7*J"X[V)9>J¹7*I>=²GHMO7*=�:<=?It«�XYV�A}º�7 © =?ItX[7�«�W;GHGH·¬I"NY¼`J<9*¶)GO7*: © 7XY6<7LVZW8®<®y9"=FX�9f«<XY687 ��7*®<I"=FXY­�7*J"Xk9f«yP�9"­�®<W;X[7*=�@;N�MO7*J<N*7LItX�X[6<7 ��J;MHE"7*=ZVFMHXc·Q9f«B5�9>=?9>J"X[9I>J8:�X[6<7�C�ItX[W<=ZIfGy@;N�MO7*J8N*7*VoI"J<:'KLJ © MOJ87*7*=FMOJ © R�7*V?7*I>=?NY6�P�9>W<J8N�MHG�A

Page 23: Department of Computer Science, University of Torontohehner/lsfp.pdf · i>j 7 ³;7*n*w;xyi"±;go7 vz®}7*n mh´bn*itx?mo9>j}a µFJ+XY6;MOVL®

×�_*bc�`]?d�_*bcqOp[u�g�i Ñ aFg*��aF_*d jlg*e`uvbcacm`pZbcqOg*e�� Õ � �;ÒBÓLj/nQÔ�Ô�Õ>� � Ý

�gA��,A4¢CA� )¦(A�E

�o� �t� ���BÖk_�pFØ;� D p[_*�Op?m>�Hm`uhg�i�aF]F�>e�]?d�]?etb/i�g*aL^"aFg*��aF_*dª�"]?acqHs�_�bcqOg*e�uZ�hxy][pF�"e>qOp[_*���0]?^8g�acb * � �\L]?^�_�acbcd�]?etb/g�i�jlg�d�^"m>bF]?aonfp?qO]Ze`pY]*���D �8g D Ø*_��>]?d�q��C�<qHe"�O_*e`�8�8Ü�Õ � �t�

�k� Ò}��Ö�_*m`]ZaY���o�=$}�"�O]?aY� D ���/g*aFucp²�D�kÖ/�;×�g��H�O]ZaY���� Ñ _*acbFucpF�<����� Ñ m`_*Øte`]ZaY�y_*e�� Ñ � Ñ ]?^"^8]?aY� �������� ����� ����� ��� � ��� �"! ��#�$ �9� �&%'� !�! #� �������� �)( � � %* +� ���&,�- � �)% �4�.�/�4�0/�12, � �2% �"! �43 /��Ó�m"d��;]Za � Õ � qHe�Ò<][pZbcm"aF]�Ó/g�bF]Yu�qHe�j�g*d�^>m"bF]Za�ntp?qO]?e�p[]���n�^"acqHe>�f]Zac��Û�]?ac�O_*���`Ü�Õ � �t�

�o� n`��Ö4qHaF�;�}��etbcaFgt�fm`pZbcqOg*ebFghbc�`]�bc�`]Yg�acwg�i`�HqOuvbFuZ�D��e�×���Ö4aFg�wf�Y]Y�fqHbFg*aY�65=�)(7�8� ��- ��� �)( � � %'% �/�6(�4��9:���9�;� � �;�&�<->=?�;,@� �A� � � = � ,@� (��"��etm"d��;]?ahÝ�ÔoqHe�Ó D xB� D nf�/nf]ZacqO][u �4�;n�^"acqHe"�t]ZaY�8Ü�Õ � �t�

�o� n`�`Ö4qHaF�;� D pY_��OpZm"�Hm�u�g�i<i�m"e�p?bcqOg*e`uki�g*a�^"aFg*��aF_*d �"]ZacqHs*_*bcqOg�eD�}��e�\L_�stqO� D �`xDm"ace�]?aY�`][�tqHbFg*aY�C4� , � � � � �D �@EF�8�G,��/�0H � �����.�/�4���� ��� �)( � � %?% �/�6(��tx���]�r0xJI�]Y_*alg�i Ñ aFg���aF_*d�d�qHe"�nf]?acqO]YuZ�D �"�tqOucg*e"� � ][uv�O]Zw��;Ü�Õ�Õ9�>�

D �Og�e+K�g�jk�tm"aFpF�<� D i�g*acd�m>�O_�bcqOg*e�g�iybc�`])uvqHd�^"�O]Lbc��][g*acw�g�i}bvwf^8][uZ�BL7M/"1 % ����N�8��5=�)(7�8�[��*�> **Ô�ÚÔ � �;Ü�Õ � �"�

$l� � ��\0q OvØ"uvbcaF_>�JPLm`_*aF�"]Y�(p[g*d�d�_�e��"uZ�}e`g*e��"]?bF]Zacd�qHe�_�pZw��}_*e`��i�g*acdQ_*�l�"]ZacqHs*_*bcqOg*e'g�ih^>aFg����aF_*d�uZ�Q��� %'%?� ���8���4�.�/�4�&, �<- � ���BR � � �<Ü � E � H�> � **Ý�Ú � * �t�tÜ�Õ �*t�

$}acqOpojL� �o���0]?�>e`]ZaY� ���� 5=�S(7�8� �<- ��� �)( � � %'% �C�7(�� Ñ aF]ZefbcqOpY]?�T�0_*�H�;�UefbF]Zace`_*bcqOg*e`_*���`Ü�Õ � � �$}acqOpojL� �o���0]Z�"e`]ZaY� D ^"aF_�p?bcqOpY_��>bc�`]Yg�acw�g�iD^"aFg*��aF_�d�d�qHe>�`��/��2� � ��� � �<-U�&� % E � � �V� ��� �)( � � %�3

% �/�6(��8Ü � > Ü�Ý�Ý�Ú�Ü!* � �"Ü�Õ�Õ�"�jh� D �W���7�/g�_�aF]�� D e�_ %tqOg*dQ_*bcqOp}��_�uvqOu}iUg*akp[g*d�^>m"bF]?ak^"aFg*��aF_�d�d�qHe>�`�>��� %'%'� ���8�����X�/���&,)��- � ���

R � � �<Ü � EcÜ���H�> *��*Ô�Ú�* � �>�9* � Ý>�;ÜYÕ�Ô�Õ>��/g��Y�0gtg��t]Zac�0gtg*aF�;�4xl�`]��>][uvqH��e�g�iDi�m>e`p?bcqOg*e�_��;^>aFg*��aF_*d�u >"_�pY_��OpZm"�O_*bcqOg*e`_*�>_�^>^"aFg�_�p²�D� Ñ �;\

x���][uvqOuZ�`x}]Yp²�>e"qOucpF�`]�rle"qHst]?aFuvqHbF]ZqHb $}qHe`�t�`g�st]?eD�8Ü�Õ � Õ>�Ò<_*d��;]Zacb¬×�][]ZacbF]?e`uZ� D �H�tg*acqHbc�"d�qOpYuZ� �UeZ�t� � ���"]�Ö�_*ØfØt]ZaY��×����/_[K�]?�/qHe"Øt]Z���h_*e��\�t� ]��

Ò8]Ze`uvbcaF_>��]Y�fqHbFg*aFuZ� � ��� ���2% ���X�8�G, �4��9^��� % E � � �2� /"�2� � ��� � �}efm>d��8]?aÜ�qHe�j � ��×+g*e�g����aF_*^>�`uZ�;Ó0g*acbc�"�T�0g*�H�O_*e`�8�<ÜYÕ � Ô>�

Ö�]?ace>�`_*aF��×_�g*�H�O]ZaY� D ^"^>�HqOp[_*bcqHst]L_�ucuc]?acbcqOg*e`uZ����e`�t� Òy� D �;s*_*e��"]�n�e`]?^�ucp²��]?m>bY�8][�tqHbFg*aY� � ��� ���G3% ���.���a, �<- ��� �S( � � % ���4�&, � �)� ���.�/�4�"�cefm>d��8]?ayÝ �*4qHe�Ò<][pZbcm"aF]�Ó/g�bF]Yu8qHe�j�g*d�^>m"bF]Za}ntp?qO]Ze`p[]��n�^"acqHe>�t]?ac�UÛ�]?ac�O_*���`Ü�Õ � Õ>�

jl_*acaFg��H�B×�g*ac�t_�eD�kxl�`])uv^8][p?q��;p[_*bcqOg*e�uvbF_*bF]?dQ]ZefbY� +� ���&,@M �4� ��� �S( � � %'% �/�6(:5=���6( � �V( � , ����9/�12, � �2% ,F�<Ü���E�Ý�H�> � ��Ý�Ú � Ü�Õ>�tÜYÕ ��� �

�k� Ò}�y×+g*acacqOuL_*e���jh� Ö/��*g*e`][uZ� D e']Y_*ac�Hw�^"aFg*��aF_�d.^>aFgfg�i��tw D �O_*e�xBm"acqHe"��� R ������ , ��- � ���b �c,7��� � 1 �<-d��� % E � �.�/�6(��fÔ�E � H�> Ü�Ý�Õ�Ú�Ü � Ý>�"Ü�Õ �!� �

�*g�uc]?^>��×���×�g�acacqOuZ� Ñ aFg���aF_*dQuhi�aFg*d uv^;]Yp?q��;p[_*bcqOg*e`uZ���Ue $l� � �4\0q OvØ"uvbcaF_>�}][�tqHbFg*aY�4H=� �)% ��= �2e2� � �SE %'� ���'�<- ��� �)( � � % , �4��9 ��� ���<-S,²�f^�_*�f]Yu � ÜZÚ;Ü�Ü *t� D �"�tqOucg*e"� � ][uv�O]Zw��<Ü�Õ�Õ�>�

PLaF]Z�(Ó0]Z�Oucg�eD� D �t]?e�]?aF_*�HqcK�_*bcqOg*e'g�i�\/q O�Ø>uvbcaF_ � u�pY_*�Op?m"�Hm�uZ�»x}]Yp²�>e"qOp[_*�B�0]Z^;g*acb)Ü�Ô>�l\0qH��qHbF_��n�w>uvbF]?dQud�/][uc][_*aFpF�¬jl]?etbF]?aY� Ñ _��Og D �HbFg>�4j D �4r�� n�� D � � D ^>acqH�oÜYÕ � �t� D �Oucg�^"m"�>�HqOuv�`]Y�'qHe &� �4�&,@M ��� ��� �)( � � %?% �/�6(:5=�4�7( � �V( � ,)����9f/�12, � �2% ,F�8Ü�ÜE � H�> *tÜ �[Ú�**Ô>Ü��fÜ�Õ � Õ"�

\)���lm"���g�0]Y�"]Z�HdQ]?qO]ZaY� �ih&� � 96, ��� �i���.�8� ��H � �����.�/�4�I�9� ��� �)( � � %?% �/�6(�� Ñ �;\�bc�`]YuvqOuZ�4r�e"qH�sf]ZaFuvqHbvw�g�i4x}g*aFg*etbFg"�;Ü�Õ �!� �

\L_�stqO��nt_�e��"uZ�Ljlg*d�^>�O]7%tqHbvw�_*e�_��Hw>uvqOuki�g�ah_��O_[KYw��"qH����]?ac��g�aF�>]?a/�O_*e"��m`_*�t]*�4��e ��� �2� �<� 9i�/�6(j, �<-� ���fkiljm+lYn � �j,T(4�ihoH � �����.�/�4���� ��� �S( � � %'% �/�6(qp � �Ar , � �@E8� � g*acØ>uv�`g*^`u�qHe�jlg�d�^"m>bcqHe"���n�^"acqHe>�t]?ac�UÛ�]?ac�O_*���`Ü�Õ � Õ>�

�/_�aF_*�O��nis�e��"]Zac�f_�_*aF��_*e`� Ñ ]?bF]Za4nt][uvbFg�i�bY�4Ó0g*e`�>]?bF]?acd�qHe"qOuvd�qHei�m"e�p?bcqOg*e`_*�t�O_*e"��m`_*�t][uZ�<x}][pF�"�e"qOp[_*�>�/]?^;g*acb ��it Ü � �4\L]?^�_�acbcd�]?etb�g�i�j�g*d�^"m"bF]ZaQntp?qO]Ze`p[]��4r�e>qHsf]ZaFuvqHbvw'g�i�×+]Z�H�;g*m"ace`]��D m`uvbcaF_*�HqO_>�`Ü�Õ ��� �

�/_�aF_*�O��nis�e��"]Zac�f_�_*aF��_*e`� Ñ ]?bF]Zahnf][uvbFg�i�bY�u�/]Fi�]?aF]ZefbcqO_*�`bcaF_*e`uv^�_*aF]?e`pZw��;�"]?�>e"qHbF]Ze`]Yucu�_*e`��m"e>�iUg*�O�>_��>qH�HqHbvw�� R �����'!��@-�� �)% ���X�8����� � �4E�Ô�H�> *!��*YÚ�*fÜ � �"Ü�Õ�Õ�>�

xl�"qOul_*acbcqOp?�O]/�0_�u�^"aFgtp[]Yucuc][��m`uvqHe>��bc��]�Ò v[x $&w dQ_�p?aFg�^`_�pFØ*_*�t]0�/qHbc��ÒDÒBÓLj/n�uvbvwf�O]


Recommended