7>=0?679)a@#7>4 bdceb f.f.g hji kml n o>pqltheory.stanford.edu/~tim/papers/stack.pdff ° $...

23

Upload: phamphuc

Post on 26-Apr-2018

215 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

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

'�(*) +�,.-0/.10/32�4650798;:< 7>=0?679)A@#7>4�BDC�E�B�F.F.G

HJI�KML�N�O>PQLR�SUTWVYX[Z]\�VY^]S�_>`YaQb>cdSMefaQghaQ_[VYijekijlMijm]noVY^]S#_pS�`YgqaQ`reksQm[tuS#aQgvswTW\xTYVWSMeyTr^[sz`YSMZJb{\kTYSMcd|>TY^D}

m]a~m[tuaxaQ_pS�`rszVYid�QS�X[TWS�`rTM�UR�Sktua~m[TYijZ]S�`#VY^]S�tua~m[tu`YS�VWSkTYS�VWVYijm]n�aQg�TYt�^]SMZ[X[c�ijm]nTreksQcjc[��aQb>T#a~m�sTWS�V�aQg�TY^[sz`YSMZ�eksQtr^[i�m]SMTo_pa~TYTWSMTrTYijm]n�c�szVWSMm[tu\�gqX>m[tuVYida~m[TUVY^>szVwTW_pSMt�idgq\�VY^]SsQeka~X[m6V�aQg;VYije�Sm]S�SMZ]SMZ�VWa�tua~e�_>cdS�VWS�s!��aQbh}�n~id�QSMm�VY^[S�eksQtr^>ijm]Skcda~sQZD��R�Se�SMsQTYX[`YSkTW\�TWVWSMe�_pS�`YgqaQ`reksQm[tuSb{\JVY^]S����~���z�v�d�Q���u�9���UaQg�VY^]S�TW\�TWVWSMe��

� TYTYidn~m[i�m]n��WaQb>T!sQt�tuaQ`rZ[ijm[n�VWa�VY^]S�TWSMcj|>TY^�ijm6VWS�`rSMTWVYTwaQg�ijm[Z>id�xi�Z[X[sQc�X[TWS�`�T�}���^]a���ijTr^�VWaekijm[i�ekidl�S�a~m>cd\�VY^]S�cjszVWSMm[tu\JVY^[szV;VY^]SMid`�a���m��WaQb>T;Su��_9S�`�idSMm[tuSQ}]V�\x_>ijt�sQc�cd\k`YSMTYX>cdVYT;ijm�TYX]bpaQ_[VYid�eksQcDTW\�TWVWSMe�_pS�`YgqaQ`reksQm>tuSQ�. �a��"S��QS�`M}pijm�eksQm{\JTY\xTWVWSMe�T;aQg�VY^>ijT0V�\x_pSUVY^]S�`YS�ijT;s�e�i¡�xVYX[`YS%aQg¢ TWSMcd|>Tr^[cd\tua~m{VW`Ya~cjcjSMZ[£ksQm[Z ¢ tuSMm6VW`rsQc�cd\�tua~m6VW`Ya~c�cdSMZ[£%�WaQb>T��"¤�^]S�tua~m[nQSMTWVYida~m�Z[X]SUVWatuSMm{VW`rsQcjcj\tua~m6VW`ra~cjcdSMZ¥��aQb>Tw��i�cjc3ijm]¦§X]SMm[tuSkVY^]S�sQtuVYida~m[TwaQg�TYSMcd|>TY^�X[TWS�`rTM}.sQm>Z��"SVY^xX[T!sQTW_>ij`YS�VWa�tua~m��VYsQijm�VY^]S�Z]S�nQ`�sQZ[szVYida~m�ijm�TW\�TWVWSMe¨_pS�`Yg©aQ`�eksQm[tuS�Z>X]S�VWa�TWSMcd|>Tr^�bpSM^[sM��idaQ`�bx\�TYt�^]SMZ[X[c�ijm]n�VY^]StuSMm6VW`�sQcjcd\�tua~m6VW`Ya~c�cdSMZw�WaQb>T�ijm�VY^]SUbpSMTWV;_pa~TYTridb>cdS#�"s�\Q�

R�S#g©aQ`rewX[cjszVWS�VY^[ijT nQa~sQc9sQT"sQmaQ_[VYijekidlMszVYija~mk_[`YaQb§cdSMeª��ijsk«>���6�u¬Q���d­��u®°¯�¯{�z±��³²�}�n~sQe�SMT"ijm��^[ijt�^�a~m[S�_>c�sM\QS�`�sQtuVYT;s�d�r�~´6�u®Uµ¶^]S�`YSQ}�VY^]SUtuSMm{VW`rsQcjidl�SMZ�sQX]VY^[aQ`ridV�\ijm6VWS�`rSMTWVWSMZ�ijm�aQ_>VYijekidlMijm[nTW\�TWVWSMe·_pS�`Yg©aQ`�eksQm[tuS�¸�sQm[ZJVY^]S%`YSMTWV�sQT.¹��z�q�¡�zº���®r²oµqVY^]SUTWSMcd|§TY^X>TWS�`rT�¸��3¤�^[S#_>`YaQb>cdSMeyijT"VY^]SMmVWaktua~e�_>X]VWSUs!TWVW`rszVWS�nQ\JgqaQ`;VY^]SUcdSMsQZ]S�`�µ¶sJ«>���~��¬Q�u�j­r��®¶¯�²u�¶®��Q����¯Q��¸0VY^>szV0i�m[Z[X[tuSMT�VY^]S%g©a~c�cda��"S�`rTVWak`YSMsQtuV#ijm�s!�"s�\�VY^[szV�µ¶sz_[_>`YaM�]ijekszVWSMcd\[¸"ekijm>ijekidl�SMT"VY^]SUVWaQVYsQc�cjszVWSMm[tu\�ijm�VY^]S�TY\xTWVWSMe¥�

»�m�VY^[ijT._>sz_pS�`M}6��S�_>`Ya��QS�VY^>szV idV3ijT�¼#½���^[sz`�Z�VWa�tua~e�_>X[VWS�sQm�aQ_[VYije�sQc>¾xVYsQtY¿QSMcdbpS�`Yn�TWVW`rszV��S�nQ\�sQm>Z�_[`YSMTWSMm{VoTYije�_§cdSwTYVW`rszVWS�n~idSMTU��ijVY^�_[`Ya��zszb>cd\�nQa{a�Z�_pS�`YgqaQ`reksQm[tuS!n~X[sz`rsQm{VWS�SMT���À�aQ`YS_[`YSMt�ijTYSMcd\Q}§�"Swn~id�QSwsJTYijek_>cdS�sQcdnQaQ`�idVY^[e¨VY^[szV#tua~ek_>X]VWSMT%sTYVW`rszVWS�nQ\�i�m[Z[X[t�ijm[nksU�WaQb�sQTrTYidn~m��e�SMm{V���ijVY^kVWaQVYsQcDcjszVWSMm[tu\m]awekaQ`YS�VY^>sQmswtua~m[TWVYsQm{V0VYije�SMT�VY^[szV0aQghVY^]S#aQ_[VYijeksQc§sQTYTYidn~m[ekSMm6VaQghsQcjc]aQgDVY^]S3��aQb§T�Á{ijm�VY^]S�szb>TYSMm[tuS�aQghtuSMm{VW`rsQcjcd\�tua~m{VW`Ya~cjcdSMZo�WaQb>T sQm[Zsw¾xVYsQtr¿QSMcdbpS�`Yn�TYVW`rszVWS�nQ\Q}m]a¥`YSMTrX[cdVoaQg0VY^[ijToV�\x_9SJijTo_pa~TYTridb>cdSQ�kR�S�sQcjTWa�_[`Ya��QSJTWVW`Ya~m]nQS�`w_pS�`YgqaQ`reksQm[tuSkn~X>sz`rsQm6VWS�SMTwijmVY^]SoTW_pSMt�ijsQcDt�sQTWS���^]S�`YSUS��QS�`r\�e�sQtr^[ijm[SocjszVWSMm[tu\�gqX>m[tuVYida~m�ijT;cji�m]SMsz`�ijm�VY^]SoeksQt�^[ijm]S�cda~sQZD�

ÂrÃÅÄ~ÆÈÇrÉËÊËÌ#ÊËÍ6Î�Æ*Ï�Ð�ÇrÆ�Ñ*ÊÓÒ�ÍwÒ�ÔpÕ*Ö~Ê¡Ñ3Ä6Î�Ä{Ç�Æ�Î�Ä~Ä{dzÎMÆÈÇ�×wÊËÍ�Õ*Ö~Ç�ØhÆÈÒzÙrÇrdz×QÊÓÍ6Ú�Ñ�Ò�Ô9ÕÈÖ~Ç�Û�ÛMÆ�×wà Í~ÍzÜ6ÎMÉpà Ý�Þ�ßzÏzÌ%Ä{ÒàÑ�ÊËÜ~ÌÒ�Í�Õ*Ö6Ç�á.Ö~ÇrÒ�Æ*ÏoÒ�ÔDÝ�Ò�Ì#Ä6ÜQÕ*ÊËÍ~Ú6â{ã�Ü~ÉËÏ�ä�å�å~æ�çè á.Ö~Ê¡Ñ%Æ*dzÑ�dzÎMÆ�Ù�Ö�é�Î�Ñ�ÄxÇrÆ*ÔjÒ�ÆÈÌ%Ç�×¥é�Ö6ÊÓÉËÇwÕ*Ö~Ç�ÎMÜ~Õ*Ö~Ò�Æ�é.Î�Ñ#Î�Õ%Õ*Ö6Çwê�ÇrÄ6Î�Æ�ÕÈÌ%ÇrÍàÕUÒMÔ0Ý�Ò�Ì#Ä6ÜQÕ*Ç�ÆUß~ÙYÊËÇrÍ6ÙrÇ�â.Ý�Ò�Æ*Í6ÇrÉËÉë3Í6ÊÓÐ�ÇrÆ�Ñ�ÊÓÕ�Ï�âàÎMÍ6×UÑ*Ü~Ä~ÄxÒ�Æ*Õ*dz×UìzÏ#Î�Íoí�ßQî�ï"Æ�Î�×QÜ6ÎMÕ*Ç3î6ÇrÉËÉÓÒ�é3Ñ*Ö~ÊËÄ[âàÎ#Ý�Ò�ÆÈÍ~ÇrÉËÉ{ë Í~ÊÓÐ�ÇrÆ�Ñ�ÊÓÕ�Ï�î6ÇrÉËÉÓÒ�é3Ñ*Ö~ÊËÄ[âzÎMÍ6×�ð"í�ñ�Ú�Æ�ÎMÍàÕí å�å�å6æròMó°ô�õMóÈæró¶åàöMõ�ôQç¥ØhÆÈÇ�Ñ*ÇrÍàÕUÎ�×~×QÆÈÇ�ÑÈÑ�÷kÝ�Ò�Ì%Ä~ÜQÕ*Ç�Æ�ßQÙYÊËÇrÍ{ÙYÇkê�ÊÓÐzÊ¡Ñ�ÊËÒ�Í[â.ë"Ýùø�ÇrÆÈú�Ç�ÉÓÇ�Ï�â�ßQÒz×6Î�û ÎMÉËÉqâ�ø�ÇrÆÈú�Ç�ÉÓÇ�Ï�â�Ý�ÃôMòQüMä�å�ë�ß~Ã�ç{ývÌUÎMÊËÉ©÷pþ�ÿ������������� ����� ��� ���� ����]ç

Page 2: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

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

������������� �"!$#&%�')("*�%+#���')%+%,.-0/214365870/29�1;:<5>=@?A:CBEDGFIHC1;=0JK/�9�:>?4HCBK:CBK-0LMBE- 5C70/29N?4-0?4L;/�9�/�-O5>143P?�:C/Q5�1A3PH</�:C14R0HCDS/�:TBE:.5870?A5>1431;FI5CBE9�BEUSBE-0L2:<V):W58/�9XFY/�H<3"14HC9 ?4-0D�/AZ\[]D�1;-ID�HC/Q58/^/`_I?49 FIJE/T143a:CR0Db7c?�F0HC14=0JE/S9XBK:d?A:\3"1;JKJE1fe�:�ghL4BKi;/S-?�Jj?4H<L;/^:C/Q5k1A3P:<9N?4JKJYl<1;=0:m5C1n=Y/�?4:C:<BEL;-0/So�5C1p?�:</S5�143P9 ?4Db70BK-0/�:Sq�/+?4Db7�e�BK587r?�Jj?A5C/�-0DQVs3"R0-0DQ58BK1;-5870?A5t:CFY/�DSBKu@/S:h5870/>?A9 1;RI-v5P143�58BK9 /\-0/�/So0/�o�581GDS1;9 FIJE/S5C/.?wl<1;=�L4BKi;/S-M5870/m9 ?4Db70BK-0/dJK1O?4oxq)u@-0o�587I/?4JKJE1)D+?A5CBE1;- 143�l<14=0:t58129N?ADb70BE-0/S:�9 BK-0BE9�BEUSBE-0L>5870/2y{z|y~}4����}4y{�Q���Q�.143�587I/T:WV):<58/S9nZ� - 9N?A-vV�:<R0Db7 :<V):<5C/�9�:�qxBK-0D�JKR0o0BK-0L 5C70/ � -O58/SHC-0/Q5T?4-0os1A5870/SHdJj?AHCL;/`�{:CD�?4JE/>DS1;9 9kR0-0BED�?A58BK1;-�-0/S5W�

e�1;HC�v:�q�587I/�HC/�BE:m-I1nDS/�-O58HC?4Ja?4RI5C701;HCB�5{VsDS1;-O58HC14JEJEBK-0LM587I/ ?AJEJE1)D+?|58BE14-p143�:C7@?AHC/�orHC/S:C1;R0H<D�/S:���BK-0:<5C/+?4oxq:<V):W58/�9XR0:</�HC:.?4HC/T3"HC/�/>581M?4DS5\BE-p? :C/SJKu@:<7s9 ?4-0-0/SH^���|��Zw�t7IBE:d14=0:C/SH<iA?A58BK1;-�7@?4:dJK/�on9N?4-OVn?4RI5C701;H<:� /AZ�LIZKqa� �f� qx�4�Iq �;� q � �vqx�v�vqx�O�A�j�w581�9�1�oI/�J�5C70/G=Y/�7@?+i)BE1;Hd1436R0:C/SHC:>BE- :<R0Db7�?�:WV�:W58/S9 =OVc?s��z|���bz|¡zb¢@�Q£<}4y�¤¦¥4�>§O}4¨N�\?4-0o 581N:<58RIoIVs587I/GHC/�:<R0JK5CBE-0L�©>}|ªb«r�C¬�­�¤¦�®¤�¯�£`¤�}4Z �±° /S/�� � �A��3"1;H.?4- BE-O58H<1�oIR0DS5CBE1;-p5C1=@?4:<BEDmLO?A9 /`�~587I/�1;H</S58BKDmD�1;-ID�/�F�58:�Z²�³ 145CBKiA?A58/Son=OVM5C70/>eP/SJEJ��~�v-01fe�-�3�?4DQ5t587@?|5d´\?4:C7�/�µvR0BKJEBK=0HCBE?k9N?+V�=Y/2¤¦���"¶·�Q¤±�Q�@ya� � �A� � B�Z�/AZKqI5C70/SV

-0/S/�o¸-0145p1;FI5CBE9�BEU�/c:WV�:W58/S9 FY/�H<3"14HC9 ?4-0D�/+�Qq>HC/S:C/�?4HCDb70/SHC:c7@?+i;/�F0HC1;FY1;:</�o¸:C/Qi;/SH8?4J�o0BK¹º/�H</�-O5c?4F��F0H<1O?4Db70/S: 3"1;H �bzb¢Y¤¦�)§�»¤¦y"«¼ªf�Q� ½�ªb«)���bªbª~¾¿587@?|52BE:�q63"1;H�/�-0:<R0HCBK-0Lr5C7@?A5 :C/�J�u@:C7À=º/S7@?+i�BK1;H�HC/�:<R0JK5C:NBK-?No0/S:CBKH8?4=0JK/�14RI58DS1;9 /AZdÁ�/�DS/�-O5m/`_0?A9 F0JK/�:d?4=º14R0-0osBK-p5870/�D�1;9�F0RI5C/�H\:CD�BK/�-0DS/^JEB�58/SH8?A5CR0HC/AgP581 -@?49�/? 3"/Qe>qxÂm1;HCBKJEBK:t/S5m?AJ±Z����;��q��4�|��L;BKi4/k9�/S5C701�oI:\3"1;HwBE9�F0HC1fi)BE-IL :WV�:W58/S9ÃFY/�HW3"1;HC9 ?4-0DS/k=OVs?Ao0o0BE-ILM?4o��o0B�58BE14-@?4JYD+?4F@?AD�BK5{V 5812:<V):W58/�9ÄH</�:<1;R0HCDS/�:Sq�ÅP1)D�Db7IB�/S5w?4J�Z��Æ�A��?4-0onÅP1;JK/./S5w?AJ±Z��ÆÇIq �+� ��BE-Oi4/�:<5CBELO?|58/.587I/D�14-v5CHC1;J1A3P:</�JKu0:C7�RI:C/�H<:T5C70HC14R0L;7ci4?AHCBE14R0:mF0HCBKD�BK-0L�Fº14JEBEDSBE/S:�q ° 70/S-0�4/SHM�È�O�A�aoI/�9�1;-0:<5CH8?A5C/�:m5870?A5�?4-?4F0FIHC1;F0H<Bj?A5C/ � D�/S-O58H8?AJEBEUS/�o��tF0H<14581)D�1;J�?A5d? -I/S5{e�1;HC��:<e�B�58Db7sBK-0o0R0DS/�:\:C/�J�u@:C7pR0:C/SHC:d5C1N/Q_�70BK=0BK5wL;1)1)oÉ@1feÊD�1;-O5CHC1;JY=º/S7@?+i)BE1;HSqI?4-Io�Áw1;RIL;70LO?4H<o0/�- �Æ�v�f��:W58R0oIBE/�:�5870/\F0HC1;=IJE/�9Ë143�oI/�:CBKL;-0BK-0Lk-0/Q5{eP14HC�v:h587@?|5/Q_�70BK=0BK5�L41�1)o�Fº/SH<3"1;H<9N?A-0D�/me�70/S-nR0:</�on:C/�J�u@:C7IJKV;Z[¸HC/SJj?A5C/�o�?4H</+?^143�HC/S:C/�?4HCDb7�D�1;-ID�/�H<-0/�o�e�BK5C7�D�1;-O5CHC1;JKJEBE-ILk:C/SJKu@:<7�=º/S7@?+i�BK1;HPe�B�587�/SÌ�DSBE/�-O5w?4JKL;1A�

HCB�58709�:�BE:t5870?A5d1A3w}4��§)z|£`¤¦y"«)¨G¤±�T¨N�b�b«I}4�@¤EªQ¨ÎÍ)�bªQ¤�§4�s���)q � ÇIq � �)q � �Iq�� � �±q�e�70BKDb7pBE-�58R0H<-pBK:wBK-0:CFIBEHC/So=OVÏDSJj?4:<:CBED�?4J69 /SDb7@?4-0BK:C9Ðo0/�:<BEL;- � :C/�/N/4Z�L0Z ³ ?A:W�WÅP14JE/�JKJ�/Q52?4J�Zh� �;� q6ÅP7Ñ� � �¦�`Z � -Ï5870BK:k:</S5C5CBE-0LIqa?4-?4JKL;1;HCB�58709ÎBK:mo0/�:<BEL;-0/So�5C1�D�1;JKJE/�DQ5>o@?A58?�3"H<1;9ÒRI:C/�H<:k?A-0ocD�1;9�F0RI5C/ ?A-�14RI58DS1;9 /GRI:CBE-IL�5C70BE:mo0?A5b?IZÓ 1;H2/Q_I?49�F0JE/Aq�5C70/p?AJEL;1;H<BK5C709Ô9�BEL;7O52DS1;9 FIRI58/�5870/�:C/Q5M143dR0:C/SHC:�587@?A5�e�BEJKJhHC/SD�/SBKi;/n:C1;9�/�L;1�1)oxqFY/�HC70?4F0:>?�9 1fi)BE/�9^R0J�58BED�?4:<5d1fi;/�Hm5C70/ � -O58/�H<-0/S5�q�=@?4:C/Soc1;- 5870/G=0BKo0:.143a5C70/GR0:C/SHC:>143a587I/G:<V):<5C/�9�Z�t70/^oIBKÌ�D�R0J�5{V�143587I/�:C/kF0HC1;=IJE/�9�:w:<58/S9 :w3"HC1;9Ä5C70/^?4:<:CR09�FI5CBE1;-0:w587@?|5\5C70/^?4JKL;1;H<BK587I9ÕBE:wF0R0=0JKBEDSJKV�v-01fe�-c?4-0os5C7@?A5\R0:C/SHC:>?4H</k:C/SJKu@:<7c?4-0os9 ?+V�HC/�FY1;HW5d3�?4JK:C/To@?A5b?�qºB�3o01;BK-0LN:<1�BE9�F0HC1fi;/S:\5C70/�BKH\FY/�HÖ�:C14-@?4J61;=)l</�DQ58B�i;/N3"R0-IDS58BK1;-xZ��t70BK:kF0H<1;=0JE/S9×BE:>5{V)F0BED�?4JEJ�VcHC/�:<1;JKi4/�o�i)BE?p?�¢I}4�|¨N�Q�@ywªf�b«@�Q¨N�Qq�e�70/�H</587I/\?AJEL;1;H<BK5C709]oIBE:<5CHCBK=0RI58/S:aF@?+V�9�/�-O5C:65C1TRI:C/�H<:P?AD�D�14HCo0BK-0LT5C1m5870/�1;RI5CD�1;9�/w?4-0o25870/�o@?|5b?mD�1;JKJE/SDS58/So:C125870?A5w?4JEJ�R0:C/SHC:w7@?+i;/T?�:W58H<1;-0L2BE-0DS/�-O58B�i;/>5812HC/SFº14H<5t58H<RI587�3"R0J�o@?A58?IZ� - 5870BK:dF@?4FY/�HSq�e�/GF0R0HC:<R0/�?No0B�¹�/SHC/�-O5T?4FIF0HC1O?ADb7xZ � - 9N?4-OVn:<V):<5C/�9�:�qx5C70/�H</^e�BEJEJ�=Y/G?M9 BØ_�143

Ù :</�JKu0:C70J�V2D�1;-O58H<1;JEJK/�o0ÚT?4-Io Ù DS/�-O58HC?4JEJ�VGD�1;-O5CHC1;JKJE/�oIÚtl<1;=I:Ö¾·5C7@?A56BE:Sq)5C70/w:C7@?4H</�oMH</�:<1;R0HCDS/dBK:6RI:C/�oN=vV=Y14587�:C/SJKu@:<7�BE-Io0BKi)BEoIR@?4JE:>?A-0or:<1;9�/ DS/�-O58HC?4J6?4RI587I1;HCB�5{V;Z Ó 1;H>/`_0?A9 F0JK/4q�D�JKBE/S-v5C:>143t?�:<V):<5C/�9Û9N?+V=Y/NDb7@?4H<L;/�oÑ?A5T5{e�1 o0BK¹º/�H</�-O5GF0H<BED�/S:�g2D�JKBE/S-v5C:kF@?+V)BE-ILp5870/N70BEL;7I/�HkFIHCBEDS/M?4H</NL;B�i;/S-Ü?4D�DS/�:C:^5C1p587I/:<V):W58/�9X?4-Ion587I/�?A=0BEJKBK5{VN5C12:CDb70/So0R0JE/T5870/SBEH�1fe�-n58?4:C�v: � F0H</�:CRI9N?4=IJKV�BK-p?Geh?+V�5C7@?A5d?4D�DS1;9 FIJEBE:<70/�:587I/�9Ë?4:aµvR0BEDb�vJ�V�?4:aFº1;:<:CBK=0JE/+�Qq;e�70BKJE/�D�JKBE/�-O5C:6F0?fV)BK-0L>1;-0JKVk5870/ Ù =@?4H<LO?4BK-GH8?A5C/�ÚTD+?4-�R0:C/�587I/\:WV�:W58/S9=0RI5^7@?+i;/M-01pD�1;-O58H<1;JP1fi4/�Hke�70BKDb7¼HC/S:C1;R0H<D�/S:^5870/SBEH�l<14=0:kDS1;-0:CRI9 / � ?4-0oÏ5C7)RI:k5870/S:C/�l<1;=I:kµvR@?4JKBK3¦V?4:\D�/�-O5CH8?4JKJKV�DS1;-O58HC14JEJE/So��QZt[]9 14HC/TD�1;-0DSHC/Q58/k/`_I?49 FIJE/T143:CRIDb7c? :<V):W58/�9Ã?4H<BE:C/S:dBK-p-0/Q5{eP1;H<�v:d587@?|5?4JKJE1feÊ?^Jj?4H<L;/.DSR0:<5C1;9 /SHh581G:</S5wR0F�?G:C1A�~D+?4JKJE/Sos¥f¤¦£`y�­I}4��¢Y£`¤¦¥|}4yÖ�m���Qy�»Pz|£8Ý\D�1;-I:CBE:W58BK-0LG143�L;R@?4HC?4-O58/S/�o

Page 3: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

?4-0o�F0H</+?4:<:CBKL;-0/�o�i)BEHW58R@?4J�F@?A587I:h3"1;Ht1;-0L;14BE-0L^RI:C/ ����q � ��q�� � q��;�vqY�4�|��Z�t70/T=@?4-0oIe�BKoI587�-0/S/�o0/So�3"14H587I/.i�BKH<5CR@?4J�FIHCBKiA?A5C/.-0/Q5{eP1;H<��9N?+V =º/.i)BK/Se�/�on?4:tD�/S-v5CH8?4JKJKV D�1;-O5CHC1;JKJE/�o � BK5C:hHC1;R�58/�:t9 ?+VN=Y/mDb701;:</�-=OVk5C70/h-0/Q5{eP1;H<�k9 ?4-@?4L4/�Hb��e�70BEJK/PBK-0o0BKi)BKo0R@?4JvR0:</�HC:1A3Y5C70/h-0/Q5{eP14HC�kDS1;-O58BK-)RI/h581.=Y/�7@?+i4/wBK-G?d:</�JKu0:C7?4-0o�BE-Io0/�FY/�-0oI/�-O5�3�?4:C70BK1;-xZ� /�BE-Oi4/�:<5CBELO?|58/25870/G3"1;JKJE1fe�BE-0L�µvR0/S:<5CBE1;-xg�L;BKi4/�-r?n:WV�:W58/S9Ûe�B�587�D�/S-v5CH8?4JKJKVc?A-0or:</�J�u@:C70J�VcD�1;-)�

58H<1;JEJK/�oNl<1;=0:Sq6«@z|» ªb«@z|­)��Í��b�Q�@y�£<}4�¦�®�c�bz|�@y�£8z|�¦�E�CÍ��+z4¯QªN¯Q�M}|ªbªQ¤�§4���CÍny{zn£b�bªfz|­)£8�b�bª�yÖzn¤¦�YÍ4­@�b���K§)zfz�Í��� }4��¯Q�Q¤¦y�ªf�Q� ½�ªb«�G¯Q�b«I}4¥f¤±z|£�`£8z|¨ y¦«@�>��z|���bzfzb¢@�Q£<}4y�¤¦¥4�d­Oªf�Q£bª �>�t70BK:t?4F0F0H<1O?4Db7�7@?4:P:C/Si4/�HC?4J�?4F0FY/+?4JKBE-0L?4:<Fº/SDS58:Sg�-01dD�1;9�9^R0-0BKD+?A5CBE1;-TBE:�HC/Sµ)RIBEHC/SoG=º/Q5{eP/S/�-G587I/h:<V):<5C/�9]R0:C/SHC:a?4-0o^?4-G?4JKL;1;HCB�58709�q$-01.-01A58BE14-143ºD�R0H<HC/S-0DSV�BE:-I/�/�oI/�oxq)-01THC/�:<1;R0H<D�/�:6-0/S/�o 5C1�=Y/w?4o0o0/So�5C1>1;HaHC/�9�1fi;/So�3"H<1;9 587I/w:WV):<58/S9nq�?4-0o2587I/?4:<:CBEL4-09 /S-O5m143aD�/S-O58H8?AJEJKVnD�14-v5CHC1;JKJE/So�l<1;=0:.BK:.143¦5C/�- /+?A:CBEJ�V�9 1)o0BKu0/�o ?4:\5870/2?49�1;R0-O5d143xl<1;=s58HC?AÌ�D/Si41;JKi4/�:w1fi;/�H�58BK9 /AZ

�º!�����Y')(��'��|�r������')%� /�?AHC/m587vR0:wJE/So�5C1 DS1;-0:<BEo0/SH\?^5{V)FY/�143�LO?49�/mBE-�e�70BKDb7�5C70/>HC1;JK/�:�143�o0BK¹º/�H</�-O5wF0Jj?+V4/�HC:\?4H</>?4:<V)9G�9�/S58H<BEDAZ>,.-0/^F0JE?fV4/�HSqxHC/S:CFY1;-0:CBK=0JE/�3"1;H.?4:<:CBKL;-0BE-ILN5870/kD�/�-O5CH8?4JKJKV�D�1;-O5CHC1;JKJE/�o2l<1;=0:d5C1MHC/S:C1;R0H<D�/S:�?A-0oBE-O5C/�HC/S:<5C/�o�BE-M1;F�58BE9�BEUSBE-0LT:C1)D�BE?4Jºe�/�J�3�?4HC/Aq@?4DQ58:�?4:t?��E�C}OÍ)�Q£`Z��t70/mJK/+?4oI/�Hh9 ?+VM701;JKoMBK5C:t?4:<:CBEL4-09 /S-O5� B�58:\ªQy�£<}4yÖ�±§4���6uI_�/So�e�7IBEJE/.?4JEJY14587I/�Ht?4L4/�-O58: � 5870/�+z|�¦�Ez|»P�Q£8ªC�aHC/+?ADS5�BE-Io0/�FY/�-0oI/�-O58J�V�?4-0o�:</�J�u@:C70J�V 5C1587I/NJE/�?4o0/SH���:^:<5CH8?A5C/�L4V4q�HC/�?4Db70BE-IL ?s´d?A:C7Ï/Sµ)RIBEJEBK=0HCBKR09 H</�Jj?|58BKi4/ 5C1n587I/MJE/�?4o0/�H���:�:<5CH8?A5C/�L4V4Zp�t70/S:C/5{V)Fº/S:.143�LO?49�/�:�qYD+?AJEJE/So���y±})�bÝO�Q��¯Q�Q£�§G§O}4¨N�bªQqY?4-0on5C70/kH</�:<R0JK5CBE-0L ��y~})�bÝO�Q��¯Q�Q£�§��C¬�­)¤¦�®¤�¯�£`¤�}�7@?+i;/�=º/S/�-e�/�JEJ�:W58R0oIBE/�o�BE-�5C70/>LO?49�/.5870/S1;H<V�JKBK58/SH8?A5CR0HC/ � :C/S/4q�/4Z�L0Z�q�� � q"!Q��Z � ��1;HT�È�0q"! � Z��A�x3"1;Hw?4-�BK-v5CHC1)o0R0DQ58BE14-?4-0o �È�OÇA�t3"1;HG587I/�BEH21;H<BEL;BK-��k?4-IoÀ7@?+i;/�=Y/�/�-&F0HC/Qi)BE1;R0:<JKVÜ:W58R0o0BK/�o&BE-¼5870/�D�14-v5C/Q_)58: 143.=Y145C7&DS1;92�FY/S58B�58B�i;/ 3�?AD�BEJKBK5{VcJK1�D�?A58BK1;-·�È� � �h?4-0o¼-0/Q5{eP1;H<�vBE-0L&� � �0q � �)q � �Iq�4�|�±Z � BK5C7�587I/�/Q_�D�/SFI58BK1;-Ü143����A�A�±q701fe�/Si;/SH�q�5870/TJE/�?4o0/SH$#|3"1;JKJE1fe�/�Hh70BK/�HC?4HCDb7OV�7@?4:�=Y/�/S-pR0:</�on5C129 1)o0/�J�DSJj?4:<:C/S:\143�:C/SJKu@:<7s?4L4/�-O58:te�BK5C7o0B�¹�/SHC/�-O5mFIHCBE14HCBK5{V�JK/Si4/�JE:S�x5870BK:d:</S5C5CBE-0L�oIBK¹º/�HC:w3"HC1;9X1;R0H<:.BE-n587@?A5d-01�?4L;/S-O5mBE:\BE-O58/SHC/�:W58/So�BK-p1;F�58B��9�BEU�BK-0L^:WV�:W58/S9ÄFº/SH<3"1;H<9N?4-ID�/4Z&%k�t70/>F@?4FY/�Ht143�Âm1;HCBKJEBK:P/S5w?AJ±Z����4�$�±qIe�7IBEJE/m9�1;H</.:CBK9 BKJj?4HaBE-�:<F0BEH<BK5P5C11;R0H<:�qI3"1)D�RI:C/�:t14-�oI/�HCB�i)BE-0L^-I/�D�/S:C:C?4H<V�?4-Io�:CRIÌ�D�BK/�-O5wD�1;-Io0BK5CBE1;-0: � 1;-M5C70/m-vR09^=Y/�Ht143�:</�J�u@:C7�R0:</�HC:Sq587I/�3"H8?ADS58BK1;-p1A35870/tl<1;=p58HC?AÌ�D�5C7@?A5\BE:dDS/�-O58HC?4JEJ�V�D�1;-O5CHC1;JKJE/�o�qº/Q58D4Z²��3"1;H�587I/^/Q_�BE:W58/S-0D�/^1A36? JE/�?4o0/SH:<5CH8?A5C/�L4VrBE-Io0R0D�BK-0L ?4-¼14FI58BK9N?4J6?4:<:CBKL;-09�/�-O5G143�l<1;=I:k581 H</�:C14R0HCDS/�:��P9 1;H</�1fi;/SH�q1;-IJKVr1;-0/N5{V)FY/M143Jj?|58/�-IDSVk3"RI-0DS5CBE1;-2BE:DS1;-0:<BEo0/SHC/�o�Z('�V^DS1;-O58H8?A:<5+qve�/\?AHC/tBE-O5C/�HC/S:<5C/�oNBK-G:CBK9 F0JK/hJE/�?4o0/SH:<58HC?A58/SL;BE/S:�587@?|5}4�®»6}4�fªaBE-0oIR0D�/.14FI58BK9N?4J@14H�-0/�?4HW�~1;FI5CBE9 ?4J@=º/S7@?+i)BE1;H63"HC1;9 5C70/d:WV�:W58/S9 R0:</�HC:h3"14H.}4�@�w:C/Q5h143�JE?A58/S-0DSV3"R0-0DQ58BK1;-0:�Z

) �|����(�'*�Ï%G%Q!�+-,��"' ,À���&!f#���%^�-�I�'*�� /w3"1)D�R0:a1;-2587I/\F0H<1;=0JK/�9 o0/S:CDSHCBE=Y/�oN?A5a5870/w=Y/�L;BK-0-0BE-ILT1A3º5C70/\F0?4Fº/SH�qv143�:CDb70/So0R0JEBK-0L�l<14=0:a1;-N?>:C/Q5143�9 ?4Db70BK-0/�:�e�B�587GJK1O?4o��~o0/�FY/�-0oI/�-O5Jj?|58/�-ID�BE/S:�BE-k1;HCo0/SH�581m9�BE-IBE9�BEU�/�5C70/h581A5b?4J)Jj?A5C/�-0DQV;Z � - ?Ao0o0BK5CBE1;-581�=Y/�BK-0L�1;-0/214365870/29�1;:<5>DS1;9 9�1;-0J�V�:<58RIo0BE/Sor9�1�oI/�JE:G� � � q � �)q � �)q��4��q��AÇ�q �;� q � �0q � �)q � �Iqx� � �±q1)D�D+?A:CBE14-@?4JEJ�V BE-r5870/ /�µvR0BKiA?4JK/�-O5k3"14HC9^R0JE?A58BK1;-�143�HC1;R�58BE-ILp1;-¼?n:C/S5^143�F@?4HC?4JEJK/�JJEBK-0�v:�q�5C70/N:<BE9�F0JE/:C/Q5C5CBE-0LÜ143T:CDb7I/�o0R0JKBE-0Lsl<1;=0:�14-Ê9 ?4Db70BK-0/�:�FY/�H<9 B�58:�?¼:W58R0oIV¿143�5C70/ /S¹º/�DQ58:�143�o0BK¹º/�H</�-O5�JE/�?4o0/SH:<5CH8?A5C/�L;BK/�:>BE- ° 58?4Db�4/SJE=Y/�HCLnLO?49�/�:me�BK5C701;RI5T?A-vV�?Ao0o0BK5CBE1;-0?4J�D�149 F0JKBED�?A58BK1;-0:�q�:CR0Db7�?4:T5C70/�BE:C:<R0/2143F@?A5C7��{:</�JK/�DS5CBE1;-kBE-G?.DS1;9 FIJEBED�?A58/Sok-0/Q5{eP14HC��Z � /h?4JE:<1d3"1�DSR0:1;-G?.:<D�/S-@?4HCBK1mBE-ke�7IBEDb7^587I/�HC/tBK:�?.JE?4HCL;/. ávÏzÄ~Ê¡ÙrÎ�ÉÓÉËÏ�â]ßàÕ�Î�Ù�ú�Ç�ÉÓìxÇrÆÈÚUÚ�Î�Ì%Ç�Ñ3Ì%ÒQ×QÇ�É0/2123 4�/65�ÎMÚ�Ç�ÍàÕÈÑ�é�ÊÓÕ*ÖJÎ�Ñ*ÏàÌ%Ì%ÇYÕÈÆ*Ê¡Ù;ÆÈÒ�ÉËÇ�Ñ87{Ò�Ü~Æ Ü{Ñ�Ç�ÒMÔDÕ*Ö6ÇrÌ ÊËÑ"Ñ*Ò�Ì%Çré�Ö6ÎMÕ

Ü~Í6ÙrÒ�ÍzÐ�Ç�ÍàÕ*ÊËÒ�Í6Î�É©ç

Page 4: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

-vR09^=Y/�H�143@l<1;=0:Sq@/+?4Db7�143�i4/�HWV�:C9 ?4JEJº:CBEUS/4Z � /T-I1458/.5C7@?A5�5870BK:to0BK¹º/�H<:t3"HC1;9 -0/+?4H<JKVM?4JEJx:<Db70/�oIR0JEBK-0LHC/S:C/�?4HCDb7^BK-T5C70/a5870/S1;HC/Q58BED�?4JOD�149 F0R�58/�H�:<D�BE/S-0D�/P?4-0oTo0BE:<D�H</S58/61;FI5CBE9�BEU�?A58BK1;-.D�149 9^RI-0BK5CBE/�: � :CR0HWi;/QV;/�oBE-�qd3"1;H�/Q_I?49�F0JE/Aq��d?AJEJ���� � �j�QZÕ�t70BK:�?4:C:<R09 F�58BE14- BK:�qm701fe�/Si;/SH�qTD�1;-I:CBE:W58/S-v5ne�BK5C7 ?ÜJj?4H<L;/c=º1)oIV143�/`_IBK:<5CBE-0LsJKBK5C/�H8?|58R0H</ 1;-Ï´d?4:<7¼/�µvR0BEJKBE=0H<Bj?�BE-ÏDS1;-0L;/S:<5C/�oÜ:<V):<5C/�9�:Ö¾·:C/�/�����q �f� q��;�Iq��v�$�h?4-0oÏ587I/HC/Q3"/�H</�-0DS/�:�5870/SHC/�BK-)¾Ê?A-0o�L;HC/�?A58J�VM?ABEo0:t1;RIHt?4-@?4J�V):CBE:SZ Ó 1;Hh/Q_I?49�F0JK/4q�5C70BE:�?A:C:CRI9 FI5CBE1;-�/S-0:CRIHC/�:�587I//Q_�BK:<58/S-0D�/>?A-0o�/�:<:C/�-O5CBj?4JxRI-0BEµvR0/S-0/�:<:w1A3�5870/./SµvR0BEJKBE=0H<BER09 H</+?4Db70/So�=vVN:C/SJKu@:<7�RI:C/�H<:tHC/SJj?A5CBKi;/w581G?A-vV° 58?4Db�4/SJE=Y/�HCL :W58HC?A58/SL4V;Z � 70BEJK/ B�5kBK:�DSJE/+?AHCJKVcoI/�:CBKH8?4=IJE/ 5C1p:W58R0oIV�9 14HC/�L;/�-0/SH8?4J6-0/Q5{eP1;H<�v: ?A:�e�/�JEJ?4:Pl<1;=0:>143�-01;-)�{-0/SL;JEBKL;BE=0JK/�:<BEUS/4q�eP/�-01;-I/S587I/�JE/S:C:>3"/�/SJ�587@?A5>5C70/2:CBE9�F0JK/^9 1)o0/SJ�D�1;-I:CBEoI/�HC/SorBK- 5870BK:F@?4FY/�H6BE:a:<RIÌ�D�BE/S-O5P581TBEJKJER0:W58HC?A58/h5C70/\9 ?4BK-�BK:C:<R0/�:6587@?A5�?4H<BE:</\BK- DS/�-O58HC?4JEJ�VG:CDb70/So0R0JKBE-0LT58H8?|Ì DwBE-2587I/F0H</�:C/S-0D�/�143�:C/�J�u@:C7�R0:</�HC:SZ� />9 ?+V�-01fe H</�:<58?A58/>1;RIHwDS/�-O58HC?4J�µvR0/�:W58BK1;-0:wµ)R0?4-O58BK58?A58B�i;/SJKVYg� � ��?49�1;-0L�?AJEJ�JK/+?4oI/�Hm:<5CH8?A5C/�L;BK/�:.3"1;H>?�L;B�i;/S-�:</S5T143�9N?ADb70BE-0/S:>?4-0oNl<1;=0:Sq�D+?4- e�/�Db70?4H8?4DQ58/SHCBEUS/

?4-Io�#A1;H�D�149 F0R�58/�5C70/6:<58HC?A58/SL4VTBE-0oIR0D�BK-0Lw5C70/ ��y~})�bÝO�Q��¯Q�Q£�§��C¬�­�¤¦�®¤�¯�£`¤¦­)¨\¾ B�Z�/AZKq$5870/6/�µvR0BKJEBK=0HCBKR09143�9�BE-0BK9^R09 581458?4JxJE?A58/S-0DSV��

� �4��e�7@?|5mBE:d5C70/ke�1;HC:W5<�~D+?4:</�HC?A58BK1N=Y/S5{e�/�/S-r587I/k581458?4J�JE?A58/S-0DSVn143a587I/ ° 5b?ADb�4/�JK=º/SHCL�/�µvR0BKJEBK=0HCBKR09?4-Io�5C7@?A5�143�5870/>1;F�58BE9 ?4J�?4:C:<BEL;-09�/�-O5�143@l<1;=0:t5C1�9 ?4Db70BK-0/�:��

� + � �$')% +�(¦!$%� /mL;BKi4/>?2:<BE9�F0JE/\Fº14JKV)-01;9�Bj?4JØ�~5CBE9�/�?4JEL;14HCBK5C709 3"1;HtDS1;9 FIRI58BK-0LG?GJE/�?4o0/�HP:<58HC?A58/SL4VM5C7@?A5�BE-Io0R0D�/S:�?l<1;= ?A:C:CBKL;-09�/�-O5.e�B�587p5C145b?4J�Jj?|58/�-IDSV�-01�9�1;HC/>587@?A- %

�5CBE9�/�:�587@?|5m143587I/^1;FI5CBE9 ?4J�?4:C:<BEL;-I9 /S-v5d143

l<1;=0:6581�9N?4Db7IBE-0/S:�q�e�7I/�HC/���o0/S-0145C/�:P5C70/\3"HC?4DS5CBE1;- 143�l<1;=0:6587@?|5h?4H</dDS/�-O58HC?4JEJ�V2D�1;-O58H<1;JEJK/�oxZ � /d?4JE:<1/Q_�70BK=0BK5�qf3"1;H�/+?4Db7Ti4?AJER0/a143��q|?4-kBK-0:<58?4-0DS/6BK-Te�7IBEDb7���z:<5CH8?A5C/�L4V>D�?4-�?4Db70BE/Qi;/P?w=Y/S5<58/�H�FY/�HW3"1;HC9 ?4-0DS/L;R@?AH8?4-O58/S/4Z �t70BE:THC/S:CR0J�5�:W5b?4-Io0:�BK-c:C7@?4H<F�DS1;-O58H8?A:<5T581��)-I1$e�-�HC/�:<R0JK5C:T?4=º14RI5G©>}|ªb«M/�µvR0BEJKBE=0H<Bj?MBK-587IBE:69 1)o0/�J���BK- F0?4H<5CBED�RIJj?4HSqv5C70/\5C145b?AJYJE?A58/S-0DSV�143�5C70/.´\?4:C7N/�µvR0BEJKBE=0H<BER09 9N?+V2=Y/.?4H<=0BK5CH8?4H<BEJKVkJj?4H<L;/�H5870?4-¼587@?A5^143\5C70/�1;FI5CBE9 ?4J�?4:C:<BEL;-09�/�-O5G1A3al<1;=I:k581c9 ?4Db70BE-I/�:�qa/Qi;/�-ÑBE-Ï5C70/�:CFY/�DSBj?4J�D+?4:</�1A3w5{e�19 ?4Db70BE-I/�:��Æ�O�$��Z� -p587I/�e�/�JEJØ�{:W58R0o0BK/�o�:CFY/�DSBj?4J�D+?4:</�e�70/SHC/�/Si;/SH<Vn9N?ADb70BE-0/TFY1;:C:</�:C:</�:>?�Jj?A5C/�-0DQV�3"RI-0DS5CBE1;-nJEBE-I/+?4H

BE-c587I/ND�14-0L;/�:W58BK1;-xq�e�/NL4BKi;/N?n:<BE9�F0JE/� � ��� �>?4JEL41;HCB�58709X3"1;H�DS1;9�F0RI58BK-0Ln?n:<5CH8?A5C/�L4V�BK-0o0R0DSBE-0Ln?l<1;= ?A:C:CBKL;-09�/�-O5de�B�587p5C145b?AJ�JE?A58/S-0DSV�-01M9�1;H</�5870?4- �

��� �58BK9 /S:w5C7@?A5.1A35870/^14FI58BK9N?4J�?A:C:CBKL;-09�/�-O5+q

e�70/SHC/��&BK:d5870/^3"HC?4DS5CBE1;-p1436D�/�-O5CH8?4JKJKV�D�1;-O5CHC1;JKJE/�o l<14=0:�q�?A-0o � BK:d587I/G-)RI9^=º/SH.14369 ?4Db70BE-I/�:�Z � /?4LO?ABE-�L;B�i;/>BE-0:W5b?4-ID�/�:�BK-�e�7IBEDb7�-012:<58HC?A58/SL4V�D+?A-�FIHC1fi)BEo0/T?2:<58H<1;-0L;/SHtL;R@?4HC?4-O58/S/4ZÓ BE-0?4JEJ�V;q�e�/MDS1;-0:CBKo0/�H^5C70/M1;F�58BE9�BEU�?A58BK1;-cF0HC14=0JE/S9 143�DS1;9�F0RI58BK-0Lp5C70/M:<5CH8?A5C/�L4V�BE-0oIR0D�BK-0Lp587I/

° 58?4Db�4/SJE=Y/�HCL�/�µvR0BKJEBK=0HCBKR09X?4-0oc:C701fe]587@?A5.BK5mBK:>´����{7@?AHCoxq�/Qi;/�-rBE-s5C70/G:CFY/�DSBj?4J�D�?4:C/Ge�70/SHC/2/Si4/�HWVJj?|58/�-IDSVM3"R0-IDS58BK1;-�BE:tJKBE-0/�?4H�Z� /�-01A58/t587@?|5a1;R0HHC/S:CR0J�58:aL;B�i;/�? � :<7@?4HCF@��5CH8?4oI/Q�{1A¹�=º/Q5{eP/S/�-�5870/�1;FI5CBE9 ?4J0?A:C:CBKL;-09�/�-O56?4-0o2587I/

´d?A:C7s/Sµ)RIBEJEBK=0HCBKR09�q@?4:.?23"R0-0DQ58BE14-p143�5C70/�3"HC?4DS5CBE1;-n143DS/�-O58HC?4JEJ�V�D�1;-O58H<1;JEJK/�o^l<1;=0:Sq�BE-�5870/T3"1;JEJK1fe�BE-0L:C/S-0:C/AZNÁ�1;R0L470LO?4H<o0/�-r?4-0oc��?4HCo014:N�È�v�|��q�9 1A58BKiA?A5C/�o =OVc?�F@?4FY/�Hm143hÂm1;RI58:<1;R0F0BE?4:>?4-0o���?4F@?4o0BK92�BK5CHCBK1;Rc� �;� ��q0:C701fe�/�o�587@?A5�BK-�L;/�-I/�H8?AJx5870/T´d?A:C7�/�µvR0BKJEBE=IHCBERI9 D�?4-�=º/>?4H<=0BK5CH8?4H<BEJ�V29 1;H</mD�1;:W58J�VN5870?4-587I/t1;FI58BK9N?AJI?4:<:CBKL;-09�/�-O5+q;=IRI5aBK3Y/Si4/�HWVG9N?ADb70BE-0/PJj?A5C/�-0DQVk3"R0-0DQ58BK1;-GBE:�JKBE-0/�?4H�5C70/�-2587I/h581458?4JIJE?A58/S-0DSV143�5870/T´\?4:C7�/�µvR0BKJEBE=IHCBERI9 BK:t-0129 1;H</.587@?A-��

�58BK9 /S:h587@?A5�1A3�5C70/>1;FI58BK9N?AJx?4:<:CBEL4-09 /S-O5+Z�t7vR0:�q�1;RIH

HC/S:CR0J�58:wHC/So0R0D�/T5812587014:C/T143��È�v�$��e�70/S-���� � q�L;BKi4/m5870/>58H<BKi)Bj?4J�HC/�:<R0JK5�5C7@?A5�5870/ ° 58?4Db�4/SJE=Y/�HCL /�µvR0BØ�JEBK=0HCBKR09 3"14H���� � BK:w5C70/T1;FI58BK9N?AJ�?4:C:<BEL;-09�/�-O5�q�?4-IopµvR@?4-O58B�3¦V�5870/TeP1;H<:<5dFº1;:<:CBK=0JE/TH8?A5CBE1�=º/Q5{eP/S/�-

Page 5: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

587I/dD�14:<5�143x587I/ ° 58?4Db�4/SJE=Y/�HCLk/�µvR0BEJKBE=0H<BER09^¾ BK-^:C149 /w:C/S-0:C/Aq@? Ù 9�B�_)5CR0HC/SÚ�143�5870/\´d?4:<7M/�µvR0BKJEBK=0HCBKR09?4-0oÏ5C70/�1;FI5CBE9 ?4J6?4:C:<BEL;-I9 /S-v5Ö¾Ê?4-Io�5870/�DS1;:<5^143�5870/M14FI58BK9N?4J6?4:<:CBKL;-09�/�-O5^3"1;Hk?4JEJ6BE-O58/SHC9�/�o0BE?A58/iA?4JERI/�:t143 ��Z,.R0Ha?4F0F0H<1O?4Db7 ?4JE:<1m?4o0oI:�?A- ?AJEL;1;H<BK5C709 BKDao0BE9�/�-0:<BE1;-�581m5870/t/`_�BE:<5CBE-0L>:W58R0o0BK/�:DS1;9 F0?4HCBK-0Lm´d?A:C7

/�µvR0BKJEBK=0HCBE? ?4-Ios1;FI5CBE9 ?4J�:C1;JKRI58BK1;-0:k� � q � �)q � � qx�A�0q��4ÇIq �;� q � �0qY� � qY�v��qº�O�|��q�BK-p587@?|5.1;-0/^?4:CFY/�DQ5m1431;R0H^?4-@?4J�V�:<BE:�143 ° 5b?4Db�A/�JK=º/SHCL /�µvR0BKJEBK=0HCBE?nBE:T5870/�oI/�:CBKL;-¼143w?4JKL;1;H<BK587I9 :m3"1;H^/QÌ�D�BE/S-O58JKVrD�149 F0R�58BE-ILL;1)1�o ° 5b?ADb�4/�JK=º/SHCLG:W58H8?|58/�L4BE/�:SZ Ó R0H<5C70/�HSq�e�70BKJE/\´d?4:<7�?4-0oM1;F�58BE9 ?4JY?4:<:CBEL4-09 /S-O58:PBK-M1;R0H�9 1)o0/SJºD�?4-=Y/�Db70?4H8?4DQ58/SHCBEUS/�or?4-0ocD�149 F0R�58/�o�/SÌ�DSBE/�-O5CJKVpi)BE?�DS1;-Oi;/`_�FIHC1;L;HC?49�9 BK-0L � �f� qx�O�$�®¾Ê?M3�?4DS5m5C7@?A5>BK:D�H<R0D�BE?4J3"1;HT/Q_�BE:W58BE-ILpD�149 F@?AHCBE:<1;-0:>143t14FI58BK9N?�?4-0or/�µvR0BEJKBE=0H<Bj?��È� � q��v�)q��O�$�ؾ·1;R0HT7@?4HCoI-0/�:<:^HC/S:CR0J�5BE9�F0JKBE/�:�587@?A5\-01�:CR0Db7pDb7@?4H8?ADS58/SHCBKU+?A5CBE1;-�143 ° 5b?4Db�A/�JE=Y/�H<LN/Sµ)RIBEJEBK=0HCBE?^BE:�FY1;:C:<BE=0JK/4Z � B�587�5870/TD�/S-O58H8?AJ?4F0FIHC1O?4Db7�143�/+?4H<JEBK/�HPe�1;HC�v:wHCR0JK/�o�1;RI5�q@-0/Se 58/SDb70-0BEµvR0/S:.?4H</mHC/Sµ)RIBEHC/Son3"1;Ht14R0HtHC/S:CR0J�58:�Z

� �$���@��� � �I!f���Y�� - ° /�DQ58BE14-À�ne�/�3"1;HC9 ?4JEBKU�/�1;R0HG9�1�oI/�Jt?4-IoÑ:W5b?A5C/�:C/Si4/�HC?4J�F0HC/SJEBE9�BE-0?4H<VcJK/�9�9N?4:SZ � - ° /SDS58BK1;- �e�/�BE-O58H<1�o0RID�/N5C70HC/S/�:CBE9�F0JK/M?4JKL;1;HCB�58709�:m3"1;H^DS1;9 FIRI58BK-0L ° 58?4Db�4/SJE=Y/�HCLc:W58H8?|58/�L4BE/�:SZ � - ° /�DS5CBE1;-I:^�?4-0op��q0e�/�FIHC1fi;/>587@?|5\14R0Ht5870BKHCo�?4JEL41;HCB�58709 ?4Db70BK/Si;/S:\5C70/>=º/S:<5<�~Fº14:C:CBK=0JE/me�1;HC:W5<�~D+?4:</�FY/�HW3"1;HC9 ?4-0DS/L;R@?AH8?4-O58/S/d3"1;H�BE-0:W5b?4-0DS/�:he�B�587ML;/S-0/�HC?4J�?4-IoMJEBK-0/+?4H�Jj?A5C/�-0DQV23"R0-0DS5CBE1;-I:�q0H</�:CFY/�DQ58B�i;/�J�V;Z � - ° /SDS58BK1;-��Iqe�/dF0H<1$i4/\5C7@?A56D�1;9�F0RI5CBE-0Lm5C70/\14FI58BK9N?4JI:<58HC?A58/SL4V2BE:�´����~7@?4HCo�q)/Qi;/S-Ne�70/�-N/Si;/SH<V Jj?A5C/�-0DQV^3"R0-0DQ58BK1;-BE:tJKBE-0/�?4H�Z ° /�DQ58BE14-p�GD�14-0D�JKR0o0/�:te�B�587�o0BEH</�DQ58BE14-0:h3"1;Hh3"RI5CR0HC/me�1;HC��Z

� � �����+�� �+��k�6����

����� ������� �������� /TDS1;-0:<BEo0/SH\?G:</S5�� 143 � 9 ?4Db70BK-0/�: �! � """# � q0e�70/SHC/T9N?ADb70BE-0/�$aBK:t/�-0o01fe�/�o�e�BK587n?���}4yÖ�Q���Q�`­)���Qy�¤±z|�&%�' �)( ��5C7@?A5�9 /�?4:CRIHC/�:a587I/\JK1O?4o��~o0/�FY/�-0oI/�-O5�5CBE9�/tHC/Sµ)RIBEHC/So 5C1�DS1;9 FIJE/S5C/w?hl<1;=�Z � /wHC/SµvR0BEH</5870?A5./�?4Db7 Jj?A5C/�-0DQVn3"RI-0DS5CBE1;-s=Y/k-I1;-0-0/SLO?A58B�i;/AqxD�1;-O5CBE-vR01;R0:Sqx?4-Io -01;-0o0/SD�H</+?4:<BE-0L�BK-pBK5C:.?4H<L;R09�/�-O5+ZÓ 1;HT1;R0H^?AJEL;1;H<BK5C709 :.5C1p=Y/NBK9 F0JK/�9�/�-O58/So�/QÌ DSBE/S-v5CJKV4q�eP/N?4JE:<1pH</�µvR0BEH</ 5C70/Ne�/+?4��D�1;-Io0BK5CBE1;-c587@?|5* ' ( %#' � * '��^BE:�?�DS1;-Oi;/`_&3"RI-0DS5CBE1;-Ü3"1;HG/+?ADb7À9 ?4Db70BE-I/+$ � e�7I/�HC/ * '\o0/�-01A58/�:2587I/n9 ?4Db70BK-0/�JE1O?4o@�QZ �� /s?4:<:CR09�/ ?�u0-0BK5C/s?4-0oÀFº1;:<BK5CBKi;/�£<}4yÖ�-,c1436l<1;=·?4H<HCBKiA?4JK:��w?4- }|ªbªQ¤�§4�@¨N�Q�@yt1A3m5870/Gl<1;=0: 5C1�587I/9 ?4Db70BE-I/�:^BK:^?4- � �±i;/�DQ581;H */.1032 � :CR0Db7Ü5870?A554 2'76 % * '��8,)Z � 70/S-Üe�/�?4H</MBE-O58/SHC/S:<58/SoÜBE-Ï587I/581A5b?4J�JE1O?Aos1;- ?N:<R0=0:</S59�;:=<>� 143a5870/^9 ?4Db70BK-0/�:Sqºe�/^e�HCB�58/ * � �;:K� �?4 'A@BDC * '~Z � /^9�/+?A:CR0H</:<V):W58/�9ËFY/�HW3"1;HC9 ?4-0DS/�i)BE?m5C70/^�bzfªQy@1;H�yÖz|y±}4����}4yÖ�Q���Q��E � * ��143x?4- ?4:C:<BEL;-09�/�-O5 * q)o0/Su0-0/�o =vV-E � * � �4 2'76 % * 'A%#' � * '"�`Z � /p-0145C/n5C7@?A5�?AJEJ�l<1;=0:N?4:C:<BEL;-0/SoÀ581r5870/n:8?49�/p9 ?4Db70BK-0/n/`_�Fº/SHCBE/S-0D�/s5C70/p:C?49�/Jj?|58/�-IDSVY�I?ALO?4BE-�q;5870BK:6oIBK¹º/�HC:a3"HC149 9^R0Db7 143�5C70/w5CH8?4oIBK58BK1;-@?4JI:CDb70/So0R0JEBK-0LTJEBK5C/�HC?A58R0H</t=0RI5P?4L;H</�/�:ae�BK5C7D�149 9�1;-�9 1)o0/�JK:a143�/�µvR0BKJEBK=0HCBE?>BK- DS1;-0L;/S:<5C/�o�:<V):W58/�9�:Pe�70/SHC/m?TF@?4HW58BEDSR0Jj?AHa?4JEJK1�D�?A58BK1;-G143�H</�:C14R0HCDS/�:HC/SF0HC/S:C/S-v5C:.? Ù :W58/+?AoIVO�{:<58?A58/T:C14JERI5CBE1;-0Ú^e�B�587kl<1;=0:w?4H<HCB�i�BK-0L^DS1;-O58BE-vR014R0:CJ�V�1fi;/�H�58BK9 /AZ� /�e�BEJKJhD�14-0:CBKo0/�H2BE-I:<5b?A-0D�/S:�e�B�587&?4-0oÜe�BK587I1;RI5�D�/S-v5CH8?4JKJKV�D�1;-O58H<1;JEJK/�opl<1;=0:SZ � /�o0/�-01A58/n?4-

BE-I:<5b?A-0D�/ke�B�587s9 ?4Db70BK-0/�:��]qxHC?A58/F,�q�?4-0os-01ND�/�-O5CH8?4JKJKV�D�1;-O5CHC1;JKJE/�oGl<1;=0:.=OV � � ,;�`Zd[d- BK-0:<58?4-0DS/e�BK5C7ÏD�/S-O58H8?AJEJKVcDS1;-O58H<1;JEJK/�o�l<14=0: � ? ��y~})�bÝO�Q��¯Q�Q£�§s¤¦�IªQy±}4���b�C�me�BKJEJa=º/ o0/�-I1458/So¼=vV � � , ���`q�e�70/�H</G á.ÖzÜ6ÑrâIH)JLK7MNJPO�ÌUÎuÏ"ì{Ç�ÎMÍzÏ�ÙrÒ�ÍzÐ�Ç)Q ÔjÜ~Í{ÙWÕ*ÊËÒ�Í>â³Ò�Æ>ÉËÒ�ÚRK�æ#STMRJUOWâuÇrÕÈÙMçhÝ�Ò�ÍàÕÈÊÓÍzÜ~Ò�Ü6Ñ[ÎMÄ6Ä~Æ*ÒVQQÊËÌUÎ�Õ*ÊËÒ�Í{Ñ�ÒMÔ~Ñ�ÕÈÇrÄ;ÔjÜ6Í6ÙWÕÈÊÓÒ�Í6Ñrâ

Ö~Ò�é�ÇrÐ�ÇrƳâz×~Ò#Í6ÒMÕ3Ñ*ÎMÕ*Ê¡Ñ�ÔjÏ�Õ*Ö~Ê¡Ñ3ÙrÒ�Í6×QÊÓÕ*ÊËÒ�Í>ç

Page 6: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

587I/�5C70BEH<orF@?AH8?49�/S5C/�H � . � � �� �mBK-0o0BKD+?A5C/�:m5870/�3"H8?4DQ58BK1;-c143P5C70/N1fi;/SH8?4JKJ58H8?|Ì D25870?A5TBE:>D�/S-v5CH8?4JKJKVD�14-v5CHC1;JKJE/SoxZ

��� � ����� ����� �)��������� ����� ����������� � ��� � � �"! � � � � � �� 3@l<1;=0:�?4H</mL;/�-0/SH8?A5C/�on?4-0o�?4:<:CBEL4-0/�o�58129 ?4Db70BK-0/�:t=OV�-014-0D�1)1;FY/�H8?|58BKi4/>?4L;/S-v5C:te�701Ge�BE:C7�5C1�9�BE-IB��9�BEU�/t5C70/.?49�1;R0-O5�143x5CBE9�/wB�5�58?4�4/S:�3"1;Ha587I/�BEHae�1;HC�2581�D�1;9�F0JE/Q58/Aqve�/./`_IFY/�DQ5P5C70/.?4:<:CBKL;-09�/�-O5P5C1k=Y/Ù :W5b?4=0JK/�Ú�1;H Ù ?A5�/Sµ)RIBEJEBK=0HCBKR09�ÚGBE-�5870/>3"1;JKJE1fe�BE-0LG:</�-0:</4g�-01>l<1;=�D+?A-n:W58HCBKDS5CJKV�o0/SD�H</+?4:</�587I/�JE?A58/S-0DSVBK5�/Q_�FY/�H<BE/�-ID�/�:�=OV Db7@?4-0L;BK-0L^9 ?4Db70BK-0/�:SZ�t70/d3"1;JKJE1fe�BE-0LTo0/Qu@-0BK5CBE1;-NBE:P9�145CBKiA?A58/SoN=OV�5870BK:P-0145CBE1;- 143?G:<58?4=0JE/T?4:<:CBKL;-09�/�-O5�=OV�-01;-0DS1�1;FY/�HC?A58B�i;/>?4L4/�-O58:SZ

# 'O*����"!f���Y��$&%(' [d-s?4:C:<BEL;-09�/�-O5 * 581 � BK:^}4y�©m}|ªb«��C¬�­�¤¦�®¤�¯�£`¤¦­)¨ � 1;HwBE:d?�©>}|ªb« }|ªbªQ¤�§4�@¨N�Q�@yE�tB�3e�70/S-0/Si4/�HD$ *) . � e�BK5C7 * ',+ � q %#' � * '¦�.- %0/ � * /��`Z� - F@?AH<58BKD�R0JE?4H�qd?4JEJd9N?4Db7IBE-0/S:�BK- RI:C/�=vV ?4- ?4:<:CBEL4-09 /S-O5p?|5p´\?4:C7 /�µvR0BKJEBE=IHCBERI9 7@?+i4/�/�µvR@?AJ

Jj?|58/�-IDSV;Z � /m9N?+VM5C7vR0:�/Q_�F0HC/S:C:w5870/>D�14:<5w143�? ´\?4:C7n?4:C:<BEL;-I9 /S-v5�BK-�5870/m3"1;JKJE1fe�BE-0Lk:CBE9�F0JK/d3"1;HC9�Z

1 ' � � �2$3%4$�5 * ¤Eªm}4�p}|ªbªQ¤�§4�@¨N�Q�@ya}4y�©>}|ªb«n�C¬�­�¤¦�®¤�¯�£`¤¦­)¨ +z|£ � � ,;�\ªQ­@�b«My¦«I}4y�}4�¦�º¨�})�b«)¤¦���bª\¤¦�­Oªf�m«I}4¥4�^�bz|¨G¨Nz|�s��}4y{�Q���Q�76986y¦«@�Q�

E � * � �1,:6 "

;=< � ����("'>$&%4? [\-p?4:<:CBKL;-09�/�-O5\?A5w´d?4:<7p/Sµ)RIBEJEBK=0HCBKR09Ëo01)/�:�-0145wBE-�L;/S-0/�HC?4J�1;FI5CBE9�BEUS/d5870/>:WV�:W58/S9FY/�H<3"14HC9 ?4-0D�/AZ���1�:C/S/25C70BE:SqxD�14-0:CBKo0/�H>?M5{e�1A�{9 ?4Db70BK-0/^/Q_I?49�F0JK/4qxBK-se�70BEDb7 587I/^u@HC:W5>9N?4Db7IBE-0/G7@?A:D�14-0:<58?4-O5GJj?A5C/�-0DQVc3"R0-0DS5CBE1;- % % � * % � � � ?4-0o�5C70/N:</�DS1;-0o¼7@?4:�Jj?A5C/�-0DQVc3"R0-0DS5CBE1;- % � � * � � � * � Z � 3e�/^F0RI5D,�� � q�e�/^:C/S/^587@?A5w587I/ � 1;F�58BE9 ?4Jj�h?4:C:<BEL;-09�/�-O5 � %

� %���7@?4:\5C145b?AJ�JE?A58/S-0DSV �

�qºe�7I/�HC/�?4:.587I/

� RI-0BEµvR0/+��?4:<:CBEL4-09 /S-O5G?A5k´d?4:<7¼/�µvR0BKJEBE=IHCBERI9×?4:C:<BEL;-I:^?4JKJ�eP1;H<��5C1p587I/N:C/SD�1;-Io¼9N?4Db7IBE-0/Aq�587I/�HC/S=OVBE-ID�R0H<HCBE-IL2?25C145b?4J�D�1;:W5\1A3 � Z� / /�-0o¼14R0H�FIHC/�JKBE9�BE-@?AH<VsoIBE:CDSR0:C:<BE1;-�143�´d?A:C7¼?4:<:CBKL;-09�/�-O58:�=vVr-0145CBE-0L�5870?A5�5C70/SVr/Q_�BK:<5G?A-0o

?4H</T/S:C:</�-O58BE?4JEJ�VMR0-0BKµvR0/4Z

1 ' � � �2$3%A@CBEDGFIH.' ?&HJ@KFML*N ��­f¢O¢@zfªf� � ¤EªT}2ªf�Qyhz .¨�})�b«)¤¦���bª.»¤¦y"«n�bz|�@y�¤¦�@­@z|­OªO8a��z|�YÍ)�b�Q£8�C}|ªQ¤¦�)§��}4y{�Q���Q� `­)���Qy�¤±z|�IªQPSRx«@�Q�UT� } �WV�z|£�}4�@�c£<}4yÖ�-,X+ � z �+z4¯�y�£<}<¶·�O8�y"«@�Q£8�s��Y;¤EªQy¦ªn}4� }|ªbªQ¤�§4�@¨N�Q�@ykz �+z4¯QªMyÖz � }4ym©m}|ªb«

�C¬�­)¤¦�®¤�¯�£`¤¦­�¨ZP� ¯2� 5 * * : }4£8��}|ªbªQ¤�§4�@¨N�Q�@y¦ª }4y�©>}|ªb«Ü�C¬�­)¤¦�®¤�¯�£Q¤¦­)¨ +z|£ � � ,4�O8dy¦«@�Q� %�' � * '"� � %#' � * :' � +z|£��C})�b«

¨�})�b«)¤¦����$OP� -�F@?4HW58BKD�R0JE?4H�q\[./Su0-0BK5CBE1;-M��Z � ?4-0o^]�/�9�9N?k��Z�� � =��aBE9�F0JKVG5C7@?A5h?4-OV 5{e�12´d?4:<7�?4:C:<BEL;-I9 /S-v5C:P3"1;HP?4-BE-I:<5b?A-0D�/ � � ,;�P70?fi4/�/SµvR@?4J�D�14:<5+ZÓ 1;H21;R0H2u@-@?4J�F0H</�JEBK9 BK-@?4HWV�H</�:CRIJK5+q6eP/nL;BKi4/�?4-¿?4-0?4JE1;L41;R0:GDb7@?4HC?4DS5C/�H<BEU+?|58BE14-&143d1;FI5CBE9 ?4Jt?4:Ö�

:CBKL;-09�/�-O58:�5C7@?A5�e�BEJKJd=Y/rR0:</S3"R0J>BK- ° /�DS5CBE1;- ��Z Ó 1;H�?Ü9N?4Db7IBE-0/ $2e�BK5C7ÊoIBK¹º/�HC/S-O58Bj?A=0JE/ JE?A58/S-0DSV3"R0-0DQ58BK1;-+%#'~q�o0/Qu@-0/&%`_' ?4:w5C70/T9N?4H<L;BE-0?4JxD�14:<5.1A3�BE-ID�HC/�?4:CBK-0L25870/�JE1O?4o�143�9N?4Db7IBE-0/ $"¾¿3"1;HC9 ?4JEJ�V;q�=vV%Q_' � * '"� � �baa*c �(dF( %�' �(d �C�{� � * '"� �;%�' � * '¦�fe * ' ( % :' � * '��`Z � /Te�BKJEJxD�?4JEJ %Q_' 5870/�¨�}4£�§4¤¦�Y}4���bzfªQy0`­)���Qy�¤±z|� 1439 ?4Db70BE-I/�$CZa�t70/�-�q�5C70/m3"1;JEJK1fe�BE-0L�JE/�9�9 ?^701;JEoI:�Z

Page 7: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

1 ' � � �2$3%4F�BEDGFIH.' ?&HJ@KFML*N ��­f¢O¢@zfªf��� ¤Eª.}�ªf�Qy�z \¨�})�b«)¤¦���bªw»¤¦y"«MÍ4¤ �.�Q£8�Q�@y�¤�}O¯��E�d��}4y{�Q���Q� `­)���Q¡y�¤±z|�Iª % 8t}4�YÍMy"«I}4y * ' ( %#' � * '¦�k¤Eª^}s�bz|�@¥4��Y `­)���Qy�¤±z|� +z|£2�C})�b«�¨�})�b«)¤¦���D$0P Rx«@�Q�r}4�r}|ªbªQ¤�§4�@¨N�Q�@y *y{z � ¤Eª�zb¢Yy�¤¦¨�}4��¤ m}4�YÍNz|�@�®�^¤ \»�«@�Q���Q¥4�Q£ $ ) . � »¤¦y"« * ' + � 8 %`_' � * '��9- %Q_/ � * /S�QP��rz|£8�bz|¥4�Q£08�y¦«@�zb¢Yy�¤¦¨�}4��}|ªbªQ¤�§4�@¨N�Q�@yh�C}4�c¯Q�G�bz|¨d¢Y­�y{�CÍ ¤¦�N¢@z|�®�|��z|¨G¤�}4��y�¤¦¨N�QP

]�/�9�9N? ��Z²�2DSJE/+?AHCJKVML;BKi4/�:\? Db7@?4HC?4DS5C/�H<BEU+?|58BE14-n143P�Ezf�C}4�¦�®�>1;FI58BK9N?AJ�?4:C:<BEL;-I9 /S-v5C:��YBE-�F@?4HW58BEDSR0Jj?AH�qBK3�5C70/�D�1;-0oIBK58BK1;-Ï3�?4BKJE:�q9�1fi)BE-0L�?s3"/Se l<1;=0:^3"HC149 ?c9N?4Db7IBE-0/Ne�B�587&? Jj?4H<L;/M9 ?4HCL;BK-@?4J6D�1;:W52581�?9 ?4Db70BE-I/de�BK5C7n?G:<9N?4JKJº9 ?4H<L;BE-@?AJºDS1;:<5�V)BE/SJEo0:t?G-0/Qe¸?4:<:CBKL;-09�/�-O5he�BK5C7�:C9 ?4JEJK/�HPDS1;:<5�Za�t7@?A5�BK5t?4JE:<1Db7@?4HC?4DS5C/�H<BEU�/S:�§4�Ez4¯b}4�¦�®�N1;F�58BE9 ?4Ja:C14JERI5CBE1;-0:T3"1;JEJK1fe�:�3"HC149Ð5C70/M3�?4DS5k587@?A5k5870/�1;F�58BE9 ?4J6?4:<:CBEL4-09 /S-O59�BE-0BK9 BKU�/�:�? D�1;-Oi4/Q_Ñ3"R0-0DQ58BE14- � E � * �C�k1fi;/SH�?cDS1;-Oi;/`_À:</S5 � 5C70/�FY1;JKVv5814Fº/�143\?4:<:CBKL;-09�/�-O58:8�2?A-0o5870?A5 5C70/pJK1�D�?4Jw?4-0o&L;JE1;=0?4J�9 BK-0BE9 ?s143>?�D�1;-Oi;/`_¿3"R0-IDS58BK1;-À14-·?rDS1;-Oi;/Q_¿:C/Q5MD�14BE-0DSBEo0/ � :</�/n3"14H/Q_I?49�F0JK/s� � ÇIq��t709 ��Z � Z��4�j�QZ��t70BK:k1;=I:C/�HWiA?A58BK1;-Ï?4JK:C1nBE9�F0JEBK/�:.5870?A5�5C70/N14FI58BK9N?4J:<1;JER�58BE14-rD�?4-Ï=Y/D�149 F0R�58/�o�BE-�FY1;JKV)-0149 BE?4JY5CBE9�/di)Bj?GD�14-vi4/Q_�F0H<1;L;HC?49 9�BE-IL0Z

[./Su@-IBK58BK1;-���Z � ?4-0o]�/S9 9 ?2��Z²�kV�BK/�JKo�5C70/m3"1;JEJK1fe�BE-0L^RI:C/S3"RIJ�DS1;HC14JEJj?AH<V;Z

�����|�Y(�( � ��� $&%�� BEDGF&H '\?&H,@KFML*N ��­f¢O¢@zfªf� � ¤Eª�}Ϫf�QyNz s¨�})�b«)¤¦���bªn»¤¦y"« Í4¤ �.�Q£8�Q�@y�¤�}O¯��E�p��}4yÖ�Q���Q�`­)���Qy�¤±z|�Iª�% 8a}4�YÍGy¦«I}4y * ' ( %�' � * '��w¤Eª>} �bz|�@¥4��Y `­����Qy�¤±z|� +z|£T�C})�b« ¨�})�b«)¤¦��� $OPSRx«@�Q�p}4�n}|ªbªQ¤�§4�@¨N�Q�@y* y{z � ¤Eª�zb¢Yy�¤¦¨�}4��¤ .}4�YÍNz|�@�®�G¤ * ¤Eª>}^©m}|ªb«�}|ªbªQ¤�§4�@¨N�Q�@y�»¤¦y"«M£8�bª{¢@�b�QyyÖz^��}4yÖ�Q���Q��`­)���Qy�¤±z|�Iª %Q_EP

� '*� � ���� � /�e�BEJKJ�5{V�FIBED+?AJEJKVso0/�-01A58/ 5C70/�1;FI58BK9N?AJ?4:C:<BEL;-I9 /S-v5T3"1;H�?4-�BK-0:<58?4-0DS/N=OV * _+Z��t70/9 ?4HCL;BK-@?4J@DS1;:<5h3"RI-0DS5CBE1;-0:P?4HC/\o0/�-I1458/So�=vV5%Q_h?4:P5C70/SVN?4H</ Ù 1;F�58BE9 ?4J@JE?A58/S-0DSV23"R0-0DQ58BK1;-0:CÚkBE-M?�:C/�-I:C/9 ?4o0/kFIHC/�DSBE:</^=OVcÅP1;H<1;JEJE?4H<Vn��Z��Igt587I/^1;FI5CBE9 ?4J�?4:C:<BEL;-I9 /S-v5 * _m?4HCBK:C/�:.?4:.?4-c?A:C:CBKL;-09�/�-O5m?|5m´d?A:C7/�µvR0BKJEBK=0HCBKR09 e�B�587�HC/S:CFY/�DQ5\5C1�JE?A58/S-0DSVN3"R0-0DS5CBE1;-I: %`_SZ

���� � � �� �� �����9� � !�� �M� � � �f! � � � ��� ��� � � ��� � � ����������� �� -k5C70BE:�:CR0=I:C/�DQ58BK1;-^eP/�o0/Su0-0/h1;R0H�-0145CBE1;-T143�? ° 5b?4Db�A/�JE=Y/�H<L.LO?49�/�?4-0okDS1;-0:<BEo0/SH�5{e�1m/Q_I?49�F0JE/S:�Z�Áw/`�D+?AJEJ;e�/�o0/S:CBKHC/�?w70BK/�HC?4HCDb70BKD+?4JOL;?49 /Aqfe�70/�H</h?�JE/+?Ao0/�H�?4:<:CBEL4-0:�D�/�-O5CH8?4JKJKVmDS1;-O58HC14JEJE/SoPl<1;=0:�581w9N?4Db7IBE-0/S:?4-0o�q)7I1;JEo0BK-0L.587IBE::<5CH8?A5C/�L4VkuI_�/�oxqv5870/w:C/SJKu@:<7 RI:C/�H<:�1A3º5C70/�:<V):<5C/�9ËHC/�?4DS56BE-�?m-01;-ID�1)1;Fº/SH8?A5CBKi4/\?A-0o:C/SJKu@:<7n9 ?4-0-I/�H�Za�t70BK:tBEo0/�?GBE:h3"1;H<9N?4JKBEUS/�oMBK-�5C70/>-0/Q_)5w5{eP1�o0/Qu@-0BK5CBE1;-I:�Z

# 'O*����"!f���Y��$&%�� [ � ��y~})�bÝO�Q��¯Q�Q£�§ �^ªQy�£<}4yÖ�±§4�m3"1;Ht587I/ ° 58?4Db�4/SJE=Y/�H<LNBE-I:<5b?A-0D�/ � � , ���hBE:w?4-p?4:C:<BEL;-��9�/�-O5�3"/+?4:<BE=0JK/d3"1;H � � �=,4�QZ

# 'O*����"!f���Y��$&%�� ]�/S5��m=Y/\?k:<5CH8?A5C/�L4V23"1;H ° 5b?ADb�4/�JK=º/SHCLGBK-0:<58?4-0D�/ � � , ����e�70/�H</.9N?ADb70BE-0/ $ . �7@?4:aJE?A58/S-0DSV^3"RI-0DS5CBE1;- %#'~q)?4-0o�JE/Q5��%�' � * '¦� � %�' � � ' e * '¦��3"14H/+?4Db7 $ . �]Z[d- �C¬�­�¤¦�®¤�¯�£`¤¦­)¨ ¤¦�YÍ4­��b�CÍG¯��ªQy�£C}4y{�±§4���dBE:P?4-M?A:C:CBKL;-09�/�-O5��6?|5h´\?4:C7M/SµvR0BEJKBE=0H<BER09 3"14H65C70/dBK-0:<58?4-0D�/ � � � ��� ���),4�e�B�587MH</�:CFY/�DQ55812JE?A58/S-0DSVM3"RI-0DS5CBE1;-0:��%AZ � />5C70/�-�:8?+V�5C7@?A5��9e �hBK:�?4-r}|ªbªQ¤�§4�@¨N�Q�@y6¤¦�YÍ4­@�b�CÍM¯����T3"1;H � � , ���`Z! _IBK:<5C/�-0DS/N?4-Io�/S:C:</�-O58BE?4JR0-0BKµ)RI/�-0/S:C:T1436BE-0o0RID�/�o�/�µvR0BKJEBK=0HCBE?�3"1;JKJE1fe /+?4:<BEJ�Vp3"HC149 ]�/�9�9 ?4:>��Z²�

?4-0op��Z��0Z

1 ' � � �2$3%�"$# �Qy��c¯Q�N}�ªQy�£<}4yÖ�±§4��+z|£N} ��y±})�bÝO�Q��¯Q�Q£�§n¤¦�IªQy±}4���b��»¤¦y"«¼�bz|�@y�¤¦�@­�z|­OªO8\��z|�YÍ)�b�Q£8�C}|ªQ¤¦�)§��}4y{�Q���Q� `­)���Qy�¤±z|�IªQP Rx«@�Q� y¦«@�Q£8�G��Y;¤EªQy"ª^}4��}|ªbªQ¤�§4�@¨N�Q�@ya¤¦�YÍ4­��b�CÍ�¯����:8h}4�YÍ�}4�@� y�»PzGªQ­��b«n¤¦�YÍ4­@�b�CÍ}|ªbªQ¤�§4�@¨N�Q�@y¦ªd«I}4¥4�G�C¬�­I}4���bzfªQy P�t70/>3"1;JEJK1$e�BK-0L^:<BE9�F0JE/.14=0:C/SH<iA?A58BK1;-�e�BEJKJ�=Y/TRI:C/S3"RIJ�BK- ° /�DQ58BK1;-0:��N?A-0on��Z

Page 8: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

1 ' � � �2$3%('�� # �Qy � ¯Q� }�ªQy�£<}4yÖ�±§4� +z|£ ��y±})�bÝO�Q��¯Q�Q£±§�¤¦�IªQy~}4���b� � � , ���G¤¦�YÍ4­��Q¤¦�)§s�C¬�­�¤¦�®¤�¯�£`¤¦­)¨ � P# �Qy�� : Í)�Q��z|yÖ�.y"«@�.¨�})�b«)¤¦���bªTz|�n»�«)¤±�b«�� 'f+ � PZRx«@�Q� �Je �08a£8�bªQy�£Q¤±�Qy{�CÍ�y{z � : 8¤Eª>}4�s}|ªbªQ¤�§4�@¨N�Q�@y}4y.©>}|ªb«&�C¬�­�¤¦�®¤�¯�£`¤¦­)¨ +z|£My¦«@��¤¦�IªQy±}4���b� � � : � � � : ��e � � � : �C�QP 5 ��¢I}4£`y�¤±�Q­���}4£08k}4�¦�P¨�})�b«)¤¦���bª�z|�»�«)¤±�b« � 'f+ � «I}4¥4��}��bz|¨G¨Nz|�s��}4y{�Q���Q��»¤¦y¦«�£8�bª{¢@�b�Qy�y{z��9e � P� /w-0/`_�5�D�14-0:CBKo0/�H5{e�1k/Q_I?49�F0JK/�:587@?|5�oI/�9�1;-0:<5CH8?A5C/�=º145C7�5C70/�R0:C/Q3"R0JE-I/�:C:P?4-0o25870/�JKBE9�BK5b?|58BE14-0:

143 ° 5b?ADb�4/�JK=º/SHCL�:<5CH8?A5C/�L;BK/�:�Z

;=< � ����("'>$&%('�' Áw/SD+?4JKJk5870?A5cBE- ! _I?49 FIJE/Ñ��Z � qke�B�587¸5{eP1 9N?ADb70BE-0/S:se�BK5C7 JE?A58/S-0DSV 3"R0-0DS5CBE1;-I:% % � * % � � � ?A-0o % � � * � � � * � q\BE-¿587I/r?A=0:C/S-0D�/�143TD�/S-v5CH8?4JKJKVÀD�1;-O58H<1;JEJK/�orl<1;=I:�5C70/c?4:<:CBEL4-09 /S-O5?A5T´\?4:C7�/�µvR0BKJEBE=IHCBERI9XBK-0D�RIHC:.581A5b?4J�JE?A58/S-0DSV �

�5CBE9�/�:d5C7@?A5>14365870/G14FI58BK9N?4J�?4:C:<BEL;-I9 /S-v5�Z ° R0FIFº1;:</

BE-I:<58/�?4or5C7@?A5k7@?4JK3P143h5C70/>l<1;=I:^?4H</ DS1;-O58HC14JEJE/So�=OVc5870/ :<V):<5C/�9Ð9N?A-@?4L;/SH � B±Z�/4Z�q�5870?A5 � � %���?A-0o

D�14-0:CBKo0/�Hw5870/T:<5CH8?A5C/�L4V � � � %� b� �QZt�t7I/�-xq�?4:.?4JKJ�HC/S9N?4BK-0BE-IL.l<14=0:\e�BKJEJ�=Y/k?4:<:CBKL;-0/�on581 5C70/k:</�DS1;-0o

9 ?4Db70BE-I/mBE-�5870/>/Sµ)RIBEJEBK=0HCBKR09 BE-0o0RID�/�o�=OV �;qI5870/T?4:<:CBKL;-09�/�-O5wBE-0o0RID�/�o�=OV �TBK:tF0HC/SD�BE:</�J�VM5870/>1;F�58B��9 ?4J�?A:C:CBKL;-09�/�-O5t143�?AJEJY143�5870/al<1;=0:�Z�t7vR0:Sq@BE-N5C70BE:PF@?4H<5CBEDSR0Jj?4H6BE-I:<5b?A-0D�/AqI:<V):W58/�9 Fº/SH<3"1;H<9N?4-ID�/.D�?4-=Y/T14FI58BK9 BKU�/�oMi)BE?G? ° 58?4Db�4/SJE=Y/�H<L :W58H8?|58/�LAV;Z

;=< � ����("'>$&%('\$ ´\1fe 9�1�o0B�3¦V ! _I?49 FIJE/G�)Z � � =OVpH</�F0JE?4D�BK-0L�5C70/^JE?A58/S-0DSV�3"R0-0DQ58BK1;-p143�5870/^:</�DS1;-0o9 ?4Db70BE-I/Te�B�587p5C70/kJE?A58/S-0DSV�3"R0-0DQ58BK1;- % � � * � � � � * � Z\�t70/^?4:<:CBKL;-09�/�-O5m?A5.´d?4:<7s/�µvR0BKJEBK=0HCBKR09ÕF0RI5C:7@?4J�3�1A3º5C70/l<14=0:a1;- /�?4Db7N9 ?4Db70BK-0/ � 3"14Ha?TDS1;:<5�143 � ��e�70BEJK/h5870/�1;FI5CBE9 ?4J0?A:C:CBKL;-09�/�-O56BE: � �

� %�� � e�BK5C7

?2D�1;:W5\1A3��� �QZ�,.-�5870/T14587I/�H�7@?4-0o�q@BK3�eP/�?4LO?4BK-�?4JEJK1fe 5C70/>:<V):<5C/�9Î9N?A-@?4L;/SHh581 ?4:C:<BEL;-�7@?4J�3�1A3�587I/l<1;=0:SqYe�/k:</�/k5C7@?A5w3"1;Hk}4�@�T:W58HC?A58/SL4V �Oq�587I/k?4:<:CBKL;-09�/�-O5.BK-0o0R0DS/�op=OV �kBE: � %� %���?4-0op70/�-0DS/kBK:\-01A5

1;FI5CBE9 ?4J±Z � -c5870BK:./Q_I?49�F0JK/4qx587I/�HC/2BK:m-01�?fiA?4BKJj?4=IJE/T:<58HC?A58/SL4V =OVse�70BKDb7�5C70/G:<V):W58/�9Û9 ?4-@?4L4/�H.D�?4-BE9�F0H<1$i4/m:<V):<5C/�9ÎFY/�H<3"14HC9 ?4-0D�/AZ

� ��� � ��� M�Tk�� ��� � �.��� M�� �� ����� ��

��� ����� ��� ���� � � � �M� � � � ! �)� �� /k=Y/�L;BK-n1;RIH\BK-vi4/�:W58BEL;?A58BK1;-n1A3 ° 58?4Db�4/SJE=Y/�HCLN:<58HC?A58/SL;BE/S:\=OV�D�14-0:CBKo0/�H<BE-0L�5{eP1M-0?A58R0HC?4J�?4F0F0H<1O?4Db70/S:5870?A5kFIHC1fi)BEo0/ :CR0=Y1;FI5CBE9 ?4JaFº/SH<3"1;H<9N?4-ID�/�L;R@?4HC?4-O58/�/S:�Zn��1s9�145CBKiA?A58/G14R0HkH</�:CRIJK58:�BE-�5870/ :CBE9�F0JK/�:<5FY1;:C:<BE=0JK/seh?+V;q\5870H<1;R0L;7014RI5�5870BK:�:CR0=I:C/�DQ58BK1;- e�/ e�BEJEJ\D�1;-I:CBEoI/�H�/Q_I?49�F0JE/S:�BE-·e�70BKDb7 ?4JKJdJE?A58/S-0DSV3"R0-0DQ58BK1;-0:6?4HC/�JKBE-0/�?4Ha?4-0o�7@?4J�3�143º5870/�l<1;=I:P?4H</�D�/�-O5CH8?4JKJKVGDS1;-O58HC14JEJE/So � � � %

��`Z � /w?4H</w5C7vR0:�7I1;F0BE-IL

3"1;H�:<5CH8?A5C/�L;BK/�:t5870?A5\?4JKeP?+V�:wBE-Io0R0D�/�?4-n?4:C:<BEL;-I9 /S-v5w143�D�1;:W5.?|5\9�1;:W5 ��58BK9 /S:h587@?A5w143�5870/T1;FI5CBE9 ?4J

?4:<:CBEL4-09 /S-O5 � 587IBE:�BE:h5C70/>=º/S:<5wFº14:C:CBK=0JE/m=OVM5C70/ ! _0?A9 F0JK/T��Z � �;�QZÓ BEH<:<5kD�1;-0:<BEo0/SHk587I/M3"1;JEJK1$e�BK-0L�:<58HC?A58/SL4V�3"14H^?4-¼BK-0:<58?4-0D�/ � � , %

��`g B�3 * _ BE:�5C70/M1;F�58BE9 ?4J6?4:�

:CBKL;-09�/�-O5>3"1;H>BE-0:W5b?4-ID�/ � � %�,4�Qq�F0RI5 � � * _+Z � -re�1;H<o0:�q�eP/ Db701�14:C/25870/�:<5CH8?A5C/�L4Vc143P9 BK-0BE9kR09

D�14:<5+qYBEL4-01;HCBK-0L25870/T/Q_�BE:W58/S-0D�/^1A3ºl<1;=0:w587@?A5d?4H</�-01A5.D�/S-O58H8?AJEJKVMD�1;-O58H<1;JEJK/�oxZ � /kD�?4JEJ�5C70BE:�5870/��d�Ezfz :<5CH8?A5C/�L4V�:CBK-0D�/PBK5�H</S3"R0:</�:�5C1m?4Db�v-01fe�JE/So0L;/h587I/hHC/S:<5a143@5C70/�l<1;=0:�BE-k5C70/h:<V):W58/�9�Z ! _I?49�F0JE/h��Z � :C701fe�:5870?A5d5C70BE:w:<5CH8?A5C/�L4VnFº/SH<3"1;H<9 :wµvR0BK5C/kFY1�14HCJKVYgP5C70/^:W58H8?|58/�LAVnBK: � � %

��w?4-0op5C70/^BE-Io0R0D�/So ?4:<:CBEL4-09 /S-O5

BE: � � �� �`q0?4-�?4:<:CBKL;-09�/�-O5t587@?|5teP/>7@?+i;/>:</�/�-�5812BK-0D�R0Hh5C145b?AJ�Jj?|58/�-IDSV ��58BK9 /S:P587@?|5�143�5870/>1;FI5CBE9 ?4J

?4:<:CBEL4-09 /S-O5+Z[·:C/SD�1;-0oN?A5C5C/�9�FI5�3"1;H�?>L41�1)oG:<5CH8?A5C/�L4Vk9 BKL;7O5=º/�?A:�3"1;JEJK1$e�:Sg�B�3 * _6BK:�5870/t14FI58BK9N?4J�?4:<:CBEL4-09 /S-O5

3"1;H � � ,4�QqPF0RI5 ��� %� * _ Z � /pD+?4JKJ�5C70BE:�5870/ �x�C}4�E�2:<5CH8?A5C/�L4V4qw:<BE-0DS/pB�5NBK:N:CBK9 FIJKVÏ5C70/s1;FI5CBE9 ?4J?4:<:CBEL4-09 /S-O5\1A3?4JKJ�5870/hl<1;=0:Sq@:CR0B�5b?4=IJKV�:<D+?4JK/�oxZ��\-I3"14H<58RI-@?A58/SJKV4q�?�:<BE9�F0JE/m/`_0?A9 F0JK/>:C701fe�:\5C7@?A5�587I/

Page 9: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

° D�?4JE/�:<58HC?A58/SL4Vn?4JE:<1 3�?4BKJE:t581 F0HC1fi)BEoI/�587I/^Fº/SH<3"1;H<9N?A-0D�/TL;R@?4HC?4-O58/S/k143 ��5C7@?A5weP/G?AHC/kJK1�14�)BK-0LG3"1;H�g

BE-�?M5{e�1A�{9 ?4Db70BK-0/G/Q_I?49�F0JE/^e�B�587cJj?|58/�-IDSVp3"RI-0DS5CBE1;-0:�% % � * % ��� � ?4-Io % � � * � ��� �� * � ?4-IorHC?A58/ � q

587I/w14FI58BK9N?4JI?4:C:<BEL;-I9 /S-v5aBK: � �� %�� � e�BK5C725C145b?AJ0D�1;:W5��� �a?A-0oG587vR0:a5870/ ° D�?4JE/t:W58H8?|58/�LAV^e�BEJKJI=Y/ � %� %� �Qqe�70BKDb7sBE-0oIR0D�/S:\587I/^?4:<:CBEL4-09 /S-O5 � %� ���w7@?+i)BE-ILND�14:<5 � Z �w/�-0DS/4qY5870/ ° D+?4JK/�:W58HC?A58/SL4V�9N?+V�HC/S:CR0J�5.BK-

?4-�BE-Io0R0D�/Sos?4:<:CBKL;-09�/�-O5te�BK5C7�5C145b?AJxJj?A5C/�-0DQV �� 5CBE9�/�:P5C70/>D�1;:W5w143�5C70/>1;FI5CBE9 ?4Jx?4:<:CBKL;-09�/�-O5+Z �

� � ������� � � ! � � ��� � � � � ��� ��� � ���� � ��� � �M� � � � ! �� -O58R0B�58B�i;/�J�V;qA=º145C7k587I/h[dJK1�143@?4-0o ° D�?4JE/�:<5CH8?A5C/�L;BK/�:�:<RI¹�/SH�3"HC149]?\D�1;9�9 14-�É�?+e>g�=º145C72?4JEJK1�D�?A58/�l<1;=I:581k9N?4Db7IBE-0/S:P587@?|5Pe�BEJKJº:<R0=0:</�µvR0/�-O5CJKV�=Y/.BE-vR0-Io@?A58/So�BE-N?4-OVMBE-Io0R0D�/So�/�µvR0BKJEBE=IHCBERI9 e�70BEJK/.?4:<:CBKL;-0BE-IL581)12JEB�5C58JK/\e�1;HC� 581�9N?4Db7IBE-0/S:h587@?A5w:</�JKu0:C7�R0:C/SHC:\?4HC/>F0H<1;-0/m5812BEL4-01;HC/AZ�t70BE:t14=0:C/SH<iA?A58BK1;-�:CR0L;L4/�:<5C:5870?A5\?2L41�1)o�:<58HC?A58/SL4V�:<701;R0JKonL;B�i;/mF0H<BE1;H<BK5{V 581G5870/>9 ?4Db70BK-0/�:t5870?A5\?4HC/>JE/�?4:<5w?AF0Fº/�?4JEBK-0L^5812:</�JKu0:C7R0:</�HC:{¾ 9 ?4Db70BK-0/�:�e�BK587ÀHC/�JE?A58B�i;/SJKV¼70BKL;7ÀJE?A58/S-0DSV4Z � BK587Ñ5870BK: BK-O58R0B�58BE14-&BK-&9�BE-0o�qP5870/�3"1;JEJK1fe�BE-0L:<5CH8?A5C/�L4VG3"14HP? ° 5b?ADb�4/�JK=º/SHCL^BK-0:<58?4-0DS/ � � , ���`qOe�70BEDb7�eP/\D+?4JKJ05870/ # }4£±§)�bªQy # }4y{�Q���Q� V¤¦£bªQy�1;H # # V:<5CH8?A5C/�L4V4q@:C7014R0JEo�:C/S/�9Ä-@?A5CR0H8?AJ±g� � �nÅP1;9�F0RI5C/m5870/>1;FI5CBE9 ?4Jº?4:C:<BEL;-09�/�-O5 * _t3"1;H � � ,;�� �4� � -0oI/Q_�587I/T9 ?4Db70BK-0/�:t1A3 � :C12587@?A5�% % � * _ % �.- ( ( ( - % 2 � * _2

�� � � ]�/S5�� - � =Y/>9 BK-0BE9 ?4J�e�BK5C7 4 2' 6�� � % * _' - ��,� �O� �RI5 � ' � * _' 3"14H $ +��ºq ��� � �=, � 4 2'76�� � % * _' q�?4-Io � ' � � 3"1;H $����ºZ� /Te�BKJEJx:C?fV�5C7@?A5\?29N?4Db7IBE-0/�$6BE:.ª�}4y�­�£<}4y{�CÍT=OV�?�:W58HC?A58/SL4V ��BK3� ' � * _' Z6�t70/7] ] Ó :<5CH8?A5C/�L4V�5C7vR0::8?|58R0HC?A58/S:T9 ?4Db70BK-0/�:m14-0/Q�~=vVO�~1;-0/4q�BK- 1;HCo0/SH.3"HC1;9X5870/GJE?4HCL4/�:<5.Jj?A5C/�-0DQVse�BK5C7 HC/�:<Fº/SDS5>581 * _m581�587I/:C9 ?4JKJE/�:W5+qAR0-O58BEJv587I/�HC/�?AHC/h-01mDS/�-O58HC?4JEJ�VTD�1;-O58H<1;JEJK/�owl<14=0:�HC/S9N?ABE-0BK-0L0Z�´\145C/P5870?A5�]�/�9�9 ?m��Z²�\BE9�F0JEBK/�:5870?A5d5C70/ ] ] Ó :W58H8?|58/�LAVpD�?4-s=Y/kD�149 F0R�58/�opBE-pFY1;J�V�-I1;9 BE?4Jx58BK9 / � 5870/�=º145<58JK/�-0/SDb�nBK:\:W58/�F � � �C�`��BK-° /SDS58BK1;-���e�/.e�BEJEJY:C/S/.587@?|5tBK5tD�?4-�=Y/.D�1;9�F0RI5C/�o�BE- � � � �658BK9 /we�70/�-�/Si4/�HWV�Jj?A5C/�-0DQVN3"R0-IDS58BK1;-MBK:JEBK-0/+?AH�Z�t70/G-0/`_�5>5{e�1�:C/SDS58BK1;-0:>?4H</Go0/Si41458/So 581�F0H<1$i)BK-0LM587@?|5.5870/S] ] Ó :W58H8?|58/�LAV ?4J�eh?+V):mBE-0oIR0D�/S:>?4-

?4:<:CBEL4-09 /S-O5te�BK587�-0/�?4HW�~1;FI58BK9N?AJY5C145b?4J�Jj?A5C/�-0DQV;Z

� � ��

�/�m���;����� ^� ��� � ��^� k��� ��� �;��� �� � �Q�� ^��� � T�T�m� � �! � � �t������

� -25870BK::C/�DQ58BK1;-GeP/wF0HC1fi4/�5C7@?A5a587I/ ]f] Ó :<5CH8?A5C/�L4V^BE-0o0RID�/�:�?m-0/+?AHW�{14FI58BK9N?4J�?4:<:CBEL4-09 /S-O53"1;Ha?4-OVG:C/Q5143JE?A58/S-0DSV�3"RI-0DS5CBE1;-0:\?4-0os?4-OVn-vR09k=º/SH\143�9N?4Db7IBE-0/S:�Z � /T-0145C/�5C7@?A5���z>Fº/SH<3"1;H<9N?A-0D�/>L;R@?AH8?4-O58/S/BE:�FY1;:C:<BE=0JK/nBK-&587I/s?4=0:</�-0DS/s143mDS/�-O58HC?4JEJ�VÑD�1;-O58H<1;JEJK/�osl<1;=0:Sgse�BK587I1;RI5N?4o0o0B�58BE14-@?4JtHC/S:<5CHCBEDQ58BK1;-0:�1;-9 ?4Db70BE-I/�Jj?A5C/�-0DQV�3"R0-0DQ58BK1;-0:�q5C70/�´d?4:<7&?A:C:CBKL;-09�/�-O529 ?fV�BE-0DSR0H2?4H<=0BK5CH8?4H<BEJKVc9�1;H</�Jj?A5C/�-0DQV�5870?4-587I/�1;F�58BE9 ?4J�?A:C:CBKL;-09�/�-O5^�Æ�v�$�±Zh�t7vR0:Sqº5C70/�=Y/�-I/Su05d143a?2JE/+?Ao0/�H � ?4-Iop143�? D+?AHC/S3"RIJEJKVMDb701;:C/S-sJE/�?4o0/SH:<5CH8?A5C/�L4VI�hBE:tF0?4H<5CBED�RIJj?4H<JKV :<58H<BE�vBE-ILGBE-�5870BK:tL;/�-I/�H8?AJ�:C/S5<58BK-0L0Z"$# Í�Î�×~×~Ê ÕÈÊÓÒ�Í[â.Õ*Ö~ÇÃ3ÉËÒàÒ�Ô�ÎMÍ6×�ßQÙ�ÎMÉËÇ�Ñ�Õ*Æ�Î�Õ*Ç�Ú�ÊËÇ�ÑUÙ�ÎMÍ�Ä{Ç�Æ�ÔjÒ�Æ*Ì ÎMÆÈì~ÊÓÕ*Æ�ÎMÆÈÊÓÉËÏ¥ì6Î�×QÉËÏ¥ÔjÒ�Æ�ÊÓÍ{Ñ�Õ�ÎMÍ6ÙrÇ�ÑUé�ÊÓÕ*Ö�Ú�ÇrÍ~Ç�ÆÈÎ�É

É¡Î�Õ*Ç�Í6ÙYÏoÔjÜ~Í6ÙWÕÈÊÓÒ�Í6Ñ�ç

Ç

Page 10: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

[Ü:CBE9�F0JK/�i4?AHCBj?|58BE14-.1;-TF0HC/Qi�BK1;R0:�/Q_I?49�F0JK/�:�o0/�9�1;-0:W58HC?A58/S:�5C70/aJEBE9�BK5C:�143 ° 58?4Db�4/SJE=Y/�HCL\:<5CH8?A5C/�L;BK/�:�Z� -c?N5{e�1A�{9 ?4Db70BK-0/^BE-I:<5b?A-0D�/ke�B�587 � � %

�?4-0ocJE?A58/S-0DSV�3"R0-0DQ58BE14-0: % % � * % � � � ?A-0o % � � * � � � �

� * ��3"1;H � . � � qa?4-OV ° 58?4Db�4/SJE=Y/�H<L :<58HC?A58/SL4VÏBK-0o0R0DS/�:^5C70/�?4:<:CBEL4-09 /S-O5 � %� %�� � 7@?+i)BE-0Ln581458?4JPJE?A58/S-0DSV

� �we�7IBEJE/T5870/G14FI58BK9N?4J�?4:<:CBEL4-09 /S-O5mBE: � %�e���� %

�� � �f�\70?fi)BK-0L�D�1;:W5 %

�e�� �4qxe�7I/�HC/�� � � ��� � ?A:

��� Z\�t7vR0:.5870/�=º/S:<5mBK-0o0R0DS/�oc?4:<:CBKL;-09�/�-O5.9 ?+Vn=Y/ � ?4HC=IBK58HC?4HCBKJKVND�JE14:C/k5C1v�t5{e�BKD�/G?A:dD�14:<58J�Vs?A:587I/N1;FI5CBE9 ?4Ja?4:<:CBEL4-09 /S-O5+Z ° BE9�BEJE?4H./`_0?A9 F0JK/�:T:C701feË5870?A5�3"14Hk?4-OV�� . � � �� �`q�5C70/N=Y/�:W5^BK-0o0R0DS/�o?4:<:CBEL4-09 /S-O5�9N?+V�=Y/ %

�5CBE9�/�:�?4:�D�14:<58J�V�?4:t5C70/>1;FI58BK9N?AJx?4:<:CBEL4-09 /S-O5+Z

�t70/.9 ?4BE- HC/S:CR0J�5h143x5C70BE:�:C/SDS58BK1;-MBK:�5870?A5�5C70/ ] ] Ó :W58H8?|58/�LAVM?4J�eh?+V):hBK-0o0R0DS/�:t?4-M?4:C:<BEL;-09�/�-O5�143D�14:<5.-I1M9 14HC/m587@?A- %

�58BK9 /S:w5C7@?A5\143�587I/k1;FI5CBE9 ?4J�?4:<:CBEL4-09 /S-O5+Z�[ H<1;R0L;7n1;RI58JKBE-0/T143�5C70/kFIHC1)143�BK:

?4:P3"14JEJE1fe�:SZa,.R0HhL;1O?AJ�BE:6581G/`_IFIJE1;B�5P587I/mBK58/SH8?A5CBKi4/d:<5CHCR0DQ58R0H</m143�5870/�]f] Ó :W58H8?|58/�LAV�?4-0o�FIHC1)D�/�/So�=vVBE-Io0R0DS5CBE1;-�1;-�5C70/�-vR09k=º/SHw1A3�9 ?4Db70BK-0/�:SZ � 3�5870/ ] ] Ó :W58HC?A58/SL4VMu@H<:<5w:8?A5CR0H8?|58/�:�587I/ � 5C7n9 ?4Db70BK-0/4q?G-@?A5CR0H8?4JºBEo0/�?GBE:P5C1 ?AF0F0JKV�587I/mBE-0o0RIDS58B�i;/>7OV)Fº145C70/�:<BE:t581^5C70/mHC/S9N?ABE-0o0/SHh143�5870/ ] ] Ó :<5CH8?A5C/�L4VN1;-587I/>u0HC:<5 � � � 9 ?4Db70BK-0/�:t5C1�oI/�HCB�i;/T?2Fº/SH<3"1;H<9N?4-ID�/mL;R@?AH8?4-O58/S/4Z6�t70BE:�BKo0/+?G-0/�?4HCJ�VM:CRID�D�/S/�o0:Sq�=0R�5587I/�HC/�?AHC/ 5{e�1co0BKÌ�DSR0JK5CBE/�:SZ Ó BKHC:<5�q�BK5kBE:^FY1;:<:CBE=IJE/ 5C7@?A5�5870/^] ] Ó :<5CH8?A5C/�L4Vr3�?4BEJK:T5C1s:8?|58R0HC?A58/�?A-vV9 ?4Db70BE-I/�:���eP/.e�BKJEJY:C/�/m=Y/�JK1feÊ5C7@?A5�5870BK:hD+?4:</mBE:h/�?4:<V 5812?4-0?4JKV)U�/.?4-0o�D+?AR0:C/S:t-01^58H<1;R0=0JK/4Z ° /SD�1;-0o�qBE-21;H<o0/�H�5C1>1;=I5b?ABE-2?mD�JK/+?4-�?4F0FIJEBED�?A58BK1;-^143Y587I/wBK-0o0R0DQ58B�i;/t7OV)Fº145C70/�:<BE:a581m587I/hu@HC:W5 � � � 9 ?4Db70BE-I/�:�qe�/�H</�µvR0BKHC/k5C7@?A5m587I/G1;FI58BK9N?AJ�?A-0o ]f] Ó �~BE-0oIR0D�/Soc?4:C:<BEL;-09�/�-O5C:mF0Jj?4DS/k587I/G:8?49�/k581A5b?4J�?49 14R0-O5m143l<1;=0:a1;-2587I/�:C/\9N?ADb70BE-0/S:�¾ B±Z�/4Z�qv5C7@?A5a587I/�] ] Ó �~BE-0o0RID�/�o�/�µvR0BKJEBK=0HCBKR09]/S:CDb70/Qe�:P587I/ � 5C7N9 ?4Db70BK-0/4Z �� / H</�:C14JKi;/2587IBE:>o0BKÌ�DSR0JK5{Vse�B�587c5870/23"1;JKJE1fe�BE-0L�JK/�9�9N?�qxe�70BEDb7r:<5b?|58/�:>5870?A5TBK3P5C70/Z] ] Ó :<5CH8?A5C/�L4V:8?|58R0HC?A58/S:�587I/ � 5C7N9 ?4Db70BE-I/4qv5870/S-�ªfz|¨N�BK-0o0R0DS/�oM/SµvR0BEJKBE=0H<BER09 ?4:C:<BEL;-0:�?4JKJAl<1;=0:a581>5870/wu@HC:W5 � � �9 ?4Db70BE-I/�:��)5870BK:P:<RIÌ�D�/�:h3"14H�1;RIHPF0R0H<Fº14:C/�:Sq0:CBK-0D�/\o0BK¹º/�H</�-O5hBK-0o0R0DS/�o�?4:<:CBKL;-09�/�-O58:�7@?+i;/m/�µvR@?AJºDS1;:<5�Z

1 ' � � � @f%(' # �Qy � � , ���pÍ)�Q��z|yÖ�p} ��y~})�bÝO�Q��¯Q�Q£�§�¤¦�IªQy±}4���b��»¤¦y"«Êzb¢Yy�¤¦¨�}4�w}|ªbªQ¤�§4�@¨N�Q�@y * _r}4�Yͤ¦�YÍ)��YMy¦«@�T¨�})�b«)¤¦���bªGz � ªfz�y"«I}4y % 2 � * _2

�� %#' � * _' � +z|£�}4�¦� $OP 5 ��M¤Eª^}�ªQy�£<}4y{�±§4�N»¤¦y¦« � 2 � * _28

y¦«@�Q� y"«@�Q£8�G��Y;¤EªQy¦ª�}4� ¤¦�YÍ4­��b�CÍ��C¬�­�¤¦�®¤�¯�£`¤¦­)¨ �>»¤¦y"« � 2 � � P� £8zfz P ÅP1;-0:<BEo0/SH�?A-N?4H<=0BK5CH8?4HWVGBE-Io0R0D�/SoN/Sµ)RIBEJEBK=0HCBKR09 �?4-0o :CR0FIFº1;:</ � 2 + � ZÁ�1;R0L;7IJKVG:<Fº/�?4�vBE-0L0q587I/ BKo0/+?�BE:m581nF0HC1fi4/ 5870?A5>5870BK:�:<D�/�-0?4HCBK1n1;-IJKVc1)D�D�RIHC:>e�70/�-Ï:</Si4/�H8?AJ�JE?A58/S-0DSV 3"R0-IDS58BK1;-0: � 5C7@?A5T143587I/ � 5C7&9 ?4Db70BK-0/4qP?4-0oÑ145870/SHC:8��?4H</�JE1)D+?4JKJKVrD�1;-0:W5b?4-O5��w5C70/�-xq�l<1;=0: ?4:C:<BEL;-I/�oÜ581�9N?4Db7IBE-0/ � BK-587I/�BK-0o0R0DS/�o�/�µvR0BKJEBE=IHCBERI9ÃD�?4-r=Y/2/SiA?4DSR@?A58/Sor5C1�1A5870/SHT9 ?4Db70BK-0/�:me�B�587cJE1)D+?4JKJKV�D�14-0:<58?4-O5kJE?A58/S-0DSV3"R0-0DQ58BK1;-0:t5812F0H<1$i)BKo0/T?2-I/Se BK-0o0R0DS/�on/�µvR0BEJKBE=0H<BER09�ZÓ 1;HC9 ?4JEJ�V;qAJE/S5 6�� % 2 � � 2 e � 2 � � % 2 � * _2

e � 2 �oI/�-0145C/w5C70/wD�1;9�9 14-GJj?A5C/�-0DQV^e�BK5C7 H</�:CFY/�DQ5�5C1� e ��143�/Si;/SH<V�9 ?4Db70BK-0/de�BK5C7 � ' + � � :C/S/ ]�/S9 9 ?2��Z �f� �`Z � /m9^RI:<5�7@?+i;/�% 2 � * _2��C6t�01A5870/SH<e�BE:</

%#' � * _' � � 6r3"1;H?AJEJ $xV4/S5 %#' � � ' e � '�� C6r3"1;Ha?AJEJ $<qvD�1;-O58HC?4o0BKDS58BK-0L.5870?A5 * _ ?A-0o �Ke �?4H</w?4:C:<BEL;-09�/�-O5C:?A5\5870/^:C?49�/^H8?A5C/4Z.�t7vR0:Sq�:CBE-ID�/F% 2 BE:d-I1;-0o0/SD�HC/�?4:CBK-0L0q % 2 BE:\JE1)D+?4JKJKV�DS1;-0:<58?4-O5+g�% 2 BE:\/�µvR@?4J�581^6BE-�5C70/>BE-O58/SH<iA?4Ja� * _2 *

_2e � 2 �±Z´\/`_�5�qPJK/S5-� : o0/S-0145C/�5C70/�9 ?4Db70BE-I/�:G1;-¼e�70BKDb7 � '&e � ' � * _' �P:CBE-ID�/ � 2 e � 2 + * _2

q � : BK:-01;-)�{/�9�FI5{V4Z Ó 14HT/�?4Db7�$ . � : q�eP/ �)-I1$eË5C7@?A5�%#' � � 'Ue � '"���6tq %�' � * _' � -?% 2 � * _2

� � 6tq�?4-0o %#'BE:m-I1;-0o0/SD�HC/�?4:CBK-0L0q�:C13%#'6BE:m/Sµ)R0?4J�581 6 14-À� � 'Ue � ' * _' ��Z ° BK-0D�/ * _T?4-0o � e �d?4H</ ?A:C:CBKL;-09�/�-O58:>?|5587I/ :C?49 /�H8?|58/4q�e�/ 9^RI:<5�7@?+i;/ 4 'U@ B C � * _' � � � 'Ue � '"�Ö�� � 2 Z Ó BE-0?4JEJ�V;qxDS1;-0:CBKo0/�HT9�1�o0B�3¦V)BE-0L �>?A:3"1;JKJE1fe�:�gt9�1fi;/^?AJEJIl<1;=0:.FIHC/Si)BK1;R0:CJ�Vn?4:C:<BEL;-0/Sos581M9 ?4Db70BK-0/ � 5C1M9 ?4Db70BE-I/�:dBK- � : qº:CR0=vl</�DS5m5C1N587I/� á>ÒJÑ�Ç�Ç�ÎkÕ*ÆÈÊÓÐzÊ¡ÎMÉ�Ç Q~ÎMÌ%Ä~ÉËÇ�ÊËÍ¥é�Ö~Ê¡Ù�Ö¥ÕÈÖ~ÊËÑ#×QÒzÇ�Ñ�Í~Ò�Õ�ÒQÙrÙrÜ~Æ�âDÄ6ÜQÕ ��� æ������ .G ÎMÍ{×¥ÙYÒ�Í6Ñ�Ê¡×QÇ�Æ�Õ�é�Ò�ÌUÎ�Ù�Ö~ÊËÍ~dzÑÇ�Î�Ù�Ö�é�ÊÓÕ*Ö�Õ*Ö6Ç!ÙrÒ�Í6Ñ�ÕÈÎ�ÍàÕ#É¡Î�ÕÈÇrÍ6ÙrÏ�ÔjÜ~Í6ÙYÕ*ÊËÒ�Í H J K M J O�� æ�ç�ð�Í6Ç�Ä6Î�Æ�ÕÈÊËÙrÜ~É¡ÎMÆ%Ò�ÄQÕÈÊÓÌUÎ�É3Î�ÑÈÑ�ÊËÚ�Í~Ì%Ç�Í�Õ%Ê¡Ñ�K G" � ." OWâ.ÎMÍ6×�ÎÙYÒ�Æ*ÆÈÇ�Ñ*ÄxÒ�Í6×QÊËÍ~Ú����§î�Ñ�Õ*Æ�Î�ÕÈÇrÚ�ÏkÊËÑ K .� � ." O 7hÒ�Í~ÇUÄ6Î�Æ�ÕÈÊËÙrÜ~ÉËÎ�Æ�ÊËÍ6×QÜ6ÙrÇ�×�Î�ÑÈÑ*ÊÓÚ�Í~Ì%ÇrÍàÕ�ÊËÑ K ." � G" OWç�ýhÐ�ÇrÍJÕ*Ö6Ò�Ü~Ú�Ö�Õ*Ö~Ç����>îÑ�Õ*Æ�Î�Õ*Ç�Ú�ÏoÑÈÎ�ÕÈÜ~ÆÈÎMÕ*dz×oÕÈÖ~Ç�Ñ�dzÙYÒ�Í6×�ÌUÎ�Ù�Ö~ÊÓÍ6Ç�âzÕ*Ö6Ç;ÊÓÍ6×~Ü6ÙYdz×�Ç��àÜ~ÊÓÉËÊËì~Æ*ÊËÜ~Ì Ü6Ñ�dzÑ.Ê Õ³ç

�f�

Page 11: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

D�14-0:<5CH8?4BK-v5C:� '*e � ' - * _' Z � /67@?+i;/h?4JEH</+?4oIV.1;=0:C/SH<i4/�o^5870?A5�5C70/�H</PBK:�:<RIÌ�D�BK/�-O5 Ù H<1�149 Ú�1;-�9N?4Db7IBE-0/S:BE- � : 3"1;H.587IBE:>1;FY/�H8?|58BE14-xq�?4-0o�587@?A5T?AJEJ�JE?A58/S-0DSV 3"R0-IDS58BK1;-0:T?4H</�DS1;-0:W5b?4-O5�BE- 5870/�o01;9 ?4BK- 143h1;RIH9�1�o0B�u@D+?|58BE14-0:�Z � /k7@?+i4/k587vR0:./`_�70BE=0B�58/So ? -0/Qe BE-0o0RID�/�op/�µvR0BEJKBE=0H<BER09 e�BK587p-01>l<1;=I:.?4:<:CBEL4-0/�op5C19 ?4Db70BE-I/ � q@D�1;9�F0JE/Q58BK-0L^5870/>F0H<1�1A3ÖZ

� /T?4H</>-01fe F0H</�F@?4H</�o�5812F0HC1fi4/T5C70/>9N?4BK-�HC/S:CR0J�5�143�5C70BE:t:</�DQ58BE14-xZ

� #�'v���|'*� @ %4$$# �Qy�� � � � , ���pÍ)�Q��z|y{�s} ��y~})�bÝO�Q��¯Q�Q£�§�¤¦�IªQy±}4���b�QP 5 �ܤEªs}4� # # V ªQy�£<}4y{�±§4�+z|£�� ¤¦�YÍ4­@�Q¤¦�)§p�C¬�­�¤¦�®¤�¯�£`¤¦­)¨ �2}4�YÍ * _ ¤Eª2}4�Üzb¢Yy�¤¦¨�}4�}|ªbªQ¤�§4�@¨N�Q�@y0+z|£^y¦«@�G¤¦�IªQy±}4���b� � � ,4�O8ty¦«@�Q�E � �9e �<�.- %

�E � * _ �QP

� £8zfz P � /^F0H<1�DS/�/So�=OVnBE-0oIR0DS5CBE1;-s14-s5870/^-vR09k=º/SH.14369N?ADb70BE-0/S: � � 3"14H./+?4Db7su�_I/So � q�eP/^e�BKJEJF0H<1$i4/T5C70/m5870/S1;HC/S9 3"1;H�?4H<=0BK5CH8?4HWV %Aq ,)q�?4-0o ���`Z�t70/TD+?4:</T1A3�1;-0/m9 ?4Db70BK-0/mBE:t5CHCBKi)BE?4J±ZÓ B�_s? ° 58?4Db�4/SJE=Y/�HCL�BK-0:<58?4-0D�/�� � � � , ����e�BK587c?|5mJE/�?4:<5.5{e�1�9N?ADb70BE-0/S:�q�?4-Io JE/S5 * _>oI/�-0145C/

?4-�1;FI5CBE9 ?4J�?4:<:CBEL4-09 /S-O5w5C1�5C70/TBE-0:W5b?4-0DS/ � � ,4�t?4-0o ��5870/TD�1;H<HC/S:CFY1;-0o0BK-0L ] ] Ó :<58HC?A58/SL4V;Z � -0o0/Q_587I/�9 ?4Db70BK-0/�:G:<1 587@?A5 % % � * _ % �^- % � � * _� � - ( ( ( - % 2 � * _2

�QZ '6V¼:CD�?4JEBK-0L0q�e�/�9 ?+V¼?4:<:CR09�/�587@?|5, � � � R0:</dJE?A58/S-0DSV23"R0-0DQ58BK1;-0: �%\e�B�587 �%�' � * '¦� � %�' � , * '"�<�QZ�]�/S5.6¼o0/�-01A58/\5C70/dDS1;9�9 1;-�Jj?|58/�-IDSVGe�BK5C7HC/S:CFY/�DQ5\5C1 � e �P143�/Qi;/SH<V�9 ?4Db70BE-I/.e�BK587 � 'f+ � � :</�/ ]�/�9�9N?2��Z �f� �`Z�a}|ªf��� T ° RIF0Fº14:C/�� � � � 3"1;Ha:<1;9 /w9 ?4Db70BE-I/��YZ�]�/S5�� % o0/S-0145C/w5C70/\9 ?4Db70BK-0/�: $�3"1;He�70BEDb7�� ' � �?4-0o � � 5870/T9N?ADb70BE-0/S:t3"1;Hte�70BEDb7 � ',+ � �@=Y145C7n143�5870/S:C/�:C/S5C:d?AHC/T-01;-��~/�9�FI5{V;Z Ó 1;H�$ � �! �GJK/S5 � 'o0/S-01458/�5870/k?49 14R0-O5d143aDS/�-O58HC?4JEJ�V�D�1;-O5CHC1;JKJE/�oGl<1;=0:d?4:C:<BEL;-0/Sop581N9N?4Db7IBE-0/S:dBE-�� ' � :C1�� ' � � � � '"�<�?4-0o E '�5870/TD�14:<5\BE-0DSR0HCH</�o�=vV �9e �t1;-�9 ?4Db70BE-I/�:�BE- � '~Z '�V ]�/�9�9 ? �)Z �f� q E � � � � � � % ��6·?A-0oE % � % 6�Z Ó R0H<5C70/�HSq�:CBK-0D�/ * _ HC/S:<5CHCBEDQ58/Soc5C1+� � BE:m?4- 14FI58BK9N?4J�?4:<:CBEL4-09 /S-O5.3"1;H � � � �� � � % �Qq �HC/S:<5CHCBEDQ58/So�5C1 � � BK:�?4- ] ] Ó :<5CH8?A5C/�L4VM3"14Hh5870/>BE-I:<5b?A-0D�/�� � � � � � �� � � % ��: �Qq0e�70/SHC/ ��: � �

%�� �� Z

[dF0FIJKV)BE-0L2587I/�BK-0o0R0DQ58BKi4/�7OV)FY145870/S:CBK:\581�� � ?4-0opRI:CBE-IL�5C70/T3�?ADS5w587@?A5 * _' � ' � � 'Me � '�3"1;Hw?4JEJ$ . � % qIe�/T1;=I5b?ABE- E � * _ � E % e � : E � "�HC1fi)BE-0LG5C7@?A5 E � �9e �<� - %

�E � * _ ��5C7vR0:\H</�o0RID�/�:�5812:<701fe�BE-0L

� � E % e E � �.- E % e � : E � "

° BK-0D�/�� - � ?4-0o E % � % 6�qB�5^:<RIÌ�D�/�:G5C1 F0HC1fi;/M5C70BE:kBE-0/Sµ)R0?4JEB�5{V e�BK587 E % H</�F0JE?4D�/So¼=OV�� % 6�Z� HCBK5CBE-0L5E � � � � � � % ��6¿?4-0o � : � �

%�� � ?4-Iono0B�i)BEo0BK-0L^5870H<1;R0L;7�=OV 6tq0eP/>-0/S/�on1;-0JKVNDb70/�Db��5C7@?A5

� � � % e � � � � % �C�.- � % e� �

� � � %� � � � % �

e�70BKDb7nDSJE/+?AHCJKVN701;JKo0: � =Y14587�:<BEo0/S:\?AHC/>/�µvR@?4Jx5C1 ���QZ�a}|ªf���\T ° R0FIFº1;:</ � ' + � 3"1;H6/Si4/�H<V�9 ?4Db70BK-0/�$Cq):C1 E � �3e �<� � 6tZ � /w9N?+V�?4:<:CR09�/w5C7@?A5a587I/=] ] Ó:<5CH8?A5C/�L4V�3�?4BKJE/So�5C1 :C?A58RIH8?A5C/k9 ?4Db70BE-I/ � �Y145C70/�HWe�BE:C/Aqº=OV]�/�9�9N?���Z�ÇIq@e�/kD+?A-nu@-0BK:C7n=vVn?4FIF0JKV)BE-IL587I/�F0H</Si)BE14R0:�D+?4:</65C1w5C70/�=Y/S5<58/SHW�{=Y/�70?fi4/�o^BK-0o0R0DS/�o�?4:C:<BEL;-I9 /S-v5�L;R0?4H8?4-O5C/�/�o�=OV ]�/S9 9 ?h�0Z � Z��t7vR0:Sq� � * _2

Z[d:mBK-p5870/kF0HC1)143a143 ]�/�9�9N?��0Z � qºe�/G9^R0:W5m7@?+i;/ % 2 � * _2

�� 6t��145C70/�HWe�BE:C/Aq %#' � * _' � � 6·3"1;Hd?4JEJ9 ?4Db70BE-I/�:�$e�70BEJK/ %#' � � ' e � '¦� � 6&3"1;H�?4JKJ $Cq@DS1;-O58HC?4o0BEDQ58BK-0LG587@?A5 * _\?4-0o �.e �t?4H</>?4:C:<BEL;-09�/�-O5C:\?|5

� �

Page 12: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

587I/T:C?49�/mH8?A5C/4Z �d?+i)BE-IL�/S:<58?4=0JEBK:C70/So�587@?A5�9 ?4Db70BK-0/ � 7@?4:�Jj?4H<L;/.JE?A58/S-0DSV e�BK587�H</�:CFY/�DQ5�581 * _ ?A-0o5870?A5 * _2

BE:h3�?4BKHCJ�VNJE?4HCL;/AqIB�5�BE:t-01fe¸?G:<BE9�F0JE/.9 ?A5<58/�Hh5C12JE1feP/SH�=º1;RI-0o E � * _`�`g

E � * _ �� * _2% 2 � * _2

� � 6�� �=E � � e �<� "

� � �� e�� �/�m���;����� ^� ��� �Ô��k� ^�M�T��� �;��� �¼�+����k� � T�T�m� � �

! � � �t������

����� �2� � �9� �M���)� � ��� � ��� ����� � ��� � � ������� � � � �M� ��! � � � � � �� -¼5870BK:^:CRI=0:C/SDS58BK1;-¼eP/�R0-Io0/�HW5b?4�A/n?soI/�/�FY/�HG:W58R0o�V¼143�5870/�´\?4:C7Ñ?4-Io¼1;FI58BK9N?AJP?4:<:CBKL;-09�/�-O58:k3"14HBE-I:<5b?A-0D�/S:.e�BK587 JKBE-0/�?4HwJj?A5C/�-0DQVp3"R0-0DQ58BK1;-0:�Z>�t70/GH</�:<R0JK5C:.143a5870BK:.:CRI=0:C/SDS58BK1;- e�BEJKJ�=Y/^BE-I:<58H<R09�/�-O5b?4JBE-�F0H<1fi�BK-0L�?G:<58H<1;-0L;/SH�Fº/SH<3"1;H<9N?4-ID�/mL;R@?AH8?4-O58/S/T3"14Hh5870/ ] ] Ó :W58HC?A58/SL4VM3"1;Hh5C70/�:</�BK-0:<58?4-0D�/S:�ZÓ B�_p?M:</S5m143a9 ?4Db70BK-0/�:�� e�BK587pJj?A5C/�-0DQVn3"R0-IDS58BK1;-0: %#' � * '"� ���!' * '�e��V'3"1;Hd/�?4Db7 $ � � ' �V' � �

?4-0onBE-0oI/Q_�5C70/�9Î:C125870?A5� % -� � - ( ( ( -�� 2 Z � /�9 ?+V�?4:C:<R09�/T5C7@?A5\?A5w9 14:<5w1;-0/T9N?ADb70BE-0/>7@?A:?^D�14-0:<58?4-O5\JE?A58/S-0DSV 3"R0-0DQ58BE14- � �!' � � �P:<BE-0DS/>?4JEJY=0RI5t5C70/.3�?4:<5C/�:W5\9 ?+VN=Y/m:8?|3"/�JKVNo0BE:<D+?4H<o0/�o��0R0-0o0/SH587IBE:T?4:C:<R09�FI58BK1;-xq�5870/ ´d?4:<7¼?4-0o�1;FI5CBE9 ?4J?4:<:CBKL;-09�/�-O58:�?4HC/ ?4J�eh?+V):�RI-0BEµvR0/AZ � /�9N?+Vc:<BE9�BEJj?AHCJKV?4:<:CR09�/m587@?A5w?29 ?4Db70BE-I/.e�BK587�?GD�14-0:<58?4-O5dJE?A58/S-0DSV 3"R0-0DS5CBE1;-�BE:h5C70/>Jj?4:W5t9 ?4Db70BE-I/4Z,.R0Hdu@H<:<5>L;1O?AJ�BK:d581MRI-0o0/�H<:<58?4-0oc5870/^:W58H<R0DS5CR0HC/G143a5C70/G´d?A:C7�?4:C:<BEL;-I9 /S-v5 �* ?A:m?N3"R0-0DQ58BE14-s143

587I/tH8?A5C/ ,�Z � 5aBE:�R0:</S3"R0J05C1mBE9 ?4L;BK-0/ ,dBE-0DSHC/+?A:CBE-IL.3"HC1;9 � 581>?.Jj?AHCL;/PiA?4JKR0/4q;e�B�587^5C70/tD�1;H<HC/S:CFY1;-0o0BK-0L´d?A:C7�?4:<:CBEL4-09 /S-O5PDb7@?A-0L;BE-IL^BE-N?kD�1;-O5CBE-vR01;R0:�3�?4:C70BK1;-x��?4-MBK-v5CR0BK5CBKi4/\o0/S:CDSHCBEF�58BE14-M143x5C70BE:�F0HC1)D�/S:C:hBK:?4:.3"1;JKJE1fe�:�Z � -0B�58Bj?AJEJKV4qYe�7I/�- ,MBE:m-0/�?4HCJ�VpUS/�H<10q�?4JEJ@l<1;=0:.e�BEJKJ�=Y/�?4:C:<BEL;-I/�o 581M5C70/29N?4Db7IBE-0/^70?fi)BK-0L587I/w:<9N?AJEJE/S:<5DS1;-0:W5b?4-O5a58/SHC9�Z,.-0D�/t5C70/tu@HC:W5�9 ?4Db70BK-0/tBE::<RIÌ�D�BK/�-O58J�VGJE1O?Ao0/�oxq;5C70/�:C/SD�1;-0o�9 ?4Db70BE-I/JE1)1;�v:^/Sµ)R0?4JEJ�V�?|5C58HC?4DS5CBKi4/4Z��t70BE:G1)D�DSR0HC:^e�70/S-�� % �* % e�� % ��� � ¾¿e�70/�-¼5C70/�JE1O?AoÏ1;-¼9 ?4Db70BE-I/ �BE:�� � �

� Z¸[h5M587IBE:MFY1;BE-O5�qt-0/Se l<1;=0:Ne�BKJEJ�=Y/ ?4:C:<BEL;-I/�o¿581¼=Y145C7·143m5870/nu@HC:W5�5{eP1¼9 ?4Db70BK-0/�:Sq\?|5

H8?|58/�:dF0HC1;FY1;HW58BE14-@?4Jx581 %� ?4-Io %

� :<1N587@?|5d587I/�:C/�5{eP1�9 ?4Db70BK-0/�:.DS1;-O58BK-)RI/�581N7@?+i;/G/�µvR@?AJ�Jj?|58/�-IDSV;Z

,.-0D�/ � � � � � � � � %� e %� �T3"RIH<587I/�HGR0-0B�58:^1A3we�1;H<�Ï7@?+i;/�?4H<HCB�i;/�oÑ?4-Io¼=º/S/�-&?4:C:<BEL;-0/SoÏ581 587I/Nu@HC:W5

5{e�1M9N?ADb70BE-0/S:�qº9N?4Db7IBE-0/ � e�BKJEJ�=Y/k/�µvR@?AJEJKV�?|5C58HC?4DS5CBKi4/^?4-0op-0/SeÀl<1;=I:\e�BEJKJ�=º/�:CF0H</+?4o 14RI5.?A9 1;-IL587I/ u@H<:<5T5870H</�/N9 ?4Db70BK-0/�:Sq�?4-IoÏ:C1n1;-xZ � /�9 ?fV 5C7vR0:^/�-Oi)BE:<BE1;-�5870/ ´d?A:C7¼?4:<:CBKL;-09�/�-O5^?A:k=Y/�BE-ILD�14-0:<5CHCR0DQ58/�oÑBE-¼FI7@?4:C/S:�g�e�BK5C70BE-�F07@?4:</+$�l<14=0:2?4HC/�?A:C:CBKL;-0/SoÜ5C1s5870/�u@H<:<55$m9 ?4Db70BK-0/�:2?4DSD�1;H<o0BE-IL581 uI_�/�o HC/SJj?A5CBKi4/kF0H<1;Fº14H<58BK1;-0:\?4-0o ?|5d587I/^/�-0op1435870/kF07@?4:</4q�?A3¦5C/�H\/�-01;RIL;7s-0/Qe·l<14=0:.7@?+i;/k=º/S/�-?4:<:CBEL4-0/�oxq�?A-n?Ao0o0BK5CBE1;-0?4J�9 ?4Db70BK-0/mBE:tF0R�5\BK-O5812R0:C/AZ� /T-01fe 3"1;H<9N?AJEBEUS/d587IBE:�BE-O58RIBK58B�i;/mo0/S:CDSHCBEF�58BE14-n143�587I/k´\?4:C7p?4:C:<BEL;-09�/�-O5��* Z Ó 1;H $ � �! " "" � q

JE/Q5�� '�o0/S-01458/>587I/ � �±i;/�DQ581;H � %� %� """# %��� 8� b� " ""� 8� � .�0 2 � ��B�3�� 2 � � F0RI5�� 2 � � � b� """# �� �QZ�t70/Ni4/�DQ581;H�� 'P:C701;RIJEoÏ=Y/NBK-v5C/�H<F0HC/Q58/�oÏ?4:^?p:<Fº/SD�B�u@D+?A5CBE1;-r143h5C70/ eP?+V�l<1;=I:^?4H</M?4:<:CBEL4-0/�o�5C1p587I/

