22

6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

������������� ����������������������������� �"!#�%$&�'%(*)������+,�.-0/�)�.��/1(*)�� 32��4$���5

687�9;:=<?>A@CB�DE7�FHGI�JLK 6NMPOEMRQS9UTWVWXZY\[]FHVWF^9U7�:�_\`aFHYbTWF=7cLdeJ X^fhg;i;jk X;7Wl&TWX^m]Yhn.FH@poZ_qTWVHr1s kut iwv;xZyzN{"|

x t jU}4g;y;jU}4gZv t�~���� XZ@C:HF��]x t jU}4g;y;jU}��Zi;jwi ��� 9�f,��1�H�R�R�"�"�q�w�E�w���;�Z�%�����w�.���Z�U�

Oq9U7�FH� { 9;@p9� F=�19U7WTWB3FHYbT.X � `aXZB��1�RTWF=7 { :H@CFHY,:HFA9;YE� ��Y,oZ@CYEFHF=7�@CY,oz YE@ � F=7�VW@CT¡<¢X � QS9;VW_,@CYEo;TWXZY{ F^9UT�TWGCF;r,QS9;VW_E@CYEo;TWXZY

£�¤¦¥¡¤¦§�¨4©�ªA«L¬®­;¬¯¥¡¬±°�²³�´¯µ §�¶Z¤¦²¸· ³�¹ ¥�º¡¬¯²¸·&»¼ªZ¬¯²w§½·w¾¿§�¬PÀp§½·qÁa ÃbÂZĸ§�º�¥�°�²¸·wÁ,°UÅUÆ�°½·&Ç ¹ ¨�¬±©�ª

Page 2: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

�������������� ������������������������� �!�"�$#%�'&$�(�)+*�����-,.�0/�1+*��2��1+)+*�� �3�������4

57698;:=<?>�@BADCE6GFIH JK8L6GFNMPO+8L@Q8

R�S+TVUXW9Y[Z=U

ĸ¤N©W°U²w¥¡¬¯¶Z¤¦¨a°�² ´ ¬±²w¤ §�²w¶ °]\N¬±²w¤ § ´_^ °�¨�¬®º4ª µ ¥¿ÀC°�¨%¥ `q¤¦©W¬¯§ ´ ©�§�¥¡¤¦¥L°^À�`q¨¡¤�¤ µ `Zº¡¬±­�¤�a °Nb ¥4ªZ°I`¥4©�ªZ¤¦¶ ¹Z´ ¬±² ^ º¡° µ ¬¯²Z¬ µ ¬dc�¤ µ §�Å^¤¦¥e`w§�²R Á ªZ¤�¥�¤ ¥ `q¤¦©W¬¯§ ´ ©�§�¥�¤�¥ §�¨�¤�°^À�¬¯²�º�¤�¨�¤�¥�º�bb¤�©�§ ¹ ¥�¤3º�ªZ¤�Æ©�° µ µ °�² ´ Æ�§�¨�¬±¥�¤¬±²�º4ªZ¤ ¥4©�ªZ¤�¶ ¹Z´ ¬¯² ^ °�À%©�° µ ` ¹ º�¤�¨A¥�ÆZ¥¡º�¤ µ ¥� ĸ¤ ^ ¬®­�¤3§?¨�§�²w¶Z° µ ¬dc�¤¦¶h°U²gf´ ¬¯²Z¤%§ ´d^ °�¨�¬±º�ª µ ÀC°�¨¼º4ªZ¤aºQh8°=f µ §�©�ªw¬±²Z¤�`w¨�¤�¤ µ `Zº�¬®­�¤�a °Ib ¥4ªZ°N`Aº�ªq§^º ¬±¥�iIj k9f�©�° µ `b¤�º¡¬±º¡¬±­�¤L§ ^ §^¬¯²w¥¡º°Nb ´ ¬®­;¬±° ¹ ¥L§�¶Z­�¤�¨4¥�§�¨¡¬±¤�¥�¿Á ªw¤ § ´_^ °�¨�¬®º4ª µ §�¥4¥¡¬ ^ ²w¥�`w¨�¬®°U¨¡¬±º�Æ�ÀC°�¨L°�²Z¤ µ §�©�ªZ¬¯²Z¤ §�©�©�°�¨4¶Z¬¯² ^ º¡°§�²§�¨ebw¬®º4¨�§�¨¡Æ�`b¤�¨ µ]¹ º�§^º�¬®°U²°^À º4ªZ¤7a °Ibq¥Xl"§�²w¶¬¯²º�ªw¤]°I`$`q°U¥¡¬±º¡¤�°U¨�¶w¤�¨ ÀC°U¨�º�ªw¤�°�º4ªZ¤�¨ µ §�©�ªZ¬¯²Z¤� ³¥�¬¯² ^�´ ¤]¨4§�²w¶Z° µ bw¬®º¿¬±¥ ¹ ¥¡¤¦¶º¡°½¥¡¤ ´ ¤¦©Wºmh�ªZ¬¯©�ª µ §�©�ªZ¬¯²Z¤�¬¯¥L§�¥4¥¡¬ ^ ²Z¤¦¶h�ªZ¬±©�ª°�À º�ªZ¤.ºQh8°N°U¨�¶w¤�¨4¥�ÂÁ ª ¹ ¥Vl&° ¹ ¨�§ ´_^ °�¨�¬®º4ª µ ¬¯¥�¤¦§�¥�¬ ´ Æ�¶w¤�¨4§�²w¶Z° µ ¬_c�¤�¶½¬±²3º�ªZ¤�°=\N¬±²Z¤.©�§�¥�¤�º�°AÆ;¬®¤ ´ ¶�§A¥�¬ µ ` ´ ¤ ´ ¬¯²Z¤�§�¨nfº�¬ µ ¤�iIj k9f�§I`[`w¨�°poZ¬ µ §^º�¬®°U²A§ ´d^ °U¨¡¬±º�ª µ ÂrqU¬ µ ` ´ ¤�§�¨ ^�¹qµ ¤¦²Uº�¥ Æ;¬®¤ ´ ¶ ´ °9h¼¤�¨rbq° ¹ ²w¶w¥�¥�ªZ°9h ¬¯² ^ º4ªw§^ºº4ªZ¤a¨�§�²w¶Z° µ ¬dc�¤¦¶ °�² ´ ¬±²w¤�bb° ¹ ²q¶N°^ÀsiIj k�§�²w¶Nº4ªZ¤Lº�¨�¬®­;¬¯§ ´ ¶Z¤�º�¤�¨ µ ¬¯²Z¬¯¥¡º�¬±©�°�² ´ ¬¯²Z¤ ¹ `[`q¤¦¨�bb° ¹ ²w¶A°�Àt §�¨¡¤%§�¥�Æ µ `Zº¡°�º¡¬¯©�§ ´±´ ÆAº¡¬ ^ ªUº�Â

uwv9xgy{zg|~}g�p� XZYEGC@pYEFN9;GCoZX;7�@ TW_EB VHrI��X;D V�_EX;� VW:�_EFH�E�EGC@pYEo"r"�E7�FHFHB��ETW@pXZY�r"7�9;YE�EXZB3@��HFH� 9;GCoZX;7�@ TW_EB V

t

Page 3: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

� � � �����A 32(¼���W�.� �� 0������L���� !#�����

OwX;D V�_EX;� VW:�_EFH�,�EGC@CYEo @CV¢XZYEF X � TW_,F\B XZV�T YEX;TWX;7�@CXZ�,VWG < �E@�� :H�EG T¸:HXZB D,@pY,9UTWX;7�@p9;G X;�ETW@CB @ �^9UTW@CXZY�E7�X;D1GCFHB3V�� t� M I Y TW_E@CV��19U��F=7^r maF :HXZYEV�@C�EF=7�VWXZB3F¸X � TW_EF¸B3X;7�F T�7�9;:=T�9UD,GpF¸VW��FH:H@ 9;G¿:^9;VWFHV�X � TW_EF

�E7�X;D1GCFHB?M d �R7%@CYbTWF=7�FHV�Ta@CY TW_,FHVWF � 9U7�@ 9;YqTWVaV�TWFHB3V � 7�XZB TW_EF � 9;:=T%TW_19UTLTW_,F=< 9U7�@CVWF�Y,9UTW�R7¦9;GCG <3@CY TW_EF

VW:�_EFH�E�EGC@pYEo X � :HXZB��,�RTWF=7AVW<&V�TWFHB VHM Q F�VW_19;GCG*D�F:HXZYE:HF=7�Y,FH��m]@ TW_\TW_EF:^9;VWF3X � T¡maX B 9;:�_,@CYEFHV @CY

m]_E@p:�_¢�E7�FHFHB3�ETW@CXZY?@CV]9;GpGCX^maFH��M�6�_EF T�mLX B 9;:�_,@CYEFHV�B3X&�EFHG�TW_EF ` c�z �E7�X&:HFHVWVW@CYEo��X�mLF=7.9;Y,�?TW_EF

I�Zd �E7�X&:HFHVWVW@CY,o���X�mLF=7�X � 9�:HXZB3�,�RTWF=7]V�<"V�TWFHB?r,7�FHV���FH:=TW@ � FHG <ZM

Q F�m]@CGCGR:HXZY,VW@C�EF=7LD�X;TW_3TW_EF�:^9;VWFHVaX � 9;Y¢9U7WD,@ T�7�9U7�<Y&�EB�D�F=7¿X � �WX;D,Va9;YE� X � 9�:HXZYEV�T�9;YbT%Yb�,B D�F=7¿X ��WX;D,VHM�6�_EF�Gp9UT�TWF=7 :^9;VWF;r 9U7�@CVWFHV.@CY :HXZVW:�_EFH�E�EGp@CYEo��� � X � B��,G TW@ �E7�X&:HFHVWVWX;7�V � X;7�TW@CoZ_bTWG <?V�<"YE:�_R7�XZYE@ �HFH��19U7�9;GpGCFHGE9U�E�,GC@p:^9UTW@CXZYEVHM z YE�,F=7�:HXZVW:�_,FH�E�EGC@CY,o"rb9;GCGR�E7�Xb:HFHVWV�X;7�V�X � � 9N�19U7�TW@ TW@CXZY�X � ��9AB��EGCTW@ �E7�X&:HFHVWVWX;7

9U7�FhVW:�_EFH�,�EGCFH� 9;V¸9 �EYE@CTHr¿@�M F;M r�9;GCGCX&:^9UTWFH� TWX TW_EF V�9;B3F��WX;D 9UT TW_,F V�9;B3F TW@CB3F;M c F=7 � X;7�B 9;YE:HF@CB��,7�X � FHV¼@ � TW_EF I�Zd VW�RD,VW<&V�TWFHB�@CV8F¦f&�,Gp@C:H@ TWG < VW:�_,FH�E�EGCFH�½9;V*maFHGCG�� ~�� M K 9;Yb< I�Zd }¡@CYqTWFHY,VW@ � F���9U7�9;GCGCFHG

9U�E�,Gp@C:^9UTW@CXZYEV�9;G TWF=7�Y,9UTWF�D�F=T¡maFHFHY ` c�z }¡@CYqTWFHY,VW@ � F 9;YE� I�Zd }¡@CYbTWFHYEVW@ � F �,_,9;VWFHV�� j � M K X;7�FHX � F=7^r�TW_EF

Gp9U7�oZF�B3FHB3X;7�< 7�F�&�E@ 7�FHB FHYqTWVLX � B 9;Yb< �19U7¦9;GCGCFHG19U�,�,GC@C:^9UTW@CXZY,V¿GC@pB3@ T�TW_EF�Y&�EB D�F=7aX � �WX;D,VLTW_,9UT%:^9;Y7��EY?:HXZY,:H�R7W7�FHYbTWG <�� v � M

K XZV�T]�E7�F � @CXZ�,V%mLX;7�l XZY��WX;DhVW_EX;�\VW:�_,FH�E�EGC@CY,o½:HXZY,:HF=7�YEV�TW_,F YEXZYR�,7�FHFHB��ETW@ � FN:^9;V�F�� t� M | 7�FH:HFHYbTVWF=7�@pFHV3X � 7�FHVW�EG TWV�� �&rLg&r¿y � 9U�,�,GC@CFHVTWXSTW_EF?�E7�FHFHB3�ETW@ � F?:^9;VWF � F�b�E@ � 9;GCFHYbTWG <ZrLTW_EF :^9;VWFh@CY m]_E@p:�_

9;GCG¼T�9;V�l"V 9U7�F��EY,@ T�GpFHYEo;TW_�r*9;YE� 9��WX;D @CVN9;GCGCX^maFH��TWX?7�F�&�EFHV�T TW_EFV�9;B F�B 9;:�_E@pYEF½T¡m]@C:HFm.@ TW_EXZ�RT@CYbTWF=7 � FHYE@CY,o�7�F�&�EFHV�TWV.TWX¸9;YEX;TW_,F=7 B 9;:�_E@CY,F���M]6�_EFHVWF 7�FHVW�EGCTWV.9U�E�,GC<¸TWX TW_EF�B3X;7�F oZFHY,F=7�9;G :^9;VWF�X �

B3X;7�F TW_,9;Y T�mLX\B 9;:�_E@CYEFHVHr 9;YE� oZ@ � F 9U�E�,7�XHfR@CB 9UTW@CXZYSD�XZ�EYE�EV ��XZG <"GCXZow9U7�@ TW_,B3@C:@CY TW_EF Yb�,B D�F=7

Page 4: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

X � B 9;:�_,@CYEFHV]9;YE� TW_EFNB 9�fR@CB��,B Yb�,B D�F=7�X � T�9;V�l&V.@CY 9 �WX;D M { _,B3X^<"VHr { TWFH@CY r,9;YE�?Q FH@CY � g � oZ@ � F9� ��� }�9U�,�E7�XHfR@CB 9UTW@pXZY 9;GCoZX;7�@ TW_EB � X;73TW_EF :^9;VWF @CY m]_E@p:�_ TW_EF Y&�EB�D�F=7X � B 9;:�_E@CYEFHV39;Y,� TW_EF

B 9�fR@CB½�EB�Y&�EB�D�F=7�X � T�9;V�l&V@CY 9�WX;D 9U7�F :HXZYEV�T�9;YbTWVHM���F=7�< 7�FH:HFHYqTWGC<Zr Ob9;YEVWFHY�r { XZGp@CV } d D19&r 9;YE�{&� @ 7�@C�,FHYRlwX�� x � ow9 � F 9 c 6 | {\� X;7NTW_EF�V���FH:H@p9;G :^9;VWF�X � 9¢:HXZYEV�T�9;YbT Y&�EB D�F=7�V X � B 9;:�_E@pYEFHVA9;YE� 9

:HXZYEV�T�9;YbT�Y&�EB D�F=7 X � T�9;VWl&V ��F=7���X;D*M { F � 9;V�TW@p9;Y,X � 9;YE�½Q XbFHoZ@CY,oZF=7 � t i � oZ@ � F%9;Y�X�� @CYEFLGC@CY,F^9U7�} TW@CB3Ft� v�}�9U�E�E7�XHfR@CB 9UTW@CXZY � X;7�TW_,F T¡maX B 9;:�_E@CYEFN:^9;VWF � m]@ TW_EXZ�RTa7�FHVWT�7�@C:=TW@CXZY XZY TW_EFNYb�,B D�F=7�X � T�9;V�l"V�@CY

90��X;D���M�6�_EF��EF=7�9;YE�EXZB @ �^9UTW@CXZY¢X � XZ�R7%[email protected];GpoZX;7�@ TW_EB 9;:�_E@pF � FHV%TW_EF V�9;B3F���F=7 � X;7�B 9;YE:HF 9;YE�¢@CVB½�E:�_ V�@CB��,GCF=7�M

I T�@CV�@CYbTWF=7�FHV�TW@pYEoNTW_,9UT�XZ�E7�7�9;YE�,XZB3@ �HFH�3XZYEGp@CYEF%9;GCoZX;7�@ TW_,B 7�F�&�E@ 7�FHV�XZY,G <9AVW@CYEoZGCFa7¦9;YE�EXZB D,@CT¿9;YE�@CVa9;V�<"B��ETWX;TW@C:^9;GCGC<X;�,TW@CB 9;G�9;V¿TW_,F]Y&�EB D�F=7LX � ��X;D1V¿@CY,:=7�F^9;VWFHVHr&m]_EF=7�F^9;Va9;Yb< �EF=TWF=7�B3@pYE@CV�TW@C:]XZYEGC@CYEF9;GCoZX;7�@CTW_EB @pV9UD1GCF3TWX 9;:�_,@CF � F?YEXhD�F=T�TWF=7 9;VW<&B��,TWX;TW@C: :HXZB3��F=TW@CTW@ � F 7¦9UTW@CX\TW_,9;Y TW_EF B XZV�T�Y,9;@ � F

9;GCoZX;7�@CTW_EB?M d �R7�V]@CV]YEX;T.TW_EF�,7�V�T%7�9;YE�,XZB3@ �HFH� XZY,GC@CYEFA9;GCoZX;7�@ TW_EB TWX¸9;:�_E@pF � F�oZX&Xb�h��F=7 � X;7�B 9;YE:HFm]_E@pGCF 7�F�b�E@C7�@CYEo¸XZYEG < 9?:HXZYEV�T�9;YbT Y&�EB�D�F=7AX � 7�9;Y,�EXZB D,@ TWV^M6]_EF ` dNK\J 9;GCoZX;7�@ TW_,B X �L| G D�F=7�V

v ������ � tZt � ra:H�E7W7�FHYbTWG < TW_,F¢D�FHVWT3l&Y,X^m]Y 7¦9;YE�EXZB3@ �HFH� 9;GpoZX;7�@ TW_EB � X;73TW_EF GC@CV�T��R���,9UTWF¢�E7�X;D,GCFHB?r7�F�&�E@ 7�FHV�93Y&�EB�D�F=7�X � 7�9;YE�EXZB D,@ TWV]TW_,9UT��,F=��FHY,�EV�XZYEG < XZY TW_EF½VW@ �HF X � TW_,F [email protected];YE� Y,X;T�XZYhTW_EFGCFHYEo;TW_ X � TW_EF¢7�F�&�EFHV�T3V�F�b�EFHY,:HF;M 6]_EF?9;GCoZX;7�@ TW_EB X � > 9;G <q9;Y19;VW�EYE�,9U7¦9;B�9;Y,� c 7��E_,V�� t � r � X;7

B 9�fR@CB3@ �H@pYEo TW_,F�Yb�EB�D�F=7AX � �WX;D,VNXZYS9 VW@CYEoZGCF½B 9;:�_E@CYEFTW_,9UT�:HXZB��,GCF=TWFD�F � X;7�FTW_EFH@ 7A�EF^9;�,GC@CYEFHVHr�EVWFHV�XZYEG <\9 VW@pYEoZGCFN7�9;Y,�EXZB�D,@ T ��TW_EFH@ 7N9;GCoZX;7�@ TW_EB�9;:�_,@CF � FHVA9 :HXZY,V�T�9;YqTA:HXZB3��F=TW@CTW@ � F 7¦9UTW@CX"M��8@ lwF

XZ�R7.9;GpoZX;7�@ TW_EB?r�97�FH:HFHYbT�9;GCoZX;7�@CTW_EB � X;7.XZYEGC@pYEF @CYqTWF=7 � 9;G8VW:�_EFH�,�EGC@CYEo�EFHV�:=7�@ D�FH�¸Db< J FHY"} � 9 � @C� v ����� � t�~�� 7�F�&�E@ 7�FHV%XZY,G <¸9�V�@CYEoZGCF�7�9;YE�,XZB D,@ T%TWX�D�FNV�T�7�XZY,oZG < :HXZB���F=TW@ TW@ � F;M

~

Page 5: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

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

6�_EF 7�FHB 9;@CYE�EF=7�X � TW_E@CVa��9U��F=7.@CV%X;7�ow9;YE@ �HFH�\9;V � XZGCGCX^m.VHM

I Y { FH:=TW@CXZY� br,mLFA�,F ,YEF XZ�R7��E7�X;D,GCFHB3V � X;7�B 9;GCGC<ZM

I Y { FH:=TW@CXZY ~ rRmaFNoZ@ � FNXZ�R7a7�9;YE�EXZB @ �HFH� 9;GCoZX;7�@ TW_,B [ c [ I 9;ow9;@CYEVWTaX;D1GC@ � @CXZ�EVa9;� � F=7�V�9U7�@pFHV�9;YE� 9;Y9;V�<"B��ETWX;TW@C:^9;GpG < B 9UTW:�_,@CYEo GpX^maF=7�D�XZ�EY,��M%6�_EF�9;GpoZX;7�@ TW_EB�9;VWVW@CoZY,V��E7�@pX;7�@ T¡< � X;7�XZY,F�B 9;:�_E@CYEF½9;:¦}

:HX;7��E@pYEo½TWX39;Y 9U7WD,@ T�7�9U7�<3��F=7�B��ET�9UTW@CXZY?X � TW_EF'�WX;D,V � F;M o"M rETW_,FN@CYR�,�RTLX;7��EF=7¦��r,9;Y,�?@CY¸TW_EFNX;�E��XZVW@ TWFX;7��EF=7 � X;7ATW_EF�X;TW_,F=7 B 9;:�_,@CYEF;M d YEF½7�9;YE�,XZB�D,@ TN@CVN�EVWFH��TWX?V�FHGCFH:=TAm]_E@p:�_�B 9;:�_,@CYEF�@CVA9;VWV�@CoZYEFH�

m]_E@p:�_ X � TW_EF T¡maX\X;7��EF=7�VHMhQ F �,7�X � F¸TW_EF � XZGpGCX^m]@pYEo)(+*",-*/.10 �324)576Xz8:9Kv � 0 � 0<; v��>= � 0<? � ��zA@ � 0B;C0 5zD;� �[} ; v9|X� �g| 0 vp� �FE�z | � ? }[z�8 0HG vX} z ? � 0B? v �� =$zw| 0 �<IA8KJ9zg| �<IKv 5L8 �A6MI 0<? vON�PQ5SR9zA@:9 |�vXvT8:9 � 0B; vURpzV@�OIKzW9X9 |~zV@ � vM8ZY �[ \']_^ P [a`�b�cOd ��6TI 0 v ; vp���e6Xz�8U9.v � 0 � 0B; v�| �� 0 z � vp�X���<I � ? 2 4Ufhg4Li �>= � 0<? � ��zA@ � 0B;C0 z�DL��[} ; vp|V� �g| 0 vG� �kj X;7ATW_EF:^9;VWF�X � T�mLX��WX;D,VHr�maF�oZ@ � F�9¸VWXZB3F=m]_,9UT TW@CoZ_bTWF=7AD�XZ�EYE��( E�z | � ? }[z8 0lG v�}z ? � 0<? v��� =Lzg| 0 �<IA8mJpzw| �<IKv 5L8 ��6MI 0B? vnN 5SRpzA@Q9 |�vXvT8U9 � 0B; voRpzA@ �OIKzW9k9 |~zV@ � vM8pY �[ \']_^ P � P3q �[a`�brcsd��6TI 0 v ; vp� �e6Vz8:9Kv � 0 � 0<; v| �� 0 z ztJvu-J9zg|vu+wyx2 �>= � 0B? � ��zV@ � 0B;C0 zD;� �[} ; vp|V� �w| 0 vG� �

I Y { FH:=TW@CXZY j"r maF½X;D1VWF=7 � F�X�� @CY,F D�XZ�EYE�,V.@CB3�,GC@CFH� Db<hTW_EF½7�9;YE�EXZB3@��HFH�\XZY,GC@CYEF½9;GCoZX;7�@ TW_EB MA6�_EF9;GCoZX;7�@CTW_EB ,YE�EV�9�VW:�_EFH�E�EGCF¢X � GCFHYEo;TW_ 9UT3B3XZV�T 2 4 B 9�f � , b�cOd�zs{|brcsd ��r¿m]_EF=7�FX, b�cOd 9;Y,� {|brcsd

�EFHYEX;TWF�TW_EF�o;7�F^9UTWFHV�T'��X;D\GCFHYEo;TW_�9;YE� TW_,F B 9�fR@CB½�EB B 9;:�_E@CYEF�GCXw9;��r17�FHV���FH:=TW@ � FHG <Zr�9;YE�h9U7�F T�7�@ � }@p9;G�GpX^maF=7 D�XZ�EYE�EV�XZY TW_EF X;�,TW@CB 9;G�VW:�_EFH�E�EGpF?GCFHYEo;TW_�M#6�_b�,V�mLFh_,9 � F(~} zw| v ; vp|Gx 0<? � � � ? 6Vv ztJY �[ \']_^ P [a`�b�csd N �<IKvp|�v 0 �����M6TIKv�}�D � v ztJ�� v ? = �<I 24 B 9�f � ,ob�cOd zs{ brcsdb� �&� zw|�vXz ; v9|7N7�nD'6MI ���T6MIKvX}D � v6 � ? @Vv-J9zD ? } 0B? � 0B? v �g| � 0 8 v ����IAD;�sN �<IKv9|�v 0 � �P}$v � vp|W8 0<?'0 � � 0 6 � 0<? v �g|n5 � 0 8 v 2 4 5 �W9�9 |�z>� 0 8 �� 0 z ?�� =$zg| 0 �<IA8�Jpzg| �<IKv"EU�&5�I �g|~}�9 |�zA@ � vT8�Y �[ \']_^ P [a`�b�cOd �

j

Page 6: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

I Y { FH:=TW@CXZY vbramaF?:HXZYEVW@C�EF=73�,F=TWF=7�B3@CYE@pV�TW@C:¸XZYEGC@CYEF?9;GCoZX;7�@ TW_EB3VHra9;YE� VW_EX�m TW_,9UT3TW_,F¢T�7�@ � @p9;G%�R�R}