u@H<:<5�$�9N?4Db7IBE-0/S:do0R0H<BE-0L 5870/F$�587 FI7@?4:C/AZm´\/`_)5+q�oI/Su@-0/�� '�3"1;H $ � � ��! """# � � � BK-0o0R0DQ58B�i;/�J�V�=vV��� � � ?A-0o��#' �Ê9�BE-�� � �V' � % � �V'�� �!� '"�

% , � 4'��%/I6#� �#'%$ � q)e�70/�H</&� ( �

%oI/�-0145C/�:P5C70/ 6 % �{-I1;HC9�Z � /

?4JK:C1�F0RI5�� 2 � , � 4 2 ��%/I6#� � '{Z��t7I/�:<D+?4JE?4H�� 'BE:.5C70/2?49�1;R0-O5m143xl<1;=0:.?4:C:<BEL;-0/SocBE-s587I/ $�587cF070?4:C/AZ� /TD�?4-�5870/S-no0/S:CDSHCBE=Y/'�* ?4:t3"1;JKJE1fe�:�Z

� �

Page 13: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

1 ' � � �2F3%(' # �Qy �įQ� }4�¼¤¦�IªQy±}4���b�2»¤¦y¦«c�®¤¦���C}4£2��}4yÖ�Q���Q� `­)���Qy�¤±z|�IªO8.}|ª }O¯Qz|¥4�QPXRx«@�Q�Ïy"«@�G©m}|ªb«}|ªbªQ¤�§4�@¨N�Q�@y�+z|£ � ¤Eªw§4¤¦¥4�Q�c¯��

�* �2�'76 %

�#' � '�!� '"�%"

,.R0H^Db7@?4HC?4DS5C/�H<BEU+?|58BE14-¼143�1;FI5CBE9 ?4JP?A:C:CBKL;-09�/�-O58: � ]�/�9�9N?s��Z �s?A-0oÑÅP1;HC14JEJj?AH<Vr��Z��O�TV)BE/SJEo0:^?4-?4-@?AJE1;L;14R0:aHC/�:<R0JK563"1;HaD�149 F0R�58BE-ILT5C70/�9 =OV ?4-N/`_�F0JEBKD�BK53"14HC9^R0JE?IZ�´w1458/�5870?A5ae�70/�-�?TJj?A5C/�-0DQVG3"R0-0D`�58BK1;-�70?4:�5C70/ 3"1;H<9 %�' � * '�� � � ' * 'Ie��V'~q�5C70/NDS1;HCH</�:<Fº1;-Io0BE-0Lp9N?4H<L;BE-0?4JD�1;:W5k3"R0-IDS58BK1;-ÏBK:&%Q_' � * '¦� �� �!' * 'Ie� '~ZpÁ�/�D�?4JEJKBE-0L�3"HC149ÔÅP14HC1;JKJj?4HWV���Z��n587@?|5G?4-r1;FI58BK9N?AJa?4:C:<BEL;-09�/�-O5kBE:k:<BE9�F0JKV ?s´d?4:<7¼?4:Ö�:CBKL;-09�/�-O56e�BK587NHC/�:<Fº/SDS5h5C1^Jj?|58/�-IDSV23"R0-0DQ58BE14-0:�%Q_+qveP/d:C/�/\587@?A5�5870/\1;FI5CBE9 ?4J�?4:C:<BEL;-I9 /S-v5PBE:6D�H</+?A5C/�o=OVM587I/m:8?49�/.F0H<1�DS/�:C:w?4:h5C70/>´d?A:C7n?4:C:<BEL;-09�/�-O5�qI/Q_�DS/�FI5w587@?|5t-0/Se 9N?ADb70BE-0/S:�?4HC/dBE-0DS1;HCFY1;H8?|58/�o�?|5?�9 14HC/^HC?4F0BEo F0?4D�/2:C1�?4:m5C1�:<F0HC/�?4oNl<1;=0:>1fi;/SH�?Me�BKo0/�HmHC?4-0L;/G143�9 ?4Db70BE-I/�:>?4-0o 5C7)RI:�?ADb70BE/Qi;/�?:C9 ?4JKJE/�H�581458?4JxJj?|58/�-IDSV;ZÓ 1;HC9 ?4JEJ�V;qJK/S5 � 'd=Y/�?4:�?4=º1fi4/p?4-IoÀo0/Qu@-0/ � _' BE-0oIR0DS5CBKi;/SJKV¼=OV � _� � � q � _' �Û9�BE- � %

�� �V' � % �

�V'�� �!� '"�% , � 4

'��%/I6#� � _' $vq@?4-0o � _2

�1, � 4 2 ��%/I6#� � _' Z�]�/S5<58BE-IL * _ o0/S-0145C/.5870/>1;FI5CBE9 ?4Jº?4:C:<BEL;-09�/�-O5h5C1� � ,;�`qI587I/�?A-@?4JE14LG143J]�/S9 9 ?2��Z � BK:�?4:h3"1;JEJK1fe�:�Z

1 ' � � �2F3%4$$# �Qy � ¯Q�m}4�n¤¦�IªQy±}4���b�d»¤¦y"«N�®¤¦���C}4£d��}4y{�Q���Q� `­����Qy�¤±z|�IªO8}|ª>}O¯Qz|¥4�QP Rx«@�Q�ny¦«@�kzb¢Yy�¤¦¨�}4�}|ªbªQ¤�§4�@¨N�Q�@y�+z|£ � ¤Eªw§4¤¦¥4�Q�c¯��

* _ �2�'76 %

� _' � '�!� ' � %

"

]�/�9�9N?4:w�)Z � ?4-0op��Z²�^7@?+i;/T:C/Si4/�HC?4J�R0:C/Q3"R0J�D�1;H<1;JEJE?4HCBK/�:�Z � />:<R09 9 ?4H<BEU�/\5870/S9Ä=º/SJE1fe>Z

�����|�Y(�( � ��� F&%4?$# �Qy�� ¯Q� }�ªf�Qy>z ^¨�})�b«)¤¦���bªG»¤¦y¦«c��}4yÖ�Q���Q� `­)���Qy�¤±z|�Iª �%#' � * '���� �!' * 'Ue �V' $ 'A@B}4�YÍ�}4ym¨NzfªQykz|���M¨�})�b«)¤¦���M»¤¦y¦«Ñ}Ï�bz|�IªQy~}4�@ym��}4y{�Q���Q� `­)���Qy�¤±z|�UP # �Qy��V'G¯Q�M��z|�YÍ)�b�Q£b�C}|ªQ¤¦�)§s¤¦� $OPRx«@�Q�UT� } � 5 * _ }4�YÍ �* Í)�Q��z|yÖ�my"«@�Gzb¢Yy�¤¦¨�}4��}4�YÍ2©m}|ªb«p}|ªbªQ¤�§4�@¨N�Q�@y"ª.yÖz � � ,4�O8ay¦«@�Q� * _2

�* 2 P� ¯2� 5 * _2}4�YÍ �* Í)�Q��z|yÖ�my"«@�Gzb¢Yy�¤¦¨�}4��}4�YÍ2©m}|ªb«p}|ªbªQ¤�§4�@¨N�Q�@y"ª.yÖz � � ,4�O8ay¦«@�Q� * _ % - �* % -Ê� * _ % P� � � 5 * _d¤Eª�y¦«@�.zb¢Yy�¤¦¨�}4�@}|ªbªQ¤�§4�@¨N�Q�@y +z|£ � � , % �w}4�YÍ d _w¤Eªty"«@�.zb¢Yy�¤¦¨�}4�@}|ªbªQ¤�§4�@¨N�Q�@y +z|£ � � , � �»¤¦y¦«-, % , � 86y¦«@�Q� * _' d _' +z|£k�C})�b«-$OP� Í �WV�z|£\}4�@�k£<}4yÖ� , 8�y¦«@�>zb¢Yy�¤¦¨�}4�Y}4�YÍT©m}|ªb«M}|ªbªQ¤�§4�@¨N�Q�@y"ªmz � � ,4�>�C}4��¯Q�>�bz|¨d¢Y­�y{�CÍk¤¦�� � ��� �

y�¤¦¨N�QP� £8zfz P ��?4H<5C: � Df�2?4-0o � o��2?4HC/�BK9 9�/�o0BE?A58/ 3"HC1;9 ]�/�9�9 ?4:���Z � ?4-Io·��Z²��Z Ó 1;H^5C70/�HC/�9 ?4BK-0BE-0LF@?4HW58:Sq�u�_c?4-cBE-I:<5b?A-0D�/ � � ,;�\?4-0o�o0/Su@-I/�� '~q � '~q�?4-0o � _' ?A:mBE- ]�/�9�9N?4:m��Z � ?A-0oÏ�)Z ��Z^,.R0H.u@HC:W51;=0:</�HWi4?|58BE14-^BE:�587@?A5�qA3"1;H�?4-OV9$ . � �R � "" "� � $vqA5870/P´d?4:<72?4:C:<BEL;-09�/�-O5�:CDb70/So0R0JE/S:6?A5�JK/+?4:W5�?4:�9N?4-OVl<1;=0:dBE-n5C70/ku@H<:<5�$PF07@?4:</�:>?4:d5C70/^1;F�58BE9 ?4J�?4:<:CBKL;-09�/�-O5W¾¿3"1;HC9 ?4JEJ�V;q05C7@?A5 4 ' � 6 % � ��>4 ' � 6 % �:_� 3"14H?4JKJ $CZ ° BK-0D�/ 4 2 � 6 % � � � 4 2 � 6 % � _� �1,)qIe�/�14=I5b?4BK-��:_

2 � 2 ?4-0o�70/�-ID�/ * _2

* 2 q0FIHC1fi)BE-0L � ?;�QZ� 5GHC/S9N?ABE-0:>581sFIHC1fi;/�F@?AH<5 � =��T1A3t5870/MDS1;HC14JEJj?AH<V;Z � /N9 ?fVr?4:<:CR09�/N5C7@?A5 � + � � 1A5870/SH<e�BE:</�* % � * _ % � ,;�`Z�]�/Q5C5CBE-0L � : /Sµ)R0?4J � BK3�587I/�HC/mBK:h-0129 ?4Db70BE-I/de�BK5C7�D�1;-0:W5b?4-O5�JE?A58/S-0DSV 3"R0-0DS5CBE1;-�?A-0o

�f�

Page 14: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

� � � 1A5870/SH<e�BE:</4qU]�/�9�9N?A:���Z � ?A-0os�)Z �^L;B�i;/

* _ % ��� %

2 C�'76 %

� _'�!� '"�%

?4-0o�* % �

�� %

2 C�'76 %

� '�!� ' �%"

'�V 5870/.oI/Su@-0B�58BK1;-0:h143 � '�?4-0o�� _' q�e�/m7@?+i;/ �#'f-Ê� � _' 3"1;H�$ � �! � " ""� � ?4-Io�70/�-0DS/ �* % -Ê� * _ % Z Ó 1;H587I/^14587I/�HdBK-0/�µvR@?AJEBK5{V4qYe�/GHC/SD+?4JKJ�587@?A5&4 ' � 6 % �:_� ->4 ' � 6 % � ��3"1;H\/+?4Db7 $h?A-0os1;=0:</�HWi;/G587@?|5 �!� '"�%BK:

BE-ID�HC/�?4:CBK-0L2BE- $ � 3"14H $ . � �! � " ""� � : $A�Q�0B�5h3"1;JKJE1fe�:h587@?|5 * _ % - �* % Z

ÅP1;HC14JEJj?AH<V �)Z � � o��MBE9�F0JEBK/�:N5C7@?A5�587I/W] ] Ó :W58HC?A58/SL4V D+?4-Ê=Y/rDS1;9 FIRI58/So BE- � ��� �N58BK9 /s3"14HBE-I:<5b?A-0D�/S:�e�B�587�JEBK-0/+?4HPJj?A5C/�-0DQVN3"R0-0DQ58BK1;-0:�Z

��� � �2� ����� � �'� � � � � ��� ��� ��� � � ��� � � �� - ° R0=I:C/�DQ58BK1;-r��Z � e�/G:8?+e ?4-s/`_0?A9 F0JK/ke�BK5C7sJEBK-0/+?AHdJj?|58/�-IDSV�3"R0-0DS5CBE1;-I:m?4-0o � � %

�BE-pe�7IBEDb7¼��z

:<5CH8?A5C/�L4VTD�?4-kBK-0o0R0DS/h?4-k?4:C:<BEL;-09�/�-O5�e�BK5C7kDS1;:<5�JE/�:<:�5C7@?4- ��58BE9�/�:�5C7@?A5�143I5C70/P1;F�58BE9 ?4JO?A:C:CBKL;-09�/�-O5+Z

�t70BK:w/`_I?49 FIJE/mBE:t/�?4:CBKJKVN9 1)o0BKu0/�oM5812:<701fe 587@?|5+q03"1;H�?4-OV � . � � �� �QqI5C70/>9 BK-0BE9^RI92�~D�1;:W5PBK-0o0R0DS/�o?4:<:CBEL4-09 /S-O5G3"1;H2? ° 5b?4Db�A/�JK=º/SHCL�BE-0:W5b?4-0DS/ � � , ����e�BK5C7ÜJEBE-I/+?4H�Jj?A5C/�-0DQVÏ3"R0-0DQ58BE14-0:G9N?+V�=º/ �

��� �58BK9 /S:T?4:�DS1;:<5CJKVr?4:>5870/�1;FI5CBE9 ?4Ja?4:<:CBEL4-09 /S-O5T3"14H � � ,4�QZ��t70/ 9N?4BK-cHC/�:<R0JK5�143h5C70BE:>:</�DS5CBE1;-�BE:T?9 ?A58Db70BK-0LGR0F0FY/�Hw=Y1;R0-0o�3"1;Hh5C70/ ]f] Ó :<5CH8?A5C/�L4V4Z'P/S3"14HC/mF0H<1$i)BK-0LG5870BK:tHC/�:<R0JK5�qIe�/TL4BKi;/.?4-�?4JK5C/�HC-0?A58B�i;/.o0/S:CDSHCBEF�58BE14-�1A3,] ] Ó 5870?A5�BE:t9�1;HC/dD�1;-Oi;/`�

-0BK/�-O5�3"1;Ht1;R0H�?4-0?4JKV):CBK:�Z�t70BK:�o0/�:<D�HCBKFI58BK1;-�BE:t=@?A:C/�o�1;-�5870/m3"1;JKJE1fe�BE-IL^JE/S9 9 ?IZ

1 ' � � �2F3%A@ # �Qy * _ ¯Q�T}4�czb¢Yy�¤¦¨�}4�x}|ªbªQ¤�§4�@¨N�Q�@y +z|£ � � ,;�.»�«@�Q£8�m¨�})�b«)¤¦����$�«I}|ª.��}4yÖ�Q���Q� `­)���Q¡y�¤±z|� %�' � * '¦� ��� ' * 'Me �V'"P�Rx«@�Q� %#' � * _' � % / � * _/ �T¤ �}4�YÍ�z|�@�®��¤ �V' ��/:P� £8zfz P �t70/cJE/S9 9 ?rBK:�D�JE/�?4HMe�70/S- * _' � * _/ � � ZË,d5C70/�HWe�BE:C/Aq\e�/ e�BEJEJ\9N?A�4/ R0:</�1A3k1;RIHDb7@?4HC?4DS5C/�H<BEU+?|58BE14-s143a1;FI5CBE9 ?4J�?4:C:<BEL;-I9 /S-v5C:di)Bj?N9 ?4Db70BK-0/k9 ?4H<L;BE-@?AJ�DS1;:<5d3"R0-0DS5CBE1;-I: � ]�/�9�9 ?M��Z²�;�QZ� 3t/`_0?ADS58J�Vc1;-0/ 143 * _' * _/ BE: � � :8?+V * _' �Qq�5870/S-�=OV2]�/S9 9 ?n��Z �Me�/N�v-01fe 587@?|5�5C70/N9 ?4HCL4BE-@?4J�D�1;:W5%Q_' � * _' � � %`_' � � � ���V'�143�9N?ADb70BE-0/�$BK:�?A5�JE/�?4:<5t5C70/m9 ?4HCL;BK-@?4JYD�1;:W5 %`_/ � * _/ � � � � / * _/ e �"/d143�9 ?4Db70BE-I/) Zt�t7vR0:de�/^-0/�DS/�:<:8?4H<BEJKV�70?fi4/^=Y14587 %�' � * _' ��;% / � * _/ �w?A-0o �V' ���/$Z Ó BE-0?4JEJ�V;q0B�3 * _' * _/ + � 5C70/�-p=vV]�/�9�9N?���Z²�NeP/ 7@?+i;/N� �!' * _' e � ' � � � / * _/ e �"/ ��6�_m3"1;H>:C1;9�/Z6 _+��587vR0:��V' ��/^B�3h?A-0or14-0JKV B�3�!' * _' - � / * _/ Z�t70/TJE/S9 9 ?�3"1;JKJE1fe�:h=OV�e�HCB�58BE-IL9%�' � * _' � � 6�_ � �!' * _' ?4-0o %0/ � * _/ � � 6�_ � � / * _/ Z

]�/�9�9N?���Z��NL;B�i;/S:�5C70/>3"1;JEJK1$e�BK-0LG/�µvR0B�iA?4JE/S-v5\o0/S:CD�H<BEFI5CBE1;-�143�5870/7] ] Ó :<5CH8?A5C/�L4VYg�:8?A5CR0H8?A5C/>9N?|�Db70BK-0/�:>1;-0/`�{=OVO�{1;-I/4q�BE- o0/SD�H</+?4:<BE-0L�1;H<o0/�Hm143�D�14-0:<58?4-O5T5C/�H<9 :Sq�R0-O58BEJ�-01�D�/S-v5CH8?4JKJKVpD�1;-O58H<1;JEJK/�o l<1;=I:HC/S9N?ABE-xZ � 5.9 ?+V�:C/�/S9Ò:<R0HCF0H<BE:<BE-0L�587@?A5\5870/ ] ] Ó :<58HC?A58/SL4V�9N?A�4/�:d-01MR0:</^143�5C70/ �!'K�±i4?AJER0/S:dBE-n1;HW�o0/SHCBE-IL^5870/>9 ?4Db70BE-I/�:��I701feP/Qi;/�HSq@5870BK:tBE:hDS1;-0:CBK:<5C/�-O5�e�BK587�1;RIHt1;=0:C/SH<iA?A5CBE1;-�BK- ° R0=0:</�DS5CBE1;-p��Z � 587@?|5587I/k1;H<o0/�HwBE-�e�70BEDb7s9 ?4Db70BK-0/�:\?4H</�R0:</�o =OV�5870/�1;FI5CBE9 ?4J�?4:<:CBEL4-09 /S-O5+qYBK3�e�/k5C70BE-0��1A3�5870/TH8?|58/^?A:BE-ID�HC/�?4:CBK-0LG3"HC1;9 � 5812:C1;9�/mJj?AHCL;/diA?4JKR0/4qIo0/�FY/�-0oI:\1;-IJKVM14-�5C70/mD�1;-I:<5b?A-v5w58/SHC9�:t143�5870/>9 ?4Db70BE-I/�:��Jj?|58/�-IDSVM3"R0-IDS58BK1;-0:SZ