��F=7 D�XZ�EYE�SX �  XZY TW_EF :HXZB3��F=TW@CTW@ � F37�9UTW@pX @CV½9;V�<&B3�ETWX;TW@C:^9;GCG < TW@poZ_qTT( E�z }$v � v9|n8 0<?'0 � � 0 6 z ? � 0B? v�� =$zg| 0 �<IA8pJ9zg| �<IKv 5L8 ��6MI 0<? vnN PQ5SR9zA@U9 |�vXvT8U9 � 0B; vvR9zA@��OI;zW939 |�zA@ � vM8 Y �[ \']_^ P [a` b�cOd ��6MI 0 v ; vG� �6Xz�8U9.v � 0 � 0B; v | �� 0 z � vG�V� �<I � ? f gi �%j X;7�TW_EF¢:^9;VWF?X � T¡maX ��X;D1VHr�maF¸oZ@ � F¢9\VWXZB F=m]_,9UT�TW@CoZ_bTWF=7D�XZ�EYE��( E�z }Lv � vp|W8 0B?�0 � � 0 6 z ? � 0<? v � � =Lzg| 0 �<IA8 J9zg| �<I.v 5 8 ��6TI 0<? vON 5SRpzV@ 9 |�vXvM8:9 � 0<; v+RpzV@ �OI;zW99 |�zA@ � vM8�Y �[ \']_^ P � P3q �[a`�b�cOd ��6TI 0 v ; vp� �X6Xz8:9Kv � 0 � 0<; v| �� 0 z ztJ � Jpzg| � w t� �;j �

{ FH:=TW@CXZYh��:HXZYE:HGC�E�,FHV%TW_EF �19U��F=7%m]@ TW_?�,@ 7�FH:=TW@CXZYEV � X;7 � �R7WTW_,F=7%mLX;7Wl�M

� � �����������������W��/

Q F :HXZYEV�@C�EF=7�X�� @CYEF?9;YE� XZY,GC@CYEF¢9;GCoZX;7�@ TW_,B3V � X;73TW_,F���X;D VW_,X;� VW:�_EFH�,�EGC@CYEo �E7�X;D,GpFHB m.@ TW_ T¡maXB 9;:�_E@CYEFHV39;YE� T�mLX X;73B3X;7�F���X;D,V^M Q F¢m]@CGCG¿�EFHYEX;TWF¢TW_EF¸T�mLX B 9;:�_E@CYEFHV u 9;YE����r � X;7�7�FH� 9;YE�D,GC�,F;M I Y TW_EF.:^9;V�FNX � T¡maX2��X;D,V^r=�WX;D t m.@CGCGRD�F��EFHYEX;TWFH�¸Db<¸9�Gp@CV�T¿X � T�9;V�l&V�� g z � 4 z � � � 9;YE����X;D ADb<93Gp@CV�T� g z � 4 z � � � r�m]_EF=7�F Xb�E�R}¡VW�RD,VW:=7�@ �ETWFH�?FHYbT�7�@CFHV.7�F=�E7�FHVWFHYbT.�,FHB 9;YE�EV � X;7�TW_EFA7�FH�hB 9;:�_E@CYEF½9;YE�

F � FHY"}¡VW�ED,VW:=7�@ �,TWFH�SFHYbT�7�@CFHV�7�F=�E7�FHVWFHYbT��,FHB 9;YE�EV � X;7½TW_EF D,GC�EF�B 9;:�_E@CYEF;M ��� �,B3B < FHYbT�7�@CFHV½F�&�,9;G

TWX �HF=7�X :^9;Y D�F39;�E�EFH� 9;V�YEFHFH�EFH� @CY :^9;V�F 9��WX;D �EX&FHVAYEX;TND�FHoZ@CY�m]@CTW_ 9¢7�F�&�EFHV�T � X;7 u M®� �¿9;:�_T�9;V�l¢B��,V�T%D�F�V�F=7 � @p:HFH�?XZYEG <¸9 � TWF=7.9;GCG��E7�FH:HFH�E@CYEo½T�9;V�l"V�@CY¢TW_EF V�9;B F���X;D _19 � FND�FHFHY?VWF=7 � FH� M�6�_EFoZXw9;G�@CVTWXSB3@CYE@CB @ �HF3TW_EF?B 9UlwFHV��19;Y�rLTW_EF¢TW@CB3F?9UT3m._E@C:�_ TW_EF?G 9;V�T!��X;D 1YE@CVW_EFHV^MSQ F :HXZYEV�@C�EF=7YEXZYE:HG 9;@ 7 � X^<q9;YbT¿XZY,GC@CYEF%9;GCoZX;7�@CTW_EB3V �wTW_19UT�@CVHrb9;Y¸9;GCoZX;7�@ TW_,BeGCF^9U7�YEV X � TW_EF]F¦f"@CVWTWFHYE:HF]X � 9NT�9;V�l�XZYEGC<

XZY :HXZB��1GCF=TW@CXZY X � TW_EF �E7�F � @CXZ�EVaT�9;VWl¢@pY¢TW_EFNV�9;B3F��WX;D r,9;YE� GCF^9U7�YEVaTW_EF VWF=7 � @C:HF TW@CB3FNX � TW_EF T�9;V�lXZYEG < m]_EFHY @CT ,YE@CVW_,FHVLV�F=7 � @pYEo½TW_EFNT�9;V�l�M

v

Page 7: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

Q F.D�FHoZ@pYm]@ TW_ V�XZB3F�V�T�9;YE�19U7�� �EF 1YE@ TW@CXZYEV^M I Y�TW_EF]VWT�9;YE�,9U7��3Y,X;T�9UTW@CXZY � X;7¿V�:�_EFH�E�,GC@CYEo �E7�X;D,GCFHB3V

� VWFHF;r � X;7¿F¦fR9;B��1GCF;rqTW_EF]VW�R7 � F=<½Db< �¼9Hm]GCF=7 v � �� � � t� ��r"XZ�R7��,7�X;D,GCFHB3V�9U7�F��EFHYEX;TWFH� Y �[ \�]_^ P [a`�brcsdRr9;YE�\VWX¸XZY �1maF�m]@CGCG �,VWFATW_E@pV]YEX;T�9UTW@CXZY � X;7�F^9;:�_��E7�X;D,GpFHB maF�:HXZYEV�@C�EF=7^M�6�_,F Y @pY TW_EF E7�V�T ,FHGC�

@CYE�,@C:^9UTWFHV�TW_EF ��X;D#VW_EX;� �,7�X;D,GCFHB �]9SYb�,B D�F=7^ra@ � �E7�FHVWFHYbTHr%�EFHYEX;TWFHV TW_EF Y&�EB�D�F=7¸X � B 9;:�_E@pYEFHVHMK Xb�E@ ,F=7�V @CY\TW_EF�VWFH:HXZYE� 1FHGC��@CYE:HGC�E�,F|\']_^ P � X;7N�E7�FHFHB��ETW@CXZY 9;YE� P q � TWX?@CYE�,@C:^9UTWF½TW_,9UTNTW_EF

Y&�EB D�F=7NX � ��X;D,V @CV 7�FHV�T�7�@C:=TWFH��TWX � X;7 � F=mLF=7^M½Q F��EVWF P TW_R7�XZ�,oZ_EXZ�RT TWX?�EFHYEX;TWFTW_EF�Y&�EB�D�F=7 X ��WX;D,VHMF`�b�cOd @CY\TW_EF�Gp9;V�T ,FHGp� @CYE�E@C:^9UTWFHV�TW_,9UT�XZ�R7AX;�ETW@CB 9;Gp@ T¡<\:=7�@ TWF=7�@CXZY @pV TW_EF�:HXZB��,GCF=TW@pXZY�TW@CB3FX � TW_EFAGp9;V�T��WX;D TWX 1YE@CVW_�M | V��EVW�,9;G r),ob�cOd �EFHYEX;TWFHV�TW_EFAB 9�fR@CB½�EB?rRX � F=7N9;GCGL�WX;D,VHrEX � TW_EFNVW�EB X �T�9;V�l?GCFHYEo;TW_,V�@CY¢TW_EF��WX;D r19;Y,� {|brcsd �,FHYEX;TWFHV�TW_EFNB 9�f"@CB½�EB GpXw9;� XZYh9;Yb<?B 9;:�_E@pYEF;M | VW:�_,FH�E�EGCF@CY¢m]_,@C:�_¢TW_EF=7�FA@CV%YEF � F=7 9TW@CB3FA9UT�m._E@C:�_ 9;GpG�B 9;:�_E@pYEFHV]9U7�FA@p�EGCF @CV%V�9;@C�¢TWX3D�F @TD;�Vx M

{ FHF J X;7�Xb�E@pY 9;YE� �¿G¯} k 9;YE@ � � t j ��� X;7LD19;:�l&o;7�XZ�,YE� XZY¸:HXZB���F=TW@ TW@ � F�9;Y,9;G <"VW@CV�X � XZYEGp@CYEF�9;GCoZX;7�@CTW_EB3VHM

| YhXZYEGp@CYEF 9;GCoZX;7�@ TW_EB�� @CV � } 6Xz�8U9.v � 0 � 0B; v @ � TW_EF=7�F½@CV.VWXZB3F½:HXZYEV�T�9;YbT��¢V��E:�_hTW_,9UT � X;7N9;Yq<h@CYR�,�RT�*r

����� ^� � ���� � � ����� ^������ � ��� � � z

m]_EF=7�F ����� ^� � ���¸@CV¢TW_EF�:HXZV�Th@CYE:H�R7W7�FH� D&< 9;GpoZX;7�@ TW_EB�� XZY @CYR�,�RT � 9;YE� ����� ^������ � ���¸@CV¢TW_EF

X;�ETW@CB 9;G � X�� @CYEF��.:HXZV�T XZY �8M�6�_EF 6Xz8:9Kv � 0 � 0<; v | �� 0 z X � � @pV.TW_,F�@CY ,B½�EB�X � F=7 � VW�,:�_ TW_,9UT��@CV � }¡:HXZB���F=TW@ TW@ � F;M I4� � @CV � }¡:HXZB���F=TW@ TW@ � F�9;YE�hYEX3XZYEGC@pYEFA9;GCoZX;7�@ TW_,B @CV ��� }¡:HXZB���F=TW@ TW@ � F � X;7 ��� w � r

9;GCoZX;7�@CTW_EB�� @CV%V�9;@C�?TWX3D�F � � |~z ? = �_xX6Vz8:9Kv � 0 � 0<; v M

I Y TW_EF¸GC@ TWF=7�9UTW�E7�F3XZY 7�9;YE�EXZB3@��HFH�SXZYEGC@pYEF39;GCoZX;7�@ TW_,B3VHr¼TW_R7�FHF T¡<&��FHV½X � 9;� � F=7�V�9U7�@p9;GCG < oZFHYEF=7¦9UTWFH�@CYR�1�RTWV._19 � F�D�FHFHY :HXZYEVW@p�EF=7�FH��MAQ F3m]@CGCG8D�F�:HXZYE:HF=7�YEFH� m]@ TW_�XZYEGC< T¡maX _EF=7�F;M | Y X;D,GC@ � @CXZ�EV 9;�"}

� F=7�V�9U7�< oZFHYEF=7�9UTWFHV�9;Y¸@CYR�,�ET m]@ TW_EXZ�RT¿l&Y,X^m]GCFH�,oZF]X � TW_EF.7�9;YE�,XZB3@ �HFH� 9;GpoZX;7�@ TW_EB�� V¿XZYEGC@CY,F�:�_EXZ@p:HFHV

Page 8: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

� @�M F;M rETW_,FNXZ�RTW:HXZB3FHV]X � @ TWVa7�9;Y,�EXZBuF � FHYqTWV¦��r�9;G TW_EXZ�,oZ_?@ T��EX&FHVal&YEX�m TW_EF 7�9;Y,�EXZB3@ �HFH� 9;GCoZX;7�@ TW_EB9;YE��TW_EF½�E7�X;D19UD,@CGC@CT¡< �E@CVWT�7�@ D,�RTW@pXZYEV]@ TN�EV�FHVHM | Y X�� @CYEF�9;�,9U�,TW@ � F39;� � F=7�V�9U7�<h@CVA9;GCGpX^maFH��TWX?oZFHY"}

F=7�9UTWFA@CTWV������3@CYE�,�RT�9 � TWF=7.X;D,VWF=7 � @CYEoTW_EFNXZY,GC@CYEFN9;GCoZX;7�@CTW_EB�� Va7�FHV���XZYEV�FHV%TWX�TW_EF E7�V�T�� f t @pYR�,�RTWVHM

6�_EF¢X�� @pYEF¸9;�19U�ETW@ � F 9;� � F=7�V�9U7W< VWF=7 � FHV�TW_EF?@CYR�1�RT�X�� @pYEF;r�m]@ TW_ � �EGCG¿l&Y,X^m]GCFH�,oZF¸X � TW_EF¢FHYbTW@ 7�F

@CYR�1�RT�VWF�&�EFHYE:HF;M `%GCF^9U7�G <Zr TW_EF¢Gp9UT�TWF=7 9;� � F=7�V�9U7W< @CV½9UT3GpF^9;V�T39;V���X�mLF=7 � �EG%9;V½TW_EF � X;7�B3F=7 �%9;GCVWX"r

GCX�mLF=7%D�XZ�EYE�,V¿�EV�@CYEo9;Y?X�� @CYEF 9;�,9U�ETW@ � FA9;� � F=7�V�9U7W<¢9U�E�,G <3TWX�EF=TWF=7�B3@CYE@CVWTW@C:.9;GCoZX;7�@ TW_EB3V%9;V%maFHGCG�M

[.9;Y,�EXZB3@ �^9UTW@CXZYh�EX&FHV.YEX;T 9;�E� ��X�mLF=7�TWX FH@CTW_EF=7]T�<b��F X � 9;� � F=7�V�9U7W< � 6�_,FHX;7�FHB�gbM t X � � t j � ��M j X;77�9;YE�,XZB3@ �HFH� XZY,GC@CYEF 9;GpoZX;7�@ TW_EB3V^r,maFA7�F=�,G 9;:HF TW_EF�:HXZV�TWV @CY TW_,F��EF 1YE@ TW@CXZY X � :HXZB3��F=TW@CTW@ � FHYEFHVWV.Db<TW_EFH@ 7�F¦f"��FH:=T�9UTW@CXZYEVHM

� � �� ������� �� u�.�������� ���5]����� ��)���/ %5]����/E� �.-����������.2/�% �.����/�����W��/

��� �~$�$&�'� �&������

Q F.m]@CGCG"YEX�m#�EFHV�:=7�@ D�F%9N7�9;YE�,XZB3@ �HFH� 9;GCoZX;7�@ TW_EBeTW_19UTL9;:�_,@CF � FHVL9 :HXZB���F=TW@ TW@ � F%7¦9UTW@CX X � 2 4 9;ow9;@pYEV�TX;D,GC@ � @CXZ�,Va9;� � F=7�V�9U7�@CFHV � X;7�TW_,F �}¡B 9;:�_,@CYEFN�E7�FHFHB��ETW@ � F{�WX;D VW_EX;� �,7�X;D,GCFHB Y �[ \']_^ P [a`�b�cOdRM

������������������� �*F=T t � � � P D�F¢9;Y 9U7WD,@ T�7¦9U7W<SX;7��EF=7�@CYEo X � TW_EF P ��X;D,V^M �*F=T+* �.�EFHY,X;TWF¢TW_EF¸TWX;T�9;GVWF=7 � @C:HF TW@CB F�X � 9;GCG�7�F�&�EFHV�TWV]@CY���X;D!� � X;7�TW_,F 7�FH�?B 9;:�_,@CYEF;r,9;YE�?GCF=T#"$� �EFHYEX;TWF TW_EF TWX;T�9;G8VWF=7 � @C:HFTW@CB3F?X � 9;GCGa7�F�&�EFHV�TWV @CY ��X;D%� � X;7�TW_,F?D,GC�EF¸B 9;:�_E@CYEF;M �8F=T c [ I¦t �EFHYEX;TWF TW_EF 9;GCoZX;7�@ TW_,B�TW_,9UT9;VWVW@poZYEV �,7�@CX;7�@ T�< � X;7TW_EF 7�FH� B 9;:�_,@CYEF @pYSTW_EF¸X;7��EF=7 t � � � P � @�M F;M r+�WX;D&� _19;V��,7�@CX;7�@ T�< X � F=7!�WX;D,V� � t � � � P �¿9;YE� � X;7aTW_EF.D,GC�EF.B 9;:�_,@CYEF�@CY TW_,F.X;7��,F=7 P � � ��t rR9;Y,�¸GpF=T c [ I A�EFHY,X;TWF.TW_,F�9;GCoZX;7�@ TW_EB

TW_,9UTL7�F � F=7�VWFHVLTW_EFHV�F]X;7��EF=7�VHM �*F=Ta[ c [ I �EFHYEX;TWF.TW_EF�7¦9;YE�EXZB3@ �HFH�¸9;GCoZX;7�@ TW_,B TW_,9UTL7��EY,V c [ I�t 9;YE�

g

Page 9: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

c [ I ½F^9;:�_ m.@ TW_¢�E7�X;D19UD1@CGC@ T�< t�� bM

��� � ������� *",-*/.�0 � 2 4)576Xz8:9Kv � 0 � 0<; v � = � 0<? � � zA@ � 0<; 0 zD;� �[} ; vp|V� �g| 0 vG� �

����� �� � �*F=T�� g D�F�TW_EF @CYE�EF¦f X � TW_EF Gp9;V�T��WX;D?TWX�:HXZB��,GCF=TWFN�,YE�EF=7 c [ I�t r,9;YE�?GpF=T � 4 D�F�TW_EF @CYE�,F¦fX � TW_EFNGp9;V�T��WX;D TWX3:HXZB3�,GCF=TWFA�EY,�EF=7 c [ I bM

`aGp9;@pB_( c [ I¦t � V]:HXZVWT]@CV�9UT]B3XZVWT�� ������ g * � � �i��� ��� " � M

6¼X VWFHF TW_,@CVHraYEX;TWF TW_,9UT¸9UT¸9;Yb< TW@pB3F�WX;D��Er���� � g @pV�7��EYEY,@CYEo\XZY TW_EF 7�FH� B 9;:�_E@CYEF;r��WX;D � g� m]_E@p:�_\_,9;V YEX;T.<wF=TN:HXZB��1GCF=TWFH�1�]B��EVWT.D�F FH@CTW_EF=7.7��EYEYE@CY,o�XZYhTW_,F D,Gp�EF B 9;:�_E@CYEF�X;7 ma9;@ TW@pYEo � X;7

TW_EFND1GC�EFNB 9;:�_E@CYEF���X;TW_EF=7Wm]@CV�F;r � g maXZ�EGC�¢�E7�FHFHB��ET�TW_EFA7�FH� B 9;:�_E@CYEF � 7�XZB��EMa6�_&�EV�VWXZB3F ��X;D�� � r� g �� � P B��EVWT%D�F�7��,YEYE@CYEo�XZY?TW_EF D,Gp�EF.B 9;:�_E@CY,F;rEVW@CYE:HF{�WX;D,V t � � � � g f t _,9 � FN�E7�@pX;7�@ T¡< GCX^maF=7TW_,9;Y � g r*VWX¢TW_,9UT��

i��� ���! g * � :^9;Y D�F:�_19U7�oZFH� 9;ow9;@CY,V�T��

i��� ��� " � M { @CB3@CG 9U7�G <"�

���$# g��� g " � :^9;Y D�F

:�_19U7�oZFH� TWX%� ������ g * � M

| VW@CB3@CG 9U7%9U7�oZ�EB3FHYbT]VW_EX�m]V%TW_,9UT c [ I � V]:HXZV�T.@CV�9UT.B3XZVWT&� ��'��� g " � � �i��� � ' * � M

6�_&�EVamaFAYEFHFH�?TWX3V�_EX^m

t�� &( ����)��� g* � �

i)��� ��'* � �

��')��� g

" � �i)��� ���

" � �

@CV�9UT�B3XZV�T ~*� TW_,FN:HXZV�T.X � 9;Y X;�ETW@pB 9;G�VW:�_,FH�E�EGCF d c 6NrRX;7

���)��� g* � �

i)��� �+'* � �

��')��� g

" � �i)��� ���

" � wUq ~ ( ����� ^ �-, ,/. � �

6 �g�9v1032 � g � � 4 � �¿9;:�_SX � TW_EF E7�V�TNT¡maX?TWF=7�B3V�XZY TW_EF3GpF � TAVW@p�EFX � TW_,F�@CYEF�&�,9;GC@ T�<h@CVA9UT½B3XZV�T� i��� g * �4r*9;Y,�hTW_,F½V��EB�X � TW_EFGp9;V�T T�mLX¢TWF=7�B VN@CVN9UTAB3XZV�T �

i��� g " � M �¿9;:�_ X � TW_,FHVWF@CVN9¢GCX^maF=7

y

Page 10: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

D�XZ�EYE�¢XZY TW_,FNX;�ETW@CB 9;G�:HXZV�THM

6 �g�9v�� 2 � g w � 4 � { @CB3@pGp9U7aTWX3:^9;VWF t M

6 �g�9v��12 � g q � 4 � 6�_EFNF¦f"�E7�FHVWV�@CXZY?XZY?TW_EFAGpF � T�VW@p�EF X � TW_,FN@CYEF�&�,9;GC@ T�< @CV�F�&�,9;G�TWXi)��� g* � �

i)��� g

" � � * ��� � " ��� �

6�_EF E7�V�T�T�mLX�TWF=7�B3Va9U7�F.F^9;:�_¢GCX^maF=7LD�XZ�,YE�EV XZY TW_EF]X;�ETW@pB 9;GE:HXZV�THrE9;YE� VWX @CV�TW_EF]V��EBeX � TW_EF.Gp9;V�T

T¡maX3TWF=7�B3VHM �

��� �|��X�'� �&��������

��� � �������� E�z | � ? }[z8 0HG v�} z ? � 0<? v �� =$zw| 0 �<IA8 Jpzg| �<I.v 5L8 ��6MI 0B? vnN PQ5SRpzV@:9 |�vXvT8U9 � 0B; v:RpzV@�OIKzW9X9 |~zV@ � vM8ZY �[ \']_^ P [a`�b�cOd ��6TI 0 v ; vp���e6Xz�8U9.v � 0 � 0B; v�| �� 0 z � vp�X���<I � ? 2 4Ufhg4Li �>= � 0<? � ��zA@ � 0B;C0 z�DL��[} ; vp|V� �g| 0 vG� �

����� �� � Q F �EFHVW:=7�@ D�F¢9;Y 9;� � F=7�V�9U7�< |�� ��m]_E@C:�_�r � X;7 9;Yq<�. � i&r%9;YE� � X;7 9;Yq< 7�9;YE�,XZB3@ �HFH�XZYEGC@pYEF�9;GCoZX;7�@ TW_,B | � �½rbm]@CGCG,:HXZYEV�T�7��E:=Ta9;Y @pYR�,�RT � X;7¿m._E@C:�_ TW_EF]X;�,TW@CB 9;G,V�:�_EFH�E�,GCF]_,9;VLGCFHYEo;TW_¸9UT

GCF^9;V�T . 9;YE� � X;7�m._E@C:�_ | ��� � V¿F¦f"��FH:=TWFH� VW:�_EFH�E�EGpF�GCFHYEo;TW_3@pV�9UT¿GCF^9;VWT 2 4 f g4Li TW@CB3FHV TW_EF.X;�ETW@CB½�EB?M

j X;7�:HXZY � FHYE@pFHYE:HF;r�9;VWV��EB3F�. � P @CV�9;Y @CYbTWFHoZF=7 �,X;TW_,F=7Wm]@CVWF;rR7�XZ�EYE�?�R�?TWX TW_EFNYEF¦f"T]Gp9U7�oZF=7]@pYqTWFHoZF=7^M

6�_EF½9;� � F=7�V�9U7�< :�_EX&XZVWFHV XZYEF0��X;D �%�EYE@ � X;7�B3GC<¸9UT 7�9;YE�EXZB M | GpGK�WX;D,V]7�F�b�EFHVWT.TW_EF�V�9;B3F½B 9;:�_,@CYEF� V�9^< TW_EFA7�FH�hXZYEF��.9UT]TW@pB3F�i&M | GCG.��X;D,V]7�F�&�EFHV�T . � P �EYE@ TWV�X � V�F=7 � @p:HF XZYhTW_EFA7�FH�\B 9;:�_E@CYEF;M | GCG�WX;D,V X;TW_EF=7�TW_,9;Y � FHY,�39 � TWF=7�TW_,FH@ 7 E7�V�T¼7�F�&�EFHV�THM�OwX;D �*7�F�b�,FHV�TWV . � P f t � � P XZY3TW_EFLD,GC�EFLB 9;:�_,@CYEF9 � TWF=7.@ TWV%7�FH�¢7�F�b�,FHV�T]@CV%V�9UTW@pV ,FH��M

x

Page 11: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

J <STW_EF 9;� � F=7�V�9U7W<�� V�:�_EXZ@p:HF;r �WX;D&� @CVF�b�19;GCG <SGC@ClwFHG < TWX�D�F TW_,F�� ��� ��X;D TWX 1YE@CVW_S7�FH:HFH@ � @CYEo�@ TWVVWF=7 � @C:HFXZY�TW_EF7�FH��B 9;:�_E@CYEF�EY,�EF=7 | ���½r � X;7AF^9;:�_ t � P M½6�_b�,V.TW_,F�F¦f&��FH:=TWFH� GCFHYEo;TW_ X �

| � � � V.VW:�_EFH�,�EGCF @CV]9UT]GpF^9;V�Ti)��� gtP �� .P � . P f tP � q tP

P � P � t �

.P �P f tP . q . � ~

f t P � �

6�_EFNX;�,TW@CB 9;G�VW:�_EFH�E�EGCFNGpFHYEo;TW_ @CV%F^9;VW@pG <¸V�FHFHY?TWX�D�F�. rEoZ@ � @CYEo½TW_EFA�,FHVW@ 7�FH�¢7�9UTW@pX"M �

j X;7.TW_EFNT¡maXU} �WX;Dh:^9;VWF mLF 9U7�FA9UD,GCF TWX oZ@ � FA9TW@CoZ_bTWF=7]D�XZ�EYE��M

��� � ��������� E�z | � ? }[z8 0HG vX} z ? � 0B? v �� =$zg| 0 �<IV8 J9zg| �<I.v 5 8 ��6TI 0B? vON 5 R9zA@�9 |�vXvT8U9 � 0B; v:RpzV@�OIKzW9 9 |�zA@ � vM8hY �[ \']_^ P � Ppq �[a`�brcsd ��6MI 0 v ; vG� �%6Vz8:9Kv � 0 � 0<; v | �� 0 z ztJ u3Jpzg|Fu w x2 �>= � 0B? � �zA@ � 0<; 0 zD;� �[} ; vp|V� �g| 0 vp� �

����� �� � j X;7 :HXZY � FHYE@pFHYE:HF;r�9;VWV��EB3FNTW_,9UT.TW@CB3FN@CV]�E@ � @CVW@ D,GpF]@CYbTWX 9U7WD,@CT�7�9U7�@CG < VWB 9;GCG �,YE@ TWVHM�Q F�:^9;Y