� �

Page 15: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

� /^?4HC/Tu@-@?4JKJKV�F0H</�F@?4H</�os5C1MF0HC1fi4/G? ���� �

FY/�H<3"14HC9 ?4-0D�/�L;R@?4HC?4-O58/S/k3"1;H\5C70/ ] ] Ó :W58H8?|58/�LAV�3"14HBE-I:<5b?A-0D�/S:^e�BK587�JEBE-I/+?4H�Jj?A5C/�-0DQVr3"R0-IDS58BK1;-0:SZ �t70/�L;/�-I/�H8?AJh?4F0FIHC1O?4Db7ÜBK:k:CBK9 BKJj?4Hm5C1s587@?A5k143w�t70/�1|�HC/S9Ô�0Z²�s?4-0oÜBK:2?4LO?4BK-Ï=OVÏBE-Io0R0DS5CBE1;-¼14-Ü5C70/�-vR09^=Y/�HG143w9 ?4Db70BK-0/�:SZ �\1fe�/Si4/�H�q�-0/Se o0BKÌ�DSR0JK5CBE/�:?4H<BE:C/wBE- F0HC1fi)BE-IL^?k:W58HC14-0L;/�H6FY/�H<3"14HC9 ?4-0D�/\L;R@?4HC?4-O58/S/4Z�t70/\D+?4:</.BE-�e�70BEDb7N5C70/�H</dBK:�:<1;9 /w9 ?4Db70BE-I/�k1;-^e�70BKDb7G5870/tBK-0o0R0DS/�o2/�µvR0BKJEBE=IHCBERI9 ?4:C:<BEL;-0:�-01�l<1;=0: � B±Z�/4Z�q � � � � 3"1;H�:<1;9�/ �0��BK:�-0/+?AHCJKV�BEoI/�-O58BKD+?4J581G5C70/Tu0HC:<5wD�?4:C/T143��t70/�1;H</�9Ä�0Z²��g587I/ToI/�:CBKHC/SopFY/�H<3"14HC9 ?4-0D�/mL4R@?4H8?A-v5C/�/>D+?A-p/+?A:CBEJ�VM=Y/>/Q_)58HC?4DS5C/�o3"HC149 5C70/.BE-Io0R0DS5CBKi4/mL;R@?4HC?4-O58/�/\3"1;HP587I/.:C9 ?4JEJK/�H6BE-0:W5b?4-ID�/m143�9 ?4Db70BK-0/�:h14-Me�70BEDb7 � 'f+ � Z��t7I/m:C/�D`�1;-0o2D�?4:C/AqOBE-^e�70BKDb725C70/tBE-Io0R0D�/So2/�µvR0BEJKBE=0H<BER09 ?A:C:CBKL;-0:ºl<1;=I:�581>?4JKJ�9 ?4Db70BK-0/�:SqOBE:�:<R0=0:<58?4-O58BE?4JEJ�Vk9�1;HC/D�149 F0JKBED�?A58/SoxZ � -GF0?4H<5CBED�RIJj?4HSq|5C70/h:CBK9 FIJE/�?4F0F0H<1O?4Db7GBE-�5870/hFIHC1)143�143Y�t70/�14HC/�9]�0Z²�\o01)/�:h��z|y�R0:C/t?A-vVBE-Io0R0DS5CBKi4/kL;R@?AH8?4-O58/S/^BE-n5870BK:dD+?A:C/G?4-Io BE:�587vR0:m-0145d:<5CHC1;-0LN/�-01;RIL;7s581MFIHC1fi;/2?NL4R@?4H8?A-v5C/�/^=Y/S5<58/SH5870?4- %

�Z Ó 1;H>5870BK:kH</+?4:<1;-xq9^R0Db7¼1A3t5870/ F0HC1)143�BE:�o0/Si41458/SoÏ581soI/Su@-0BK-0L ?4-Ü?AF0F0HC14F0HCBE?A58/�:C9 ?4JEJK/�H

BE-I:<5b?A-0D�/k5C7@?A5>?AJEJE1fe�:�3"1;H.DSJE/+?A- ?4F0F0JKBED�?A58BK1;-n1A365C70/^BK-0o0R0DQ58BKi4/^7OV)Fº145C70/�:<BE:>?4-Ios581M/`_�5C/�-0oIBE-0L�587I/BE-Io0R0DS5CBKi4/TL4R@?4H8?A-v5C/�/>BE-O5C1�14-0/.3"1;Ht5870/>1;H<BEL;BK-@?4JYBE-0:W5b?4-ID�/4Z

� #�'v���|'*� F&%4F$# �Qy � � � � , ���dÍ)�Q��z|y{�d} ��y~})�bÝO�Q��¯Q�Q£�§�¤¦�IªQy±}4���b��»¤¦y¦«��®¤¦���C}4£w��}4y{�Q���Q�(`­����Qy�¤±z|�IªQP5 �r¤Eª�}4� # # V ªQy�£<}4y{�±§4� +z|£��Ĥ¦�YÍ4­@�Q¤¦�)§Ï�C¬�­)¤¦�®¤�¯�£`¤¦­�¨ ��}4�YÍ * _ ¤Eª�}4�·zb¢Yy�¤¦¨�}4�P}|ªbªQ¤�§4�@¨N�Q�@y-+z|£� � ,;�08ay¦«@�Q� E � �9e �<�.- �

��� �E � * _`� P

� £8zfz P � /^F0H<1�DS/�/So�=OVnBE-0oIR0DS5CBE1;-s14-s5870/^-vR09k=º/SH.14369N?ADb70BE-0/S: � � 3"14H./+?4Db7su�_I/So � q�eP/^e�BKJEJF0H<1$i4/T5C70/m5870/S1;HC/S9 3"1;H�?4H<=0BK5CH8?4HWV � JEBE-I/+?4H8��%Aq ,�q�?A-0o ���QZ�t7I/�D�?4:C/>143�1;-0/>9 ?4Db70BE-I/mBE:h58H<BKi)Bj?AJ±ZÓ B�_¼? ° 5b?4Db�A/�JK=º/SHCL�BE-0:W5b?4-0DS/ � � � � , ����e�BK587Ñ?A52JK/+?4:W5G5{eP1�9 ?4Db70BE-I/�:�?4-0oÜJE/Q5 %#' � * '"� �

�!' * 'Ue��V' � e�BK587 �!' � ' � �QZ7]�/S5 * _ o0/�-I1458/2?4- 14FI58BK9N?4J�?4:<:CBEL4-09 /S-O5.581 � � ,4�QZ � /G=Y/�L;BK-pe�BK5C7:C/Qi;/SH8?4J:<BE9�F0JEB�3¦V�BK-0LM?A:C:CRI9 FI5CBE1;-I:�q�/+?ADb7�9 ?4o0/^e�B�587 -01�JK1;:C:.1A3PL;/S-0/�HC?4JEB�5{V;ZT[d:mBK- �t70/�1;H</�9 �IZ ��qe�/M9N?+V�?4:<:CR09�/ 5C7@?A59, � � Z � /M?4:<:CR09�/�?4:TR0:<R@?4J�5C7@?A5T5870/SHC/MBK:k?|5k9�1;:<5�1;-0/ 9N?ADb70BE-0/2e�BK5C7?MD�14-0:<58?4-O5>Jj?A5C/�-0DQVp3"R0-0DQ58BK1;-xZ � 5me�BEJKJ�?4JK:C1M=Y/GD�14-vi4/�-0BK/�-O5>581�?4:<:CR09�/^5870?A5m:C149 /^9 ?4Db70BK-0/ $t7@?A:D�14-0:<58?4-O5G58/�H<9 � Z���1 /�-�3"1;HCDS/M5870BK:G?4:C:<R09�FI58BK1;-�e�/�9N?+Vr:CR0=I5CH8?4DQ529 BK- ' �V't3"H<1;9 /Qi;/SH<V¼JE?A58/S-0DSV3"R0-0DQ58BK1;- =Y/S3"14HC/\?4F0F0J�V�BK-0L>1;R0H6?4H<L;R09�/�-O5+g�?4:C:<R09 BK-0L , � � qO587IBE:a9 1)o0B�u@D+?A5CBE1;-GoI/�D�H</+?4:</�:P5C70/�D�1;:W5143w/Si4/�HWVÑ?4:C:<BEL;-09�/�-O52=OVÏFIHC/�DSBE:</�JKVÏ9 BK- ' �V'w?4-0o¼e�BKJEJP14-0JKVrBE-0DSHC/�?4:C/M5C70/�H8?A5CBE1sBK-¼D�1;:W58:2=º/Q5{eP/S/�-?4-OVs5{e�1s?4:<:CBKL;-09�/�-O58:SZ Ó BE-@?AJEJKV4q�e�/ ?A:C:CRI9 /G5870?A5T-01�9N?4Db7IBE-0/G7@?A:TJE?A58/S-0DSVp3"R0-0DS5CBE1;-�%#' � * '���� �� 1A5870/SH<e�BE:</m5870/>BE-I:<5b?A-0D�/>BE:h5CHCB�i�BE?4J¦�`Z

]�/S5 �.o0/S-01458/.?4- ] ] Ó :<5CH8?A5C/�L4V�3"1;H �&?4-Io �5870/.BK-0o0R0DS/�o�/Sµ)RIBEJEBK=0HCBKR09�Z ]�/Q5 6 + � o0/�-01A58/.587I/D�149 9�1;-TJj?A5C/�-0DQV>1430/Qi;/�HWVk9 ?4Db70BK-0/6R0:C/So^=OV�� � :C/S/.]�/�9�9 ?d��Z �f� �`Z � -Io0/Q_T587I/�9 ?4Db70BK-0/�:�143 � ?A:�BK-587I/.:C/SD�1;-0o�o0/S:CD�H<BEFI5CBE1;-N143�5870/ ] ] Ó :<5CH8?A5C/�L4V � :</�/ ]�/�9�9N?k��Z��v�Qq�:C1G587@?|5 � ��� % - � � - ( ( ( - � 2?4-0o � % + � Z � /ke�BEJKJ�-0/�/Soc5C1M?4FIF0JKV�587I/^BE-0oIR0DS5CBKi;/�7OV�FY145C70/�:<BE:mBE-�5{eP1�oIBK¹º/�HC/S-O5deP?fV):Sq�?4-0os1;RIH?4-@?AJKV):CBK:t=0HC/�?4�v:\BK-v5C1^5{eP1 D+?4:</�:SZ�a}|ªf� � T ° R0F0FY1;:C/ � � � � 3"1;H.:<1;9�/ �ºZ�,.R0H>?4HCL4R09 /S-O5de�BEJKJ�=Y/G/�:<:C/S-v5CBj?4JKJKV�BEoI/�-O58BKD+?4J�581M587I/ku@HC:W5D+?A:C/TBE-�5870/TF0H<1�143�143��t70/�1;H</�9Ä�0Z²��Z ]�/S5�� % o0/S-0145C/>5C70/T9N?4Db7IBE-0/S:w14-�e�70BKDb7 � ' � � ?4-0o � � 587I/9 ?4Db70BE-I/�:^1;-re�70BEDb7 � ' + � Z Ó 1;H9$�� �! �)q�JE/Q5 � 'to0/S-01458/M5C70/�?49�1;R0-O5k143�D�/S-v5CH8?4JKJKV�D�14-v5CHC1;JKJE/Sol<1;=0:m14- 9N?4Db7IBE-0/S:.BE- � '~Z Ó 1;H $ � �! �NJK/S5�E 'ao0/�-01A58/^587I/GD�1;:W5>BE-0DSR0HCH</�o =OV � e �d14- 9N?4Db7IBE-0/S:BE-+� '{Z6,.=0:C/SH<i;/>5870?A5 E % � % 6&?4-0o+E � � � � � � % ��6�Z ° BK-0D�/ * _�HC/S:<5CHCBEDQ58/So�5C1 � � BK:t?4-�1;FI5CBE9 ?4J?4:<:CBEL4-09 /S-O5h3"1;H � � � �� � � % �`q��mHC/�:W58H<BEDS5C/�o�581 � � BK:t?4- ] ] Ó :W58HC?A58/SL4VN3"1;H � � � � � � �� � � % � : �Qqe�70/SHC/�� :�� �

%�� �� Z��t70/\BE-0oIR0DS5CBKi;/w7OV)Fº145C70/�:<BE:Sq0?4F0FIJEBE/So�5C1 � � q�?A-0o 5C70/w3�?ADS56587@?A5 * _' �' � � '`e � '3"1;H�?4JKJ $ . � % BE9�F0JKV�5870?A5

E � * _ � E % e� e � :� E � "

� �

Page 16: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

�HC1fi)BE-0LG5C7@?A5 E � �9e �<� - ���� �

E � * _ ��5C7vR0:\H</�o0RID�/�:�581�:C7I1$e�BK-0L� � e ��� � E % e E � �.-·� E % e � � e � : ��E � "

° BK-0D�/�� - � ?4-0o E % � % 6�qB�5^:<RIÌ�D�/�:G5C1 F0HC1fi;/M5C70BE:kBE-0/Sµ)R0?4JEB�5{V e�BK587 E % H</�F0JE?4D�/So¼=OV�� % 6�Z� HCBK5CBE-0L5E � � � � � � % ��6tq ��:�� �

%�� �� q�?4-Io�oIBKi)BEo0BK-0L^587IHC1;R0L47n=OV^6&i4/�H<BKu@/S:w5C70/>HC/�:<R0JK5�Z

�a}|ªf���\T ° R0F0FY1;:C/ � 'f+ � 3"1;H�?4JEJ�9 ?4Db70BE-I/�: $ . �]Za�t70BE:6BE9�F0JEBK/�:5870?A5��fe �aBE:h?�´d?4:<7�?4:<:CBEL4-09 /S-O53"1;H � � �� �Q��=vV�ÅP1;H<1;JEJE?4H<Vc��Z � � ?O�de�/N7@?+i;/ � 2 � � 2 e � 2 - * _2