7�FHB3X � FATW_E@pV�9;VWVW�EB��,TW@CXZY¢Db<?9U�E�E7�XHfR@CB 9UTW@CYEo@ T%TWX3m]@ TW_E@CY?9;Y 9U7�D,@ T�7�9U7�@pG < VWB 9;GpG � � i&r19;Y,�¢TW_EFHY

VW:^9;GC@pYEo�9;GCG � 9;GC�EFHVaD&< t�� � TWX3X;DET�9;@pY @CYbTWFHoZF=7.@CYR�1�RTWVHM

Q F½�EFHVW:=7�@ D�FA937�9;YE�EXZB3@��HFH� 9;� � F=7�V�9U7�< |.� � VW�E:�_ TW_,9UTHr � X;7 9;Yq<?7�9;Y,�EXZB3@ �HFH�\9;GCoZX;7�@ TW_EB | ���½r� � ����� ^ � ��������� q x 2 � � ����� ^ �-, , .N����r m]_EF=7�F d c 6 �EFHYEX;TWFHV�9;Y X;�,TW@CB 9;G¿9;GpoZX;7�@ TW_EB?M |�� � E7�V�T

�EVWFHVLXZYEF]7�9;YE�EXZB D,@ T�TWX½VWFHGCFH:=T ��X;D t X;7 �WX;D� 9;VLTW_EF��WoZX&Xb� �WX;D r"@�M F;M TW_EF]XZYEF.TW_,9UTLTW_EF]X;�,TW@CB 9;G9;GCoZX;7�@CTW_EB�m.@CGCG F¦fRFH:H�RTWF E7�V�THM �*F=T�� �,FHYEX;TWF TW_,@CV :�_EXZ@C:HF;M |.� � TW_EFHY VWFHGCFH:=TWV��\�EYE@ � X;7�B3G <�9UT

7�9;YE�,XZB � 7�XZB TW_EF @pYqTWF=7 � 9;G � i z t� M I � � q t r |�� � V�F=TWV � g q �"r � 4 q � g q t r�9;YE� � 4 q i �

X;TW_EF=7Wm.@CVWF;r |�� �eVWF=TWV � g q �Rr � 4 q � g q t r19;Y,� � 4 q i&M |.� � VWF=TWV � � q � � q i � X;7 � � bM

I T @CV F^9;V�< TWX�VWFHF TW_19UT � � ����� ^ �-, ,/. ��� q ~*� bM s�X^mAr;maF VW_EX^m TW_,9UT � � ����� ^ � ��������� f � � ����� ^ �-, ,/. ��� q

t�� bM | � � �19H<"V d c 6�� V�:HXZV�THrE�1GC�EVLm]_,9UTWF � F=7 9;B3XZ�EYbT�X � V�F=7 � @p:HF�@CT�oZ@ � FHV%TWX�TW_EF D�9;���X;D?D�F � X;7�F

t i

Page 12: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

7�F^9;:�_E@CYEo¸TW_EFFHYE��X � TW_,F�D�9;� �WX;D r X;7NTW_EFFHYE��X � TW_EFoZXbX&� ��X;D � V.7�F�b�E@C7�FHB3FHYbT�XZY u M½`aXZY,VW@C�EF=7TW_EFA:H�E7 � FA:HXZYbT�9;@CYEFH� @pY¢TW_EFA�EYE@CTaV �b�,9U7�F m]_E@C:�_ �EFHYEX;TWFHV | ��� � V.9;:=TW@CXZYh@CY?VWF=7 � @C:H@CY,o0�WX;D,V t 9;YE� m._EFHY �E7�FHVWFHYqTWFH�hm]@ TW_h9;Yh@CYE�,�RT � X;7.m]_,@C:�_?TW_,FAT¡maX���X;D,V�F^9;:�_�_,9 � F½9 VW@CYEoZGpF T�9;V�l � X;7]TW_EF 7�FH�B 9;:�_E@CYEF � X;7 t �EYE@CT]X � TW@CB F;M 6]_EF�:H�E7 � F�VWT�9U7WTWVA9UT TW_EF�X;7�@CoZ@CY�M j 7�XZB�TW_E@pV]��XZ@CYbTHr�B X � FHB3FHYbTA@CY

TW_EFf �E@ 7�FH:=TW@CXZY :HX;7W7�FHV���XZYE�,V TWX F¦f"FH:H�ETW@CYEo��WX;D t XZY TW_EF37�FH� B 9;:�_,@CYEF;r¼9;Y,� B3X � FHB3FHYbT@CY�TW_EF< �E@ 7�FH:=TW@pXZY :HX;7W7�FHV���XZYE�,VNTWX F¦fRFH:H�RTW@CYEo���X;D ?XZY TW_,F37�FH� B 9;:�_E@CY,F;M¸6�_,F3:H�R7 � F @CVA:HXZYbTW@CYb�,XZ�EVHrYEXZYE�,FH:=7�F^9;VW@CYEo�@pY¸f?9;YE� <Zr19;YE�?FHYE�EV�m]_EFHY � q t X;7 � q t M

Q F�YEX;TWF\TW_,9UT¸TW_E@CV¸:H�R7 � F�:^9;Y#D�Fh�EVWFH� TWX �EF=TWF=7�B3@CY,F | � � � V¢D�FH_,9 � @CX;7¢XZY 9;Yq< T¡<&��F\X � �WX;DVWF�&�EFHYE:HFhTW_,9UT |.� � B3@CoZ_bT oZFHYEF=7¦9UTWF;M j X;7 F¦fE9;B��,GpF;r Rf � 9;YE� GCF=T � q t M 6�_EFHY#XZY TW_E@CV

VWF�&�EFHYE:HF;r | � � m.@CGCG � XZGCGpX^m TW_EF½D�FH_,9 � @CX;7NV���FH:H@ ,FH�\D&< TW_EF:H�R7 � F��EYqTW@pG � q �"M | TATW_,@CV���XZ@pYqTHr

| � � m.@CGCG VWF=7 � @C:HF�TW_,F�7�FHB 9;@CY,�EF=7 X � D�X;TW_ ��X;D1V @CY ��9U7�9;GCGCFHG�M 6�_EFlwF=< X;D,VWF=7 � 9UTW@CXZY @CVNTW_,9UT�TW_EFF¦fR:HFHVWVNTW@CB3F | � � VW��FHY,�EV XZY�TW_E@CVN@CYR�1�RT.VWF�&�EFHYE:HF � D�F=<wXZYE��TW_,F�X;�ETW@CB 9;G¼TW@CB3F���@pV TW_EF � � 9;GC�EF

X � TW_EF :H�E7 � FAm]_,FHY � q �"M%n�FHYE:HFATW_EF½9 � F=7�9;oZFF¦fR:HFHVWV.TW@CB3FAX � | � � X � F=7 d c 6 m]_EFHY � q t @CV

TW_EF 9U7�F^9��EYE�EF=7%TW_,FN:H�R7 � F;M { @pB3@CGp9U7�GC<ZrbTW_EFA9 � F=7�9;oZF½F¦f":HFHVWV]TW@CB3FNm._EFHY � q ½@pV%TW_EFA9U7�F^93TWX�TW_EF

GCF � T�X � TW_EFN:H�R7 � F;M

j @CY,9;GCGC<ZrqmaF.YEX;TWF.TW_,9UTaVW�EB X � TW_EF�T�mLX�9U7�F^9;Va@CV t rR9;YE� TW_,F.F � FHYbTWV � q t 9;YE� � q AF^9;:�_?X&:H:H�R7

m]@ TW_¢�,7�X;D19UD,@CGp@ T¡< t�� �1TW_b�,VHrRTW_EFAF¦f"��FH:=TWFH� F¦f":HFHV�V]TW@CB FN@CV t�� bM �

tZt

Page 13: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

� � � ��� �����������$b���������½����L�����.�

��� � �������� } zg| v ; v9|Vx 0B? � � � ? 6Gv0ztJ Y �[ \�]_^ P [a`�brcsd N �<IKvp|�v 0 � � �M6MI.v�}D � v ztJ � v ? = �<I 24 B 9�f � ,�brcsd zs{ b�cOdb� �� zw|�vXz ; v9|7Nr�nD'6MI � �T6MIKvX}D � v/6 � ? @Xv�Jpz�D ? } 0<? � 0<? v �w| � 0 8 v �+��IAD;�sN �<IKvp|�v 0 � ��}$v � vp|W8 0<?'0 � � 0 6�� 0<? v �w|n5� 0 8 ve24 5 �W9�9�|~z>� 0 8 �� 0 z ? �� =Lzg| 0 �<IA8�J9zg| �<IKv"E:� 5 I �g|�}�9 |�zA@ � vM8 Y �[ \']_^ P [a` b�csd �

����� �� � 6�_EF E7�V�T¼:HGp9;@CB�@CV¼F � @C�,FHYqT � 7�XZB 9;YF¦fR9;B @CY,9UTW@CXZY½X � TW_EF¿�E7�X&X � X � 6�_EFHX;7�FHB t M I T87�FHB 9;@CYEV

TWX3@CGpGC�EV�T�7�9UTWF�TW_,9UT]TW_EFA9;GCoZX;7�@ TW_,B :^9;Y?D�FN@CB��,GpFHB3FHYqTWFH�¢TWX37��EY?@CY?GC@pYEF^9U7%TW@CB3F;M

6�_EF\X�� @CY,F�9U�,�E7�XHfR@CB 9UTW@pXZY 9;GpoZX;7�@ TW_EB 7��EYEV?9;Y X�� @pYEF � F=7�VW@CXZY X � c [ I¦t 9;Y,� TW_EFHY c [ I STWX

�E7�X&�E�E:HF T¡maX VW:�_,FH�E�EGCFHVHr�9;Y,� 7�F=TW�R7�YEV�TW_EF¸VW:�_EFH�,�EGCF m]@ TW_ TW_EF¢VW_EX;7WTWFHV�TB 9UlwFHV���9;Y�M J FHGCX^mumaF

oZ@ � F 93GC@CYEF^9U7aTW@CB3FA9;GpoZX;7�@ TW_EB � X;7 c [ I¦t M

I Y TW_EF � XZGCGCX�m]@CYEo"r¼GCF=T � � ����� � �"�ND�F�TW_EF YEF¦f"T���X;D @CY TW_EF :H�R7W7�FHYbTA�E7�@CX;7�@ T�<\X;7��,F=7�@CYEo � X;7 TW_EF37�FH�B 9;:�[email protected]_,9UT%_,9;VL�E7�@CX;7�@ T¡<�o;7�F^9UTWF=7%TW_,9;Y��WX;D �Er,9;YE�¸GCF=T� ��� ��� � �&�LD�F]TW_EF.Y,F¦f&T��WX;D¸m.@ TW_ �,7�@CX;7�@ T�<GCFHVWVATW_,9;Y �EM I Y,@ TW@p9;GCG <Zr�� � ����� � �"� q � f t 9;YE� � ��� ��� � �&� q � � t � 9;V ��X;D,V :HXZB��,GCF=TWF;r¼TW_EF=<�m]@CGCG:=7�F^9UTWF�ow9U�,VN@pYhTW_,@CV GC@CV�THMA6�_,F �WX;D,VN9U7�F�V�TWX;7�FH��@CY 9¸�EXZ�RD1G < GC@CYRlwFH�\GC@CVWT�X;7��,F=7�FH�\Db<h�E7�@CX;7�@CT¡<Zr�VWXTW_,9UTm��X;D,V.m]_E@p:�_ _,9 � F�:HXZB3�,GCF=TWFH�\:^9;Y D�FN7�FHB X � FH� 9;YE� TW_,FA�E7�@pX;7�@ T¡<?X;7��,F=7�@CYEo7�FHFHVWT�9UD,GC@CVW_,FH� @CY:HXZYEV�T�9;YbT½TW@CB3F;M j X;7�:HXZY � FHYE@CFHYE:HF;r d � @pYEF c [ I�t 9;VWVW�EB FHVATW_EF=7�F¸9U7�F T¡maXh�E�,B3B < �WX;D,VHr ��X;D i&rm]_E@p:�_ _19;V]TW_EF�GCF^9;V�T��E7�@CX;7�@ T¡< � X;7�TW_EF�D,GC�EF B 9;:�_E@pYEF�9;YE� m]_E@C:�_h9;G m%9H<"V�7�F�&�EFHV�TWV.D,GC�EF;r�9;YE���WX;DP � t m]_E@C:�_ _,9;V.GCF^9;V�T]�,7�@CX;7�@ T�< XZYhTW_EFN7�FH�hB 9;:�_,@CYEF 9;YE� m]_E@C:�_ 9;G m%9H<"V]7�F�b�EFHVWTWV�7�FH��MLQ F9;GCVWX

9U�E��FHYE�?�E�,B3B < T�9;V�l"V]X � GCFHYEo;TW_ i � X;7�TW_EFA7�FH�?B 9;:�_,@CYEF TWX3TW_,F D�FHoZ@pYEYE@CYEo½X � F^9;:�_h7�F^9;G;�WX;D M

6�_EF�9;GCoZX;7�@ TW_,B V�T�9U7WTWVLm]@CTW_�TW_EF.D,GC�EF�B 9;:�_E@CY,F]9;VWVW@CoZY,FH� TWX0��X;D?i 9;Y,� TW_EF]7�FH�¸B 9;:�[email protected];VWV�@CoZYEFH�TWX � ��� ��� � iw� q t ��TW_E@CV.@CV]9;Y\@CYEV�T�9;Y,:HF X � V�T�9UTWF | D�FHGCX^mAM%6�_,F�9;GCoZX;7�@CTW_EBum]@CGpG*9;G m%9H<"V]D�FA@CYhXZYEF

t

Page 14: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

X � TW_EF T¡maX � XZGCGCX�m]@CYEoV�T�9UTWFHV>(

V�T�9UTWF | ( { XZB F���X;D%� F¦fRFH:H�RTWFHV]XZY TW_EF D,GC�,F�B 9;:�_E@CY,FA9;YE� � � � ��� � �"��F¦fRFH:H�RTWFHV]XZY TW_EF 7�FH� B 9;:�_E@CY,F;MV�T�9UTWF J ( { XZB3F'�WX;D � F¦fRFH:H�RTWFHV�XZY?TW_EFN7�FH�?B 9;:�_E@pYEFA9;YE� � � � ��� � �"��F¦fRFH:H�RTWFHV.XZY TW_EF D,Gp�EF B 9;:�_E@pYEF;M

I Y3FH@ TW_EF=7�V�T�9UTWF;r=�WX;D,V�GCFHVWV�TW_,9;Y��9;GCG"ma9;@CT � X;7�TW_,F%D,GC�EFaB 9;:�_E@CYEF;r&9;YE� ��X;D1V�o;7�F^9UTWF=7LTW_,9;Y � � � ��� � �"�9;GCG�m%9;@ T � X;7�TW_EF 7�FH� B 9;:�_E@pYEF;M

I Y¢D�X;TW_?VWT�9UTWFHVHrETW_EF'�WX;D,V��¢9;YE� � � � ��� � �&�a7��EY?@CY¸�19U7�9;GpGCFHG�M I Y?VWT�9UTWF | rE@ � XZYEF'�WX;D�� V�:H�R7W7�FHYqTaT�9;V�l:HXZB��,GpF=TWFHV.D�F � X;7�FATW_,F X;TW_EF=7^r�TW_EF½9;GCoZX;7�@ TW_,B 7�FHB 9;@CYEV]@pY V�T�9UTWF | r1D,�ET �?@CYE:=7�F^9;VWFHV.X;7 �EFH:=7�F^9;V�FHV

D&< t rE@�M F;M r"TW_EF���XZ@CYbTWF=7aB X � FHV]�E�¢X;7��,X^m]Y¸D&< XZYEF{�WX;D XZY¢TW_EF��E7�@CX;7�@CT¡<3GC@CVWTLX � ��X;D,V^M I4� D�X;TW_��WX;D,V:HXZB��,GpF=TWFNTW_EFH@ 7�T�9;VWl&V 9UT�TW_EF�V�9;B3FNTW@CB FND,�RT�XZYEF X;7]D�X;TW_ X � TW_EF��WX;D,V]@pV ,YE@CV�_EFH�?9UT]TW_E@CV���XZ@pYqTHrmaFAVW@CB3@pGp9U7�G <3V�T�9^< @CY?V�T�9UTWF | m]@CTW_?TW_EFNYEF=m �¢@CY,:=7�F^9;VW@CYEoX;7]�,FH:=7�F^9;VW@CYEo3Db< t M¿n�X^maF � F=7�@ � D�X;TW_

�WX;D,V �&T�9;V�l&V ,YE@CVW_¸9UTaTW_EF V�9;B3F�TW@CB3FN9;YE�¢YEFH@ TW_,F=7s�WX;D?@CV ,YE@CV�_EFH��rwTW_EFN9;GCoZX;7�@ TW_EB B3X � FHV�TWX�V�T�9UTWFJ m]@ TW_ �¢9;YE� � � � ��� � �"��@pYqTWF=7�:�_,9;YEoZFH��M

� j 7�XZB�V�T�9UTWF J r8TW_,F¸9;GCoZX;7�@ TW_EB�9;G ma9^<&V�B X � FHVTWX�V�T�9UTWF | M I � XZYEF T�9;V�l :HXZB��1GCF=TWFHV½D�F � X;7�F TW_EF

X;TW_EF=7^r&TW_EF�Y,F=m�� � X;7LV�T�9UTWF | @pV¿9��WX;D XZY,F%��XZVW@ TW@CXZY3GpX^maF=7¿X;7aXZYEF%��XZVW@ TW@CXZY _E@CoZ_EF=7�@pY�TW_EF��,7�@CX;7�@ T�<GC@CVWTHM I � TW_EF=< :HXZB��,GCF=TWF 9UT TW_EF�V�9;B3F�TW@pB3F;r TW_EF3Y,F=m � � @pY V�T�9UTWF | � @CV TW_EF V�9;B3F39;V @pY V�T�9UTWF J

�EYEGpFHVWVaTW_EF'�WX;D � _19;V�FHYE�EFH� @pY¢m]_E@C:�_?:^9;VWFATW_EFNY,F=m � @pV t 9UD�X � FATW_,FNXZGC� �EM

�¿9;:�_ T�7�9;YEVW@CTW@CXZY TWX 9hYEF=m VWT�9UTWF 7�F�b�E@C7�FHV�:HXZY,V�T�9;YqTTW@CB F;r�9;YE� 9UT�GCF^9;VWT½XZYEF¸:HXZB��,GpF=TWF T�9;V�l @CV

VW:�_EFH�E�EGCFH� Db< F^9;:�_�T�7�9;YEVW@CTW@CXZY �,TW_&�EV.TW_EFA7��EYEYE@CY,oTW@CB3F @pV]GC@CY,F^9U7.@CY TW_EF TWX;T�9;G Y&�EB�D�F=7�X � T�9;V�l"VHM

t�~

Page 15: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

� � � �������������W/,���W( �.�������� ���5]�.������)���/

I Y TW_E@CVVWFH:=TW@CXZY�r¿mLF?:HXZY,VW@C�EF=7��EF=TWF=7�B @CYE@CV�TW@p: XZYEGC@pYEF¸9;GpoZX;7�@ TW_EB3V�9;YE� 7¦9;YE�EXZB3@ �HFH� XZYEGp@CYEF¢9;GCoZXU}7�@ TW_,B3V]9;ow9;@CYEVWT 9;�,9U�,TW@ � F X�� @pYEF�9;� � F=7�V�9U7�@CFHVHM I T�@CV]F^9;V�< TWX VW_,X^m�TW_,9UT 9;Yb< �EF=TWF=7�B @CYE@CV�TW@p:A9;GCoZXU}

7�@ TW_,B TW_19UT%�E7�X&�E�E:HFHVaXZYEG < D,�EV�< V�:�_EFH�E�,GCFHV%@CV �}¡:HXZB���F=TW@ TW@ � F;M Q F YEX^m V�_EX^m TW_,9UTHr,TW_E@CVLD�XZ�EYE�¢@CV

9;V�<"B��ETWX;TW@C:^9;GpG < TW@poZ_qT]9;V]TW_EFNYb�,B D�F=7]X � ��X;D1V�@CYE:=7�F^9;V�FHVHM

��� � ��������� E�z | � ? }[z8 0HG v�} z ? � 0<? v �� =$zw| 0 �<IA8 Jpzg| �<I.v 5L8 ��6MI 0B? vnN PQ5SRpzV@:9 |�vXvT8U9 � 0B; v:RpzV@�OIKzW9 9 |�zA@ � vM8 Y �[ \']_^ P [a`�brcsd ��6MI 0 v ; vG��� 6Xz8:9Kv � 0 � 0<; v | �� 0 z � vp�X���<I � ? f gi �>= � 0<? � �z�� 0B? v�[} �M9 � 0B; v �[} ; vp|V� �g| 0 vG� �

����� �� � Q F��EFHV�:=7�@ D�FL9;Y39;� � F=7�V�9U7W< |.� �#m._E@C:�_ r � X;7¿9;Yb< . � i 9;YE� � X;7L9;Yq<�7�9;YE�EXZB3@��HFH��XZYEGC@CYEF9;GCoZX;7�@CTW_EB | � �½r1m]@CGCG�:HXZYEV�T�7��E:=T.9;Y @pYR�,�RT � X;7]m]_E@p:�_?TW_EF X;�ETW@CB 9;G V�:�_EFH�E�,GCFA_,9;V�GpFHYEo;TW_h9UT�GCF^9;V�T

. 9;Y,� � X;7�m]_E@C:�_ | � �u:HXZY,V�T�7��E:=TWV½9 VW:�_EFH�E�EGCF�X � GCFHY,o;TW_ 9UT�GpF^9;V�T f gi TW@CB3FHVNTW_EF X;�ETW@CB½�EB?M

j X;7�:HXZY � FHYE@pFHYE:HF;r�9;VWV��EB3F�. � P @CV�9;Y @CYbTWFHoZF=7 �,X;TW_,F=7Wm]@CVWF;rR7�XZ�EYE�?�R�?TWX TW_EFNYEF¦f"T]Gp9U7�oZF=7]@pYqTWFHoZF=7^M

| GCG+�WX;D,VA7�F�&�EFHV�T TW_EF3V�9;B3F B 9;:�_,@CYEF � V�9^< TW_EF37�FH�SXZYEF�� 9UT TW@CB3F i&M | GCG+�WX;D,VAm.@CGCG :HXZYbTW@CYb�,F�TWX7�F�&�EFHV�TaTW_EF�7�FH�?B 9;:�_E@CYEF �EYbTW@CG1TW_EFNGp9;V�T%XZYEF � V�9^< � �¿7�FH:HFH@ � FHV . � P �EYE@ TWVaX � V�F=7 � @p:HF��,YE�EF=7 | ���½M

| T�TW_19UT�TW@CB3F;r"9;GCGN�WX;D,V�X;TW_EF=7¿TW_,9;Y � FHYE��M �*F=T . ��� . � P f t � � P �EFHYEX;TWF%TW_,F�VW�EBeX � TW_EF�9;B3XZ�EYbTWVX � VWF=7 � @C:HF�7�FH:HFH@ � FH� Db< ��X;D1VAX;TW_EF=7 TW_19;Y �]XZY TW_,F7�FH� B 9;:�_E@CYEF;M OqX;D �]YEX�m 7�F�&�EFHV�TWVNTW_,FD,GC�EFB 9;:�_E@CYEF � X;7�TW@CB3F�. � M

6�_EF.GCFHYEo;TW_¢X � | � � � VaVW:�_EFH�E�EGpF]@CV . � � . � P M I Ta@CVLF^9;V�<3TWXVWFHF.TW_,9UT�9;Y¸X;�,TW@CB 9;G�VW:�_EFH�,�EGCF dNc 6

@CVAX;D,T�9;@CYEFH� D&< VWF=7 � @CYEo��WX;D � ,7�V�T XZYSTW_EF�7�FH� B 9;:�_E@CY,F;r 9;YE� TW_EFHYSVWF=7 � @CY,o¢TW_EF3X;TW_EF=70��X;D,V�XZYTW_EF�7�FH�SB 9;:�_E@CYEF�@CY �19U7�9;GCGCFHG m.@ TW_ �WX;D � � V 7�F�b�,FHV�T � X;7 TW_EF�D1GC�EF�B 9;:�_E@CYEF;M¸6�_EF�GCFHYEo;TW_ X � TW_E@CV

t j

Page 16: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

VW:�_EFH�E�EGCFN@pV . � � . � P M�6]_b�EVamaFA_,9 � F

����� ^ � ����� �� ��� ^ �-, , . � q

. � � . � P. � � . � P �

. � P f t � � P � . � P. � P f t � � P � . � P q f

tP �

� � � ������������ E�z}$v � vp|W8 0<?'0 � � 0 6 z ? � 0B? v��� =$zw| 0 �<IA8 Jpzg| �<I.v 5L8 ��6MI 0B? vnN�PQ5SRpzV@ 9 |�vXvT8:9 � 0B; voRpzV@�OIKzW9_9 |�zA@ � vM8�Y �[ \']_^ P [a`�brcsd ��6MI 0 v ; vG� �X6Vz8:9Kv � 0 � 0B; v�| � � 0 z � vG�V� �<I � ? f gi �

j X;7.TW_EFNT¡maXU} �WX;Dh:^9;VWF mLF 9U7�FA9UD,GCF TWX oZ@ � FA9�VWXZB3F=m]_19UT�TW@CoZ_bTWF=7]D�XZ�EYE��M