� BK-rF@?AH<58BKD�R0JE?4H�q�e�/N9^RI:<5^70?fi4/* _2

+ � �QZ � 5m3"1;JKJE1fe�:\5C7@?A5m5C70/S] ] Ó :W58H8?|58/�LAV �23�?ABEJE/Sos581�:C?A58R0HC?A58/G9 ?4Db70BK-0/ � q�:C1 � 2 � �·?A-0o� ' � � 3"1;H $�� � Z,.R0H�u0HC:<5 L;1O?AJtBE:G581�:C701feÕ5C7@?A5 �nBE:�?4- ] ] Ó :W58H8?|58/�LAVÜ-0145 1;-0JKV�3"1;H �Ë=0RI5 ?4JE:<1�3"14H���: �

� � : ���� � % �%���� �`qIe�70/�H</F� : �1���� � $ � e�/m9N?+V�5870/S-p?AF0F0JKV�587I/mBE-0o0RIDS58B�i;/.7OV)FY145870/S:CBK:�5C1��TBK-587IBE::C9 ?4JKJE/�H�BE-I:<5b?A-0D�/+�QZ���1feh?4H<o�5C70BE:/S-0oxqOJK/S5 d _�o0/�-01A58/t5870/t14FI58BK9N?4J�?4:<:CBEL4-09 /S-O5581.587I/wBK-0:<58?4-0DS/� � : ���� � % �`Z ° BK-0D�/ � e �aHC/S:<58H<BEDQ58/�o 5815�;:IBE:P?k´d?A:C7�?4:<:CBKL;-09�/�-O5P3"1;H � � : ���� � % �`q)e�/.9^RI:<5h70?fi4/d _2 � 2 e � 2 � :C/S/^ÅP1;H<1;JEJE?4H<VM��Z � � ?;�C�Q��:CBK-0D�/ ��� � 2 � � 2 e � 2 - d _

2qI5C70/ ] ] Ó :W58H8?|58/�LAVM3"1;H � :

BE:tFIHC/�DSBE:</�JKV � � H</�:W58HCBKDS5C/�o�581 � : �QZ]�/S5 E _% E _� o0/S-01458/w5870/\581458?4J�Jj?A5C/�-0DQV BK-0D�RIHCHC/SoM=OV * _h14-N9 ?4Db70BE-I/ � ?A-0oMBE-3� : q�HC/�:<Fº/SDS5CBKi;/SJKV4Z

�t70/�-0/Q_)5.DSJj?4BK9ÕL;B�i;/�:\? JK1feP/SH\=Y1;R0-0op1;-�E _�qº?4:d?23"R0-0DQ58BE14-n143�5870/�?49�1;R0-O5d1A3ºl<1;=0:\?4:C:<BEL;-I/�on5C1

9 ?4Db70BE-I/�:�BE-+� : BE-�5C70/>1;FI58BK9N?AJ�?4:<:CBKL;-09�/�-O5+Z�k( �0�6� � 5 �, : � � � % 8ay¦«@�Q� y"«@�G�bzfªQytz my¦«@�Gzb¢Yy�¤¦¨�}4��}|ªbªQ¤�§4�@¨N�Q�@y�+z|£ � � : , : �>¤Eªk}4y��E�C}|ªQy

� e � :� � � � � % ��6 e � , : � � e � % ��6

»�«@�Q£8� � : � �%����

P� £8zfz P �t70/�DSJj?4BK9ÛBE:kFIHC1fi;/SoÑ3"1;HF, : � � � � % =OV¼?AF0F0JKV)BK-0Lp587I/MBE-0oIR0DS5CBKi;/�7OV)FY145870/S:CBK:^581s587I/BE-I:<5b?A-0D�/�� : � � � : ���� � % � : �\?4-0opR0:CBK-0LN587I/k3�?4DS5\587@?|5 �GBE:.?A->] ] Ó :<58HC?A58/SL4V�3"1;H�� : BE-0o0RID�BE-IL?4-�?A:C:CBKL;-09�/�-O5�143�D�14:<5 � ��� � % ��6tZ ° R0F0FY1;:C/.-I1$e 5C7@?A5 , : + ��� � % Z � /d?4LO?4BK- oI/�-0145C/d587I/d1;FI5CBE9 ?4J?4:<:CBEL4-09 /S-O53"1;H � � : �� � � % ��=OV d _ Z ° BE-0DS/ d _ ?4-Io �Ue � � H</�:W58HCBKDS5C/�oG581F� : ��?AHC/�?4:<:CBEL4-09 /S-O58:6?A5587I/:8?A9 /wH8?A5C/ � -@?49�/�JKV4q ��� � % ��?A-0oN587I/dD�149 9�1;-�Jj?A5C/�-0DQV 1A3�/Si4/�H<V 9 ?4Db70BE-I/we�B�587MH</�:CFY/�DQ5P5C1 � e �BK:6tq)5C70/�H</\BK:�:<1;9�/w9 ?4Db70BK-0/�$�e�B�587 d _' + � ?4-0o5%�' �(d _' � C6tZ ° BE-ID�/�5870/w9N?AHCL;BK-@?4JIDS1;:<5P143�?>9 ?4Db70BE-I/BE:6?A56JK/+?4:W5�B�58:aJj?|58/�-IDSV;q ]�/�9�9N?T��Z²�mBE9�F0JEBK/�:�5C7@?A5a5870/w9 ?4HCL;BK-@?4J0DS1;:<5�143�/Si;/SH<V�9 ?4Db70BE-I/wBK-3� : BK:�?|5JE/�?4:<5�6Àe�B�587�HC/�:<Fº/SDS5w581 d _SZ '�V�ÅP14HC1;JKJj?4HWV���Z � � D+�t?4-0on5C70/>1;=0:</�H<iA?A5CBE1;-�5870?A5w9N?4H<L;BE-0?4JxD�14:<58:\?4H</-01;-Io0/�DSHC/+?A:CBE-ILM3"R0-0DS5CBE1;-I:.143587I/^9N?ADb70BE-0/�JE1O?Aoxq�/`_�5C/�-0oIBE-0L d _\3"HC149Ò?4-p1;FI58BK9N?AJ�?A:C:CBKL;-09�/�-O5d3"14H� � : �� � � % ��581>?A-�14FI58BK9N?4J�?4:<:CBEL4-09 /S-O5�3"1;H � � : , : ��BK-Oi;1;J�i;/�:5C70/�?4:C:<BEL;-I9 /S-v5�143 , : � � � � � % ��RI-0BK5C:143�l<1;=0:Sq�?4JKJ�?4:<:CBKL;-0/�or?A5�?�9N?AHCL;BK-@?4J�DS1;:<5T143h?A5>JE/�?4:<5 6tZ��t7vR0:�q�5870/21fi;/SH8?4JKJD�1;:W5�1A3h?4-�1;FI5CBE9 ?4J?4:<:CBEL4-09 /S-O565C1 � �;: , : �9kR0:<5�=º/w?A56JK/+?4:W5 E �(d _ � e � , : � � e � % ��6 ��� �

C�� � � � % ��6 e � , : � � e � % ��6�Z

,.R0HaL;1O?4J@BK:�581TF0HC1fi;/�5870?A5 � � e ���)E � �&e �<� -·�!E � * _`� � � � E _% e E7_� �Q�ve�BK5C7�5C70/�D�Jj?ABE9 BE-�7@?4-0oxqe�/�7@?+i4/�H</�o0R0DS/�o�5870/>F0H<1�143�143�587I/>5C70/�14HC/�9Õ5C12F0HC1fi)BE-0LG5C70/>BE-0/Sµ)R0?4JEB�5{V� � e ����6 - � � e � : � � � � � % ��6 eÜ� � � % � * _ % ��6 eÑ� � % � * _ % � �

e�70/SHC/ � : � �%����

� HC/SD+?4JKJ)5C7@?A5�% % � * % � ��� % * % ?4-0o^7I/�-0DS/�E7_% ��� % � * _ % � � �QZ Ó 1;H�?4-OVTuI_�/�oGiA?4JERI/�143 � % q* _ % . � %� � % � % � � :C/�/kÅP1;H<1;JEJE?4H<VM��Z � � =��<�QZ �\:<BE-0L2587I/�BKo0/�-O58B�5{V � % � % � 6À?4-0o�o0BK¹º/�H</�-O58BE?A58BK-0L0q�e�/>u@-0o

� �

Page 17: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

5870?A5.587I/^HCBKL;7O5<�{70?4-0os:<BEo0/^BK:.9�BE-0BK9 BKU�/�o�=OV * _ % � %� � % Z ° BE-0DS/k587I/^JE/Q3¦5<�{70?4-0os:<BEo0/^BK:.BE-Io0/�FY/�-0oI/�-O5143 * _ % q@BK5t:<RIÌ�D�/S:\5812F0H<1fi;/>587@?A5� � e ����6 - � � e � : � � � � � % ��6 e&� � % 6 e�� % � � % "

° R0=I:<58B�58RI5CBE-0LG3"1;H � :jq0RI:CBE-IL�5C70/>BEo0/S-v5CBK5{V&� % � % � 6tq�?4-0o�o0B�i)BEo0BK-0LG=OV^6ÀL;B�i;/�:

� e � - � � e �

� � � %� � � � � % �3e � � %

e�70BKDb7nDSJE/+?AHCJKVN701;JKo0:�q0FIHC1fi)BE-0LG587I/>5C70/�14HC/�9�Z

� ����� � �-� � � ���n�S��� � ��� �-� � �p���� � ���p��� 9� M�� T�T����� ��

�t7vR0:^3�?4HSq�eP/�7@?+i4/�9 /�?4:CR0H</�o¼587I/MFº/SH<3"1;H<9N?A-0D�/ 143\? ° 5b?ADb�4/�JK=º/SHCLc:<5CH8?A5C/�L4Vr=OVÏDS1;9 F0?4HCBK-0Lp587I/D�14:<5�143P5C70/NDS1;HCH</�:CFY1;-0oIBE-0L�BE-0oIR0D�/So¼?4:C:<BEL;-I9 /S-v5>5C1n587I/ DS1;:<5�143P5C70/�1;FI58BK9N?AJ?4:C:<BEL;-I9 /S-v5�143h?4JEJ143�5870/.l<1;=0:SZM[d-01A5870/SHk-@?A5CR0H8?AJa?4F0F0H<1O?4Db7r3"14H�/Qi4?AJER@?A5CBE-0L�?�:<5CH8?A5C/�L4VcBK:>5C1pDS1;9 F0?4HC/G587I/ DS1;:<5�143587I/ BK-0o0R0DS/�or?4:C:<BEL;-09�/�-O5T581�5870?A5k1A3�5C70/n�E�C}|ªQym�bzfªQy��®�s}|ªbªQ¤�§4�@¨N�Q�@y�¤¦�YÍ4­@�b�CÍs¯���ªfz|¨N� ��y±})�bÝO�Q��¯Q�Q£�§ªQy�£C}4y{�±§4�|qOB±Z�/4Z�qA581.5C70/hDS1;:<51A3@5870/�?4:<:CBKL;-09�/�-O5�BK-0o0R0DS/�oG=OVk5C70/�zb¢Yy�¤¦¨�}4�f:<58HC?A58/SL4V;Z ³ 1458B�iA?A58/So^=OVk587I/Jj?|5C58/SHP9�/+?4:<R0HC/Aq0BE- 5870BK:h:C/SDS58BK1;-�eP/m:W58R0o�VN587I/m1;FI58BK9 BKU+?A5CBE1;-�F0H<1;=0JE/S9 1A3�D�1;9�F0RI5CBE-0Lk5C70/m1;FI5CBE9 ?4J° 58?4Db�4/SJE=Y/�HCL�:<5CH8?A5C/�L4V4Z� /d7@?+i;/m:C/S/�-M5C7@?A5h5C70/�] ] Ó :<5CH8?A5C/�L4V F0H<1$i)BKo0/�:P5C70/.=Y/�:W5tFº14:C:CBK=0JE/ � e�1;HC:W5<�~D+?4:</f��FY/�HW3"1;HC9 ?4-0DS/

L;R@?AH8?4-O58/S/hHC/SJj?A5CBKi4/�581.5C70/hDS1;:<5a143@5C70/h1;F�58BE9 ?4J)?4:<:CBEL4-09 /S-O5+qO?4-IoGBE-^F@?AH<58BKD�R0JE?4H�587@?A5�5870/t?AJEL;1;H<BK5C709143 ° R0=I:C/�DQ58BK1;- � Z �.9 ?+Vk=Y/hi)BE/Se�/�o�?4:a? %

��{?4F0F0H<1f_�BK9N?A5CBE1;-k?4JEL41;HCB�58709 � 3"14H�D�1;9�F0RI5CBE-0L.5C70/t1;FI5CBE9 ?4J

:<5CH8?A5C/�L4V4qd?A-0o ? ���� ��Ö?4FIF0HC1+_�BE9 ?A58BK1;-&?4JEL;14HCBK5C709Ô3"1;HNBE-0:W5b?4-0DS/�:Ne�B�587·JKBE-0/�?4H JE?A58/S-0DSVÑ3"R0-0DQ58BK1;-0:�Z

�\1fe�/Si4/�H�q�:CBE9�F0JK/^/Q_I?49�F0JE/S:>:C701fe 5C7@?A5m587I/ ] ] Ó :<58HC?A58/SL4V BK:���z|ya?AJKeP?fV):m587I/�14FI58BK9N?4J�:<5CH8?A5C/�L4V4q?4-0oM5C7vR0:t1;R0HP?4JEL;14HCBK5C709 3�?4BKJE:581G:<1;JKi4/d5870BK:P1;F�58BE9�BEU�?A58BK1;-2F0HC14=0JE/S9 /`_0?ADS58J�V;Z � ,.R0HP9N?4BK-NH</�:CRIJK5tBK-587IBE:t:C/SDS5CBE1;-�BE:t:W58HC14-0L /Qi)BEo0/S-0D�/>587@?|5�-012:CR0Db7nFº1;J�V)-01;9�Bj?4JØ�~58BK9 /w?4JKL;1;H<BK587I9 /`_�BE:<5C:�Z

� #�'v���|'*� �&%(' Rx«@�h¢Y£8z4¯��E�Q¨Ãz ^�bz|¨d¢Y­�y�¤¦�)§ y¦«@�Gzb¢Yy�¤¦¨�}4�"��y±})�bÝO�Q��¯Q�Q£�§2ªQy�£C}4y{�±§4��¤Eªm© � ¡±«I}4£<Í 8t�Q¥4�Q�+z|£>¤¦�IªQy~}4���b�bªm»¤¦y"«��®¤¦���C}4£>��}4y{�Q���Q� `­����Qy�¤±z|�IªQP� £8zfz P � /cH</�o0R0DS/�3"H<1;9 ?ÜF0HC14=0JE/S9 e�/rD�?4JEJ %

�� ��� ��������������� g&L;B�i;/S-�� FY1;:CB�58BKi4/cBE-O58/SL;/�H<:� % � � "" " ����q)BK:65C70/�H</d?T:CR0=I:C/S5�� < � �! � """# � $.:8?A5CBE:<3¦V)BK-0L 4 'U@ � �!' � %� 4

�'76 % �!' ���t70/dD�?4-01;-)�BED�?4J@HC/So0R0DQ58BE14- 3"HC149 5870/\´����~D�1;9�F0JE/Q58/�F0H<1;=0JE/S9"!$#�%'&)( � !$#+* 5C1 �����,�������-� BE:a/�?4:CBKJKVG9�1�oIBKu@/So581>:<701fe¿587@?|5 %� � �� ���.���������-� BE:a´����~7@?4HCo���:</�/0/T?AHC/SVG?4-0o2141;70-0:<1;-s��� � �@3"1;HF0HC14=0JE/S9 o0/Qu@-0BK5CBE1;-I:

?4-0o�Â>?4HCFÀ���4�|�61;HTÂ>14U�/�-·� � � q ��Z � �AÇA�3"1;Hm5870/ D+?4-I1;-0BED�?4JHC/So0R0DQ58BE14-xZ � /�e�BKJEJ:C7I1$e 5C7@?A5To0/SD�BEo)�BE-IL�5C70/nFIHC1;=0JK/�9 %

�� ��3 ���.����������� H</�o0RID�/�:�581ro0/�DSBEo0BK-0L�e�7I/S587I/�HN14H -01A5M?cL;BKi4/�- ° 5b?4Db�A/�JK=º/SHCL:CDb7I/�o0R0JKBE-0L2BK-0:<58?4-0D�/me�B�587�JEBK-0/+?4H�Jj?A5C/�-0DQVN3"R0-IDS58BK1;-0:w?4o09�BK5C:h? ° 58?4Db�4/SJE=Y/�HCL�:<5CH8?A5C/�L4VMBE-0o0RID�BE-IL2?4-?4:<:CBEL4-09 /S-O5te�BK587n?GL;BKi4/�-�D�1;:W5+Z

4 Ã6587:9<;=;�>@?BADCFEG98HICJ?8KL9$3 MD?N>OCFH&5 E�ÔjÒ�Æ�Î0Ì%ÊËÍ~ÊÓÌ%ÊQP�ÎMÕ*ÊËÒ�ÍoÄ~ÆÈÒ�ì6ÉÓÇ�Ì ÆÈÜ~Í6ÑhÊËÍUÄxÒ�ÉËÏàÍ6Ò�Ì%ÊËÎ�É~ÕÈÊÓÌ%Ç Î�Í6×%Æ*ÇrÕ*Ü~ÆÈÍ6Ñ�Î�Ñ�Ò�ÉÓÜ~Õ*ÊËÒ�ÍÍ~Ò;Ì%Ò�ÆÈÇ.Õ*Ö{ÎMÍ�5�Õ*ÊËÌ%Ç�ÑvÎ�ÑhÙYÒàÑ�ÕÈÉÓÏ#Î�ÑhÎ�Í%Ò�ÄQÕÈÊÓÌUÎMÉxÑ�Ò�ÉÓÜ~Õ*ÊËÒ�Í[çpá.Ö~Ç�Ð�ÎMÉËÜ~Ç�5�Ê¡ÑDÕ*Ö6ÇR9S;D;T>@?UA=CFEG98HICJ?8KV>S98HICJ?.Ò�ÆW; 1B>YXZ?8>OEG98KT[ 1M=\]98>@9NK]H 1 1�Ò�Ô§ÕÈÖ~Ç�ÎMÉËÚ�Ò�Æ*ÊÓÕ*Ö6Ìwç� î~Ò�Æ�Ç Q~ÎMÌ%Ä~ÉËÇ�â0ÙYÒ�Í6Ñ�Ê¡×QÇ�Æ!Î�ÕÈÖ~Æ*Ç�Ç�Ì%Î�Ù�Ö~ÊËÍ~ÇÊËÍ6Ñ�ÕÈÎ�Í6ÙYÇ�é�ÊÓÕ*Ö ÉËÎMÕ*Ç�Í6ÙYÏ�ÔjÜ6Í6ÙWÕÈÊÓÒ�Í6ÑDH . K M . O�� M . � H G K7M G O�� æ S

M G � H " K7M " O � æ S-M " â{é�ÊÓÕ*Ö � � æ�ÎMÍ6×���� .� ç�á.Ö~Ç�Ò�ÄQÕ*ÊËÌUÎMɧÎ�Ñ*Ñ*ÊËÚ�Í~Ì%ÇrÍàÕ3Ê¡Ñ K G" � .� � .� O�Î�Í6×wÕ*ÖzÜ6Ñ Õ*Ö6Ç ���§î�Ñ�Õ*Æ�Î�ÕÈÇrÚ�ÏÊ¡Ñ K©å �Èå � .� O�ÊÓÍ6×~Ü6ÙYÊËÍ~Ú�Õ*Ö~Ç;Î�ÑÈÑ*ÊÓÚ�Í~Ì%ÇrÍàÕ K 4� �Èå � .� Ové�Ê ÕÈÖwÙrÒ�Ñ�Õ_^`{çvð�ÍoÕ*Ö6Ç"Ò�Õ*Ö~Ç�Æ.Ö6ÎMÍ6×[â�ÕÈÖ~Ç;Ñ�ÕÈÆÈÎMÕ*Ç�Ú�Ï�K�å � .. G � .. G OvÊËÍ6×QÜ{ÙYÇ�ÑÕ*Ö6Ç�Î�ÑÈÑ�ÊËÚ�Í~Ì%Ç�Í�Õ�K 4 � � .. G � .. G O�Ö{ÎuÐàÊËÍ~Ú%ÙYÒàÑ�Õ�a^ ç

� �

Page 18: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

/>B�i;/S-M?4- ?4HC=IBK58HC?4H<V^BE-0:W5b?4-0DS/ �Ü143 %� � �� ��������������� :CFY/�DSBKu@/SoM=OV2Fº1;:<BK5CBKi;/�BK-v5C/�L;/SHC: � % """� ���IqF0RI5�� � 4 �' 6 % �!'�?4-Io�oI/Su@-0/�? ° 5b?ADb�4/�JK=º/SHCL2:CDb7I/�o0R0JKBE-0L�BE-I:<5b?A-0D�/ � : � � � �R � "" "� � e � $ ��� %

��

e�BK5C7 � e � 9 ?4Db70BE-I/�:m?4-Ioce�B�587 JKBE-0/�?4HdJE?A58/S-0DSV�3"R0-0DQ58BE14-0:D%#' � * '¦����� ����eÀ�M3"1;H�$ � �! "" " �¼?A-0o

%=� � % � * � � % � � � ����� Z � 5TBE:.DSJE/+?AH.587@?A5�� :�D�?4-r=Y/GD�14-0:<5CHCR0DQ58/�o�3"HC1;9 � BK- Fº1;J�V)-01;9�Bj?4J�58BK9 /AZ � /D�JE?4BE9Ã587@?A5�� BE:^? Ù V;/S:^BE-I:<5b?A-0D�/SÚ � 5C7@?A5^BK:�q�?4o09�BK58:�? %

�� ��F@?4HW58BK5CBE1;-@�mB�3t?4-IoÏ1;-0J�VrB�3P5C70/�H</MBE:�?

° 58?4Db�4/SJE=Y/�HCL�:<5CH8?A5C/�L4VN3"1;HtBE-0:W5b?4-ID�/�� : BK-0o0R0DSBE-0L2?4-n?4:<:CBEL4-09 /S-O5te�BK587�DS1;:<5d?A5�9�1;:<5 � ����Z

Ó BEH<:<5\:CR0FIFº1;:</��ÊBE:w? Ù V;/S:.BE-0:W5b?4-ID�/�Ú 143 %�� ���N ���������,���-� qYe�B�587 � < � �! � """# � $G:C?A58BK:<3¦V)BE-IL

4 'A@� �!' � ���kqY?4-0o�D�1;-I:CBEoI/�H�5870/>:<5CH8?A5C/�L4V�oI/Su@-0/Sos=OV � ' � �

��!'�3"1;H�$ . �À?A-0o � ' � � 1A5870/SH<e�BE:</

� :<BE-0DS/ 4 � � %'76 % �' � ��4 'A@� �!' � �

���� � %

��kq�5870BK:�o0/Su@-I/�:m? ° 5b?4Db�A/�JK=º/SHCLM:W58H8?|58/�LAV0�`Z��t70/kBK-0o0R0DS/�o

/�µvR0BKJEBK=0HCBKR09 BE:�5870/S- � ' � � 3"1;H $ . �hq � ' � %��!'x3"1;H $ . � �R � "" "� � $ � �hq0?4-0o �O� � % � % �% � �kZ � -M587I/BE-Io0R0D�/Sop?A:C:CBKL;-09�/�-O5��9e �`q05870/���;�^R0-0BK5C:t143@l<1;=0:�1;-�9N?ADb70BE-0/S:�D�1;H<HC/�:<Fº14-0o0BE-IL25C1 �&/Q_�FY/�HCBK/�-0DS/

%� �RI-0BK5C:m1436Jj?A5C/�-0DQV;q�e�70BEJK/k587I/G145870/SH � ���;�NRI-0BK5C:m143�l<14=0:m/Q_�FY/�HCBK/�-0DS/ % �

�R0-0B�58:m143�Jj?|58/�-IDSV;Zk�t70/

D�14:<5w143�9e �PBE:h5C7)RI:��� � e � ��

� �� �

� �� � "

´\1fe :CR0F0FY1;:</>5C7@?A5 �ÀBE:t? Ù -I1GBE-0:W5b?4-0DS/�Ú2143 %� � �� �8 ��������������� q�?4-0o�D�14-0:CBKo0/�H�?4-OV ° 5b?4Db�A/�JK=º/SHCL:<5CH8?A5C/�L4V �h3"1;H � : qOBK-0o0R0DSBE-0L./SµvR0BEJKBE=0H<BER09 �`Z � /h-I/�/�oG5C1m:C701feÑ587@?A5TE � ��e��<� + � �

��kZ�Åh?4JEJ)9 ?4Db70BE-I/

$�«@�C}4¥f�hB�3 � ' � � ?A-0o��®¤�§|«)y014587I/�H<e�BK:C/AZa,.R0H�u@HC:W5a1;=0:</�H<iA?A5CBE1;-2BK:�587@?|5a9N?4Db7IBE-0/_� e � 9^RI:<5a=Y/wJKBEL;7O5� /Qi;/S-pBK3�?AJEJ�DS/�-O58HC?4JEJ�VMDS1;-O58HC14JEJE/So�l<1;=0:�?4H</>?4:C:<BEL;-I/�o�58129 ?4Db70BE-I/ �Se � q0:C149 /m:</�JKu0:C70J�VMD�14-v5CHC1;JKJE/Sol<1;=0:a?AHC/h:<R0=0:C/SµvR0/�-O58J�V�?4:C:<BEL;-I/�oG581mB�5`�QZ�´\/`_)5+qOeP/t-I1458/h5C7@?A5�3"1;H $ *) . � �! � " ""� � $vq45C70/t9N?AHCL;BK-@?4JD�14:<5 ����� � � � ���

���es�T143�9 ?4Db70BK-0/�$�BK:P?A5�9�1;:<5a587I/\9 ?4HCL4BE-@?4JID�1;:W5 ������� � � � �

� � e ��143x9 ?4Db70BK-0/ ) BK3�?4-0oN14-0JKVBK3�5870/�Jj?A5C/�-0DQV %#' � � ' e � '"�w1A39N?ADb70BE-0/F$PBK:d?A5\9�1;:<5 %0/ � � /�e �(/��`Z � /k9 ?+Vp?A:C:CRI9 /T587@?A5.?4JEJ�7I/+?+ivV9 ?4Db70BE-I/�:m7@?+i;/G5C70/2:8?49�/G9N?AHCL;BK-@?4J�D�1;:W5Te�B�587 H</�:CFY/�DQ5�5C1 � e �`q�?4:mH</+?4:<:CBKL;-0BE-IL�:<1;9�/^D�/S-v5CH8?4JKJKVD�14-v5CHC1;JKJE/Sosl<14=0:�3"H<1;9 ?c70/+?+ivVÑ9N?ADb70BE-0/�e�B�587ÑJj?4H<L;/�9N?AHCL;BK-@?4JhDS1;:<52581r?r7I/+?+ivVÜ9N?4Db7IBE-0/�e�BK5C7:C9 ?4JKJ�9N?4H<L;BE-0?4J�D�1;:W5.o01)/�:\-0145d?A¹º/�DS5\5870/�BE-0oIR0D�/Sos/�µvR0BKJEBE=IHCBERI9Ä?4-0onD+?4-s14-0JKV�o0/SD�H</+?4:</k5870/�D�1;:W51435C70/GBE-0oIR0D�/Soc?4:C:<BEL;-09�/�-O5�Zm[dJEJ�70/�?fivV 9 ?4Db70BK-0/�:d9^R0:<5d5870/S- 7@?+i;/G/�µvR@?AJ�Jj?A5C/�-0DQVne�B�587 H</�:CFY/�DQ5581 � e �`ZT´d?|58R0HC?4JEJ�V;q&]�/S9 9 ?���Z �f� BK9 F0JKBE/S:w5C7@?A5>?4JKJ�JKBEL;7O5d9N?4Db7IBE-0/S:.Fº14:C:C/S:C:T?MD�149 9�1;-sJE?A58/S-0DSVe�BK5C7MHC/S:CFY/�DQ5h581 �fe �`Z�t70?A5t?4JKJ�9N?4Db7IBE-0/S:P7@?+i;/m14-0/d143�5{eP1GJE?A58/S-0D�BK/�:�e�BKJEJ@9 ?4�4/\5870/\D�1;:W5t143 � e �/+?A:<V�5812DS1;9 FIRI58/AZ� BK5C7Ñ5C70/�BE-0o0RID�/�oÀ?4:C:<BEL;-I9 /S-v5 � e �k:<58BKJEJPu�_I/SoxqhJK/S5 � < � �! � """# � $no0/S-01458/�587I/n:</S5�143

70/�?fivV�9N?4Db7IBE-0/S:�Z � 3 � ���p5C70/�- �=e �>BE:�5C70/�´\?4:C7Ü?4:<:CBKL;-09�/�-O5^3"1;H � : e�BK587 �'Ie � ' � ����3"14H

$ . � �R � "" "# � $�?A-0o � � � % e �O� � % � ����q�:C?A58BK:<3¦V)BE-IL E � � e �<��� Ç�� + � �

���Z ° 1n:<R0F0FY1;:C/2�ÊBK:

-01;-I/�9�FI5{V¼?4-Io¼o0/Su@-I/�� . � � �� ��=OV�5C70/�/�µvR@?A5CBE1;- 4 'U@ � �!' �����kZ [./Su0-0/�� . � � %� �P=OV�587I//�µvR@?|58BE14- 4 'A@� � ' ��� �kZ�,.R0HT?4BE9×BK:m581pJK1feP/SH�=Y1;R0-0o�5870/ D�1;:W5k1A3 ��e �T?4:�?�3"RI-0DS5CBE1;-r143h587I/F@?4HC?49�/S58/SHC:��Ï?A-0o���Z° BE-ID�/>?4JKJ�70/�?fivV�9 ?4Db70BK-0/�:P7@?+i;/>/�µvR@?4J�Jj?A5C/�-0DQV;qI3"1;H $70/+?+ivVMe�/T9kR0:<5�7@?+i4/�� ' e � ' � �' �"!##�!'

e�BK5C73%�' � � 'Me � '¦� � ��e$!#xZ ° BE-0DS/�?AJEJxJKBEL;7O5h9 ?4Db70BK-0/�:�7@?+i4/�/Sµ)R0?4J�Jj?A5C/�-0DQV;q0e�/�9kR0:<5�7@?+i4/

� ' e � ' ���!' � �� �� �� �e�BK5C7

%#' � � ' e � '"� � � e � �¼� �� �Ü� �

� �

Page 19: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

3"1;H $ . � �! � """# � $ ���&?4-Io

� � � % e �O� � % � � � �� e

� �� �� � � ����

e�BK5C7%D� � % � � � � % e �O� � % � � �=e

� �¼� �� �Ü� � "

�t70/>581458?4JxDS1;:<5w143�5870BK:t:C1;JKRI58BK1;-�BE:

E � �9e �<� � � � � ��e �� � e � � � ��� � � ��e � �� �� �� � �

� � � � e � � �¼� ��� � � e � � � � ��� � � �Ü� ���� � � �¼� ��� � "

�\14JEo0BK-0L��nuI_�/SoM?4-0o�o0B�¹�/SHC/�-O5CBj?A5CBE-0Lde�B�587�HC/S:CFY/�DS56581���qOeP/tu@-Io 5870?A55870BK:/Q_�F0H</�:C:<BE1;- 7@?4:aR0-0BKµvR0/9�BE-0BK9 BKU�/�H � � �Ïe�70/S- � - %

�?4-0o � � %

�e�70/�- � %

�� :CRI=)l</�DQ5.581N5C70/^DS1;-0o0B�58BE14- � . � � %� �j�QZ�t70/SHC/�?4HC/m-01fe 5{e�1�D+?4:</�:�581�?4-@?4J�V)U�/4Z Ó BKHC:W5t:CR0FIFº1;:</T5C7@?A5�� - %

�Z ° /Q5C5CBE-0L � � �re�/T14=I5b?4BK-

E � � e �<� � � � � e � � � �� �Ü� ��� �o0B�¹�/SHC/�-O5CBj?A5CBE-0L�e�BK587pHC/�:<Fº/SDS5.5C1 �aqºe�/G:C/S/k587@?|5.5870/�/Q_�F0H</�:C:<BE1;-c7@?A:m?NR0-0BKµvR0/^9�BE-0BK9 BKU�/�H � � %

�� :<R0=)l</SDS52581p5C70/MDS1;-0o0B�58BE14- � . � � %� �¦�TV)BK/�JEoIBE-0LnD�1;:W5 � � � e � � � +� ���kZ Ó BK-@?4JKJKV;q�?4:C:<R09�/N587@?|5

� %�Z ° /Q5C5CBE-0L � � %

�e�/Tu@-Io�5C7@?A5t587I/TDS1;:<5w143�9e �hBK:tL;BKi4/�-�=vV

E � �9e �<� � � � � e �� � � �� ����� �

o0B�¹�/SHC/�-O5CBj?A5CBE-0L2e�BK5C7sHC/S:CFY/�DS5m5C1 �aqYe�/^u@-0os5C7@?A5\5870BK:d/Q_�F0H</�:<:CBE14- 7@?4:.R0-IBEµvR0/^9�BE-0BK9 BKU�/SH ��� ��q

?A5.e�7IBEDb7cFº14BE-O5.587I/G/�µvR@?A5CBE1;- H</+?4o0:&E � � e �<� � � ���kZ �w1feP/Qi;/�HSq�:<BE-0DS/��¸BK:.? Ù -01�BK-0:<58?4-0D�/SÚ�143

%�� �� ���.���������-� q�e�/N9kR0:<5�7@?+i;/ ���� �

�?4-0oÏ7I/�-0DS/3E � �=e �<� + � �

��kZ � /�7@?+i;/N/Q_�7@?4R0:W58/SoÜ?4JEJ

FY1;:C:<BE=0JK/mD+?4:</�:�qY?4-Io�5C70/>HC/�oIR0DS5CBE1;-�BE:tDS1;9�F0JE/Q58/4Z

� � �+� �m�t������ �;��� ! �p�� � � ����

�t70/aHC/S:CR0J�58:�143v587IBE:�F@?4FY/�H�:<R0L;L;/S:<5�?t-vR09^=Y/�H�143�F0HC1;=IJE/�9�:xo0/S:C/SH<i)BE-0L�3"R0HW5870/SH�:<58RIoIV;Z�[d-TBE9�Fº1;HW5b?4-O5?4-0o¼L4/�-0/SH8?4J�1;Fº/S-ϵvR0/�:W58BK1;-¼BE:T581se�7@?A5k/Q_)58/S-O5 14R0Hk9 ?4Db70BK-0/Q�~:CDb70/So0R0JEBK-0LsH</�:CRIJK58:kD+?4H<H<Vr1$i4/�Hk5C1587I/T9�1;H</.D�1;9�F0JK/Q_�oI1;9N?ABE-M143�L;/S-0/�HC?4J�-0/S5{e�1;H<�):SZ Ó 1;Ht/`_I?49 FIJE/4q�L;BKi4/�-n?Go0BEH</�DS5C/�o�L;HC?4F07�]e�BK5C7?p:<1;R0HCDS/ i4/�H<5C/Q_ ��?A-0o¼?n:<BE-0� �`q?nH8?A5C/ ,�143t-0/Q5{eP14HC�r5CH8?AÌ�D�587@?A5�e�BE:<70/�:k5C1n5CH8?+i;/SJ�3"HC149 � 5C1�`q�?�Jj?A5C/�-0DQVp3"R0-IDS58BK1;-c1;-c/+?4Db7r?4H<D4q�?4-0o�?�F@?4HC?49�/S58/SH��¿:CFY/�DSBK3¦V)BE-ILM5870/G3"H8?ADS58BK1;-s143658HC?AÌ�D^587@?|5BE:>DS/�-O58HC?4JEJ�V D�1;-O5CHC1;JKJE/�o�q�701fe :<701;R0JKo�5C70/�9N?4-0?4L;/�oc58HC?AÌ�D =Y/�HC1;RI5C/�or:C1s?A:T5C1nBK-0o0R0DS/�5C70/ =Y/�:W5FY1;:C:<BE=0JK/�/SµvR0BEJKBE=0H<BER09 � � ,.-r587I/N1;-0/�7@?4-Ioxq�?4-r/Q_I?49�F0JE/2BK-�?�3"1;R0HW�±i;/SH<58/`_r-0/S5{e�1;HC��:C7I1$e�:T587@?|5

a á.Ö~Ç0Í~ÒMÕÈÊÓÒ�Í6Ñ�ÒMÔ>Ç��àÜ~ÊÓÉËÊËì~Æ*Ê¡Î�Ü6Ñ�dz×�ÊËÍoÕÈÖ~Ê¡Ñ.Ä6ÎMÄxÇrÆ�ÎMÆÈÇ"Ç �àÜ6ÎMÉËÉËÏUÇ�Î�Ñ*Ï#Õ*Ò%×QÇ �{Í~Ç0ÊÓÍwÚ�Ç�Í~ÇrÆ�ÎMÉxÍ~ÇYÕ�é�Ò�ÆÈúQÑ27zÑ*ÇrÇ�âQÇ�ç Ú{çÓâ�� òàö��ÔjÒ�Æ3Î�ÔjÒ�Æ*ÌUÎMÉ�ÕÈÆ*dzÎ�ÕÈÌ#Ç�ÍàÕ�ç

� Ç

Page 20: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

?�e�1;H<:<5<�~D+?4:</pFY/�HW3"1;HC9 ?4-0DS/nL;R0?4H8?4-O5C/�/s?A: :<9N?4JKJ�?4: � � � BE:2BE9�Fº14:C:CBK=0JE/M5C1Ï?A5<5b?4BK-Ñe�B�587&L;/�-0/SH8?4JJj?|58/�-IDSV23"R0-0DQ58BE14-0:m�È�;�A��Z6,.-N587I/d145C70/�H�7@?4-0oxq)5870/\/Q_I?49�F0JE/wo01)/�:�-0145hH<R0JE/w1;RI5�5870/\Fº14:C:CBK=0BEJKBK5{VG1A3�?L;R@?AH8?4-O58/S/T5C7@?A5\BE:w? JE?4HCL4/�Hh3"R0-0DQ58BK1;-n1A3 ��Z � :dBK5w?AJKeP?fV):\Fº1;:<:CBK=0JE/m581�BE-Io0R0D�/�?4-p?4:C:<BEL;-09�/�-O5�e�BK5C7D�14:<5m-01�9�1;H</T5C7@?4-c?NDS1;-0:<58?4-O5W¾·o0/�FY/�-0oIBE-0L�1;- �6q�=0R�5G��z|y�14-s5870/^:<BEUS/^143587I/^-0/S5{e�1;H<�;¾¿58BK9 /S:5870?A5.1435C70/k14FI58BK9N?4J�?4:<:CBKL;-09�/�-O5.143�58H8?|Ì D�581 �S���hF@?A587I: � � :.?NFº/SH<3"1;H<9N?A-0D�/�L;R@?4HC?4-O58/�/�143��

�� �

FY1;:C:<BE=0JK/.3"1;Hh5870/>:<Fº/SD�Bj?AJ�D+?4:</T1A3�JKBE-0/�?4HhJj?|58/�-IDSVM3"R0-IDS58BK1;-0:���t70/�H</N?AHC/�?4JE:<1�R0-0/Q_�F0JK1;HC/SoÏ?+i;/S-vR0/�:�BE- 5870/29 ?4Db70BK-0/Q�~:CDb70/So0R0JEBK-0L�:C/Q5C58BK-0L0Z � - ° /�DQ58BE14-��Iq�e�/

D�14-0:CBKo0/�H</�oÀ5C70/n14FI58BK9 BKU+?A5CBE1;-ÏFIHC1;=0JK/�9 1A3.D�149 F0R�58BE-IL�5C70/n14FI58BK9N?4J ° 5b?4Db�A/�JK=º/SHCL�:W58HC?A58/SL4V;qt?A-0o1;=0:</�HWi;/�o&587@?A525C70/ ] ] Ó :<58HC?A58/SL4VÑ?4Db70BK/Si4/�: 5C70/�=º/S:<5N?4F0F0H<1+_IBK9N?|58BE14-¼H8?A5CBE1cFº14:C:CBK=0JE/�R0:<BE-0Lc587I/D�14:<5�143m5C70/s1;F�58BE9 ?4J�?4:<:CBKL;-09�/�-O5�?4:M?�JE1fe�/�HN=Y1;R0-IoxZ Åh?4- ?�=Y/S5<58/SH�?4F0F0H<1+_IBK9N?|58BE14-&HC?A58BK1�=Y/F0H<1$i4/�o·3"1;H ]f] Ó i)BE?Ï?Ï=º/Q5C5C/�HMJK1$e�/�H =º14R0-0o·1;-¿5C70/sD�14:<5�143m5C70/ ?4:<:CBKL;-09�/�-O5�BE-Io0R0D�/So·=OVÀ587I/1;FI5CBE9 ?4J�:W58HC?A58/SL4V��[d-01A5870/SHk-@?A5CR0H8?AJ6µvR0/S:<5CBE1;-ÏBK:Te�7I/S587I/�Hk9�1;H</ :<1;F070BK:<58BKD+?A5C/�o�?4F0F0H<1f_�BK9N?A5CBE1;-�?4JKL;1;H<BK587I9 :mD�?4-

?4Db70BK/Si4/k?2=º/Q5C5C/�Hw?4F0F0H<1+_IBK9N?|58BE14-�H8?A5CBE10Z�t70BK:\µvR0/S:<5CBE1;-�7@?4:�=Y/�/�-nHC/S:C1;J�i;/�onBE-�587I/k?AÌ�H<9N?A5CBKi4/m=vVÂmR09 ?4HT?4-0o ³ ?4H8?A5C70/p� � �f�±q�e�701p70?fi4/NL;B�i;/S-Ï?�3"R0JEJ�VsFY1;JKV)-01;9�Bj?AJ��~5CBE9�/k?AF0F0HC1+_�BE9 ?A5CBE1;- :<Db70/�9�/ �3"1;Hh5C70/>F0HC1;=IJE/�9 R0-0o0/SH\9�BEJKoMD�14-0o0BK5CBE1;-I:t1;-�5870/>9 ?4Db70BE-I/mJj?A5C/�-0DQVM3"R0-0DQ58BE14-0:�Z

�����s��� � �. �-��� �m�M�

� /25C7@?4-0���! iA?���?4H<o01;:m3"1;Hm:</Si;/SH8?4J670/SJEFI3"R0JoIBE:CDSR0:C:<BE1;-I:�?A-0o�3"14HTDS1;9�9 /S-v5C:m1;-r?4-r/�?4HCJKBE/SH.o0H8?|3¦5143\5870BK:�F0?4Fº/SH�Z � /n?4JE:<1c5C7@?4-0�¼[\-vR0F@?49 /mR0FI5b? 3"1;H2R0:</S3"R0J�o0BK:CD�RI:C:CBK1;-0:Sq 'P/�-&[h58�vBE-&?4-0o 141;-ÂmJE/SBE-v=º/SHCL23"1;H�Fº14BE-O58BK-0L21;RI5\HC/�JK/SiA?4-O5wHC/Q3"/�HC/S-0D�/S:�q�?A-0on5C70/k?A-01;-OV)9 1;RI:\H</S3"/�H</�/S:\3"1;H�5870/SBEH�70/SJEFI3"R0JD�149 9�/�-O58:SZ

� � �!�.���.� � ��

� � � ! ZY[\-0:C7I/�JE/Qi)BEDb7xqY[kZU[m?4:<L;R0FI58?Iq��! Z���?4HCoI1;:�qY?4-0on�mZ � /Q_�JK/�H�Zh´\/+?AHW�{14FI58BK9N?4Jº-0/S5{e�1;H<�no0/S:CBKL;-e�BK5C7�:</�J�u@:C7n?4L;/S-v5C:�Z � - � £8zf�b�b�CÍ4¤¦�)§|ª�z >y"«@����4y¦« �d�@�@­I}4� � � � ���|¨d¢@zfªQ¤¦­)¨Ãz|� y"«@� Rx«@�bz|£Q�z ��z|¨d¢Y­)y�¤¦�)§4q0F0?4L;/�:\� � �� �;� � q@� �;�4� Z

���|�T[kZ$[dH<Db70/�H�?4-0o��! Z|��?AHCo01;:SZ���HCR�587I3"R0J)9�/�Db7@?4-IBE:C9�:�3"1;H�14-0/Q�~F@?4H8?A9 /Q58/�H�?4L;/S-O58:�Z � - � £8zf�b�b�CÍ4¤¦�)§|ªz Gy¦«@�� �O�YÍ �d�@�@­0}4� ���|¨d¢@zfªQ¤¦­)¨ z|�WV�z|­)�YÍO}4y�¤±z|�IªNz ��z|¨d¢Y­)yÖ�Q£ �x�Q¤±�Q���b�Qq�F@?4L4/�:>�O�O� �OÇ � q� �;� � Z

� � �T[kZ�'P?4L;Db70B�Z���y~})�bÝO�Q��¯Q�Q£�§��m¤ �.�Q£b�Q�@y�¤�}4����}4¨N�bªm¤¦���w�bz|��z|¨G¤±���rz�Í)�Q�²ªQZ ° F0HCBK-0L;/SHW���a/SHCJE?4L0q � Ç;�4�0Z�È�4�T�mZ�'h?��:C?4H�?4-0o /2Z 1IZY,mJK:Co0/SH�Z��>�|�Y}4¨G¤±�.©Tz|���bzfzb¢@�Q£<}4y�¤¦¥4����}4¨N� Rx«@�bz|£Q�|Z ° � [ ³ q � Ç;Ç;ÇIZ���|� ³ Z '�/�Db�v9N?A-0-xqYÅdZ '\Z ³ D /mR0BKHC/4qI?4-0onÅdZ '\Z � BE-0:W58/S-xZ ��y�­0Í4¤±�bªm¤¦�py¦«@�����bz|��z|¨G¤±�bª�z �R0£<}4�IªQ¡¢@z|£`y~}4y�¤±z|�@Z���?4JE/��\-0B�i;/�H<:CB�5{V �aH</�:<:�q � ÇO�4��Z

^ à X<\3&3�� ;]?$3��8KT?8E CJ9$3 7�H CFE 1�9<;=;T>S?BADCFE_9NH CJ?NK /B[ 5�1BE 1 ÔjÒ�Æ0ÎoÌ%ÊËÍ~ÊËÌ#ÊQP�ÎMÕ*ÊËÒ�ÍÄ~Æ*Ò�ì~ÉËÇrÌ ÊËÑ"ÎMÍÎMÉËÚ�Ò�ÆÈÊÓÕ*Ö~Ì���é�Ê ÕÈÖkÕ*Ö6ÇÔjÒ�ÉËÉËÒ�é�ÊÓÍ~Ú�Ä~Æ*Ò�Ä{Ç�Æ�Õ�Ï�ÔjÒ�Æ.Ñ�Ò�Ì%Ç3Ä{Ò�ÉÓÏzÍ~Ò�Ì%ÊËÎ�É� K"! �#! OY÷pÚ�ÊËÐ�ÇrÍUÇ�Æ*ÆÈÒ�ÆvÄ6ÎMÆ�ÎMÌ%ÇYÕÈÇrÆ%$'&�å�ÎMÍ6×UÄ6Æ*Ò�ì~ÉÓÇ�Ì�ÊËÍ6Ñ�ÕÈÎ�Í6ÙYÇ)(�é�Ê ÕÈÖ�Ñ*Ê P�Ç* ( * â� Æ*ÇrÕ*Ü~ÆÈÍ6Ñ"Î�Ñ*Ò�ÉËÜQÕ*ÊËÒ�ÍkÕ*Ò+(�é�Ê ÕÈÖ�Ò�ì-,�Ç�ÙYÕ*ÊËÐ�Ç;ÔjÜ~Í{ÙWÕ*ÊËÒ�ÍÐ�ÎMÉËÜ~Ç#ÎMÕ�Ì%Ò�Ñ�Õ�æ S.$�Õ*ÊËÌ#dzÑ�Õ*Ö6ÎMÕ�ÒMÔhÒ�ÄQÕ*ÊËÌUÎMÉpÊËÍ�Õ*ÊËÌ%Ç#ÎMÕÌ%Ò�Ñ�Õ� K * ( * �/$#0 . OWç

� �

Page 21: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

�Æ�A��ÂGZ ��Z�'PBKHC9 ?4-xZ��t­�¤¦��Í4¤¦�)§ �x�b�Q­�£8�k}4�YÍ����Q�®¤�}O¯��E�.©T�Qy�»Pz|£8Ý �P¢O¢Y�®¤±�C}4y�¤±z|�IªQZ ³ ?4-0-0BK-0L0q � Ç4Ç;�IZ���|� 'dZ 'PH8?4oI/�-xqM[^Z0ÅPJE?4HC��q 1IZIÅPHC1fe�D�H<143¦5+q�'\ZM[m?+i)BE/Aq ° Z [./�/SHCBE-IL0qM[^Z ! :<5CHCBE-�q ° Z Ó JE1fV)oxq �^Z 1;?4D�1;=)�:C1;-�q+/2Z ³ BK-0:C7@?AJEJ±q�ÅdZ ��?4H<5CHCBKo0L;/4q&]aZ ��/Q58/SHC:C14-xq�Â2ZºÁw?49N?A�)H<BE:<70-@?4-xq ° Z�1IZ ° 70/S-0�4/SH�q�1IZ � HC1A�D�JE?fe�:<�vB±q�?4-0o ]Z���7@?4-0LIZ�Áw/SD�1;9�9 /S-0o@?A5CBE1;-I:�1;- µvR0/�R0/d9N?4-0?4L;/�9�/�-O5P?4-0oMDS1;-0L;/S:<5CBE1;-�?+i41;BEo��?4-0DS/\BK- 587I/ � -O58/SHC-0/Q5+Z�´\/Q5{eP1;H<� � 1;H<�)BK-0L /mHC14R0FMÁ�/�µvR0/S:<5h3"1;HPÅP1;9�9 /S-O58:P� �;� ÇIqv[\F0HCBKJ � Ç;Ç;�IZ

�Æ�A��ÁTZOÅP1�DSDb70B±q ° Z.1IZ ° 70/�-0�A/�HSq�[^Z ! :<5CHCBK-xq)?4-0oZ]Z���7@?4-0L0Z �HCBKD�BK-0L>BE-2D�1;9�F0RI5C/�H-0/Q5{eP14HC�v:�g ³ 1A58B��iA?A58BK1;-xq03"1;H<9^R0Jj?|58BE14-xq0?4-Iop/Q_I?49�F0JK/4Z 5 � � ��� � � � RI£<}4�Iª�})�Qy�¤±z|�Iª^z|�p©T�Qy�»Pz|£bÝ|¤¦�)§4q � � �O�Qg�� � � �O�;��q � Ç;Ç � Z

�ÆÇA��ÁTZÅP1;JE/Aq �^Z�[.1�o0BK:�q6?4-0oÑ�mZaÁ�1;R0L;70L;?4HCo0/S-xZ �\1feÕ9kR0Db7&D�?4-Ü5b?|_�/�:�70/SJEFÑ:C/�J�u@:C7ÑHC14RI58BK-0L �� - � £8zf�b�b�CÍ4¤¦�)§|ª2z �y¦«@� V�z|­)£`y"« �d�@�@­I}4� � � � ��z|� +�Q£b�Q���b�Gz|� ���E�b�Qy�£8z|�@¤±� ��z|¨G¨N�Q£8�b�Qq@F@?4L;/S:Ç;� �+� ��q@� �;�;� Z

� �f� ��ÁTZ;ÅP1;JE/Aq �GZ [.1�oIBE:�q4?4-0o2�mZOÁ�1;R0L;7ILO?4HCoI/�-xZ �H<BED�BK-0L.-0/Q5{eP14HC�^/So0L;/�:3"1;H�70/S5C/�H<1;L;/�-I/�1;R0:a:</�JKu0:C7R0:C/SHC:SZ � - � £8zf�b�b�CÍ4¤¦�)§|ªdz ty¦«@� ��4y"« �d�@�@­0}4��� � � ���|¨d¢@zfªQ¤¦­�¨ z|�Ny"«@� Rx«@�bz|£`�^z ��z|¨d¢Y­)y�¤¦�)§4qF@?4L;/S:\�;� �� � �;� q@� �;�;� Z

� � � �T[kZ�ÅPU�RI9N?$lSq ��Z�ÂmH<V):<58?Iq�?A-0o 'dZ �1;Db�vBE-0L0Z ° /�JKu0:C7�5CH8?AÌ�D ?4JEJK1�D�?A58BK1;-p3"1;HT:C/SH<i;/SHk3�?4H<9 :SZ � -� £bzf�b�b�CÍ4¤¦�)§|ª z 2y"«@� � @y¦« �d�@�@­I}4� � � � ���|¨d¢@zfªQ¤¦­�¨Ðz|�¼y"«@� Rx«@�bz|£`� z ��z|¨d¢Y­�y�¤¦�)§4q�F@?4L;/S:�4�O� �4Ç;�Iq0� �;� ��Z

� � �|�T[kZYÅPUSR09N?fl\?4-0o 'dZ��a1�/SDb�vBE-0L0Z6�tBEL47v5\=Y1;R0-0o0:�3"1;Hhe�1;HC:W5<�~D+?4:</k/�µvR0BKJEBK=0HCBE?IZ � - � £8zf�b�b�CÍ4¤¦�)§|ª^z y"«@� � �;y"« �d�@�@­I}4�"���A¨d¢@zfªQ¤¦­)¨Ãz|� �m¤Eªf�Q£b�Qy{� �d��§)z|£`¤¦y¦«)¨kªQq0F@?4L;/S:�� �f� �O� � q@� �;� ��Z

� �f� � ° Z|ÅdZ [m?A3"/SHC9�1;:�?4-0o Ó Z+�mZ ° F@?4H<HC1fe>ZO�t70/a58HC?AÌ�DP?4:<:CBKL;-09�/�-O5�F0HC14=0JE/S9 3"1;H�?wL4/�-0/SH8?4JO-0/Q5{eP14HC��Z� z|­�£`�Y}4�0z ��w�bªf�C}4£8�b«2z �y"«@�a©m}4y�¤±z|�Y}4� ��­)£b�C}4­2z ��y±}4�YÍO}4£<Í|ªO8 �x�Q£`¤±�bª���q|� � ' � �;�`g²Ç �� � � ��q � Ç;�;ÇIZ

� � �4�kÅdZ [.1;R0JKBEL;/SHCBE:d?4-0orÁTZ ³ ?4U�RI9 o@?AH�Z ³ R0J�58BEJK/Si4/�J�É@1fe DS1;-O58H<1;J143�µ)RI/�R0/S:�Z � - � £8zf�b�b�CÍ4¤¦�)§|ªNz y"«@� � zf«)�Iª��Tzb¢@Ý|¤¦�Iª ��z|� +�Q£8�Q���b�kz|� 5 � +z|£`¨�}4y�¤±z|� �x�Q¤±�Q���b�bª�}4�YÍ ���fªQyÖ�Q¨kªQq0F0?4L;/�� � q � Ç;�;ÇIZ

� � �|�kÅdZE[.1;R0JKBEL;/SHCBK:x?4-0o�Á>Z ³ ?4USR09 o0?4H�Z;[¼L;?49 /�5C70/�14HC/S5CBEDFY/�H<:CFY/�DS5CBKi4/65C1�É01$e�D�1;-O5CHC1;JOBK-.58/�JK/�DS1;92�9^R0-0BKD+?A5CBE1;-N-0/S5{e�1;HC�v:SZ � z|­�£`�Y}4��z my¦«@� V�£C}4�IÝ|�®¤¦� 5 �IªQy�¤¦y�­)y{�Qq � �4ÇIg � � � � � ��q � Ç;ÇO��Z

� � �A� ��Z [.RI=º/QV;Z � -0/SÌ�D�BK/�-0DQV2143�´d?4:<7 /Sµ)RIBEJEBK=0HCBE?IZ � }4y"«@�Q¨�}4y�¤±�bªmz ���¢@�Q£<}4y�¤±z|�Iª��w�bªf�C}4£8�b«)q � � � � �`g � �Iq � Ç4�;�IZ

� � �|��´�Z./GZ [.RIÌ�/�JKoxq���Z./>1fV;?4J±qv[kZ�/GZ./>H</�/S-)=Y/�H<L0q ��Z ��Z ³ BK:C70HC?Iq)Â2Z�ÂGZ)Á\?49 ?4�vHCBK:C70-0?4-xqv?4-0o 1IZ ! ZiA?4-�oI/�H ³ /�HWeP/AZI[¼É@/Q_�BK=0JE/69 1)o0/SJ;3"1;H�HC/�:<1;R0H<D�/P9 ?4-@?AL;/�9�/�-O5�BE->i)BEH<5CR@?4JOF0H<BKiA?A5C/6-I/S5{e�1;HC�v:�Z � -� £bzf�b�b�CÍ4¤¦�)§|ªkz � � � � 5 � ��� � � 8���z|¨d¢Y­�y{�Q£ ��z|¨G¨G­)�@¤±�C}4y�¤±z|�����Q¥f¤±�Q»qIi;1;JKR09�/k�AÇIq@F@?4L;/S:ÇO� �+� �Iq � Ç;Ç;ÇIZ

� � �A�T[kZ|[kZ ! DS1;-01;9�BEoI/�:?4-Io 1IZ4[kZ ° BEJ�i;/S:<58/SH�Z �H<BE1;H<BK5{VTJE1O?Aok:C70?4HCBK-0L0g�[d-2?4F0FIHC1O?4Db7GRI:CBE-IL ° 5b?4Db�A/�JØ�=º/SHCLwLO?49�/�:SZ � - � £bzf�b�b�CÍ4¤¦�)§|ª�z 6y¦«@� ���;y¦«��d�@�@­0}4� �d�¦�E�Q£`yÖz|� ��z|� +�Q£8�Q���b�tz|� ��z|¨G¨G­)�@¤±�C}4y�¤±z|�IªO8��z|�@y�£8z|� 8�}4�YÍ ��z|¨d¢Y­�y�¤¦�)§4q0F@?4L4/�:w�O�A� �;� � q � Ç;Ç � Z

� �

Page 22: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

� � ÇA� 1IZ Ó /SBEL;/S-)=0?4R09�q�ÅdZ ��Z ��?4F0?4o0BE9�BK5CHCBK1;Rxq�?4-0o ° Z,1IZ ° 70/S-0�4/SH�Z ° 70?4HCBK-0L 5C70/^D�14:<5.1A3a9^R0JK5CBED�?4:<558HC?4-0:C9�BE:<:CBK1;-0:�Z � z|­)£`�Y}4��z ��z|¨d¢Y­)yÖ�Q£�}4�YÍ ���fªQy{�Q¨ �x�Q¤±�Q���b�bªQq0� � g � � � � q0� �;� � Z �aH</�JKBE9�BE-@?4HWVi;/SHC:CBK1;-�BE- ��R � � ����� Z

��� � � 1IZI[�Z Ó BK-0L;/�H<7vRI5+q ° Z ° R0H<B±qI?4-0o61IZ ° Z0��RIHC-0/SH�Z�[./S:CBEL4-0BE-0L�JE/�?4:<5W�{D�14:<5t-014-)=IJE1)Db�)BK-0LG=0H<1O?4o0=@?A-0o-0/S5{e�1;H<�):SZ � z|­)£`�Y}4��z �d��§)z|£`¤¦y"«)¨kªQq��|� � �;�`g �A�O� ��;� ÇIq � Ç4ÇO��Z

��� � � ³ Z@Á>Z />?4HC/QV�?4-0o [^Z ° Z 141;70-0:<1;-xZ ��z|¨d¢Y­�y{�Q£8ª�}4�YÍ 5 �@y�£<})�Qy±}O¯�¤¦�®¤¦y�� T � �h­�¤�Í)�Ty{z�y"«@� Rx«@�bz|£Q�z d© � ¡ ��z|¨d¢Y�E�Qy{�Q���bªbªQZ Ó HC/S/�9 ?4-xq � ÇO�4ÇIZ

���;�|�T[kZ+/mR0FI58?Iq�[kZxÂ>RI9N?4HSq+1IZ�ÂmJE/SBE-v=Y/�HCLIq�ÁTZxÁ\?4:W581;L4B±q�?4-Io '\Z �6/�-0/SH�Z��HC1fi)BE:<BE1;-IBE-0L�? �dBEH<5CR@?4J�HCBKiA?A5C/h´w/S5{e�1;HC��g[¿-0/Q5{eP14HC�^o0/S:CBKL;-2F0HC1;=IJE/�9 3"1;H�9kR0JK5CBED�149 9�1�oIBK5{VdÉ01$e>Z � - � £8zf�b�b�CÍ4¤¦�)§|ªdz y"«@��� �;£CÍ �d�@�@­I}4� � � � ���A¨d¢@zfªQ¤¦­)¨Ãz|� y¦«@�^Rx«@�bz|£`��z ��z|¨d¢Y­)y�¤¦�)§4q0F@?4L;/S: � �;Ç �� Ç;�Iq@� �;� � Z

��� � �7]ZY[�Z �d?4JKJ±Zh[\F0F0HC1+_�BE9 ?A5CBE1;-n?4JEL41;HCB�58709�:h3"1;H�:CDb70/So0R0JKBE-0L0Z � ->[^Z ° Z �\1)Db7v=@?4R09�qY/�o0B�581;HSq �P¢Y¡¢Y£8z Y;¤¦¨�}4y�¤±z|� �d��§)z|£`¤¦y¦«)¨kª +z|£�© � ¡ �>}4£<Í � £8z4¯��E�Q¨kªQqODb7@?4FI5C/�H � qOF@?4L;/S: �� �v��Z � � ° �R0=IJEBE:<70BE-ILÅP1;9�F@?4-OV;q � Ç;ÇO��Z

���A�4��ÁTZR141;70?4HCBw?4-0o 1IZP´TZ6�t:<BK5C:CBE�vJKBE:�Z ´w/S5{e�1;HC�ÑHC/S:C1;RIHCD�/s?4JEJK1�D�?A58BK1;-Ü?4-0o·?�D�1;-IL;/�:W58BE14-¿LO?49�/4Z³ ?4-vR0:<D�HCBKFI5+qY� �;�;� Z

���;�|��ÁTZ ³ Z�Â>?4H<FxZ�Á�/�o0R0DSBE=0BKJEB�5{V ?49�1;-0L�D�149^=0BE-0?A581;H<Bj?4J�F0HC1;=IJE/�9�:�Z � -¼Á>Z ! Z ³ BKJEJE/SH>?4-0o 1IZ � Z�t7@?A5CDb70/�HSq)/So0BK5C1;HC:Sq ��z|¨d¢Y�E��Y;¤¦y��Gz ��z|¨d¢Y­�y{�Q£���z|¨d¢Y­�y±}4y�¤±z|�IªQq;F@?4L;/S:6�O� �f�4� Z �JK/�-vR09 �H</�:C:Sq� ÇO�;�)Z

���4�A� �GZ�[kZYÂm1;H<BEJEBK:�q�[kZ�[kZU]�?4U+?AH�qY?4-0on[kZº,.HCo@?IZP[dDb70BK/Si)BE-0L -0/S5{e�1;H<�n1;F�58BE9 ?GR0:CBK-0L ° 5b?4Db�A/�JK=º/SHCLHC1;R�58BE-ILG:<58HC?A58/SL;BE/S:�Z 5 � � ��� � � � R0£<}4�Iª�})�Qy�¤±z|�Iª�z|�p©��Qy�»Pz|£8Ý|¤¦�)§4q�� � � �Qg � � �� � � � q � Ç;ÇO�)Z

���;�|� �GZ�[�ZÂm1;HCBKJEBK:�q�[�Z�[kZ�]�?4U�?4H�q6?4-Io&[�Za,.HCo@?IZÏÅh?4F@?4DSBK5{VÜ?AJEJE1)D+?|58BE14-rR0-Io0/�H2-01;-ID�1)1;Fº/SH8?A5CBKi4/HC1;R�58BE-IL0Z 5 � � � R0£<}4�Iª�})�Qy�¤±z|�Iª^z|� �d­)yÖz|¨�}4y�¤±� ��z|�@y�£bz|�®qI�v� � � �Qg �;� Ç �� �;��q � Ç;ÇO��Z

���4�A� �GZ|[kZAÂm1;HCBKJEBE:Sq$[kZ|[kZb]�?4U�?4H�q4?4-0o^[�ZO,.HCo0?IZ�[wi;1;BKo0BE-ILd5870/�'PH8?A/�:C:�F@?4H8?Ao01+_^BK-k-01;-ID�1)1;Fº/SH8?A5CBKi4/-0/S5{e�1;H<�):SZ � z|­)£`�Y}4��z �h¢O¢Y�®¤±�CÍ � £8z4¯b}O¯�¤¦�®¤¦y��Aq � � � � �`g � � �� �;�4��q � Ç4Ç;ÇIZ

���4ÇA� ! ZaÂ>14RI58:<1;R0F0BE?4:�q ³ Z ³ ?+i�H<1;-0BKD�1;JE?4:�q�?4-0o ��Z ° F0BKH8?4�vBK:�ZÑ[dF0F0H<1+_IBK9N?|58/�/�µvR0BKJEBE=IHCBj?p?4-0oÀ=0?4JEJ3"R0:CBK1;-xZ � - � £bzf�b�b�CÍ4¤¦�)§|ª�z >y"«@���4y¦« �d�@�@­I}4� 5 �@y{�Q£Q�Y}4y�¤±z|�Y}4� ��z|�¦�Ez�¬�­)¤¦­)¨Òz|� ��y�£`­@�Qy�­)£<}4� 5 � +z|£`¡¨�}4y�¤±z|� }4�YÍ ��z|¨G¨G­��@¤±�C}4y�¤±z|� ��z|¨d¢Y�E��Y;¤¦y��|q�� �;� �)Z

� �;� � ! ZvÂ>14RI58:<1;R0F0BE?4:6?4-0o�ÅdZ ��?4F@?4o0BK9 B�58H<BE1;RxZ � 1;H<:<5<�~D+?4:</\/SµvR0BEJKBE=0H<Bj?IZ � - � £8zf�b�b�CÍ4¤¦�)§|ª.z wy¦«@� ���|y¦«�d�@�@­0}4�����A¨d¢@zfªQ¤¦­)¨Ãz|� Rx«@�bz|£8�Qy�¤±�C}4� �.ª{¢@�b�Qy¦ªGz ��z|¨d¢Y­)yÖ�Q£ �x�Q¤±�Q���b�Qq0F0?4L;/�:�� � � � �f� q � Ç;Ç4ÇIZ

� � � �7[^Z�ÅdZ�Âm1;U�/S-xZ �^�bªQ¤�§4� }4�YÍ �d�Y}4�®�$ªQ¤EªGz �d��§)z|£`¤¦y¦«)¨kªQZ ° F0H<BE-0L;/SHW� �a/�HCJE?4L0q � Ç;ÇO��Z� � �|���^Z ° Z;[kZOÂmR09 ?4H?A-0o ³ Z �^Z ³ ?4H8?|5870/AZ � 9�F0HC1fi4/�o�HC/�:<R0JK5C:�3"1;H ° 58?4Db�4/SJE=Y/�H<L�:<Db70/�o0RIJEBE-ILT:W58HC?A58/`�

L;BE/S:�Z � - ���4y¦« 5 �@y{�Q£Q�Y}4y�¤±z|�Y}4� ��z|�¦�Ez�¬�­)¤¦­�¨ z|� �d­)y{z|¨Nz|y~} 8 # }4�)§4­I}f§)�bªO8G}4�YÍ � £bzC§4£<}4¨G¨G¤¦�)§4qF@?4L;/S:\�;�4� �A�O��q@� �;� ��Z

� �;� �T[kZ ³ ?4:W�ÖÅP1;JE/SJEJ�q ³ Z [^Z � 70BE-I:<5814-xqd?A-0o 1IZhÁ>ZG/mHC/S/�-xZ �p¤±�Q£bzf�b�bz|��z|¨G¤±� Rx«@�bz|£`�|Z ,d_)3"1;H<o�\-0B�i;/SHC:CB�5{V �HC/S:C:�q � Ç4ÇO��Z

�;�

Page 23: 7>=0?679)A@#7>4 BDCEB F.F.G HJI KML N O>PQLtheory.stanford.edu/~tim/papers/stack.pdff ° $ @ -° ° - -° ° + + ! " " "# $ &% ' )(* ' (%#' +$ -, % * ' * ;: ?4 ' ~Z * 4 % * ' F, ,

� � �4� ³ Z ³ ?+i)HC14-0BEDS1;Jj?4:�?4-0o ��Z ° FIBEH8?A�)BK:�Z��t70/�F0H<BED�/P143�:</�J�u@:C7�HC1;R�58BE-IL0Z � - � £8zf�b�b�CÍ4¤¦�)§|ªdz �y¦«@� � �;£<Í�d�@�@­0}4� � � � ���|¨d¢@zfªQ¤¦­�¨Xz|�sy"«@�^Rx«@�bz|£`��z ��z|¨d¢Y­)y�¤¦�)§4q0F0?4L;/�:\� �+� � � Ç�q@� �;� � Z

� � �|��´�Z�´\BE:C?4-xZc[dJKL;1;H<BK587I9 :>3"1;H^:</�JKu0:C7Ñ?4L;/S-v5C:�g ³ /�Db7@?A-0BE:<9 o0/�:<BEL;-Ï3"14H^o0BE:W58H<BE=0RI5C/�o¼DS1;9 FIRI5b?|�58BK1;-xZ � - � £8zf�b�b�CÍ4¤¦�)§|ª.z wy"«@�����|y¦«��d�@�@­0}4� ���|¨d¢@zfªQ¤¦­)¨ z|� Rx«@�bz|£b�Qy�¤±�C}4� �dª{¢@�b�Qy"ª>z ��z|¨d¢Y­)yÖ�Q£�x�Q¤±�Q���b�QqIF@?AL;/�: �� � ��q � Ç;Ç4ÇIZ

� � �A��´�Zf´wBE:C?4-k?A-0o>[kZ$Á�1;-0/�-�ZO[dJEL41;HCB�58709�BED�9 /SDb7@?4-0BK:C9 oI/�:CBKL;-xZ ��}4¨N�bªh}4�YÍ ���bz|��z|¨G¤±� �.�b«I}4¥f¤±z|£`q� � � � #;�;�`g � �4� � Ç;��qI� �;� � Z �HC/SJEBK9 BK-@?4H<V2i4/�HC:<BE1;-�BE- ��R � � � ���4Z

� � �|�T[kZ�,.HCo@?IqºÁ>Z�Á�1;9�q�?4-Io ´�Z ° 70BK9 �vBE-�ZdÅP149 FY/S5CBK58B�i;/THC1;R�58BE-ILNBE-n9^R0J�58B��~R0:C/SH�D�1;9�9^R0-0BKD+?A5CBE1;--0/S5{e�1;H<�):SZ 5 � � ��� � � � R0£<}4�Iª�})�Qy�¤±z|�Iªkz|�n©T�Qy�»Pz|£8Ý|¤¦�)§4q � g � �+� �;� � q � Ç;Ç � Z

� � �A� /2Z@,.e�/�-�Z ��}4¨N�^Rx«@�bz|£`�|Z[dD�?4o0/�9�BED �H</�:C:Sq � Ç;ÇO��Z�t7IBEHCo ! o0B�58BE14-xZ� � ÇA�T[kZ ]Z ��/�H</�:C:<BE-0B�q Ó Z ! Z ° R0JKJEB�i4?A-xq0?4-Io 1IZ 1IZ �\70J�Z Rx«@� �c}4y¦«@�Q¨�}4y�¤±�bª^z .©�z|�@�®¤¦���C}4£ � £8zC§4£<}4¨G¡

¨G¤¦�)§4Z ° F0H<BE-0L4/�HW� �a/�H<Jj?4L0q � Ç;�;��Z�È� � �kÅdZvÁw/��./SJEJE/w?4-Io [^Z ° /SHCHC?IZ��t70/w9 ?|_�BE9^R09]D+?4F�58R0H</\F0H<1;=0JK/�9 BK-0D�JKR0o0BE-ILTH</�JK1�D�?A58BK1;-xZ 5 © V����\q

�4ÇIg �f�;� �f� �Iq � Ç;Ç � Z�È� � �T[kZ�Áw1;-I/�-xZ �xz|�®¥f¤¦�)§ ��¢Yy�¤¦¨G¤��f}4y�¤±z|� � £bz4¯��E�Q¨kªG}4¨Nz|�)§ �x�Q� ½�ªb« �6§)�Q�@y"ªQZ �a7�[ 5C70/�:<BE:Sq �w/�=0H</Se

�\-0B�i;/SHC:CB�5{V�143 14/�H<R0:8?4JK/�9�q�� �;�4� Z�È�v�|�T�mZÁ�1;R0L;70L;?4HCo0/S-xZ [./S:CBKL;-0BE-ILs-0/S5{e�1;H<�):23"1;H^:</�J�u@:C7ÜR0:</�HC:�BE:k7@?4HCo�Z � - � £bzf�b�b�CÍ4¤¦�)§|ª�z My¦«@�

�O�YÍ��d�@�@­I}4� ���A¨d¢@zfªQ¤¦­)¨Ãz|� V�z|­��YÍO}4y�¤±z|�Iªkz ��z|¨d¢Y­�y{�Q£ �x�Q¤±�Q���b�QqIF@?4L4/�:w�v�;� �;� � q@� �;� � Z�È� � �T�mZPÁ�1;R0L470LO?4H<o0/�-xZÊ�t70/sFIHCBEDS/p143m?4-@?4H<Db7vV&BE: BE-0oI/�FY/�-0o0/S-O5�143.5C70/s-0/Q5{eP1;H<�Ñ5C1;FY1;JE1;LAV;Z � -

� £bzf�b�b�CÍ4¤¦�)§|ª z 2y"«@� � @y¦« �d�@�@­I}4� � � � ���|¨d¢@zfªQ¤¦­�¨Ðz|�¼y"«@� Rx«@�bz|£`� z ��z|¨d¢Y­�y�¤¦�)§4q�F@?4L;/S:�v�4� � � ��q0� �;� ��Z Ó RIJEJºi4/�H<:CBE14-n581�?4FIFº/�?4HtBE- � z|­�£`�Y}4��z ��z|¨d¢Y­)y{�Q£k}4�YÍ ���$ªQy{�Q¨ �x�Q¤±�Q���b�bªQZ

�È�;�4�T�mZ�Áw14R0L;70LO?AHCo0/S-xZ �x�Q� ½�ªb« ��z|­�y�¤¦�)§4Z �7 [ 5C70/�:<BE:SqYÅP1;HC-0/SJEJ �w-0BKi4/�H<:CBK5{V4qº� �;� ��Z�È�v�|�T�mZaÁw14R0L;70LO?AHCo0/S-À?4-Io �! Z��?AHCo01;:SZ �w1$e =@?4o&BE:G:C/SJKu@:<7ÀH<1;RI58BK-0L � � z|­�£`�Y}4�dz �y¦«@� � � �sq

�OÇ � �;�Qg²� � � �;�4ÇIqI� �;� �)Z �HC/�JKBE9�BE-@?AH<V2i;/SHC:CBK1;-pBK- V�� ��� ����� Z�È�O�A�T[kZ ° Z ° Db7vR0JKU2?4-0oc´�Z ° 58BK/�H ³ 14:C/�:SZG,.-s587I/GFº/SH<3"1;H<9N?4-ID�/^1436R0:</�Hm/Sµ)RIBEJEBK=0HCBE? BK-p58HC?AÌ�DG-0/S5W�

eP14HC�v:�Z � - � £8zf�b�b�CÍ4¤¦�)§|ªnz Ny"«@� � @y¦« �d�@�@­I}4� ���|¨d¢@zfªQ¤¦­)¨ z|� �m¤Eªf�Q£b�Qy{� �d��§)z|£`¤¦y¦«)¨kªQqF@?4L;/S:�;� �;��q@� �4�;� Z

�È�v�|� �GZ ° 70/SÌ�Z���£�¯b}4� R0£<}4�Iª{¢@z|£`y±}4y�¤±z|�¿©T�Qy�»Pz|£8ÝfªQT �h¬�­)¤¦�®¤�¯�£Q¤¦­)¨ �d�Y}4�®�$ªQ¤Eªn»¤¦y¦« � }4y"«@�Q¨�}4y�¤±�C}4�� £bzC§4£<}4¨G¨G¤¦�)§ �r�Qy¦«@z�Í|ªQZ �HC/�-O5CBED�/`���\?4JEJ�q � Ç;�;��Z

�È�O�A� ° Z 1IZ ° 70/�-0�A/�HSZ ³ ?4�vBE-0LcL;H</�/�oÜe�1;HC�ÏBK-¼-0/S5{e�1;H<�):Sgn[ÄL;?49 /`�~5C70/�1;H</S5CBED�?4-0?4JKV):CBK:G143w:<e�B�58Db7:C/SH<i)BEDS/ToIBE:CDSBEF0JKBE-0/S:�Z 5 � � ��� � � � R0£<}4�Iª�})�Qy�¤±z|�Iªkz|�n©T�Qy�»Pz|£8Ý|¤¦�)§4q � � �O�`g²� � Ç � � � q � Ç;Ç;��Z

�È�OÇA� ��Z6i;1;- ° 58?4Db�4/SJE=Y/�H<L0Z �c}4£8Ý|y +z|£Q¨ ­��YÍ �h�E�Q¤±�b«4§)�Q»¤±�b«)y�Z ° F0H<BE-0L;/SHW� �a/�HCJE?4L0q � Ç � �0Z ! -0L;JKBE:<758HC?4-0:CJE?A58BK1;-xq0/S-O58BK5CJE/So Rx«@�^Rx«@�bz|£`��z Ty¦«@� � }4£8ÝO�Qy ���bz|��z|¨G�Aq�F0RI=0JEBK:C70/SopBE- � ÇO�;�G=OVp,d_)3"1;H<o�\-0B�i;/SHC:CB�5{V �HC/S:C:�Z

� �