��� � �������� E�z | � ? }[z8 0HG vX} z ? � 0B? v �� =$zg| 0 �<IV8 J9zg| �<I.v 5 8 ��6TI 0B? vON 5 R9zA@�9 |�vXvT8U9 � 0B; v:RpzV@�OIKzW9 9 |�zA@ � vM8 Y �[ \']_^ P � P1q �[a`�b�cOd ��6TI 0 v ; vp� � 6Vz8:9Kv � 0 � 0<; v | �� 0 z z7J"u Jpzw|-u3w t� �;j �>= � 0B? � �z�� 0<? v �[} �W9 � 0<; v �[} ; vp|V� �w| 0 vG� �

����� �� � j X;7 :HXZY � FHYE@pFHYE:HF;r�9;VWV��EB3FNTW_,9UT.TW@CB3FN@CV]�E@ � @CVW@ D,GpF]@CYbTWX 9U7WD,@CT�7�9U7�@CG < VWB 9;GCG �,YE@ TWVHM�Q F�:^9;Y

7�FHB3X � FATW_E@pV�9;VWVW�EB��,TW@CXZY¢Db<?9U�E�E7�XHfR@CB 9UTW@CYEo@ T%TWX3m]@ TW_E@CY?9;Y 9U7�D,@ T�7�9U7�@pG < VWB 9;GpG � � i&r19;Y,�¢TW_EFHY

VW:^9;GC@pYEo�9;GCG � 9;GC�EFHVaD&< t�� � TWX3X;DET�9;@pY @CYbTWFHoZF=7.@CYR�1�RTWVHM

6�_EF�9;� � F=7�V�9U7�< |�� � m]@pGCGEoZFHYEF=7�9UTWF �3T�9;V�l"Va@CY F^9;:�_���X;D � X;7aV�XZB3F��1r � XZGCGCX�mLFH�¸D&< 9�1Y,9;G,T�9;VWl @CYXZYEG <¢XZYEFAX � TW_EFAT¡maX �WX;D,VHM |�� � � V.X�� @pYEFNVW:�_,FH�E�EGCF m]@pGCG�D�F X;DET�9;@CYEFH�?D&<¢F¦f"FH:H�RTW@pYEo3FH@ TW_EF=7 � � @CY�19U7�9;GpGCFHG�m]@ TW_ � �� g X;7� � @CY¢�19U7�9;GCGpFHG�m]@ TW_ � �� g r � X;7 t &� ��1M

|�� � :^9;�EVWFHV.D�X;TW_��WX;D,V�TWX 7�F�&�EFHV�T.TW_EFN7�FH�\B 9;:�_,@CYEF 9UT�TW@CB3F i&M |�� � �,F=TWF=7�B3@CYEFHV]TW_EF GpFHYEo;TW_EVX � T�9;V�l"V � g 9;Y,� � g � X;7.TW_,F 7�FH�\B 9;:�_E@CYEFA@pY 7�FHV���XZYEV�FATWX TW_EF XZYEGp@CYEF 9;GCoZX;7�@ TW_EB | � � � V�9;:=TW@CXZY,VHM

J X;TW_ ��X;D1V.:HXZYbTW@CY&�EF½TWX 7�F�b�EFHVWT.TW_EF�7�FH��B 9;:�_E@CYEF��EYqTW@pG*TW_EF=<h_,9 � FF^9;:�_ 7�FH:HFH@ � FH�\TW@CB3F9UTNGCF^9;V�T

t v

Page 17: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

t ��TW_&�EVHrLB3@CY � � g z � g � q t M I Y TW_EF � XZGpGCX^m]@pYEohVWT�9;oZFHVHr |.� �'oZFHY,F=7�9UTWFHV3T�9;V�l"V XZY TW_,F X;�E��XZVW@ TWF

B 9;:�[email protected]_,9UT%X � TW_EF��E7�F � @CXZ�,V¿V�T�9;oZF;M |.� � �EX&FHV%VWX�EYbTW@CG | � ��_19;VLoZ@ � FHY?F^9;:�_�WX;D 9;V%B��E:�_VWF=7 � @C:HFA9;V%TW_,FNX;�E��XZVW@ TWF{��X;Dh@CY¢TW_EF �E7�F � @CXZ�EVaV�T�9;oZF���@�M F;M rEVWX�TW_19UT � �� g � � � 9;Y,� � �� g � � � �EYEX;TWFTW_,9UT�FH@ TW_EF=7]TW_,F :HXZV�T X � � ��X;7.TW_,9UT.X � � ��:^9;YhD�FA_E@C�E�,FHY?@CY?TW_EF�X�� @CYEFAV�:�_EFH�E�,GCF;M j @pY,9;GCG <Zr |�� �

VWF=TWV FH@ TW_EF=7 ��� g q ���wr ��� q i X;7 ��� g q ���br ��� q i&r 9;YE� � � q � � q i � X;7 � � � � t M s�X;TW@C:HF

TW_,9UT | ��� YEF � F=7%F¦f"FH:H�RTWFHVaTW_,F]T�mLX �WX;D,VL@CY3�19U7¦9;GCGCFHG�rbm]_EF=7�F^9;VLTW_EF�GCFHYEo;TW_¸X � TW_EF�X�� @CYEF.VW:�_,FH�E�[email protected]�b�,9;G8TWXX,�brcsdRM I Y TW_EF � X;7�B3F=7 :^9;VWF;r | � � � V :HXZV�T @CV ��� � � �� � g � � � �

�� � g � ��9;YE�hTW_EF½X�� @CYEF

:HXZV�T�@CV���� � � �� � g � � �E@CY¸TW_EF Gp9UT�TWF=7^r | � � � V�:HXZVWT�@CV���� � ��� � g � � � �

�� � g � �89;YE�¢TW_,F�X�� @CYEF�:HXZV�T

@CV ��� � � �� � g � � M

I T�7�FHB 9;@pYEV�TWX½�EFHVW:=7�@ D�F%_EX^m |�� � �EF=TWF=7�B @CYEFHV �1M I4� 9UT%9;Yq<�TW@pB3F |�� � @pV¿9UD,GCF]TWX TWF=7�B3@CY,9UTWF.TW_EF

ow9;B3F9;YE� :^9;�,VWFATW_EF 7�9UTW@CX X � TW_EF XZYEGp@CYEFN:HXZV�T�TWX TW_,F X�� @CY,FA:HXZV�T�TWX F¦fR:HFHFH�hTW_,F V�T�9UTWFH�\D�XZ�EYE��r

@ T��EXbFHV.VWX"M.6]_EF � XZGCGCX^m.@CYEo3F¦fR_,9;�EV�TW@ � F�9;Y,9;G <"[email protected]_EX�m]V�TW_,9UT�D&< :�_EX&XZVW@CYEo ����� t z �Zr�TW_E@pV]B½�EV�T

D�F ��XZVWVW@ D,GpF � X;7 |�� ��r�9;YE�¢TW_&�EV%<"@CFHGC�EVaTW_EF V�T�9UTWFH� 7�9UTW@pX"M

Q F�:^9;Y � @pF=m�TW_,@CV�9;� � F=7�V�9U7�@p9;G¼�E7�Xb:HFHVWVN9;VA9 T¡maXU} �,Gp9^<wF=7�ow9;B3F@CYhm]_E@C:�_ TW_,F | � � :�_EXbXZV�FHVNTW_EF

� 9;GC�EFHV ��� 9;YE� � �¼VW�EDK��FH:=T%TWX :HXZYEV�T�7�9;@CYbTWV]@pB���XZVWFH�¸Db< |.� ��M |.� �e@pB���XZVWFHVaTW_EFN:HXZYEV�T�7¦9;@CYqTWV

� g � t

� g � t

���+ g � � �

� �� g � � �

t �

Page 18: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

9;GCXZYEo�m]@ TW_ TW_EF � YEXZYEGC@pYEF^9U7¦� :HXZY,�E@ TW@CXZY TW_,9UT%9UTaGpF^9;V�TLXZY,F�B FHB D�F=7aX � F^9;:�_?��9;@ 7LX � :HXZYEV�T�7�9;@CYbTWVa@CV

TW@CoZ_bTHM

I Y X;7��EF=7�TWX 9;:�_E@CF � F�9�:HXZB���F=TW@ TW@ � F 7�9UTW@pX f�� r | � � B½�EV�T]FHY,VW�R7�F�TW_,9UT

��� � � �� � g ��� � ��� � g � �

��� � � �� � g � � f��

9;YE���� � � �� � g � � � �

�� � g � �

��� � � �� � g � � f�� �

[]F^9U7�7�9;YEoZ@CYEoTW_,FHVWF;r | � � B½�EV�T�FHY,VW�R7�F�TW_,9UT

� ��� �� # g)� � g� � � t f�� �

�)� � g� �

9;YE�

� ��� �� # g)� � g� � � t f�� �

�)� � g� � �

Q FAm.@CGCG�VW_EX^m TW_,9UT]F � F=7W<?VWXZGp�RTW@CXZY¢TWX�TW_E@pV�VWF=T]X � :HXZYEV�T�7�9;@pYqTWV � X;7 � � � t z � <"@CFHGC�EV�9 � 9;GC�,FNX � �

9U7�XZ�EY,� i �P~ v 3X;7]GpFHVWVHM

| VWVW�EB3F3m]@ TW_EXZ�RT�GCXZVWV X � oZFHY,F=7�9;GC@ T�< TW_,9UT � 4 q � g � TW_EF :^9;V�F � 4 q � g @CV V�<&B B3F=T�7�@C:;M?Q F¸:^9;Y

m�7�@CTWF

� � g � t f�� � � g � t �

� g � � � 4 � t f�� � � � g � � 4 � � Z�

� g � � � 4 � t f�� � � � g � � 4 � � ~ �

t g

Page 19: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

� g � t � i � jq�

� 4 q � g � vZ�

� j 7�XZB TW_,FHVWFA@ T � XZGCGCX�m]VaTW_,9UT

� � � g � � 4 � � t f�� � � � g � Db< 9;YE�hvZ�

� � g � � g � g #����'

� � � g � Db< ~ 9;YE�hvZ�

� � g � � g #����'

� f t � � � g� � g � � g #����

'� f t � � g #��� � � g � Db< t �

� � g #����' #��� � g #��� � Db<?jq�

X;7 � 2 f j � 4 � j �/f t i&M

6�_EF ��XZG <"YEXZB3@ 9;G�XZY TW_EFNGCF � T�_,9;V.9VW@pYEoZGCF�7�X&X;T.9UT.9U�E�E7�XHfR@CB 9UTWFHG <?i �P~ v bM �

� � � ������������� E�z�}$v � vp|W8 0B?'0 � � 0 6 z ? � 0<? v �� =$zg| 0 �<IV8 J9zg| �<I.v 5 8 ��6TI 0B? vON 5 R9zA@�9 |�vXvT8U9 � 0B; v RpzV@�OIKzW9_9 |�zA@ � vM8�Y �[ \']_^ P � P3q �[a`�b�csd ��6TI 0 v ; vp� �e6Vz8:9Kv � 0 � 0<; v| �� 0 z ztJ � J9zg| � w t� �;j �

d �R7aF¦fR_,9;�EV�TW@ � F�9;Y,9;G <"VW@CV � X;7aVWB 9;GpG � VW�R7�FHGC<�,XbFHVaYEX;TL<&@pFHGC�3TW_EF�o;7�F^9UTWFHV�T%GCX�mLF=7aD�XZ�EYE� TW_,9UT%:^9;Y

D�FX;DET�9;@CYEFH� �8_EX^maF � F=7^r8@CT :^9;Y D�F½VW_EX�m]Y�TW_,9UTA�EY,GCFHVWV�mLF�:HXZY,VW@C�EF=7NB3X;7�FTW_19;Y ���EVWT�T�mLX X�� @CYEFVW:�_EFH�E�EGCFHV^rRTW_EFNB3F=TW_EX&� :^9;YEYEX;T]<&@CFHGp� 9D�XZ�EYE�¢o;7�F^9UTWF=7]TW_19;Y t� y&M

t y

Page 20: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

� � �W/�(�2/�/����.�

I Y TW_E@CVN��9U��F=7�r mLF _,9 � F V�TW�E�E@CFH�SVWXZB3F��E7¦9;:=TW@C:^9;G�9;YE�ST�7�9;:=T�9UD,GCF3VW��FH:H@ 9;G :^9;VWFHV�X � TW_EF ��X;D VW_EX;�VW:�_EFH�E�EGC@pYEo�E7�X;D,GpFHB?M | Y X;D � @CXZ�EV]X;��FHY��b�,FHV�TW@CXZY @pV%m]_EF=TW_EF=7.TW_EF=7�F�@CV.9 c 6 | { � X;7�TW_EF oZFHY,F=7�9;G

:^9;VWF?X � Y �[ \']_^ P [a` brcsd M Q F¢mLXZ�EGp� Gp@ lwF¸TWX X;DET�9;@CY TW@CoZ_bTWF=7�D�XZ�EYE�EV � D�X;TW_ �EF=TWF=7�B3@CY,@CV�TW@C:¢9;YE�

7�9;YE�,XZB3@ �HFH�1� � X;7 TW_,F XZYEGC@pYEF¸�E7�X;D,GCFHB m]@ TW_ 9 RfRFH� Yb�,B D�F=7 X � �WX;D,VHM d �ETW@pB3@ �^9UTW@CXZY :=7�@ TWF=7�@p9X;TW_EF=7.TW_,9;Y B3@CY,@CB��,B B 9UlwFHVW�19;Yh9U7�F X;TW_EF=7]�E@ 7�FH:=TW@CXZYEV � X;7 � �E7WTW_EF=7�maX;7Wl�M

� ( �A���! �W�� �5.���'�¿����/

Q FaTW_,9;YRl | YEY19]> 9U7�GC@CY � X;7 V�TW@CB½�EGp9UTW@pYEo]�E@pVW:H�EVWVW@pXZYEV 7�FHG [email protected]_,@CV*maX;7Wl�rbOq9^<b7¦9;B 6�_,9UTW_,9;:�_,9U7

� X;7 �E@CV�:H�EVWVW@CXZY,V9;Y,� � X;7 VW@CB3�,GC@ � <&@pYEo TW_EF �E7�X&X � X � 6�_,FHX;7�FHB gbr�9;YE� � F=7�_,9U7�� Q XbFHoZ@CY,oZF=7 � X;7

��XZ@CYbTW@CYEoXZ�RT%7�FHGp9UTWFH� 7�FHVW�EG TWV^M

� ���^�¿�����( ��/

� i����� �*Â��§ph ´ ¤¦¨XlUÃq NÂ�1¤�²w¥�º�¨4§[l ³  ¾]Â��.ÂU£�¬±²q²Z°;°HÆ �§�².lU§�²w¶ «� �aÂ[q;ª µ °HÆZ¥� qU¤�� ¹ ¤�²w©�¬±² ^ §�²w¶�qZ©�ªZ¤�¶ ¹w´ ¬¯² ^��³�´d^ °�¨�¬±º�ª µ ¥ §�²w¶ »8° µ ` ´ ¤�oZ¬±º�Æ�Â�� ²?q& »¿Â��L¨4§=­�¤¦¥Xl ³  ¾]Â��.Â8£�¬±²w²w°U°HÆ��§�².l §�²w¶��� ¾. Ç&¬ `wÅU¬¯²��p¤¦¶w¥�Â��~l��� �"!$#&%'!)(&#*�,+.-0/1��243�(5%'!)�46�74682:9&6<;>=56�%?�4/&@9l ¾L§�²w¶$bq°;°�Å;¥ ¬±²BA�`b¤�¨4§^º�¬®°U²w¥N£�¤¦¥¡¤¦§�¨4©�ªh§�²w¶�C §�²q§ ^ ¤ µ ¤�²Uºq;©W¬±¤�²w©�¤ED$lGF¿°�¨�º�ªgf�¾�° ´®´ §�²w¶�l ³�µ ¥¡º�¤�¨4¶w§ µ l.i�HHI$lJDDNk9fQk t=t Â

� t �NÃqÂ�A ¹ ¥�º¡¤¦¨�ªw° ¹ º�Â!q;©�ªZ¤¦¶ ¹Z´ ¬±² ^ Á1¤�©�ªw²Z¬$� ¹ ¤�¥¿ÀC°U¨%»8°U²w© ¹ ¨�¨�¤�²Uº0qUÆZ¥¡º�¤ µ ¥� � ²*-0/ �K(L=L=L24!M6N�"#.�O+P%RQS=T9�6�%?=�/&6U74V

%W!)�"6874XZY[�46K+�=5/1=568(L=P�46]\T!$#&%W/&!)^53G%?= 2_Y[�4`ba<3G%'!M6N�dc<@>#&%e=5` #~l[`$`RÂ t=t feIgf[lKiKHgh t Â

t x

Page 21: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

� I4����Â�£�°U¥¡º�¬ l��.Â�qU¤�¨4§]cVc�¬Bl[��Â�q µ ¬¯¨4²Z¬ l¼§�²w¶�C Â�qG� ¹ ¬ ´±´ §�²Uº¡¤�Â�Á ªZ¤ � µ `w§�©�º °^Àb� � A�°�²��8¨�° ^ ¨�§ µ � ¤¦ªw§=­Nf¬®°U¨%§�²w¶:� §�¨4§ ´±´ ¤ ´ q;©�ªZ¤¦¶ ¹Z´ ¬±² ^  � ² -0/1��( =L=L24!M6J�4# �,+�%MQ�=�� Y�� cJ9������� 94Y c�� 9�� 9,-������������G�4!M6�%

9&6�%?=5/&6874%'!)�46U74X[Y[�"6K+�=5/1=�6U(L=P�"6��:=L7>#&3G/1=5`�=56�%0746U2��:�K2g=�X !M6N� �O+�Y[�"` a83G%e=5/ c<@>#&%?=�` #�l$`[`R k��]f �NkwlKiKHgHhwÂ� D"����Âsq µ ¬±¨4²Z¬ §�²q¶ «�Â�£�¤�¤�¶E �,¤�¥4¥�°�²w¥]Àp¨¡° µ »¼ªw§�¨4§�©�º¡¤¦¨¡¬dc�¬¯² ^ º4ªZ¤ � ²$` ¹ º � A ¹ ºe` ¹ º��¼¤¦ªw§=­;¬®°U¨�°�À � §�¨4§ ´±´ ¤ ´

q;©W¬±¤�²Uº¡¬"!b© ³ `[` ´ ¬±©�§^º¡¬±°�²q¥� -�=5/R+��4/&` 746U(L=#�;>7"X�3�74%'!)�46.IgI[l[`[`E t%$ f'DgD$l;iKHHghwÂ� k>� «.ÂS� ¹ ¨ ^ ¤¦¨Xl;£�ÂZ¾¿ÆZ¶Z¤�¨VlG�aÂGC3¬ ´±´ ¤�¨Vlw§�²w¶�«.ÂqÄ °;°Z¶R � § ^ ¬±² ^ Á1¨4§�¶w¤�°�&R¥¼¬±²½«L¬±¥�º�¨�¬ b ¹ º¡¤¦¶gf q;ªw§�¨�¤�¶wf'C3¤ µ °�¨�Æ

C ¹Z´ º¡¬ `w¨¡°Z©�¤�¥4¥¡°U¨�¥�Â�� ² -0/ �K(L=L=L24!M6N�"#T�O+ c83>aG=5/1(L�4`ba<3G%'!M6N�(' )+*$l iKHgH"DbÂ� �4�-,¼Â ÁaÂU�,¤�¬ ^ ª�º�°�².lU�aÂUC § ^I^ ¥Vl&§�²w¶ q"Â&£¿§^°q � §�©�Å^¤�º¿¨¡° ¹ º¡¬¯² ^ §�²w¶ a °Nbw¥4ªZ°I`3¥4©�ªZ¤¦¶ ¹Z´ ¬±² ^ ¬±² A � ©�°�² ^ ¤�¥�º¡¬±°�²

. ¶Z¬ ´ §�º¡¬±°�²<�¼¥�º¡¤G`w¥�ÂEY �"`�^5!M687"%e�"/&!)(L7 i5DLlw`[`RÂ�i�� $0/ iKh%�[l;iKHHDqÂ� $ � «. q;ª µ °HÆZ¥Xl�»¿Â+qUº¡¤�¬±²�l�§�²w¶¢ÃqÂEĸ¤�¬¯²RÂd� µ `w¨�°H­�¤¦¶ ³ `[`w¨�°poZ¬ µ §^º�¬®°U² ³�´_^ °�¨�¬®º4ª µ ¥aÀC°�¨2qZªZ°I` q;©�ªZ¤¦¶ ¹Z´ ¬±² ^

�8¨�°Ib ´ ¤ µ ¥�ÂZcG91�2���G�43G/&6U74X��"6 Y[�4`ba<3G%'!M6N� t I � I[l3�$i $ f4�I t l;iKHgH"DqÂ� h4���* ³ Â��¿° ´ ¶[bb¤�¨ ^ lJC ÂJ� §^º�¤�¨4¥¡°U².l ³ Â[qZ¨¡¬¯²Z¬±­=§�¥�§�².lZ§�²w¶d��Â$qNh¼¤�¤�¶wÆ;Å& � ¤�º¡º¡¤¦¨ ³ `[`w¨�°poZ¬ µ §�º¡¬±°�² � ¹ §�¨�§�²Uº¡¤�¤¦¥ÀC°�¨ Ã�°Ibgf q;ªZ°N`�q;©�ªw¤�¶ ¹Z´ ¬¯² ^  � ² -0/1��(L= =L2"!M6N�"# �O+ %RQS=5� Y6� VecG91�7� c8@4` aS�>#&!M3G` �46]\T!$#5(�/ =�%?=2�bX �N�4/&!M%RQJ` #

8 c:9[\7�<;9lw`[`RÂLkHH / �fgh[l;iKHgH $ Â

� H4��N¦ÃU§�²w¥�¤�²�l¦£]Â]q;° ´ ¬±¥ fOA�bq§[lH§�²w¶ C Â=qU­;¬±¨�¬±¶w¤�²wÅ�°q ³h´ ¬±²Z¤¦§�¨,º¡¬ µ ¤ §=`$`w¨¡°poZ¬ µ §^º¡¬±°�²%¥4©�ªZ¤ µ ¤*ÀC°�¨1º�ªZ¤�a °Ib]¥�ªZ°N`¥�©�ªZ¤¦¶ ¹Z´ ¬±² ^ `w¨�°Ib ´ ¤ µ ÂJ� ²P-0/1��( =L=L24!M6J�4# �,+0%MQ�=��UQS=�cU=L(L�46U2�9&6<%e=5/&687"%W!)�"6874X=� �4/1>4#1QS�&a �"6�� aga</1�0?!M` 74%'!)�46

�bX �g�"/&!M%MQG`T# +��"/ Y[�4` ^�!M6U74%?�4/&!)74X<9 a<%'!M` !"@�7"%W!)�"6 -0/ �^5X =�` #�l ³¿¹w^�¹ ¥�ºXl iKHHgHwÂ� iKf4��q& A]ÂLqU¤�­H§�¥�º¡¬¯§�²Z°H­A§�²w¶ �. ÃbÂZÄ °;¤ ^ ¬±² ^ ¤�¨� C §�Å�¤�¥ `w§�² µ ¬¯²Z¬ µ ¬_c¦§^º¡¬±°�²½¬¯²�`q¨¡¤�¤ µ `Zº¡¬±­�¤aºQh¼° µ §�©�ªZ¬±²w¤�a °Nb¥�ªZ°N`w¥� Y[�"` a83G%W!M6J�B�f � i�HHghN�~l $ I9f $ HqÂ

� i=i���q& ³�´ bb¤�¨4¥Xl �LÂR­�°�² qUº¡¤¦² ^ ¤ ´ l1§�²w¶ £�ÂRĸ¤�¨4©�ªw²Z¤�¨� ³ ©�° µ bZ¬±²w¤�¶*� � Á §�²w¶¸Á0�?C_�7q;Á ³ C_� ³�´d^ °�¨�¬±º�ª µÀC°�¨ º�ªw¤E�,¬¯¥¡ºDC�`b¶w§�º¡¤E�¼¨¡°Nb ´ ¤ µ  9�6K+��"/&`�7"%W!)�"6]-0/1��(L=&#L#&!M6N��� =�%'%?=�/L#�l$k�� � i�IIk9f i�IH[l$iKHHNkZÂ

� i t ���a �§ ´ Æ�§�²w§�¥ ¹ ²w¶w§�¨�§ µ §�²w¶*N �8¨ ¹ ªw¥�Â�C §9oZ¬ µ ¬_c�¬±² ^ Ã�°Ib?»8° µ ` ´ ¤�º�¬®°U²w¥ AL² ´ ¬±²w¤� � ² -0/1��(L= =L2"!M6N�"#d�,+

%MQ�=203G/ �LaS= 7"6_c8@4` aS�>#&!M3G` �46��bX �g�"/&!M%MQG`T# 8 c3�E;9l�iKHgHhwÂ

;i

Page 22: 6879;:=A@CB DE7FHGsaia/papers/fos.pdf · 6 _ef 7fhb 9;@cye ef=7 x tw_e@cva 9u f=7.@cv%x;7ow9;ye@ hfh \9;v xzgcgcx^m.vhm i y {fh:=tw@cxzy br,mlfa ,f,yef xz r7 e7x;d,gcfhb3v

� iKI4��q&ÂN� ¤�²gf�«L§=­;¬¯¶.lN��ÂU«¿¬¯©�ªUº¡¤�¨ µ §�².l;ÃbÂNF¿° ^ §[l�§�²w¶�q&Â$qU¤�¬±¶w¤�²R AL²Aº�ªZ¤ ��°9h8¤¦¨�°^À � §�¨¡¤ ´ Æ�£�§�²q¶Z° µ AL² ´ ¬±²w¤³�´d^ °�¨�¬±º�ª µ ¥�Â:CL²[` ¹ b ´ ¬¯¥�ªw¤�¶ µ §�² ¹ ¥4©�¨�¬d`wºXl.iKHgHhqÂ

� i5D"� ³ Â��¼°U¨¡°Z¶Z¬¯²½§�²w¶½£�ÂS� ´ f��*§�²w¬®­" 906�X�!M6U=dY[�"` a83G%e7"%W!)�"6 7"682 Y �"` aS=5%W!M%'!M;>= �b6U74X�@>#&!$#+� »¼§ µ bq¨¡¬¯¶ ^ ¤5CL²Z¬ f­�¤�¨4¥�¬®º�Æ �¼¨¡¤¦¥�¥VlKiKHHghwÂ

t