computer science | harvard john a. paulson school of ...shieber/biblio/papers/label.pdf · *+ #(!,...

28

Upload: others

Post on 21-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

������������ ����������������������������� �"!#�%$&�'��()���*(+�������-,.���/0�1�324�-�5,6�7��7�8�

9):<;>=@?"A-BDCE?GFIH@J<K-L6?GA-K�JNM�OP;RQI;RA

=@?"ATSTMVUWU+X�YRZWZ+Y[E;R\+O]C^;"H`_�a�A-Ocb%YWY)XdYRZWZ)e

fEgIh^ikjTl)mTin>o�o pWqTr�sutGo�vxw"ozy {|r�}"~Gv�qTvxs�{�tWq���y {|r�}"��o p"s�v��>{T��y�q���vx{���� qT}"wGs�y���qT�)o��

}"��q|y o�r�o^t�v-�Wq8}"�x{��"��o�r���o���s���o-���c��{|r�vxw"oEy�qT�xv�{��|��q�}"w"o��-� �%v qT����{��6}G��q|y s�t"�vxo p"v���qT�)o�����q|����q�y�o�tRv�v�{�r�q�}>�cokq�v�~"�xo���s�t4��~Wyxw&q���q-�3qT��v�{�r�s�t"s�rEsu�^o{T�|o�����qT}G�D�ds�vxwE{�v�wGo��1��q��Wo����IqTt)�8r�qT}��cokqTvx~"��o^�k 1¡dq���vx{���� qT}"wGs�y���qT�)o��)}"��q�y o ¢r�o�tRv�s��8{�t"o�{T�%v�w"o�r�{��xvv�s�r�o ¢£y�{�t"�x~"r�s�t"��v�q����R��s�t�v�w"o�}"�x{���~Wy v�s�{|t`{��r�qT}"�- ¤¡7{�t"�xok¥|~"o�tRv����R����o��|o���q���qTv�vxo�r�}Gv��8wWq-��oE�)o�o�t3r�q|�RoEv�{0qT~"vx{�r�q�v�ovxw"o���q��Wo^�¦¢�}"��q�y�o�r�o�tRvv qT�x�>�c{|���x{�r�o�{���q��u�dy ��qT�x��o���{T�y�qT�xv�{��|��q�}"w"s�y§�cokq-¢vx~"��o��%¨P}"~"tWy�v�~Wq��]�R��s�t"okq��k�R{|��q���okq��"�co-qTv�~G��o�� ©��)�"~"vdqT���)}"��o��Rs�{�~G�����E}"~"�"��s���wGok�q��u�|{��xsuvxw"r����c{��8v�w"o�r�{��xv��)qT��s�y�v�q����|ª4}W{|s�t�v£¢c�PokqTvx~"��o ¢���qT�)o��d}"��q�y�o�r�o�tRv£ªo�s�vxw"o��o p"w"s��"s�v%�7{����xv�¢�y�qT�xoEo p"}W{|t"o�tRv�s�q��Iv�s�r�oy {|r�}"��o p"s�v��R�"{��%s�tWy {|��}){�� qTv�os�tWy {|r�}"��o�vxodw"o�~"�xs���v�s�y �dvxwWqTvdr�q-�%�]q�su�Gv�{8«WtW��qTt�q��Rr�su�x��s��"��o7��q��Wo^�us�t"�5o���o�t�dw"o^t¤{�t"o5o p"su�xv��- d¬dw"o�y {|r�}"~Gv�qTvxs�{�tWq��Ny {|r�}"��o p"s�v��E{T�I��qT�)o��+}"��q�y o�r�o�tRvds��vxw"o���o��c{��xo­q8r�qTv�vxo��7{T�I}"��q|y v�s�y�q����xsu�|t"s®«Ny�q�tWy os�t¤qT~"vx{�r�qTv�o-��y�q���v�{|��� qT}"wR�R n>oI�xw"{T�>v�w)qTvIq��Rr�s�����s��"��o���qT�)o��R}"��q�y o^r�o�tRv<s��I¯�°+¢�y {�r�}"��o�v�o|�ko^��o�t5�c{����|o�����xsur�}"��o%��o��x��s�{�t"�5{T�dv�w"o8}"��{|�"��o�rz 5¬dwR~"�k�<tG{�}){����Rt"{|r�s�qT�<vxsur�o�qT���|{���s�vxw"ro p"s���vx�~"t"��o��x�­±³²³´¤±E �µRs�r�s���qT���®���G�1oE�xw"{T�¶v�wWq�v{�}Gv�s�r�q�����qT�)o��7}"��q�y o ¢r�o�tRvDy�q�tE�Wod�x{�����ok�5s�t�}){����Rt"{|r�s�qT�Tvxsur�oIs®�·q�tW�5{�t"���s®�N±V²&´�±E��qTt)�vxw"s���xo���~"��vIwG{����R�Io��|o�tEs®�N�7od��o-¥�~Gsu�xo�{|t"����qT}"}G��{-p"s�r�qTvxo����%{�}"vxsur�qT�|}"��q�y o�r�o�tRv��- ¬dw"o¸��o��x~"��v��dqT�xo�o��x}Woky�s�q����u�Es�tRv�o^��o��xv�s�t"�8�Woky^qT~"�xo�y^qT��vx{��|��qT}Gw"s�yd��qT�)o��)}"��q�y o ¢r�o�tRvdsu�d{|t"o{��1v�w"o��co���y {|rE�"s�tWqTvx{���s�q��W}"�x{��"��o�r��dv�wWq�v��xo�r�q�sutG��¯�°+¢�wWqT� �o��|o�t4~"t)�Ro���q0�|o�{�r�o�v��xs�y�¨]¹6~Wy ��s��RokqTt)©Es�tRv�o��x}"��o�v qTvxsu{|t� 4¬dwGo¤��o��x~"��v���qT��o{����"��{Rq��Ro��E}G��q�y�v�s�y�qT�d�xs���t"s®«Ny�q�tWy o��7qT�8v�w"o^�`qT���x{zqT}"}G�u�>vx{z}){�s�tRv�¢P�cokq�v�~"�xo��qT�)o���s�t"�Es�t¤t"{|tR¢£y^qT��vx{��|��qT}Gw"s�y��Rs��x}"��q-���-�)o�  �W ��"vxw"o���q��Wo���s�t"��{T�1}){�s�tRv��¸sut0q� y�qTvxv�o��¸}"��{�vk 

º�»R¼�½¾)j�¿�hTÀ+Á�~"vx{�r�q�v�ok�%y�q���vx{���� qT}"wR�R�ky {|r�}"~Gv�qTvxs�{�tWq��Ây {|r�}"��o p"s�v��R��y {|rE¢}"~Gv�qTvxs�{�tWq��T��o�{|r�o�vx���R��y {�r�}"~"v�o^�<����q�}"w"s�y �-�kwGo�~"��s��xv�s�y�r�o^v�w"{"�R�-�k��q��Wo��T}G��q|y o ¢r�o�tRvk�R¯�°+¢�y {�r�}"��o�v�o^t"o����- 

Page 2: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

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

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

) *+��#(!,�&�-�/.102#$.3#(�����546�� 87+�����3��9�����:;4/�<�>=���?%#$@�*+@�����#BAC#B �� D

E FG4�#6H/�IAJ:%@&#K=;��?%#L@�MN*+@�����#BAC#B ��O*+����?,@�#�A P

Q 02#$�;�/�������� 8��RS*+@��� ����TEUMVH�W+FX�3��H��YAZ:,@�#K=���?%#$@[*+@�����#�A6#� B� �(\

] 7+��AZ:,@�#(^,�&�`_a�BR+�2:����IAC��@b=���?%#$@�*+@�����#BAC#B �� �(c

D dO#B �#$����@e��fg�I �98��4�#>hK*�MV7i��AJ:%@�#g�3#B �#$.�.i*+������R )��

j 7+�� ��5@I�/.��&�- )$E

W *+������Ri7+�� �.3���k���������� �.Glm����4������onp �@&��?%#$@�#L�q*[���I ���. )B]

r

Page 3: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

� � ������������%��N�S� �[������ �����N�����

���������! #"$���&%� (')�* (+,�-%.%/�0+1�32! 4�65$ #')�7(89 :�<;�71%/�= :�>�6;? (5$%0@��& ("$���&%�2&AB�0+B�/2>8DCE5$7#2F+B�8D�- (�.G�')�-%H�>2<IJ�K.2<�/2<�-%L (+$A=�.74MN+$%0O(�>2<+��- ('P8Q�- (�)G�')�-%R�>2FIS�9')71 JA�%� (+$A='/2<TJ�0'U%VOW #+$A� (')�- :�8D�- (�.G�')�-%9%/G$K.XY S%Z5$ (')I�%[ (+$A\�& (IJ�-%�]/%/�0��^_2F`SG�')� r 8D7J'9 (+a���$ (;�5B�<��7(8b *AB�0+$%/���<C�! #"$���<�-A=;c (5�d�egf���8D7S')�h�)X���MP2&AB�-%/5�')�- JA�G$%/��7(8�K�7J;�5�G��.�0'U%�2<+�K0 (')�)7J`S'U (5�XBCJO��<�0�)�)�0')i2F+�`?�U J%3IW%Z]j2jek�Je<O� 4�l�H�U J%/I�%�2<+1TS7(�<TJ2<+�`?�& ("$���&%0O_���W5B�& (+$ #�/2<7J+$%0O� (+$A*+BG�;="$�0'U%�dL%/7J;m�0i�/2<;��-%[ SK0K�7JG�+1�.�-A*8Q7J'L;m7J')��.X$ (+onJpm5$�0'UK��0+B�[7#8h�)X��5�')7�ABG$K��/2<7J+a�/2<;��q8D7J'Z;c (5$%r r n:ste�u� ("����$5B�! SK��0;��0+1�v2&%� :�&%/7 9%w2<`J+B2>x�K0 (+B�h5�')7J"B�<�0;y2<+��)X��P5�')7�ABG$K��/2<7J+�7#8�7J�)X��0'IJ2<+$A�%�7#8$`J'U (5�XB2&K0 :�$AS2&%/5B�& -C�%0eh^z7J'H���z (;m5B�F�JO#�& ("$���>2<+�`�)X��P5�7(2<+1�U%_2<+� 9%)K0 (�.�)�0'�5B�<7J�2!%Z (+�7J�.X��0'L2<+$%/�U #+$K��{7#8R�)X���5�')7J"B�<�0;|AS2!%.K�G$%)%/�-AaX��0')�JeZ}P (')�)7J`S'U (5�XB2&KN�& ("$���>2<+�`*2&% {%3IJ2>�>�<�-A?�U J%/I�OJ')�-~SGB2<'/2<+�`��)X��9K0 (')�)7S`J'U (5�X��0'��)7{K�7J+$%�2!AB�0'P;c #+1C�K�7J;�5��0�/2<+�`cK�'/2<�)�0i'/2& ?MLX��0+,K)X�7B71%w2<+�`*�)X��q�F7�K0 (�/2<7J+�O�7S'/2<�0+1�U #�/2<7J+�O�%/X$ (5��JO� (+$A*�/CB5$7J`J'� (5�X1C*7#8h�)���W��! #"$���&%0e��t+� =K.�& J%)%�2!Kq5$ (5$�0'Z7J+*K0 (')�)7S`J'U (5�XB2&KN�& ("$���H5B�! SK��0;��0+1�:O$�w;�X�7(8�2>�>�<G$%/�)'U (�.�-%;c (+BC�7#8b�)X��cK�7S+$K��0')+$%= :���-K��/2<+�`*�& ("$���P5B�& JK��0;��0+B�{M62F�.X,7(TJ�0' r pJp?���$ (;�5B�<�-%�7(8`J717�A, (+$AY"$ JAa�& ("����>2F+�`EAB�-K.2!%�2F7S+$% r�� ste����PMP7oK�7J+$K��0')+$%�%/�U (+$AY7JG��{ J%q"$��2<+�`a7(85$ (')�/2&K�GB�& ('�2<;�5�7J')�U #+$K��J@g�.X��hx$'�%/�hK�7J+$K��0')+�2&%��)X��LAB�0`J'.�0�L�)7ZMLXB2&K)X=�& ("����&%h7(TJ�0'3�! #5 (+$A�7J"$%)K�G�')�cK0 #')�)7J`J'� (5�XB2&K98Q�- (�)G�'.�-%9]Q2<+$K.�<G$AS2<+�`,7J�)X��0'Z�& ("����&%�dU�� (+$A��)X���%/�-K�7J+$AK�7J+$K��0')+�2!%q�)X��cAB�0`J'.�0���)7*MLXB2&K.X,�& ("����!%= ('.��G�+$ (;="B2<`JG�7JG$%w�<C� (+$A�K.�F�- #'/�<C� J%)%/7SiK.2! #�)�-A,M62F�.X��)X���8D�- (�.G�')�-%9�)X��0CY2!AB�0+B�/2>8QCJe��PX����! #�)�)�0'{K�7S+$K��0')+,2&%q2>�>�FG$%3�)'U (�)�-A�2<+^_2F`SG�')�[��OSMLXB2&K)X*%/X�7(M[%�'.���! #�/2<TJ�L'U (+�IS2<+�`1%v8D7S'�T4 ('/2<7JG$%v�& ("�����5B�& JK��0;��0+B�U%�')���& (�/2<TJ��)7��)X��95�7(2<+1�N8D�- #�)G�')�-%P�)X��0Cm2&AB�0+1�32l8QCJe

�t+B8Q7J');? :�>�FCJOS�)X��L%/�0�)G�5=7(8� L5�7(2<+1�)i�8Q�- (�)G�'.�0i��! #"$����5B�& JK��0;��0+B��5�')7J"B�<�0;�2<+BTJ7(�<TJ�-%�)X���5$7B%w2<�/2<7J+B2<+�`o7(8��! #"$���&%q8D7J'95�7(2<+1�Z8Q�- (�)G�'.�-%0O�MLX��0'.�� m�& ("����6K0 (+a"���5B�& JK��-Aa2<+ (+1CE7J+���7(8q �%/�0�c7#8[�<7�K0 (�/2<7J+$%? JA:�3 SK��0+1���.7,�)X��o5�7(2<+1�m2<���& ("����&%0e��|5�')7J"B�<�0;2F+$%3�U (+$K���2&%H`(2<TJ�0+="1C Z%/�0�H7(8$5$7(2<+B�U%0O(MP2<�)X=�)X���2<'H5$71%�2F�32F7S+$%H2<+=�)X��h5B�& (+��[ #+$A9�)X���2<'�! #"$���6%�2F�0�JOH :�<7J+�`oM62F�.XY *%3�0�97(86K�7J+$%3�)'U :2<+B�U%Z7J+a�)X����& ("$���>2<+�`$e*�PX���K�7J+$%/�)'� :2<+1�U%;c :C�"$�a"B2<+$ (')C�]j8D7J'm2<+$%/�U (+$K��JOZ ,5�'.7JXB2<"B2F�32F7S+� (`1 :2<+$%/�o Y�& ("$���7(TJ�0'3�! #5�5B2F+�`� 5$7(2<+B�-O$ (+�7J�.X��0'P�& ("$���tO�7J'L%/7J;��97J�.X��0'6K0 #')�)7J`J'� (5�XB2&KN8D�- (�.G�')�(d�7J'LK�7J+1�32F+BG�7JG$%Z]j8D7J'2F+$%3�U (+$K��JO�`(2<TS2<+�`c5�')��8Q�0')�0+$K��-%L #;�7J+�`��& ("$���g5�71%w2<�/2<7J+$%N7J'P5$�0+$ :�<�/2<�-%68D7S'6AB�0`S')�0�97(874TS�0'/�& (5�7(8���MP7Z�& ("����!%�dUe��9%h 9;�2F+B2<;=G�;�')�-~SGB2F'.�0;��0+1�:O1X�7(MP�0TJ�0'-O(�.X��[K�7J+$%/�)'� :2<+1�U%;{G$%3�b5�'.74TS2&AB�98Q7J'L%/7J;��95��0+$ :�<�/C�8Q7J'��& ("$���&%Z7(TJ�0'/�& (5�5B2<+�`�7J�.X��0'L5$7(2<+B�U%P7J'��& ("����!%Ve� K)X��0;c #�/2&K0 :�>�FCJO�MP�AS2&%/5�')��8Q�0'9%w2<�)G$ (�/2<7J+$%��>2<IJ�=�)X��Z8Q7(�>�<74M62F+�`?�/MP7$@�w���:��Q�/�Q�)�)�Q�w�*�Q�/�4 ��Q¡Q�/¢?£�¤*¡Q�0£��9�(�)�(�/�[¥��.�P¦<§-¤:¢-�/¢o§:¤-¢-�/�9�=�/ U¤0¡Q�t�.�/¡[¥¨£�¡Q�ª©�«m¬�/�Q¡

­ ¢:®U�)¤:�/��¢m�����w�-¤: )¯� �°)£��/�/±�¬��[¥� �§0¯�¢=¯²£�³��[¡Q �¡Q�4�.¤-³�«0¡t�.¤0¯��/´cµ¨�-�/¤J¶�·) �¤�µ��-��£��Q¡Q�/¤:�Q��¤S¶¨«V�/ U¡Q¡¸ �/�)�)¡Q§:�/¶4«0¡Q�/®��g¹:�w£�¤-�/�/¶4ºH�)�Q�Q´L»S��¥¨£��/¶�¼_£��/¡Q U��½N£²¯��/¤-³� )®�£���¶1µ��:��£��Q¡Q U��¾��.�4�.¢0£�¿�£�¡Q��£� U§S¶1¹:���Q¤(�)¤:¢- ¾B���Q�w£��t�V¶1«�£�®U�.¤9�� .¯���¢: -¶J�.¤-¢½9�.�Q³L��§-¡Q¡�¯��v¦F ����-�w¯��0¦<§V¯$¢0£��Q�/§-�Q��£� �¤-�� U¤Z¡Q�-��¡Q ��0£��� )¦$¡Q�V£��g�(�)�(�/�/±À ­ ¤ÂÁz¤-°.¯²£��Q�¡Q�t�.¤-��¯l�.¡�£� U¤= .¦$¡Q�0£����(�)�(�/�H¥¨�.���:§-Ã0¯²£��Q�:�/¢{�Q§:Ã-�Q�/Ä0§-�/¤0¡�¯�´mÅ Æ3Ç&±

Page 4: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

^_2F`SG�')� r @Z� %) (;m5B�F�=;c #5 r �L (+$ABi��aK��[ 4�l�<CE}h7J;m5$ (+1CJO���� ������������������������ !�"�#�

]t�)XB2<'UA*�-AS2<�/2<7J+�d���')�05�')7�ABG$K��-A�"1C?5$�0');�2!%.%w2<7J+a7(8g�)X���5�G�"B�l2&%/X��0'.s

12

3456

7

8

^_2F`SG�')���@%$Z�-%w2<'U #"B2l�>2<�/Co7(8�AS2l���0')�0+B�Z5$7(2<+B�)i�8D�- #�)G�')�0i��& ("$����5B�& JK��0;��0+B�U%

&

Page 5: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

]��PX��?5$7B%)%w2<"B�<�?�! #"$���[')�0`#2F7S+$%{ #')�c`#2FTS�0+�"BC�A� J%/X��-A��>2<+��-%0O��)X��* JK��)G$ :���! #"$���5$71%w2<�/2<7J+a"BCª m%/7(�>2&A*�>2<+��Je>d��w+o�)X��Zx$'U%3�[K0 J%/�JO$ ��& ("$����7(TJ�0'/�& (5$%L #+�7J�)X��0'P�& ("����j��2<+�)X��%/�-K�7J+$A�O� ��& ("$����7(TJ�0'/�& (5$%P (+�7J�.X��0'L5$7(2<+B�-e

�PX��=5�')7J"B�<�0; 7(8��! #"$���b5B�& JK��0;m�0+1�q2!%q�)7oAB�0�)�0');�2F+��* (+a7J5��/2<;c 4���! #"$���>2<+�`,7(8�)X��5�7(2<+1�U%VO�7J'-OB2<+,�)X��=K0 J%/��MLX��0')�{ 4�l�h�.X��{K�7J+$%/�.'U :2<+1��%[ ('.�9"B2F+$ #')CJO� (+� SAB;=2&%)%w2<i"B�F�m�& ("$���>2<+�`a7(8L�)X��=5$7(2<+B�U%0e��vTJ�0+,;�7J'.��%�2F;m5B�FC�Mb�=;=2<`JXB�9ML (+B�9�)7ªAB�0�.�0');=2<+��MLX��0�)X��0'9%/G$K)Xa (+o JAB;=2&%)%�2F"B�<���& ("$���>2<+�`o���B2&%/�U%0eP�PX��=%w2<�0�7(8h =5�')7J"B�<�0; 2&%ZK�7J+1TS�0i+B2F�0+B�/�<Co`#2FTS�0+*"1C?�)X��+BG�;="$�0'L7#8R5�7(2<+1�U%N�)7="$�q�& ("$���<�-A�e

� 2<TJ�0+��.X���AS2��ªK�GB�<�/C�7(8[�& ("����Â5B�& JK��0;m�0+1�-OLK0 #')�)7J`J'� (5�X��0'U%�X$ :TJ���<7B7JIJ�-A 8D7J'M6 :C�%��)7� (G��)7J;c #�)�L�)X��Z�& ("����FiQ5B�& JK��0;m�0+1�9�U S%/I�eH�N�<�)X�7JG�`JX*�)X��Z�& ("����>2F+�`*7#8��>2F+��- #' (+$A� (')�- 4�$8Q�- (�)G�')�-%� ('.�L"1C=+�7�;��- (+$%��- J%/C=�U J%3IW%0O(�.X��L;�71%/�PAS2��ªK�GB�<�b�� J%/I�2&%��)X$ (�7(8h�& ("����h5B�! SK��0;��0+1�q8D7S'[5�7(2<+1�q8D�- (�.G�')�-%0e��,��K0 (+aG$%/�=�)X��=�/MP7c;m71%/�N2F;m5$7J')�� (+1�7(8{�w;�X�7(8���%*K�7S+$K��0')+$%��)7E8j S%/XB2<7J+� �8Q7J');c :�{%3�U (�)�0;��0+B�?7(8��)X��a7J5��/2<;c :���! #"$���<i5B�! SK��0;��0+1�?5�')7J"B�<�0; 8Q7J'=5$7(2<+B��8Q�- (�)G�'.�-%� J%� �5�G�')���<C�K�7J;="B2<+$ (�)7J'/2& :�Z5�')7J"B�<�0;oe� G�5�5$71%/��MP� (')�Z`(2<TJ�0+� =%/�0�L7#8R5�7(2<+1�U%y�)7=�& ("$���tO��- JK.X*MP2<�)Xo =5$7B%w2<�/2<7J+*2<+*�)X��5B�! #+��[ (+$A� N�& ("����¨%w2<�0�JOJ�.7J`J�0�)X��0'HMP2<�)Xc Nx����-A�%/�0����7#8�5$7B%)%w2<"B�<�L�& ("�����5$7B%w2<�/2<7J+$%0e^�7J'��- SK)X�5�7(2<+1�� ��� (+$A��& ("$���95$7B%w2<�/2<7J+������EOH2<��2&%�%/�.'U :2<`JXB�/8D7S')ML ('UAa�)7AB�0�)�0');=2<+��P�)X��P')�0`(2<7J+�7(8$�)X��h5B�& (+��LK�7(TJ�0')�-Aq"1C9�.X��h�& ("����18Q7J'� { #��5$71%�2F�32F7S+��He��,�MP2>�l��+�7J�U #�)�9�)X$ (�P')�0`(2<7J+��������! ��_]" �#$�_dUe��w+o`J�0+��0'� :�tO$�)XB2&%LK0 #+o"$�=K�7J;�5�G��)�-Am8Q')7J;�)X��=5$7(2<+B�%��%Z5$7B%w2<�/2<7J+� (+$A��& ("����b%w2<�0�c (+$Aa�.X��{'.���! #�/2<TJ�=5$71%w2<�/2<7J+B2<+�`a7(8P�)X����! #"$���5$71%w2<�/2<7J+�e���AS2& (`J'U (; %/G$K.X* J%h^_2<`JG�')�9�=K0 (+?"$�Z�)X�7JG�`JXB�h7(8g J%P �%/5$�-K.2>x�K0 (�/2<7J+�7(8�)X����������! ��\8DG�+$K��/2<7J+�e

�,��MP2>�l�h J%)%3G�;���)X$ #�L�)X��0')�= (')�K�71%/��%P7J'L5��0+$ :�<�/2<�-% J%)%37WK.2& (�)�-A\MP2<�)XoTS2<7(�& (�)i2F+�`�K��0')�U 42F+�%3�U (+$A� ('UA�K�'32F�.�0'/2& a8Q7J'��& ("$���95B�& JK��0;��0+B�-e�^_2<'U%/�-O�5$�0+$ 4�F�32F�-%m8Q7J'=�)X��74TS�0'/�& (5�5B2<+�`,7(8[ *5�7(2<+1�%� %9�& ("����["BC�%/7J;��m7J�)X��0'{K0 #')�)7J`J'� (5�XB2&K=8Q�- (�)G�')��]Q2<+$K.�<G$ABi2F+�`�7J�)X��0'95�7(2<+1�U%�dL2&%%/5��-K.2>x$�-A� J%9 m8DG�+$K��32F7S+'&)(+*�@,.-/�103254�e6�,��'.�-~JGB2<')��)X$ (�h�.XB2!%PK�71%3�h8QG�+$K��/2<7J+?"$�K�7J+$%�2!%3�)�0+1�PMP2<�)X?�)X��Z5B�& JK��0;��0+B�b7#8g�)X��Z5$7(2<+B�U%v2F+?�)X��5�')7J"B�<�0;oO��)X$ (��2&%0O��)X$ (�

&)(+*!]" �#���d�7 p 2>8h�)X��0')�Z2&%[ �5$7(2<+B�� 98��:%/G$K.Xo�.X$ (�; 8 �<���=�>�? ���]@ �#$�_d e

] r d

]BAL�0'.�JO1MP�[ #')�[G$%�2F+�`?%/�0�h+�7J�� (�/2<7J+* (5�5B�>2F�-A?�.7{5�7(2<+1��%b #+$A�')�0`#2F7S+$%�2<+o (+m7J"1TS2<7JG$%M6 :CJOH (+$A,M62l�>�ÂK�7S+1�/2<+BG��c�.7�AB7�%37$e>dDCL�)X��0'=�)X$ #+,�)XB2&%=K�7J+$%/�)'U 42F+B�-OH�)X��E&)(+*hK�71%/�

F

Page 6: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

8DG�+$K��/2<7J+�2&%¨8D')�0���)7[ J%.%w2<`J+{ (+BCK�71%/��%��)7Z5$ (')�/2&K�GB�& ('H5$7(2<+B���-5$7B%w2<�/2<7J+�K�7J;="B2F+$ #�/2<7J+$%0e�t+*5$ (')�32!K�GB�& (':O$ (+BC ��� �� � � �5�')��8Q�0')�0+$K��-%L (;�7S+�`')���& (�/2<TJ�Z�& ("�����5$71%w2<�/2<7J+$%ZK0 (+?"$�8D7(�&AB�-Aª2F+B�)7��.XB2!%ZK�71%/�68DG�+$K��/2<7J+�e

� �-K�7J+$A�O(7(TJ�0'/�& (5�5B2<+�`q�! #"$���&%�;=G$%/�H"$�P5$�0+$ 4�l2<�0�-A�e �,�P')�-~SGB2F'.�6 9K�7B%/��8QG�+$K��/2<7J+&+* *�@ �-:� -: -:� 0 2 4 �)X$ (�L;=G$%/�L5��0+$ :�>2<�0�{7(TJ�0'3�! #5�5B2F+�`m�& ("$���&%0O��)X$ (�62!%VO

& * * ]@ �#$� #! 8 #$� 8 d�7�p{2l8 ���=�>�? ��_]" #$�_d����������! ��_]" 8 #�� 8 d��� e ]��BdAZ -TS2<+�`,AB��x$+��-AE�)X��ªK.X$ ('U SK��)�0'/2&%/�/2&K0%�7(8L�)X��*K�71%/��8DG�+$K��32F7S+$%0O�MP�cK0 (+�AB��x$+��

�! #"$���<iQ5B�& JK��0;��0+B�{5�'.7J"B�<�0;c%L;m7J')�98Q7J');? :�>�FCJe ���9x$'U%/�ZK�7J+$%w2&AB�0'Z�& ("$���h5B�& JK��0;��0+B��)X$ (�L7J5��32F;�2F�0�-%N�)X��K�71%3�P8DG�+$K��32F7S+$%0e

� :-���YA6��@ *[���Y ��3M��-#g�$������#gMN=;��?%#L@[*+@�����#BAC#B �� ] C[u� 6d� � �� !������������%/�0�;E7(8�5$7(2<+B��8Q�- (�)G�')�-%¨�- JK)X�MP2<�)X{ 65$71%w2<�/2<7J+q2<+�� � (+$A �! #"$���¨%�2F�0�JOS�- JK.X7(8�MLXB2&K)X�K0 (+="$�6�! #"$���<�-A=2<+=7J+��P7(8� 9%/�0�;� 7(8$')���& (�/2<TJ�5$71%w2<�/2<7J+$%ª]Q8D7S'���$ (;�5B�<�JO��)X�����2<`JXB�=')���& (�/2<TJ�?5$71%�2F�32F7S+$%�2<+�^_2F`SG�')�ª�WdU�K�71%/�P8QG�+$K��/2<7J+$% &)(=*� (+$A<&+* *�%) (�32!%�8DCS2<+�`o] r dv #+$A�]��BdUOB')�-%/5��-K��/2<TJ���<CJe��� � � ! ����� ��X$ (�Z�& ("$���P5B�& JK��0;��0+B����@� 03� ;=2<+B2F;�2F�0�-%��)X��cK�71%/�8DG�+$K��/2<7J+

�(���� &)(+*�]" �# ��]@ �d)d��

�(�� � ��� &+* *�]" �# ��]" ¨d$#"! #?�$]#!Sd)d $

�L�<�)X�7JG�`SX��)X��LAB�-%)K�'/2<5��/2<7J+=2&%v`J�07J;��0�)'32!K0 4�l�<C=�0TJ7�K0 (�/2<TJ�JO(�)X��P5�')7S"B�F�0;� J%�%/�U #�)�-AZ2&%5�G�')���<CK�7J;="B2F+$ #�)7J'/2& :�tO:2<+�)X$ #��+�7S�)XB2<+�`[')�-~SGB2<')�-%_G$%��)7�2<+1�)�0'.5�')�0�g�.X������=�>�? ���]@ �#$�_d8DG�+$K��/2<7J+m2<+ª SK0K�7J'UA=MP2<�)X? (+1C=5$ ('.�/2&K�GB�! #'h`J�07J;m�0�)')CJO1 4�F�.X�7JG�`JX�MP�LMP2>�>�$2<+?`J�0+��0'U :�2F+B�)�0')5�'.�0�L2<�P2<+o�.X��%/�U (+$A� ('�AE��G$K.�>2&AB�- (+a;c (+�+��0'-e

f�C�8DG�')�.X��0'9')��x$+B2<+�` &)(+*� (+$A &+* *QO�MP��K0 (+a2<+$%/�U #+1�/2& (�.���)XB2&%9`J�0+��0'� :�h5�')7J"B�<�0;�)798Q7J');� {%35$�-K.2>x�KZT4 ('32! #+1�P�)X$ (�v2<`J+�7J')�-%v2&%)%/G��-%�7(8g5�'.��8D�0')�0+$K��9 (;�7S+�`9�& ("$���H5$71%w2<i�/2<7J+$%L (+$Am7J5��/2<;=2<�- (�/2<7J+*7#8RAB�0`J')�0�-%P7#8g7(TJ�0'/�& (5* (+$A?�)X$ (�v2!%N%/�U (�)�-A? J%P =AB�-K.2&%w2<7J+5�')7J"B�<�0; %37Y S%=�)7a"$�a (;��0+$ ("B�<�o�.7 ��ZiQX$ ('�AB+��-%)%c #')`JG�;��0+B�U%0e �,�oAB7�%/7,"BC%/5$�-K.2>8QCJ2<+�`�8QG�')�)X��0'?K�7J+$%/�)'U 42F+B�U%=7S+ &)(=*N (+$A &+* *QO�MLXB2&K.X +�7(M �� (IJ�?�)X���2<'cT( :�<G��-%8D')7S; �)X��%/�0�&%(p9# r(' @

&)(+*!]" �#���d � r 2>8h�)X��0')�Z2&%[ �5$7(2<+B�� 8 �:%/G$K.Xo�.X$ (�; 8 �<���=�>�? ���]@ �#$�_d e

] & d

&+* *�]@ �#$� #! 8 #$� 8 d � r 2l8 ���=�>�? ��_]" #$�_d����������! ��_]" 8 #�� 8 d��� e ] F df��-K0 (G$%/�,%/7(�<G��/2<7J+�7(8�.X��o5�')7J"B�<�0;�+�74M|AB�05$�0+$A�%\7J+B�<C�7J+�MLX��0�)X��0'?�)X��0')�

(')�{ #+1C�74TS�0'/�& (5$%0O� (+$A�+�7J�[7S+o�)X���2<'9+BG�;{"��0'97J'9AB�0`J')�0�JO��)X��=5�')7J"B�<�0; 2<+BTJ7(�<TJ�-%x$+$AS2F+�`� �;��0')���<C� JAB;�2!%.%w2<"B�F� ]t+�7J+�iQ7(TJ�0'/�& (5�5B2<+�`�d��& ("$���>2<+�`$O9 J%=7J5�5�71%/�-A �)7 #+7J5��/2<;c :�g7S+��Je

n

Page 7: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

WT��AZ�e.�.��<?,@�#o*[���Y B�3M �-#(�$���/��#(M =;��?%#L@[*+@�����#BAC#B �� ]t�Âu Pd� � �� !���������m�|%/�0�� 7(8Z5$7(2<+B��8Q�- (�)G�')�-%��- JK.X�MP2<�)X� o5�71%w2<�/2<7J+ 2F+ � � (+$A* Z�& ("����R%w2<�0�JO��- JK.X*7(8�MLXB2&K)XaK0 (+?"$�Z�& ("$���<�-Aª2F+*7S+��97(8g {%3�0� � 7(8')���& (�/2<TJ�95$7B%w2<�/2<7J+$%0�$K�71%3�h8QG�+$K��/2<7J+$% &)(+*� #+$A�&+* *�%. (�/2&%w8QCJ2<+�`*] & dR (+$A�] F dUO')�-%/5$�-K��32FTS���FCJe��� � � ! �����v��%6�)X��0')�{ {�! #"$���g5B�& JK��0;��0+B��ª@ 0 � %/G$K.Xo�.X$ (�

�(���� &)(+*�]" �# ��]@ �d)d��

�(�� � ��� &+* *�]" �# ��]" ¨d$#"! #?�$]#!Sd)d � p $

�N�l��5�')�0TS2<7JG$%w�<C�5�G�"B�>2&%/X��-A� :�<`J7J'/2<�)X�;c%\8Q7J'aT4 ('32F7SG$%aT4 ('32! #+1�U%�7(8<C[u� ('.�X��0G�'/2&%/�/2&Kq2F+�+$ (�)G�')�Je6] � �0� � �-K��/2<7J+a��e>d � 7S;��97(8��)X��-%/� :�<`J7J'32F�.X�;c%[AB7m+�7J�L`JG$ ('.i (+1�.�0��)7�5B�& JK����& ("����!%Â8D7S' :�>��5$7(2<+B�L8Q�- (�)G�'.�-%0O$�0TS�0+o�)X�7JG�`SX�%/7J;m�{%/G$K.X*�& ("����l2<+�`���12&%/�U%Ve CP8Â�.X�71%/�* :�<`J7J'/2<�)X�;c%��)X$ (�cAB7,`SG$ ('U (+B�)�0�?�)7�x$+$A� \�& ("$���>2<+�`�2>8Z2F�m���Wi2!%3�U%0O� :�>�g����XB2F"B2<�Z���W5�7J+��0+B�/2& :�gMP7J'U%/�.itK0 J%/�L�/2<;��K�7S;�5B�<���12<�/CJeb�6X��ÂK�7J;m5�G��U (�/2<7J+$ :�K�7J;�5B�<���12<�/Co7#8h5$7(2<+B�)i�8D�- #�)G�')�0i��& ("$���h5B�& JK��0;m�0+1�Z2&%N�)X��0')��8Q7J')�{ m;c (�.�)�0'L7(8�5�'U JK��/2<iK0 :�6%w2<`J+B2>x�K0 (+$K��?2<+� (G��)7J;? (�)�-AaK0 (')�)7S`J'U (5�XBCJe��,�?%/X�7(M �)X$ (�6C[u 2!%=%/7#�FT( ("B�<�2F+ 5$7(�<CB+�7J;=2& :�9�/2<;��?2>8{ (+$AE7J+B�<CE2>8 � � "BC�%/X�7(MP2<+�`��)X$ #�� Y5$ (')�/2&K�GB�& ('2F+$%3�U (+$K��Z7(8��9u� Y2!% � vitK�7J;�5B�<�0�)�Je;���L�)X��0+�`J�0+��0'� :�>2F�0�9�.X��b'.�-%/GB�<�U%��)7Z2<+$K.�FG$AB� "�')71 JAB�0'[K.�& J%.%L7(8H�& ("$���<iQ5B�& JK��0;��0+B�{ 4�F`S7J'/2<�)X�;c%0OW2F+$K.�<G$AS2<+�`� 4�F`S7J'/2<�)X�;c%N�)X$ (�P`J�0+�i�0'U (�)� (5�5�'.7-�B2<;c (�)���<C?7J5��/2<;c :�_�! #"$���>2<+�`1%0e

CP8�5$ #')�/2&K�GB�& ('�2<+B�)�0')�-%/�v2!%v�)X���8j SK����)X$ (���)X��P2<+$%/�� (+$K��L7(8��Âu� ��)X$ (�HMP�[K.X�7171%3�')�-%/5$�-K���%P�)X��Z`J�07J;��0�)'32!KN2<+B�)�0')5�')�0�� (�/2<7J+?7(8g�)X��Z5�')7J"B�<�0;oeP�PXBG$%bK0 #')�)7J`J'� (5�XB2&KP�& (i"$����5B�& JK��0;��0+B�h2&%�7J+��Z7(8��)X��N8D�0M�5�G�')���<CcK�7J;="B2<+$ (�)7S'/2& :� � �itK�7J;m5B�F�0�.�95�')7J"B�<�0;c%�)X$ (�[AB7B�-%L+�7S�L`J�0�L�- J%�2F�0'Z"BC*')�-%/�)'/2&K��/2<+�`m2<�[�)7�2F��%P`J�07J;��0�.'/2&K9T4 #'/2& (+1�:eL]t�Z+�7J�)X��0'+�7J�U ("B�<����$K��05��/2<7J+\2!%N�)X���_'U :TJ���>2<+�` � :�<�-%/;? (+ �')7S"B�F�0;�e r r p-sjd

� � ���v�N�9�+�� �b��h�L����� ���X���L�B�����Z�����)� �*��O��� � �)�L������ ����

CL+��L7(8��.X��L�- ('/�>2<�-%/�b #�)�)�0;�5��U%� #�R (G��.7J;c (�/2<+�`Z�& ("�����5B�& JK��0;��0+B�hML J%�ABG��L�.7���71���>2r r n:ste���71���>2!��%P :�<`J7J'32F�.X�;�2&%�"$ J%w2&K0 :�>�<Cc AB�0�)�0'.;=2<+B2!%3�/2&KZ`J')�0�-ABC� :�<`J7J'/2<�)X�; 8D7S'H�! #"$���5B�! SK��0;��0+1�:�B2<�6K�7S+$%w2&AB�0'U%P�- JK.X�5$7#2F+B�P8Q�- (�)G�')�62F+*�.G�')+�OB5B�! SK.2F+�`��! #"$���&%L (���)X��["��-%/�5$71%w2<�/2<7J+=�)X$ #�RAB7B�-%�+�7S�g')�-%3GB�F�H2<+� (+�74TS�0'/�& (5�e�]��6X��h'U (+�IS2<+�`97(8$')���& (�/2<TJ�P5�71%w2<�/2<7J+$%G$%/�-A,"BC���7B���>2P2!%�%w2<;=2>�& ('=�)7*�)X$ (�97(8[^_2<`JG�')�?��e>d,�Q8[ ?5�7(2<+1��8Q�- (�)G�')��K0 (+�+�7J��"$��! #"$���<�-A�O�2<�[;=G$%/�P"$��5B�& JK��-A*;c #+1G$ :�>�<CJe

�(7J+��-% r�� sZ5�')�-%/�0+B�U%? ,+�7S+$AB�0�)�0');=2<+B2&%/�/2&K�`J')�0�-ABC 4�F`S7J'/2<�)X�;oe �L (�)X��0'*�)X$ #+')�-~JGB2<'/2<+�`�;c #+1G$ :�P2<+B�)�0')TJ�0+B�/2<7J+�MNX��0+� ��& ("$���K0 (+�+�7J��"��o5B�& JK��-A�O��(7S+��-%+��%� :�<i`J7J'/2<�)X�; MP2>�l�P"$ JK.I1�)'� JK)I�')�-K�G�'U%w2<TJ���<C�2<+a2<�U%=%/�- ('UK.X�8D7J'= (+� JAB;�2!%.%w2<"B�F�?�& ("����>2F+�`�e

Page 8: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

� X��0+m"$ JK)IB�)'U SK)IS2<+�`L8t :2>�&%��)79CS2<���!A? (+� JAB;=2&%)%�2F"B�<�N�& ("$���>2<+�`$OB�)X��[ :�<`J7S'/2<�)X�; %/�U ('.�U%74TS�0'[MP2<�)X\�<74MP�0'Z�)7(�<�0'U (+$K��-%N8Q7J'L7(TJ�0'3�! #5�AB�0�)�-K��/2<7J+�e�$Z���<�0�/2<7J+a7(8h5�7(2<+1�Z8Q�- (�)G�')�-%2!%v�)X��L7J5��32F7S+�7(8��& J%/��')�-%/7S')�H2>8R (+� JAB;=2&%)%w2<"B�<�Z�& ("$���>2<+�`cK0 (+�+�7S�h"$�68D7JG�+$A�e��(7J+��-%+��% :�<`J7J'/2<�)X�; 2<+$K.�<G$AB�-%[ �+BG�;{"��0'P7(8gG$%/��8QGB�����ªK.2<�0+$K�Cc;��- S%/G�')�-%0O�%/G$K.Xª S%b #+=2<+B2F�32! 4�5�X$ J%/��2<+,MLXB2&K)X�`J')7JG�5$%N7(8b5�7(2<+1�Z8Q�- (�)G�'.�-%Z�)X$ (�9K0 (+a"$�=�& ("����F�-AY2<+$AB�05$�0+$AB�0+B�/�<C (')�Z2&AB�0+1�32lx$�-A�e

�PX���2&AB�0+1�32lx�K0 #�/2<7J+�7(82<+$AB�05��0+$AB�0+1�,5�7(2<+1�.i�8D�- (�.G�')�,`J')7SG�5$%?M6 S%*%/G�`J`J�-%/�.�-A7J'/2<`(2<+$ :�>�<Co"BCc�ZX�+� (+$A*^z')�0�0;c (+ r r sweh�PX���2<' 4�F`S7J'/2<�)X�;�2&%P"$ J%3�-A*7J+*�)X��Z2&AB�- m7(8%/�U (�)�0it%35$ JK��{%/�- #'UK)X�@v2<+o�)X��q2<+B2F�32! 4�b%/�U (�)��+�7�5$7#2F+B�Z8Q�- (�)G�')�-%L #')�9�& ("����F�-A�OH (+$A?2<+�)X��9`J71 :�g%/�� (�)�9 :�>��8D�- #�)G�')�-%L ('.�Z�! #"$���<�-A�eb�6X��0C*���W5B�<7J')�9�.X��{%/�U #�)�Â%35$ JK��9G$%w2<+�`ª X��0G�'/2&%/�/2&K�%/�- ('�K)Xa;��0�)X�7�A��)X$ (�Z�)X��0C�K.�& :2<; 2!%9%�2F;�2l�& ('��)7?�)X������� :�<`J7J'/2<�)X�; r�� stO�)X�7JG�`JX�8Q�0M�AB�0�U :2>�&%h (')�P`(2<TJ�0+�eH�j8_ Z%/�U #�)��2!%H�0+$K�7SG�+1�)�0'.�-A�2<+�MLXB2&K)Xm+�7 JA�AS2<�/2<7J+$ :�8D�- (�.G�')�-%LK0 (+*"��9�& ("$���<�-A�O�"$ JK.IB�)'U JK.IJ2<+�`=2&%N5$�0'/8Q7J');m�-A�e

A62F'�%)K)X�� %HX��0G�'/2&%/�/2&KL :�<`J7J'32F�.X�;y2!%v"$ J%/�-A�7J+=�)X��P+�7J�/2<7J+=7(8� (+���7(TJ�0'/�& (5�TJ�-K��)7J'�r n(ste*�w+'A62<'U%)K.X���%= :�<`J7J'/2<�)X�; :�>���! #"$���&%c #')��5B�& JK��-A�2<+B2<�/2& :�>�FCE2<+��)X���2<'=;�71%3�5�')�0i8D�0')'.�-A�5�71%w2<�/2<7J+$%0e��N�>��7(TJ�0'/�& (5$%� (')�L�.X��0+ªAB�0�)�-K��.�-A�eh^�7J'��- SK)X?7(TJ�0'/�& (5c ZTJ�-K��.7J'�2&%K�7J;�5�G��)�-A��)X$ (�62F+$AS2&K0 (�.�-% �AS2<')�-K��/2<7J+�7(8h;�7(TJ�0;��0+B�L�)X$ (�NMb7SGB�!A����>2<;=2<+$ (�)�=�)X��74TS�0'/�& (5�e��N�l�H74TS�0'/�& (5*TJ�-K��)7J'�%�8Q7J'[ q�& ("����v ('.�%/G�;�;��-A?�)7m`(2<TJ� (+o JK0K�G�;=GB�& (�)�-A74TS�0'/�& (5�TJ�-K��.7J'-e A62<'U%)K.X %3G�`J`J�-%/�U%m a+1G�;="��0'c7(89ML :CW%�2<+ MLXB2&K)X� JK0K�G�;=GB�& (�)�-A74TS�0'/�& (5*TJ�-K��)7J'�%bK0 #+*"$�9G$%/�-A\�)7=;�7WAS2>8QC��& ("����R5B�& JK��0;m�0+1�-e�^�7J'L���$ (;�5B�<�JOB�& ("����&%K0 (+�"��c;m74TS�-Ao�.7o�)X���+��- #')�-%/�5�'.��8D�0')'.�-A,5�71%w2<�/2<7J+�2F+E�)X��*AS2<')�-K��/2<7J+E7(8L�)X��c JK�iK�G�;{GB�& (�.�-A*TJ�-K��)7S'-e��PX��95�')7�K��-%)%�7(8R7(TJ�0'3�! #5ªAB�0�)�-K��32F7S+�O�TJ�-K��)7J'LK0 :�&K�GB�& (�/2<7J+�O� (+$A�! #"$����;�7(TJ�0;��0+B�h2&%N')�05$�- #�)�-Ao (+o #')"B2<�)'U (')Cm+1G�;="$�0'Z7(8��/2<;��-%0e

�PX��[ 4�F`S7J'/2<�)X�;c%�AS2!%.K�G$%)%/�-A? ("$7(TJ�P;c :C+�7S�h`JG$ ('� (+1�.�0�b�.7Zx$+$Ac (+? JAB;=2&%)%w2<"B�<��! #"$���>2<+�`oMLX��0+�7J+�����B2&%/�U%0e�$7J'U S%/�)�0'%��%P :�<`J7S'/2<�)X�; r r � stO�7J+*�)X���7J�)X��0'LX$ #+$A�O$MP2>�>�x$+$A� #+o7J5��/2<;c 4�g�& ("����l2<+�`�2>8b7J+������12&%/��%0O�"�G��[X$ S%L����5$7J+��0+B�/2& :�h�/2<;���K�7J;m5B�F���B2<�/C2F+��)X��=Mb7S'U%/�9K0 J%/�Je�$7J'U J%3�)�0'L8Q7J');=GB�& (�)�-%Z�.X���& ("����<iQ5B�! SK��0;��0+1�m5�')7J"B�<�0; J%N�)X��8D7(�>�<7(MP2<+�`ªp#i r 2<+1�)�0`S�0'L5�')7J`J'� (;�;=2<+�`�5�')7S"B�F�0;�@

����� �����"��� � CL+��?�& ("$���<iQ5B�& JK��0;��0+B�*T4 ('32! #"B�F����� � ( 8Q7J'�- JK.XE5$7(2<+B�=8D�- #i�)G�')�a] r�� ��� � d= (+$AE')���& (�/2<TJ�\�! #"$���95$71%w2<�/2<7J+y] r�� � ��� � � dUe�h JK.X�� � � (�2&%K�7J+$%/�.'U :2<+��-Aa�)7?X$ :TJ�=T4 :�<G��cp?7J' r ]/ r 2F+$AS2&K0 (�.�-%9�)X$ (��)X��Z�& ("$���H8D7S'P8D�- #�)G�')� ?2&%P�)7m"$�5B�& JK��-Aª2<+o5$7B%w2<�/2<7J+/��d�e

� ��� �� !� �� �� � ����7L�0+$%3G�')�h���$ JK��/�<CZ7J+���5$71%�2F�32F7S+{5��0'��& ("$���t@���� ���� �"! � � � ( �r 8Q7J'��- JK)X/ _O r#� �$� � ea��7, :TJ7(2&A�74TS�0'/�& (5�5B2<+�`a�& ("$���&%0@%� � � (&�� � & � ( & � r 8Q7J'c�- SK)X 5$ :2<'c7(8Z�& ("$���5�71%w2<�/2<7J+$%0O'� � � (� (+$A(� �)& � ( & OP�)X$ (�74TS�0'/�& (5�e

*

Page 9: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

� �#�� �� � � �� ! ����� � � � �( �"! ��� ���� �"!�� � � ( ��� � ( O:MLX��0')� � � � ( 2&%H PMP��2<`JX1�32F+�`Z�)X$ (�')���$�-K��U%N�)X��AB�-%w2<'U ("B2>�>2<��C�7(8��)X��Z�& ("$����5$71%�2F�32F7S+ � � � (1e�t+��-%)%/�0+$K��JO �7J'U J%/�.�0'6%37(�<TJ�-%L =TJ�0'�%w2<7J+o7(8 C[u� MLX��0')�&)(+*!]" �#���d � � (�� �

(+$A

&+* *�]@ �#$� #! 8 #$� 8 d �� r 2l8 ���=�>�? ��_]" #$�_d��E���=�>�? ���]@ 8 #$� 8 d���p 7J�)X��0')MP2&%/� e

�h ('/2<7JG$%_;��0�)X�7�A�%� ('.�h -T( :2>�& ("B�<�h8Q7J'��.X��b (5�5�')7:�B2<;c (�)�h%/7#�FG��32F7S+7(8$p(i r 2<+B�)�0`J�0')i5�')7J`J'U #;�;=2<+�`5�')7S"B�F�0;?%0O$ (+$A $7J'U S%/�)�0'�;��0+B�/2<7J+$%L%/�0TS�0'U :�¨ S%�"$��2<+�`�7#8g5$7J�.�0+1�/2& :�G$%/�98Q7J'P�)XB2&%L5�'.7J"B�<�0;oe

�PX��m�<�-%)%/itAB�0;c (+$AS2<+�`��"�G��*+�7S�{�.'/2<TJ2& :���5�')7J"B�<�0;c%m7(8L�& ("����L5B�! SK��0;��0+1��8D7J'�l2<+��- ('h #+$A9 (')�- :�(8Q�- (�)G�')�-%�X$ :TJ��'.�-K���2FTS�-A'.���! #�/2<TJ���<CZ�l2<�)�3�F�L (�.�)�0+1�32F7S+�eg�PX��H2<+B�)�0`J�0')i5�')7J`J'U #;�;=2<+�`� (5�5�')7B JK)X�AB�0TS2&%/�-A�"BC $7J'� J%/�)�0'�K0 (+� :�&%/7E JK0K�7J;�;�7�A� (�)�?�& ("����&%8D7J'* E%/5$�-K.2& :�IS2<+$A�7#89�l2<+��- ('?8Q�- (�)G�'.�,]� E%/��2&%/;=2&Ka%/X�7J�m�>2F+��(d?�)X$ (�c #5�5$�- ('U%?7S+7(2>�Fi�2<+$ABG$%/�.')C,;c (5$% r r � ste��K�7J;�5$ ('32!%37J+a7(86%w2<;�5B�<��;? (�)X��0;c (�32!K0 4�h;��0�)X�7�A�%N8D7J'%/5$7J�.it%/C1;="�7(��5B�& JK��0;��0+B��2<+$%w2&AB� (')�- :��8Q�- (�)G�')�-%R2&%h5�'.�-%/�0+1�.�-A=2<+ r �:st@H�)X��L;��0�)X�7�A�%AB�-%)K�'/2<"$�-A �)X��0')�*K�7JGB�&A�"��o (5�5B�>2<�-A��.7��.X��c5B�& JK��0;��0+B�?7(8 (')�- 4�Fi�8Q�- (�)G�'.���& ("����!%Ve�h (+ �P7B�-%)%/��� r r+F s[AB�-%.K�'/2<"$�-%* (+� :�<`J7S'/2<�)X�; 8Q7J'=2&AB�0+B�/2>8DCS2<+�`�K0 (+$AS2&A� (�)�a')�-K��U #+�i`JGB�& ('��07J+��-%�8Q7J'��& ("$���&%mMP2<�)XB2<+�5�7(�<C1`J7S+$ :�[ (')�- :�P8Q�- (�)G�')�-%0e��[X�+� #+$A�^�')�0�0;c #+r r s� :�&%/7c JA�AB'.�-%)%L (')�- 4�Fi�8Q�- (�)G�'.� (+$Am�>2F+��- #')i�8D�- #�)G�')�9�& ("����>2F+�`�eL�PX���2<' (5�5�'.71 JK.Xc�)7 (')�- :��8Q�- (�)G�')�-%Â2&%9G�+B2&~JG��m2<+��.X$ (�Z2<��U (IS�-%N2F+B�)7a JK0K�7JG�+B��)X��c%3X$ (5$��7#86�.X��=8D�- #i�)G�')�{ #+$Ao�.'/2<�-%L�)7*K�7J+B8Q7J'); �.X��9�& ("$���h�.7c�)X$ #�[%/X$ (5��JeÂ�6X��{K�7J;�5B�<���B2<��C�7(8b%/7J;m�')���& (�)�-A*K�7J;�5�G��� (�/2<7J+$ :�<iQ`J�07J;m�0�)')C?5�')7J"B�<�0;c%PX$ J%N :�&%/7="$�0�0+� #+$ :�<C1�0�-A�@N}hX$ (�0���>�<�X$ J%=K�7J+$%w2&AB�0')�-A��)X��c5�'.7J"B�<�0; 7#865�7(�<C1`S7J+ K�7S+1�U 42F+�;m�0+1�?]�%/7S;���TJ�0'U%�2F7S+$%97(8L�)X�� (')�- :�<i�8Q�- (�)G�')�0i��& ("����FiQ5B�& JK��0;m�0+1�95�')7S"B�F�0; K0 (+c"��%/�U (�.�-A�2<+*�)�0');c%v7(8g5B�& JK.2<+�`�7J+��5$7(�<CB`J7J+*MP2<�)XB2<+� #+�7J�)X��0'0d r & swOW #+$A � 7JG�T( :2<+��{ (+$A��h #+E� CBI?X$ -TS� (+$ 4�FCB�0�-A?�)X��AS2 �*K�GB�F�/C�7(8R (')'� (+�`(2<+�`��)X��Z�& ("����F�-A�%/�-K��)7J'U%�7(8h =5B2<�{K.X$ (')� r r �:ste

� �+���9 � �N� �*��� � � � � �)�L��� � � ��� � ��� � �N� �

�PX��P5�')7J"B�<�0; �)X$ #�gMP�h"��0`(2<+cM62F�.X2&%� ZTJ�0'.C%w2<;�5B�<�LT4 ('32! #+1��7(8��)X��P�Âu a5�')7J"B�<�0;5�')�-%/�0+B�)�-A, ("�74TS�JO�+$ (;����<CJOH7J+��=�)X$ (� :�>�<7(M[%97J+B�<C\8D7JG�'�')���& (�/2<TJ���& ("$���L5�71%w2<�/2<7J+$%]� J%HAB�05B2!K��.�-A�2<+��)X����<��8D��X$ :�>8�7(8�^_2<`JG�')�L�BdUO:x����-ABit%w2<�0�P�& ("$���&%0O� (+$A�5��0+$ :�<�/2<�-%�`(2<TJ�0+���zK.�<G$%w2<TJ���<C?"1C=7(TJ�0'/�& (5=MP2<�)X�7S�)X��0'�5$7(2<+B��8Q�- (�)G�')�-%� #+$A��& ("$���&%0e � 2<+$K��ZMP�[ J%)%/G�;m��)X$ (�[ :�>���& ("����&%[ ('.�97(8v �`(2<TJ�0+\x��W�-A�%w2<�0�JO��)X��q�! #"$���R%w2<�0��MP2>�l��"$�= =5$ ('U #;��0�)�0'P7(8

Page 10: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

�)X��[5�'.7J"B�<�0;oe���5$ (')�/2&K�GB�& ('P5$ :2<'P7(8¨K�7B%/��8QG�+$K��/2<7J+$%�MP2>�>�¨"��Â%35$�-K.2>x$�-A*�)X$ #�h J%)%w2<`J+5$�0+$ :�<�/2<�-%97S+B�FC�8Q7J'Z74TS�0'/�& (5o7(8b ��& ("$���PMP2<�)X, (+�7J�)X��0'N�& ("$���tOH =�& ("����F�-A�5$7#2F+B�-O�7J'7J+���7(8L *%/�0�97(8bG�+B�& ("����<�-AE5$7(2<+B�U% :�&%/7*`#2FTS�0+� J%9 ?5$ ('U #;��0�)�0'97(8P�)X��=5�')7J"B�<�0;oe�PX��=G$%/�=7(86 ?%/�0�97(8hG�+B�& ("����F�-A�5$7#2F+B�U%Â�F�0��%ZG$%ZG$%/�� �G�+B2>8Q7J'); K�7B%/�L8QG�+$K��/2<7J+/&+* *8D7J'9 :�>�H2F+$%3�U (+$K��-%N7(8h�)X��{%�2F;m5B�F���! #"$���<iQ5B�& JK��0;��0+B�5�')7J"B�<�0;oeZ�w+o5$ (')�32!K�GB�& (':O�7J+B�<C�)X�71%/�*"B2<+$ (')C�K�7B%/�=8QG�+$K��/2<7J+$%��.X$ (��K0 (+�"���%/5��-K.2lx$�-A 2<+��.�0');c%=7(897(TJ�0'/�& (5�5B2<+�`7(86 *%/�0�97#8b5$7#2F+B�U%� (')�� :�>�<74MP�-A�e=�PX���;�7S')�=`J�0+��0'U :�h5�')7S"B�F�0;?% (')�=+�7J�%3G�"����-K���)7,�)XB2&%�2<;�5B�>2&K.2<�o')�-%/�.'/2&K��/2<7J+�Ob%37,�)X$ (�=2<��MP7JGB�&AE"��o5$7B%)%w2<"B�<���.7�%/5$�-K.2>8QC� ,K�71%/�8DG�+$K��/2<7J+*�.X$ (�LAS2!%. :�>�F7(MP�-A*%/7J;m�L�& ("����¨5�71%w2<�/2<7J+\8D7J'�7J+��Z5$7(2<+B�L"�G��L :�>�F7(MP�-A*%/7J;m��! #"$���5$7B%w2<�/2<7J+ 8D7J'* (+�7J�.X��0'c5�7(2<+1�-ON�0TJ�0+��.X�7JG�`JX��.X����/MP7��& ("$���')�0`#2F7S+$%?Mb�0'.�K�71�����)�0+$%w2<TJ�\2F+ �)X��o5B�& (+��Je��PXB2&%mIJ2<+$A�7#8qK�71%3�8QG�+$K��/2<7J+ 2!%m���>2<;=2<+$ (�)�-A 2<+��)X��%w2<;�5B�<�0'%/�0�)G�5�e

H/�IAJ:%@&#KWT�;AJ�<.�.��e?%@�#K*[���I ��3M���#(�$���/��#(MN=���?%#$@�*+@�����#BAC#B �� ] � u� Pd� � �� !����������� %/�0�� 7(8Z5$7(2<+B�8Q�- (�)G�'.�-%�- SK)XEMP2<�)X� o5�71%w2<�/2<7J+E2<+ �{�)O (+$A��- SK)X?7(8�MLXB2&K)X*K0 (+?"$�N�& ("$���<�-A?2<+?7J+��Z7(8��)X�� F ')���& (�/2<TJ�95�71%w2<�/2<7J+$%`(2<TJ�0+=2<+ª^_2<`JG�'.�[�B]� Bd��J 9%/�0����7#8�5$7#2F+B��8Q�- (�)G�'.�-%H�- JK)XmMP2<�)Xc Z5$7B%w2<�/2<7J+2F+ � � �)X$ (�L (')�9+�7J�N�)7="$�9�& ("����<�-A���+1G�;="$�0'�%�� (+$A����)X$ (�P`(2<TJ�9�)X��x��W�-A\X�7J'/2<�07J+B�U :�R (+$A?TS�0')�/2&K0 :�g�����)�0+B�L7(8R ��& ("����te��� � � ! �����v��%6�)X��0')�{ {�! #"$���g5B�& JK��0;��0+B��ª@ 0 � %/G$K.Xo�.X$ (�

�(���� &)(+*�]" �# ��]@ �d)d��

�(�� � ��� &+* *�]" �# ��]" ¨d$#"! #?�$]#!Sd)d � p

MLX��0')�

& (+* ]" �#���d ���� �r 2>8h�)X��0')�Z2&%[ �5�7(2<+1� 8 �:���

%/G$K.X*�)X$ (� 8 �<���=�>�? ���]@ �#$�_dp 7S�)X��0')MP2&%/�

(+$A

& * * ]@ �#$� #! 8 #$� 8 d �� r 2l8 ���=�>�? ��_]" #$�_d��E���=�>�? ���]@ 98 #$� 8<d���p 7J�)X��0')MP2&%/� $

�[+BCc :�<`J7J'32F�.X�; �.7{%/7(�<TJ� �7J'U J%/�.�0'%��%H5�')7J"B�<�0; K0 (+*"��[G$%/�-A?�.7{%/7(�<TJ� � u� Ne� � 2<;=2<i�! #'/�<CJO $7J'U S%/�)�0'%��%v5�')7J"B�<�0;|K0 (+�2<�U%3���l8h"��9')�-ABG$K��-A*�.7{�9u� NeW�6X1G$%0O� 5�'.717(8H7(8g�)X����� ¡J£��B¥� U�Q¡Q��¤: U¡�£�¤:°g¡Q�(�)¡��3¯�¡Q�- �§-°��6«:»1¾Z�Q�/¢:§-�/�/��¡Q ��( ��t�)�Q¡Q�/��� �B�-�Q �Ã0¯��/¿Z¶�£�¡J£���¤: U¡B¤-�/�/�/�Q�t�)��£²¯�´

¡Q�-�P�)�)�Q�P¡Q�4�.¡H¯l�.Ã4�w¯��0¯l�.���/¿P�/¤0¡�¦F ��H¡Q�-��¦< U§:���&�( U��£�¡�£� �¤��)�)�Q�P�Q�/¢-§:�/����¡Q P¯l�.Ã4�w¯��0¯l�.�/�/¿b�/¤0¡�¥�£�¡Q� U¡Q�:�����Q�/¡Q�H )¦�¯l�)Ã(�w¯��( ���£�¡�£� U¤:�/±b�_�4�.¡�£��/¶��/¯²¯�£�¤-�Q¡t�.¤-�/�/�h .¦��( ��t�)�Q¡Q�/��� ���-�Q �Ã0¯��/¿��)�Q�P¤- �¡H��Ä0§(�/¯²¯�´¢0£��L�/§0¯�¡/±��H¤:�L¤-�/�/¢? U¤V¯�´� UÃ:�Q�/�Q®U�Z¡Q�4�.¡P¡Q�-�Z U¤:�����4 ���£�¡�£� �¤?¯l�)Ã(�w¯��&�0¯l�.�/�/¿b�/¤:¡[�:�Q UÃV¯���¿��(�)�L�.¤ UÃ0®�£� �§-��� À �3¯�°U ���£�¡Q�-¿��(¡Q�-�/�Q��£��$ �¤0¯�´b�_��£�¤-°.¯��_¯l�/´U �§-¡�¡Q gÃ(���w�-�/�t³��/¢J±����0§:�/¶��Q�/�(�)�t�.¡Q���-�Q 0 .¦<�$�)�Q�¤-�/�/¢-�/¢L¦< ��/¶-�t�/´�¶-¡Q�:�g��£! "�&�( ���£�¡�£� U¤�®U�.��£l�)¤0¡/¶( U��¡Q�:�g�/ �¤0¡�£�¤0§- �§-��®U�.��£l�)¤0¡_�-�Q ��4 ��Q�/¢[Ã0´Zº�£��Q�Q�w�9Å #3Ç&±$  �¤-�/¡Q�-�w¯��/�Q�/¶:¦F ��$¿L�.¤0´�£�¤0¡Q���Q�/�Q¡�£�¤:°L�)�)�Q�/�� )¦S¯l�)Ã(�w¯1�0¯l�.�/�/¿b�/¤0¡/¶J«-»B¾=¥�£²¯²¯1�Q�/¢:§-�/�R�.�-�:�Q U�:��£l�)¡Q�w¯�´�±¬���Q�/¡Q§-�Q¤9¡Q P¡Q�0£��_£��Q�Q§-�v£�¤«0�/�/¡�£� U¤&%V±

Page 11: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

� viQX$ ('UAB+��-%)%=7#8 � u� K�7S+$%/�/2<�)G��)�-%� �5�')7B7(8[7#8Â�)X���� �iQX$ ('UAB+��-%.%=7(8 $7S'U J%/�)�0' ��%5�')7J"B�<�0; (+$AY�Âu� Ne��PX$ (�9�)X��-%3�{5�'.7J"B�<�0;c% ('.�2<+ � HO�X��0+$K�� � �itK�7S;�5B�<�0�)�JO�2&%�-%)%/�0+B�/2& :�>�FC��.'/2<TJ2& :�t@?MP�c;��0'.���FCE`JG��-%)%��)X��oK�7S')')�-K����& -CS7JG���8D')7S; (;�7S+�`��.X��ª (�;�71%/� � � � � � 5�71%)%w2<"B�<�m�! :CJ7SG��U%9 (+$AaK)X��-K.Ia�)X$ (�N2<�U%9K�71%/�Z2&%pze�PXB2&%K0 (+,K.�<�- ('/�<C"$��AB7J+���2<+�5�7(�<C1+�7S;=2& :�h�/2<;��JO� J%N�)X��{K�7B%/�L2&%9 �8DG�+$K��32F7S+�7#8h5$ :2<'U%L7#8h5$7(2<+B�U%0eZ�t+�)X��[+������L%/�-K��/2<7J+�OBMP�[5�'.74TS�L�)X���� viQX$ ('UAB+��-%)%�7(8 � u LO� (+$A�2F+ � �-K��/2<7J+on�MP�LG$%/��)XB2&%Z')�-%/GB�<�9�)7?5�')7(TJ�')���& (�32FTS�{G�5�5��0'{ (+$A\�<7(MP�0'["�7JG�+$A�%97J+ C[u� LO�+$ #;����<Co�)X$ (�C[u� 2!%Z%/7(�<T( ("B�<�92<+o5�7(�<C1+�7J;�2! 4�R�/2<;��q2>8b (+$A?7J+B�<C?2>8 � � =e

� � �h�m��%�� �S� ��� � �.�[��L� � ����� ��� �9 � �N� �*���O��� � �)�L��� �� ����

�PX�� � �iQX$ ('�AB+��-%)%�7#8 � u� 2&%*%/X�7(ML+�"BC �5$7#�FCB+�7J;=2& :�9')�-ABG$K��/2<7J+�7(8 (+ � �iK�7J;�5B�<�0�)�5�'.7J"B�<�0;oO������ ������������{Oz�)7��)X�� � u� �& ("����FiQ5B�& JK��0;m�0+1�95�')7S"B�F�0;�e

�Z+?2F+$%3�U (+$K��7#8g�)X�����������������������5�'.7J"B�<�0; 2&%P`(2<TJ�0+*"BC* =5B�& (+$ ('L5�')7S5$7Ji%w2<�/2<7J+$ :�H8D7J'.;{GB�& ��y2<+ & itAS2&%��/G�+$K��/2<TJ�=+�7J');c :�_8D7J'.;oeP�y8D7S');=GB�! {2!%Z5B�& (+$ #'L2>8h�)X��8D7(�>�<7(MP2<+�`*"B2<5$ (')�/2<�)�=`J'U #5�X?2!%Z5B�& (+$ #'-@h�.X��`J'U #5�X,] � #�!�dHMLX��0')��� K�7S+1�U 42F+$%N7J+��+�7WAB�m8D7S'�- JK.X�K.�& (G$%/�m2<+"� (+$Aa7J+��m8Q7J'9�- JK.X�T( ('/2& ("B�<�JOh (+$Aa�.X��0')�=2&%= (+,�-AB`J�2F+#! K�7S+�+��-K��/2<+�`o+�7�AB�-%�& (+$A#�\2>86 (+$A�7J+B�<C*2>8P�)X��{K.�& (G$%/�?K�7J')')�-%/5�7J+$AS2<+�`*�)7E&K�7J+1�� :2<+$% ?5$7B%w2<�/2<TJ�c7S'9+��0`1 (�/2<TJ��7�K0K�G�')')�0+$K��?7(8P�)X���T4 #'/2& ("B�<� �_ec^�7S'Z2F+$%3�U (+$K��JO] r dH2&%[ =5B�& (+$ #' & i�$��Z^Y8D7J'.;{GB�& �OBMLX��0'.�- J%9]/�BdH2!%6+�7J+�5B�& (+$ ('-er eZ] $&�&% � &:d('L] $��&% � &:d�zeZ] $&�&% � &:d('L] $��&% � &:d�'P] $&� % � &0d�PX��9"B2<5$ (')�32F�.�`J'U #5�X?8D7J'N���z (;m5B�F�m] r dhK0 (+*"��9�& :2&A*7JG��Z J%

clause 1 clause 2

a

b

c"�G��c JA�AS2<+�`,�)X��*TJ�0'.�)���,8Q7J'=�)X��c�.XB2F'�A�K.�! #G$%/�o`J�0+��0'� (�)�-%��)X��*MP���>�FiQIB+�7(ML+�+�7J+�i5B�! #+$ ('[`S'U (5�X*) eh�6X1G$%0Oz+�7�5B�& (+$ ('Z`J'U (5�X*���B2&%/�U%�8Q7J'L���$ (;�5B�<��]/�BdUe

r p

Page 12: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

�PX��=5B�& (+$ (' & i � �h��5�')7S"B�F�0; ���)X���5�')7J"B�<�0; 7(86AB�0�)�0'.;=2<+B2F+�`�2>8[ ?5B�& (+$ (' & i$��[^ 8D7J'.;{GB�& Y2&%*%) (�/2&%wx� ("B�<����2&%o #+ � �itK�7J;�5B�<�0�)�a5�')7S"B�F�0; r F swe��t+�7J'�AB�0'c�)7')�-ABG$K��ª \5B�& (+$ (' & i � �h��5�'.7J"B�<�0; �.7o ?�& ("$���<iQ5B�& JK��0;��0+B�?5�')7J"B�<�0;oOHMP��5�')7(TJ2&AB� *;��0�)X�7�A\8D7S'K�7J+$%/�)')G$K��32F+�`\8D'.7J; (+BC�5B�& (+$ #' & i�$��Z^ 8D7J'.;{GB�& *%/�0��%Z7(8h�& ("����F�-A (+$A?G�+B�& ("$���<�-Aa5�7(2<+1�U%N%/G$K)X*�.X$ (�P�)X��0')�Z2&%L (+o JAB;�2!%.%w2<"B�F���& ("����l2<+�`*7(8H�)X��95$7(2<+B�U%2l8 (+$AE7J+B�<C�2>8[�)X��?8Q7J');=GB�& *2&%�%. (�/2&%wx� ("B�<�Je�^zG�')�)X��0'-Ov�)X��*+1G�;="��0'{7#8[5$7(2<+B�U%�2&%5$7(�<CB+�7J;=2& :��2<+*�)X��Â%�2F�0�Z7(8��)X��Z5B�& (+$ (' & i � �h� 5�')7J"B�<�0;oOB`(2<TJ�0+* J%��.X��[5�')7�ABG$K��P7(8�)X��+BG�;="$�0'Z7(8bK.�& (G$%/�-% ��� � #+$Ao�.X��+BG�;{"��0'[7#8RT( ('/2& ("B�<�-% � � � e �,�{AB��x$+����a�)7"$� � � � � ��� � e

f���8D7S')�ªAB�-%.K�'/2<"B2F+�`��)X��ªK�7S+$%/�)')G$K��/2<7J+�OvMb�?%/X�7(M ª8D�0M�G$%/��8QGB�[%/G�"�K�7S+$%/�)')G$K�i�/2<7J+$%L�.X$ (�LK0 (+*"$�q8D7J'.;��-Am8D'.7J;�5$7(2<+B�U%0eP^_2F'�%/�-OBMP�9+�7J�)�9�)X$ (�NMb�K0 #+oK�7J+$%/�)')G$K�� =5$7(2<+B�Â%3�0�LMP2<�)X*���$ JK��/�<C*�/Mb7=5�71%)%w2<"B�<���! #"$���>2<+�`1%0@

AL�0')�JO� ��! #"$���<�-Aa5$7#2F+B�=]t+�7J�� (�)�-A?MP2<�)X\2F��%L5�71%)%w2<"B�<�=�& ("$���h'.�0`(2<7J+$%[ S%LG$%/G$ 4�DdL (+$A��MP79G�+B�& ("����F�-A\5$7(2<+B�U%N]�K�7J+BTJ�0+B�/2<7J+$ :�>�<C�+�7J�U (�.�-A=MP2<�)Xc (+ -Pdv #')�[K�7J;="B2<+��-Ac%3G$K)X�)X$ (�L�)X��97S+B�FC*5��0');=2&%)%w2<"B�<���& ("$���>2<+�`1% #')�9�)X��9+�7J')�.X1MP�-%/�L (+$A*%/7SG��)X��- J%/�-e

�PX���8Q7(�>�F7(MP2<+�`�K�7J+$%/�)')G$K��32F7S+ X$ S%?�)X��a5�')7J5$�0'.��C��.X$ (�ª #�?�F�- S%/�*7J+��a7(8�)X��%/X$ JAB�-A ')�0`(2<7J+$%?;=G$%/��"��,G$%/�-A �)7,�& ("����92<�U%* J%)%/7�K.2& (�)�-A 5$7(2<+B�-OL"��-K0 (G$%/�a2>8� 4�l��)X�')�0��+�7J+$%3X$ JAB�-Aa')�0`(2<7J+$%� (')��G$%3�-A�8D7S'Z�! #"$���>2<+�`,�)X���7JG���%w2&AB��5$7(2<+B�U%0O_�)X��0+,�)X��2F+�+��0'Z5$7#2F+B�ZX$ J%P+�7�')�0`#2F7S+*2<+oMLXB2&K.Xo�)7=5B�& JK���2<�U%��& ("����je

�PXB2&%LK�7J+$%/�)'.G$K��/2<7J+*MP2>�>�g"$�9G$%/�-Am�)7=�0+$K�7�AB� {K.�& (G$%3�JO$ (+$A?MP2>�>�g"$�9'.��8D�0')'.�-A��)7� J% ���"� � ��� � �� Qeh��7=%) (�/2&%w8QCc =K.�& (G$%/��] $ � % � &:d�O-7J+��97#8¨�.X��[�)X�'.�0�L�>2<�)�0'U :�&%�$�O�%(OJ7J'&h;=G$%/��"�� S%)%w2<`J+��-A=�)X��NT4 :�<G����B�����SeR�6X��L�)X�')�0�L7SG��)�0'�5$7(2<+B�U%�M62l�>��K�7J')')�-%/5�7J+$A=�)7�)X��L�>2<�)�0'U 4�!%�$�O %(OB (+$A &(OW #+$A�5B�& JK.2<+�`* Z�& ("$���_2F+*�.X��Â%/X$ SAB�-A?')�0`(2<7J+*K�7J')')�-%/5�7J+$A�%�)7c%/���<�-K��/2<+�`*�)X$ (�6�l2<�)�0'� :�R�.7�"$���)')G��Je H�& JK.2<+�`ª ��& ("$���H2<+o�)X���+�7J+$%/X$ JAB�-A\')�0`(2<7J+K�7J')')�-%/5�7J+$A�%9�.7o ��0AB7J+��²�K0 ('.� �*K�7J+$AS2<�/2<7J+�e��,�? (')�=+�7J�'.�-~JGB2<'/2<+�`o�.X$ (�Z�>2F�.�0'U :�

r5r

Page 13: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

�)7*"$�?�)')G��J�¨2F��;c :Co"����)')G���7S'Z8j :�&%/�Je?�PXBG$%0O��)XB2&%qG�+B2F�=�0+B8Q7J'UK��-%Z�)X��?K�7J+$AS2<�/2<7J+�)X$ (�L (���<�- J%/�P7J+��97(8g�.X��L�>2<�)�0'U :�&%62<+*�)X��K.�& (G$%/�9"$�9�.')G��Je;�,�ZMP2>�>�RK0 :�>�g�)X��N�>2F�.�0'U :��)X$ (�LX$ J%b2F��%��& ("$���H2<+� �%/X$ SAB�-A*')�0`(2<7J+*�.X�� � ����� �� !��� �" !��� ���>e

�,�*K0 (+E5B�! SK��?2F+$%3�U (+$K��-%�7(8[�)XB2&%=K�7J+$%/�.')G$K��/2<7J+�2F+��.X��c5B�& (+��JO�7S+���8Q7J'�- SK)XK.�! #G$%/�JeZ]��PXB2&%P')�-~SGB2<')�-%��=] ��� � d�5$7(2<+B�U%0e>d��PX��97J+B�<C?8QG�')�)X��0'L'.�-~JGB2<')�0;��0+B�N2!%N�)X$ (��)X��a�& ("$���=5B�& JK��0;��0+B�U%oK�7J'.')�-%/5$7S+$A��)7� �K�7J+$%w2&%/�.�0+1�aK)X�7(2&K��E7(8{T( :�<G��-%?8Q7J'*�)X���l2<�)�0'� :�&%0ea�t+�5$ ('.�/2&K�GB�! #'-O�MP��;=G$%/�=`JG$ ('U #+1�)�0�m�)X$ (�92>8 \�>2<�)�0'U :� $�2<+�7J+��*K.�& (G$%/�2!%9%3���F�-K��.�-Aa�)7?"$�=�)')G��JO� m�>2F�.�0'U :� $?2<+, (+�7J�)X��0'9K.�& (G$%/�=2&%Z+�7J�9 :�&%/7*%/���<�-K��)�-A�e��,�I1+�7(M��)X$ (�=�)X��?8Q7J');=GB�& \2!%�5B�! #+$ ('-OP%/7a�)X$ (�=MP�ªK0 (+E�& :C,7JG��m�)X��ªK.�& (G$%3�oG�+B2<�U%K�7J')')�-%/5�7J+$AS2<+�`��.7��.X��*5$71%w2<�/2<7J+$%�7(8Â�.X��ªK.�& (G$%/��TJ�0')�/2&K��-%�2<+��)X��*5B�& (+$ #'�`J'U (5�X�e^�7J'��- SK)X T4 ('/2& ("B�<�JOZMP�*MP2>�>��)'U (+$%/;�2F�m�)7� EK��0+1�)'� :�L�<7WK0 #�/2<7J+��)X��\2<+B8D7J'.;c (�/2<7J+ ("$7JG��q2<�U%=%/���<�-K��/2<7J+�%/�U (�.G$%N2F+E�- JK.X K.�& (G$%3��2<+EMLXB2&K)X�2<�{7�K0K�G�'U%0e<AL�0')�JOHMP��MP2>�>�;c (IJ�9G$%/�97#8v =�.'U (+$%/;=2&%)%�2F7S+*�>2<+��{K�7J+$%/�.')G$K��/2<7J+�@

]!�,��X$ :TJ��G$%/�-Aq��MP7LAS2>���0')�0+1�H�/C15��-%�7(8$A� J%/X��-A�l2<+��-%H�)7ZAB���l2<+��- (�.�b�.X��h7(TJ�0'/�& (5�5B2<+�`')�0`(2<7J+$%N;�7J')�K.�<�- ('/�<CJe>d=�Q8h ��& ("����g8Q')7J; #+�7J�)X��0'L5�7(2<+1�N2<+1�)'.G$AB�-%P2<+B�)7��)X���G�5�5$�0'%/X$ JAB�-A ')�0`(2<7J+�ON�)X��0+��)X����! #"$���98Q7J'c�.X��o�<7(MP�0'c5�7(2<+1�*;=G$%/�?"$�a5B�& JK��-A 2<+��)X���F7(MP�0'9%/X$ JAB�-A�')�0`(2<7J+�e9�PX����& ("$����2<+B�)')G$%w2<7J+Y2F+B�)7?�)X��=G�5�5$�0'9')�0`#2F7S+o2&%Z�)X��0'.��8D7J'.����)'U (+$%3;=2<�)�)�-A �P�)7Z�)X��v�F7(MP�0'H')�0`(2<7J+�e��PX��h�.'U (+$%/;=2&%)%�2F7S+9�>2<+��L�)XBG$%�X$ J%_�/MP7[%/�U (�.�-%0O�)X��%/���<�-K��)�-Aa%/�U (�.�JOJ2<+�MLXB2&K)X��)X��Z8D7#�l�<7(MP2<+�`m�! #"$���>2<+�`*2&%�8Q7J'UK��-A�@

r �

Page 14: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

(+$A* (+?G�+$%/���<�-K��)�-Aa%/�U (�)�JO#2<+*MLXB2&K)X��)X��L�<7(MP�-%/���& ("$���g'.�0`(2<7J+?2&%P+�7J��8D7S'UK��-A?�)7="$�G$%/�-A�O� S%bAB�0;m7J+$%/�)'U #�)�-A?"1C?�)X��q8D7(�>�<7(MP2<+�`�5$7B%)%w2<"B�<�c]w"�G��L+�7J�P8Q7J'UK��-A�d��& ("����>2F+�`�@

]��PX��%/X$ JAB�-A\')�0`(2<7J+$%LK�7S')')�-%/5�7J+$A*�)7m�)X��Z�& ("$����5B�& JK��0;��0+B�U%0e>d�t+E�)XB2&%�ML -CJO_�)X��m2F+B8Q7J');? (�/2<7J+� ("$7JG���MLXB2&K)XE�>2<�)�0'U 4�!%�Mb�0'.�c%/���<�-K��)�-A�K0 (+E"$�

�)'U (+$%/;�2F�.�)�-A\8D')7S;|7J+���5B�& JK����)7o #+�7J�)X��0'-e � 2<+$K��cMP�cK0 (+,K�7J+$%3�)')G$K��9"$7S�)X,X�7J'/2<i�07J+1�� :�z #+$ATS�0')�/2&K0 :���)'U (+$%/;�2!%.%w2<7J+��l2<+��-%0OBMP�LK0 (+=�)'U (+$%3;=2<�g�)XB2&%_2<+B8Q7J');c (�32F7S+8Q')7J; (+1C=5B�& JK��Z7J+��)X��N5B�! #+��9�)7 (+BC{5B�& JK��Z���&%/�JO�%/79�<7J+�`= J%��.X��L�)'U (+$%3;=2&%)%w2<7J+m�l2<+��-%LAB7+�7J��X$ :TJ�P�)7K�')71%)%Veg�w+�5$ (')�32!K�GB�& (':O1%w2<+$K��Z�)X��P8Q7J');=GB�& N2!%v5B�& (+$ ('-OSMb�LK0 (+m�)'U (+$%/;�2F��)X��92<+B8Q7J');c (�32F7S+� ("�7JG��P�>2<�)�0'U :�h%/���<�-K��/2<7J+�8D'.7J; :�>���>2<�)�0'U :�&%Z7(8��)X��=%) (;��9T( ('/2& ("B�<��)7c �%w2<+�`(�<��')�0`(2<7J+o7#8g�)X��5B�& (+��JeP^�7S'b�.X��9`J'U (5�X?8Q7J'9] r dv #"$7(TJ�9MP�9X$ :TJ�J@

r�&

Page 15: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

clause 1 clause 2a region

b region

c region

�PX��c;m�0�)X�7WAY7(8[�g (;m;c J%w2& o #+$A��_7(�>�>2!% r r�& sbK0 (+E"$�?G$%/�-A��)7*�& :Ca7JG��{ \5B�& (+$ ('`J'U (5�X?7(8 �y5�7(2<+1�U%N :�<7J+�`� (+�2<+B�)�0`J�0'L`S'/2&A�7(8�%/5$ JK�� �=] ��d - ��] �mdgMP2<�)Xo (��;�71%/� �K�7J+$%/�U #+1�L+BG�;="$�0'Z7(8�"$�0+$A�%Z5$�0'N�>2<+��Je �P�-K0 :�>���)X$ (�L�.X��TJ�0')�32!K��-%62<+o�)X���5B�& (+$ ('`J'U (5�X�K�7J')'.�-%/5$7J+$A��)7Z�)X��PG�+B2<7J+�7(8��)X��LK.�& (G$%/�-%h #+$AT( ('/2& ("B�<�-%0eh�6X1G$%0O(�- SK)X=5$7#2F+B�2F+��.X��=2<+1�)�0`S�0'{`S'/2&A,;=G$%/��X$ -TS�c')7B7J; 8D7J'= oK.�& (G$%/�*G�+B2<�=7J'= oT( ('/2& ("B�<�*')�0`(2<7J+�e�PX��*;c :�B2<;{G�; MP2&AB�)X� #+$AEX���2F`SX1�=7(8 aK.�& (G$%/��G�+B2<�=2&%�K�7J+$%/�U #+1�-e��9%=MP�cMP2>�>�%/�0�{%/X�7S')�/�<CJO��)X���;c :�B2F;=G�; M62!AB�.X� (+$A\X���2F`SX1�Z7(8h =T4 ('32! #"B�F�=')�0`#2F7S+*2&% ��] �HdUO�%/7�)X��?2<+1�)�0`S�0'{`S'/2&AE;{G$%3�{X$ :TJ�* (+� (')�- �7(8 ��] ����d - �=] ����dUe/�� JK)XE�)'U #+$%/;=2&%)%w2<7J+�l2<+��cK0 #+o�)'U :TJ�0'�%/�9�)X��M62!AB�.X�7#8R�)X���`J'/2&Aa (�L;�7B%/�[ ?K�7J+$%/�U (+B�L+BG�;="$�0'97(8��/2<;��-%]�K�7J')')�-%35$7J+$AS2<+�`=�)79�)X��L;? :�12<;=G�; +BG�;="$�0'�7(8�"��0+$A�%�dh%/79�)X��L;c 4�12<;=G�; +BG�;="$�0'7(8R5�7(2<+1��%L+��0�-AB�-Aª2F+a :�>�g�)'U #+$%/;=2&%)%w2<7J+\�l2<+��-%N2&% ��] � dUe

^�7S'�- JK.X�'.�0`(2<7J+�7#86�.X��c5B�& (+��oK�7J'.')�-%/5$7S+$AS2F+�`a�)7a �T4 ('/2& ("B�<�JO��.X��0')�cM62l�>�L2<+`J�0+��0'U :��"$�9%/�0TJ�0'U :�$�.'U (+$%/;=2&%)%�2F7S+��>2<+��-%PK�7J;=2<+�`�2F+�O�%/7S;��[K�7J')'.�-%/5$7J+$AS2<+�`=�)7�5$71%w2<i�/2<TJ�L7�K0K�G�')')�0+$K��-%�7(8��.X��bT( ('/2& ("B�<�JO$ (+$A=%/7S;��L�)79+��0`1 #�/2<TJ�P7WK0K�G�')'.�0+$K��-%0e;�,�L;=G$%/�`JG$ ('U (+B�)�0���)X$ (�9 �5�71%w2<�/2<TJ�c (+$A�+��0`1 #�/2<TJ�=7WK0K�G�')'.�0+$K��cK0 (+�+�7J�Z"$7J�.X�"���%/���<�-K��)�-A2F+��/Mb7�K.�& (G$%/��G�+B2<�U%0e �,�AB7��)XB2&%N"1C*K�7J+$%/�)'.G$K��/2<+�`ª =G�+B2<�N8D7S'b�.X��T4 #'/2& ("B�<��)X$ (��0+B8D7J'�K��-%L�)X��K�7S+$%/�)'U :2<+B�-e�}h7J+$%w2&AB�0'Z�)X��9`J�0+��0'U 4�R%w2<�)G$ (�/2<7J+�@

r+F

Page 16: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

x

region for variable

incomingtransmission

lines

x x x x x x

x

] �L7S�)�=�)X$ (�9MP�cK0 (+� 4�FML :C�%[ ('.'U (+�`J��8Q7J'9�)X����)'� (+$%/;=2&%)%w2<7J+Y�l2<+��-%=�.7*�0+1�)�0'Z8Q')7J; ("$7(TJ�N2<+*�)X��L8t J%/XB2<7J+*`#2FTS�0+�2<+*�)X��Nx$`JG�')�Jeh�6X��9���W�)'� 9')7JG��32F+�`=+��0�-AB�-Aª2!%PK.�<�- ('/�<C7J+*�)X��7S'UAB�0'L7(8��)X��9MP2&AB�)X�7(8R�.X��T4 #'/2& ("B�<�')�0`(2<7J+�O�MLXB2&K.X*2&%P2<�U%3���l8��>2<+��- ('N2<+ �ve>d^�7J'L (+BCc JA:�) JK��0+B�b5$ 42F'P7(8H�)'U (+$%/;�2!%.%w2<7J+?�>2F+��-%67(8g�)X��%) #;��[5$ #'/2<��C\]t�)X$ (�v2!%VO1"�7J�)XK�7J;���8D'.7J; 5�71%w2<�/2<TJ��7�K0K�G�')')�0+$K��-%q7J'9"$7S�)X�8D')7S; +��0`1 #�/2<TJ�=7WK0K�G�')'.�0+$K��-%Z2<+,�)X���2<'K.�! #G$%/�-%�dUO�MP�K0 (+,K�71 :�<�-%)K��=�)X����)'U (+$%3;=2&%)%w2<7J+*�>2<+��-%Z2<+B�)7?7J+��MP2<�)Xa�)X��q8D7#�l�<7(MP2<+�`;��0')`J�9G�+B2<�-@

incomingtransmissionlines

outgoingtransmissionline

�Q8���2<�)X��0'P7(8��)X��N2<+$K�7J;=2<+�`=�)'U (+$%/;�2!%.%w2<7J+��>2<+��-%LK�7J;m�-%H8Q')7J; �%/���<�-K��)�-Am�>2<�)�0'U :�tO�)X��c7SG��)`J7(2<+�`o�.'U (+$%/;=2&%)%�2F7S+,�>2<+��*MP2>�>�NK�7S+1�/2<+BG��*�)'U (+$%3;=2<�)�/2<+�`o�)X��m2<+B8D7S');c (�/2<7J+�e�L7(M�MP�K0 (+o%w2<;�5B�>2>8DC*�)X��Z2<+$K�7J;�2F+�`?�)'U #+$%/;=2&%)%w2<7J+?�>2<+��-%[%37��)X$ (�P�)X��0C* :�<�)�0')+$ (�.�5$71%w2<�/2<TJ�= (+$A*+��0`B (�/2<TJ�Z�>2<�)�0'U :�&%0e

r n

Page 17: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

x

region for variable

incomingtransmission

lines

x x x x x x

x

^�G�')�)X��0'.;�7J')�JO�MP�oK0 (+�K�71 :�<�-%)K��a :�>�[7(89�)X��*5$71%�2F�32FTS�*�>2<�)�0'U :�[�.'U (+$%/;=2&%)%�2F7S+��>2<+��-%2F+B�)7c m%w2<+�`(�<��>2<+��Je

x

region for variable

incomingtransmission

lines

x x x x x x

x

�PX���+����W�9%/�)�05\2!%N�)7*K�71 :�<�-%)K����)X��+��0`1 #�/2<TJ�9�>2<�)�0'U :�h�.'U (+$%/;=2&%)%�2F7S+*�>2<+��-%0e[f�G���)XB2&%�')�-~SGB2<')�-%mG$%��)7EK�')71%)%=�.'U (+$%/;=2&%)%�2F7S+��>2<+��-%0e�^�7J'm�)XB2&%�5�G�')5�71%/��Mb��G$%/�*�)X��8D7(�>�<7(MP2<+�`ªK�'.71%)%/7(TJ�0'PG�+B2<�-@ �

� ¬��b�.�Q��£�¤-¢:�/Ã-¡Q�/¢=¡Q [«0¡t�.¤0¯��/´{µ¨�-�/¤Z¦< U���P¢-�t�.¿L�)¡�£��P��£�¿P�0¯²£��(�)�)¡�£� 0¤c�.¤-¢9°��/¤-�/�t�3¯²£��3�.¡�£� 0¤� .¦ U§:�g ���£�°)£�¤(�/¯��/�Q ��Q�Q )®U�/�/¶J¥��V£��t�q£�¤0®U .¯�®U�/¢�� #�¯l�)Ã(�w¯��/¢��)¤:¢��h§:¤0¯l�.Ã(�t¯��/¢��( .£�¤0¡Q�/¶1¡Q L¡Q�:�h�/§-�Q�Q�/¤0¡ U¤:�h .¦ #v¯l�.Ã4�w¯��/¢��)¤:¢���§:¤0¯l�.Ã4�w¯��/¢=�( )£�¤0¡Q�/±

r �

Page 18: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

incoming transmission line y

incomingtransmission line x

youtgoing transmission line

outgoingtransmission line x

x y

x y

x y

x y

�PXB2&%LG�+B2<�ZX$ J%P�)X��Z8Q7(�>�<74M62F+�`?"$�0X$ :TS2<7J'-e��Q8h�)X�� �ª2F+$K�7S;=2<+�`*�)'U (+$%/;�2!%.%w2<7J+?�>2F+���2&%%/���<�-K��)�-A�O��)X��0+*�)X��=K��0+1�)'� :�g5$7#2F+B�L;=G$%/�L"��9�& ("����F�-A�2F+�7J+��7#8R�)X��9�/MP7�5�71%w2<�/2<7J+$%;c (')IJ�-A#���� (+$A#� ��e9�t+a��2<�)X��0'{K0 S%/�JO��)X����<74MP�0'9'/2<`JXB�95$7#2F+B�9;=G$%/�9"$���& ("����F�-A2F+��)X��97JG��)`S7(2<+�`��)'U (+$%3;=2&%)%w2<7J+*�>2<+�� ��%Z%/���<�-K��)�-Aa%/�U (�.�JOW S%L%/X�7(ML+?"$���<7(M@

incoming transmission line y

incomingtransmission line x

youtgoing transmission line

outgoingtransmission line x

x y

x y

x y

x y

�L7J�.�L�)X$ (���)X��N7JG��)`J7(2<+�`��)'U (+$%/;�2!%.%w2<7J+=�>2<+��Z8D7J'���2&%��)X��0'.�0"1C�%/���<�-K��)�-A�e � 2<;=2>�! #'/�<CJO%/���<�-K��/2<7J+�7(8L�)X����a�)'U (+$%3;=2&%)%w2<7J+��l2<+��?2&%�5$ J%)%/�-A��)X�')7SG�`JXa8Q')7J; G�5�5��0'�'/2<`JXB��)7�F7(MP�0'P�<��8Q�-e

�Z%w2<+�`,�)X��oK�')71%.%/7(TJ�0'=G�+B2F�:OPMb�*K0 (+������)�0+$A��.X��*T4 ('/2& ("B�<��')�0`(2<7J+��& :CJ7JG��� J%8D7(�>�<7(M[%0@��� «V U¿P�H�� �¿P¿P��¤0¡�£���¥��.�Q�t�)¤0¡Q�/¢[�.Ã( U§:¡�¡Q�-�H�0¯l�.¤4�.��£�¡&´Z U��¤: U¤:�0¯l�.¤4�.��£�¡&´Z )¦�¡Q�-�_¯l�/´� U§:¡/±$���:���Q�

�)�Q��¡�¥� g°��t�.�-�-��Ã(�t£�¤:°h§:�Q��¢�£�¤P¡Q�-�_�� �¤-�Q¡Q�Q§:�/¡�£� U¤S¶-¡Q�-��ÃV£��4�.�Q¡�£�¡Q�g°��t�.�-�P )¦B�t¯l�.§-�Q�/���)¤:¢b®��)��£l�.Ã0¯��/�/¶�)¤:¢6�¨¿b ��Q���)�Q¡�£��/§V¯l�)¡Q�/¢L°��t�)�:�P )¦J¡Q�t�.¤-�Q¿�£��Q��£� U¤6¯²£�¤-�/�/± ­ ¯�¡Q�- �§-°��P¡Q�-��Ã0£��(�)�Q¡�£�¡Q�H°��t�)�:�h£����V¯l�)¤(�)�/¶¡Q�-��§-�Q�� )¦(���Q ��Q�Q )®��/�Q�B£�¤-¢-§:�/����¤- �¤-�V¯l�)¤(�)��£>¡&´P¥�£�¡Q�V£�¤b�_�Q§-Ã-°��t�.�-�P )¦(¡Q�-��¿b ��Q���.�Q¡�£��/§0¯l�.¡Q�/¢L°U�t�.�-�S¶¤4�.¿b�w¯�´�¶�¡Q�-�L�Q§:Ã-°��t�)�:�c�/ ��Q�Q���Q�( �¤-¢V£�¤-°�¡Q �Z��£�¤:°)¯��9¤: 0¢-�L .¦g¡Q�-�NÃ0£��4�.�Q¡�£�¡Q�9°��t�)�:���&�Z®U�.��£l�)ÃV¯��

r)*

Page 19: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

x

region for variable

incomingtransmission

lines

x x x x x x

x

�N74M�O�Mb�mX$ -TS�c%/G$K0K��-%)%w8QGB�>�<C K�71 4�F�-%.K��-A� :�>�P�)X�� �E (+$A ���)'U (+$%/;�2!%.%w2<7J+a�>2<+��-%2F+B�)7* c%�2F+�`#�F���>2<+��=8Q7J'L�- JK.X�e �,�;=G$%/�Z7J+B�<C*`JG$ ('� (+1�.�0�9�)X$ (�Z"$7J�)X\�>2F+��-%9 #')�+�7J�%/���<�-K��)�-A�OhMNXB2!K.XEMb�*K0 (+�AB7o"BC�K�7J+�+��-K��/2<+�`,�.X��c�0+$A�%�7(8L�)X��?�/Mb7?�>2<+��-%mMP2<�)X ��G�+$K��/2<7J+�G�+B2<�-@

incomingtransmissionline

xx incoming

transmissionline

�Q8h"$7S�)X?�>2F+��-%9 #')�%/���<�-K��)�-A�O��)XB2&%PG�+B2<�ÂK0 (+�+�7S�L"$�q�! #"$���<�-A�e�h SK)X,T( ('/2& ("B�<�o'.�0`(2<7J+�'.�-~JGB2<')�-%= (�=;�71%3� �=] �HdL;��0')`J�?G�+B2<�U%� (+$AEK�')71%.%/7(TJ�0'

G�+B2F��%� (+$AE7J+�����G�+$K��32F7S+�G�+B2F�:e��PX��?���W�.'U ��)'U (+$%/;�2!%.%w2<7J+E�>2F+���')7JG��/2<+�`�2&% �=] �Hd8D7J'��- JK.X��)'U (+$%3;=2&%)%w2<7J+=�>2<+��JO�`(2<TS2F+�`= 9�)7S�U :��7(8 �=] � � d�5$7(2<+B�U%�5$�0'hT( ('/2& ("B�<�9')�0`(2<7J+�e�PX��P�)7J�U :��+BG�;{"��0'�7(8�5�7(2<+1��%H+��0�-AB�-A=8Q7J'� :�>�$T4 ('/2& ("B�<�L'.�0`(2<7J+$%0OJ�.X��0+�O(2&% �=] � � � � � dUe

�PXB2&%?K�7J;�5B�<�0�)�-%m�)X���K�7J+$%3�)')G$K��/2<7J+ 7(8q ��! #"$���<iQ5B�& JK��0;��0+��o5�'.7J"B�<�0; 8Q')7J; 5B�! #+$ (' & i � �h� 5�')7S"B�F�0;�eR�6X��ÂK�7J+$%3�)')G$K��)�-A=5�7(2<+1�P%/�0�bK0 #+�"$�9 JAB;=2&%)%w2<"B�<C=�& ("����F�-A��G$%/��2<+*K0 J%/�ZMb�9K0 (+*%/���<�-K��P7J+��L�>2<�)�0'U 4�¨5�7(2<+1�68D')7S; �- JK.XªK.�& (G$%3�[G�+B2<�[ (+$A��& ("$����2<�2F+?�)X��9%/X$ JAB�-Am')�0`(2<7J+�eP}�7J+$%w2&AB�0'L 95$7S�)�0+1�32! 4�¨K.X�7(2&K��[7(8�%/���<�-K��)�-A=�>2<�)�0'U 4�!%Veh�j8¨�.X��0C (')�N2F+$K�7S+$%w2&%/�)�0+B�[]w�)X$ (��2&%0O�%/7S;�� �m�>2<�)�0'U 4�_ #+$Ac%/7S;�� �m�>2<�)�0'U :�g (')�Z%/���<�-K��)�-A�dh�)X��0+"1C?TJ2<')�.G��97(8R�.X��9;��0')`(2<+�`��)X��%�2F+�`#�F�qx$+$ :� �?�)'� (+$%/;=2&%)%w2<7J+\�>2F+���MP2>�>�R"��%/���<�-K��)�-A J%�M62l�>�$�)X��L%w2<+�`(�<�Px$+$ 4� ���>2<+��Je�AN�0+$K��JOJ�)X��_��G�+$K��32F7S+�G�+B2<��MP2>�l�$"��PG�+B�! #"$���& ("B�<�JeP�t+�Q��°.£� �¤��w±P���-�P¡Q�t�.¤-�Q¿�£��Q��£� U¤�¯²£�¤-�L°��t�)�:���)���L¥_�- .¯��h£���¡Q�0§-��¤: U¤:�0¯l�.¤4�.�/¶$Ã-§:¡�¥����)�)¤��Q¡�£²¯²¯¨�Q�w¯�´ U¤�¡Q�-�h�/ �¿P�0¯��� �£�¡&´=�Q�/�Q§0¯�¡Q�� .¦��V¯l�)¤(�)��°U�t�.�-�q¯l�/´� U§:¡/¶z�.�H¡Q�-�h¤: U¤:�0¯l�.¤4�.��£l¡�´�£��H¯� 0�3�3¯²£��/�/¢�¥�£�¡Q�0£�¤¤- 0¢-�/�H )¦$¡Q�:���0¯l�.¤4�.��Ã0£��(�)�Q¡�£�¡Q��°U�t�.�-�S±

r �

Page 20: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

%/G�;�;c ('.CJO�2>8h�)X��=K)X�7(2&K��=7(8��>2<�)�0'U :�&%N2&%N2<+$K�7J+$%w2&%/�)�0+B�-O��)X��=%/C�%/�)�0;�2&%ZG�+B�& ("$���& ("B�<�Je�PX1G$%VO��)X��%/C�%/�)�0;�2&%6�& ("$���& ("B�<�Z��G$%3�P2<+�K0 J%/�9�.X��97J'/2<`(2<+$ :�H8D7J'.;{GB�& q2&%[%. (�/2&%wx� ("B�<�Je

�PX��9�)7S�U :��+BG�;="$�0'Z7(8g5�7(2<+1�U%N+��0�-AB�-A?2&% ��] ��� � d�8Q7J'L�)X��K.�& (G$%3�G�+B2<�U%0O ��] � d8D7J'P�)X��Z�)'U #+$%/;=2&%)%w2<7J+m�>2F+��-%VO� (+$A �=] � � � � � d�8Q7J'P�)X��ZT4 ('/2& ("B�<�9')�0`#2F7S+$%0O��)X��9%/G�;�7(8MLXB2&K)X�2&% ��] � d�O��)X$ (�Z2&%0O �=])] � � � � � � � d d�� ��])] � � ��� � � � d dUe?�PXBG$%0OH�)X��cK�7J+�i%/�)')G$K��/2<7J+*7#8R�)X��Z�& ("����<iQ5B�! SK��0;��0+1��5�')7J"B�<�0;�8Q7J'[ =`#2FTS�0+*5B�! #+$ (' & i � �h��5�')7J"B�<�0;2!%�5�7(�<C1+�7J;�2! 4�L2<+��)X��*%w2<�0�*7(8L�)X�� & i � �h� 5�')7J"B�<�0;oea�PXBG$%0O_2l8N�! #"$���[5B�& JK��0;��0+B�Mb�0'.�{%/7(�<T( ("B�<�2<+�5$7(�<CB+�7J;=2& :���/2<;��JO�%37�MP7JGB�&A*5B�& (+$ (' & i � �h�9e�u� ("����R5B�& JK��0;��0+B�2!%N�)XBG$%L (+ � �iQX$ ('�A?5�')7J"B�<�0;oe

�PXB2&%LK�7J+$K.�<G$AB�-%N�)X��9 (')`JG�;��0+B�P�)X$ (� � u� E�& ("����g5B�& JK��0;��0+B�P2&% � viQX$ ('UA�O� (+$A�)X1G$% � �itK�7J;m5B�F�0�.�Je,�PX�� � �itK�7S;�5B�<�0�)�0+��-%)%=7(8 $7S'U J%/�)�0' ��%Z5�')7J"B�<�0; (+$A��9u� (')�Z2<;�;��-AS2& (�)�=K�7J')7(�>�& ('/2<�-%0e

� � � � � ��� ��� ����� +�� � ����*��� � � � �.�L��� � � ���

�,�[K0 (+?G$%/�L�)X���� �itK�7J;�5B�<�0�)�0+��-%.%h7#8 � u E�)795�')7(TJ2&AB�Z"$7JG�+$A�%�7J+m�)X��ÂK�7S;�5B�<���Wi2F�/C?7(8��)X��97J5��/2<;=2<�- (�/2<7J+aTJ�0'�%w2<7J+*7(8��)X��Z�& ("$����5B�& JK��0;��0+B�[5�')7S"B�F�0;�O�C[u� Le

� �F7(MP�0'P"$7JG�+$Aª2&%L%/�)'U 42F`SX1�/8Q7J')ML ('�A��1K.�<�- ('/�<CJO$ (+BC* :�<`J7J'/2<�)X�;�8Q7J' C[u� %/7(�<TJ�-%� u� � S%ZMb���>�te��PXBG$%0O;C[u �K0 (+�+�7S�9"$�c%/7#�FTS�-A�2<+,5$7(�<CB+�7J;=2& :�P�/2<;���G�+B�<�-%)%� �� =ev�Â%�2<�Z�)G�')+$%P7SG��-O��)X��97J�.X��0'[AS2<')�-K��/2<7J+oX�7#�!A�%Z J%PMP���>�teb�6X$ (�P2&%0Oz2l8� � ���)X��0+�C[u� K0 (+�"$�,%/7#�FTS�-A�2<+�5$7#�FCB+�7J;=2& :��32F;m�J�6C[u� 2&%���� �iQ�- J%3C � r F ste �t+%/G�;�;c ('.CJO1 :�<�)X�7JG�`SXEC[u� Y2!%�+�7J�h #+ � vitK�7J;�5B�<�0�)�[AB�-K.2&%w2<7J+*5�'.7J"B�<�0;oOS2F��X$ J%H�)X��X$ :�>�F;? (')I*7(8�7J+��JO$%/7#�FT( ("B2>�>2F�/C\2F+�5$7(�<CB+�7J;=2& :���/2<;��Z2>8b (+$A?7J+B�<C?2>8 � ��=e

�,�=5�')7(TJ�=�)XB2&%9"BC,K�7J+$%w2&AB�0'/2<+�`, (+�2<+1�)�0'.;��-AS2& (�)�cAB�-K.2&%w2<7J+�iQ5�')7S"B�F�0; T4 #'/2& (+1�7(8�C[u� LOH�)X��?5�')7J"B�<�0; 7(8[AB�0�)�0');=2<+B2<+�`a2>8[�)X��0'.��2&%= *5�7(2<+1�)i�8Q�- (�)G�'.���& ("����l2<+�`E7(8K�71%/� �D2 4a7J'��<�-%)%0e����ª%/�� (�)�c \`J�0+��0'U :�LTJ�0'U%�2F7S+�7(8Z�)XB2&%{AB�-K.2&%w2<7J+ 5�')7J"B�<�0;

r �

Page 21: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

"$���<7(M��)X$ #�6 4�!%37�2<+$K�7J')5�7J'U (�.�-%P�)X��9+�7J�/2<7J+�7(8g�����)�0+$AS2<+�`o =5$ (')�32! 4���& ("����>2F+�`�@� ^��3#B ��,�<?,@�# � :-���IAC��@$*[���I ��3M��-#g�$������#gMN=���?%#$@�*i@&����#BAC#B �� ]B� C[u Pd� � �� !���������¨��%/�0� 7(8�5�7(2<+1��8Q�- (�)G�')�-%v�- JK.X�MP2<�)Xc q5$71%w2<�/2<7J+m2<+ � � (+$A ��& ("$���Â%�2F�0�JOP�- SK)X�7(89MLXB2&K.X K0 (+�"��?�! #"$���<�-A 2<+�7J+��o7#8 ,%/�0��� 7(8')���& (�/2<TJ�Z5$71%w2<�/2<7J+$%Â]Q8D7S'h���$ (;�5B�<�JOB�)X��[��2<`JXB�P')���& (�/2<TJ�Z5$71%�2F�32F7S+$%�2<+ª^_2<`JiG�')�b�Bd��4K�71%3��8DG�+$K��32F7S+$% &)(+*J (+$A &+* *1%. (�/2&%w8QCJ2<+�`�] r d$ (+$A=]/�BdUO0')�-%35$�-K��/2<TJ���<C�� �5$ ('.�/2& :�g�& ("����>2F+�`���� � %J]" ���� #�����)d$#0]@ ��� #�� ����d$#������)#0]" ����%#�� ���Vd ' �� (+$A �K�71%/�P�>2<;=2<�-O�fZe��� � � ! �����R��%��)X��0')�9 Z�& ("����¨5B�& JK��0;m�0+1� �ª@ �0 � �)X$ #��2&%P %/G�5��0'U%/�0�7(8����9 (+$A?�.X$ (�LX$ J%LK�7B%/�

�(���� &)(+*�]" �# ��]@ �d)d��

�(�� � ��� &+* *�]" �# ��]" ¨d$#"! #?�$]#!Sd)d � $

�t��2&%P�- J%3C��)7{%3X�74M��)X$ #� � C[u E2&%�2<+ � � #+$A?�)X$ (�b #+ª ('."B2F�.'U (')C=2<+$%/�� (+$K��97(8�Âu� yK0 (+,"���')�-ABG$K��-AY2<+�5�7(�<C1+�7J;�2! 4�b�/2<;����.7o (+a2<+$%/�U (+$K��m7(85� C[u� NO��)X��0')�0"BC�-%/�U ("B�>2&%/XB2<+�`��.X�� � vitK�7J;�5B�<�0�)�0+��-%)%=7#8 � C[u� Ne��PX��-%/�o%/�)'� :2<`JX1�38D7J'.M6 #'UA�')�-%/GB�<�U% (')���<��8D�q8D7J'9�.X���')�- JAB�0'9�)7*5�'.74TS�Je��,�mG$%/���)X�� � �itK�7J;�5B�<�0�)�0+��-%.%7#8 � C[u ��)7%/X�7(M��)X$ (� C[u� 2&% � �iQ�- S%/CJe

�9%)%/G�;����.X$ (�MP�=X$ :TJ�c *5�'.7WK��-ABG�')������� � 8D7J'%37(�<TJ2<+�`/� C[u� Negu��0� �������"$�a�)X��?�& (')`J�-%3��2<+B�)�0`J�0'?�)X$ (�c (5�5��- ('U%�2<+��)X��aAB��x$+B2F�32F7S+�7(8�& (=* (+$A & * * 2<+��)X��%/�U (�)�0;m�0+1�97(8L (+, (')"B2<�)'U #')C*2<+$%/�U #+$K��c7(8 C[u� Le �h JK.Xa7(8L�)X�� � � �& ("����&%;? -C�"$�')�-%/5$7S+$%w2<"B�F��8Q7J'[ J%�;c #+1C* J% � � � r +�7S+�iQ�0�0')7c�.�0');c%v2<+o�)X��=K�71%/��8D7S');=GB�! zO1�- SK)XMP2<�)X�;c :�B2<;{G�; T( :�<G�� ������� e����oK0 (+��.X��0')��8D7S')�ª%3�U (�)�?�)X��m8D7(�>�<7(MP2<+�`�"�7JG�+$A�%7J+,�)X���7S5��/2<;c :�h�& ("����>2F+�`EK�71%/�-O �� (! �@{p � �� (! � ������� ] � � � � � � dUe �,�cK0 (+AB�0�)�0');=2<+��=�)X��{K�7B%/�L7(8b (+�7J5��/2<;c :�_�! #"$���>2<+�`*8Q7J' #+o (')"B2<�)'U ('.C?2F+$%3�U (+$K��7#8 C[u� "1C�%/�0�)�/2<+�`�G�5� �K�7J'.')�-%/5$7S+$AS2F+�` 2<+$%/�U #+$K��,7(8 � C[u |]tM62F�.X"� � dc (+$A G$%/i2F+�`�5�')7WK��-ABG�'.�#� ���� � (+$AE"B2<+$ (')C�%/�- ('�K)X�eE�PXB2&%� (5�5�')71 SK)XE')�-~SGB2F'.�-%� (�=;�71%/�$ �F7S` � ] ������� ] � � � � � � d)d&%ÂK0 :�>�&%P�)7'��� ��� �hO1 �+BG�;{"��0'P�)X$ (��2&%�5$7#�FCB+�7J;=2& :�_2F+?�)X���F�0+�`S�)Xo7(8��)X��95�')7S"B�F�0;|%/�U #�)�0;��0+B�-e)(

AZ -TS2<+�`*G$%/�-A*�� �+� ���)7*K�7J;�5�G��)�,� (- �8D7S' (+, (')"B2<�)'U ('.C?2F+$%3�U (+$K���7(8 C[u LOMb�ZK0 (+c`S797J+��)7�G$%/�ÂK�7S')')�-%/5�7J+$AS2<+�`2<+$%/�� (+$K��-%�7(8 � C[u� � (+$A�5�')7WK��-ABG�'.�.����� ��)7 AB�0�.�0');=2<+��, (+�7J5��32F;? :�[�& ("����>2F+�`�e��|5$ (')�/2& :�Z�& ("$���>2<+�`��.X$ (��2&%* E%/G�"$%/�0�?7(8 (+�7J5��32F;? :�L�& ("$���>2<+�`�2&%?K0 :�>�<�-A #+ ��/ !������ ���"� � � � ! ��� �"� � ���" �10Je � 2<TJ�0+ #+����Wi�)�0+$AS2<"B�F�?5$ (')�32! 4�g�& ("����l2<+�`�� � � %J]" � � #�� � �.d$#0]" � � #$� � ��d�#������)#0]" � � #$� � �Vd ' O�MP�{K0 (+AB�0�)�0');=2<+�� q�& ("$���>2<+�`?8D7S'h5$7#2F+B�)i�8Q�- (�)G�')� �� �324� �)X$ #�b'.�-%/GB�<�U%v2F+o �+��0M������)�0+$AS2<"B�F�5$ (')�/2& :�L�& ("����>2F+�`5��� 4 ! � %S]" ���$#�� ���/d$#V]" ����#$����.d$#������)#V]" ��� #$����:d$#0]@ ���326�B#$����724�)d '8 ­ �Q§0£�¡t�.Ã0¯��P¢:� �(¤0£�¡�£� �¤�¦F ���¡Q�-�v¯���¤:°U¡Q�9 .¦��.¤L£�¤:�Q¡t�)¤:���P .¦ ��»B¾�£��:9 ;�93<#= ¯� �° À �?>@A3B �DC�±

�Jp

Page 22: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

J%v8D7(�>�<7(M[%0@�"BCm�! #"$���>2<+�` ���724��2<+��- JK)X?7(8��)X�� � � � 5�71%)%w2<"B�<�ML :C�%0OJMP�9K0 (+*`J�0+��0')i (�)� � � � K0 (+$AS2&A� (�)�-%68D7S'�� � 4 !U�zG$%w2<+�`ª (�N;�71%/� � � ���Zr K�7S')')�-%/5�7J+$AS2<+�`?2F+$%3�U (+$K��-%7(8 � C[u� � (+$A � � ����r K0 4�l�&%N�)7 ����� ��Mb�K0 #+*�)X��0+�AB�0�)�0'.;=2<+��MLXB2&K.Xo7(8��)X��-%/�K0 (+$AS2&A� (�)�-%q2&%Z2<+,8t JK��= (+,�����)�0+$AS2<"B�F�*5$ #')�/2& :���& ("$���>2<+�`$e�]t�L�Z�<�- J%/��7J+���7(8L�)X��0;;{G$%3�L"$�JO$ #+$Am2F�9AB7B�-%P+�7J�L;c #�)�)�0'hMNXB2!K.Xo7S+��MP�ÂK.X�7B71%/�Je>d{�6XB2!%65�')7WK��-ABG�'.�{K0 (+"$�*%/�U (')�.�-AaMP2<�)X � � � OR #+$A,MP2>�>�L�)�0');=2<+$ (�.��MP2<�)X� (+�7S5��/2<;c :�h�& ("����>2F+�` � � � �X$ -TS2<+�`ªK�7B%/� �� (! �O�G$%w2<+�`* (�P;�71%/� � � ] � � ���Zr dbK0 :�>�&%L�)7 �� �+� ��e

�PXBG$%� (+E2<+$%/�U #+$K���7#8�C[u� �K0 (+�"��o')�-ABG$K��-A �)7� a5�7(�<C1+�7S;=2& :�Â+BG�;="$�0'?7(82F+$%3�U (+$K��-%P7(8 � C[u� LO$ q5�')7J"B�<�0; MP�[ :�<')�- SABCcIB+�7(M��)7�"$� � �itK�7J;�5B�<�0�)�Je C[u� E2&%�)X��0')��8Q7J')� � �iQ�- S%/CJe � 2<TJ�0+a�)X$ (��C[u 2&%9 :�&%/7 � viQX$ ('UA�O�MP�{%/�0�=�)X$ (� C[u� �K0 (+"$�{%37(�<TJ�-A?2<+o5�7(�<C1+�7S;=2& :�R�32F;m�Z2l8b #+$A?7J+B�<C?2l8 � ��=e

� � ����������)���`� � � �+�� � �$��� � �N�;��� �+�b� � ���+���

�L�<�)X�7JG�`SX�Mb�EX$ :TJ��%/X�7(ML+��)X$ (� � u� NOZ�Âu� NO9 (+$A.C[u� #')��]t5�')7S"$ ("B�<C$d*2<+�i�)'U JK��U #"B�F�JOP�.X��0')�*;c :C�"��o7J�.X��0'=2<+$%/�U (+$K��-%?7(86C[u� �)X$ (�? (')�*;�7J'.�*�)'U JK��U #"B�F�Je�t+,�)XB2&%9%/�-K��32F7S+�O�Mb��AB�0;�7S+$%/�)'U (�.��)X$ (�9K��0')�U 42F+a7J�.X��0'[+$ (�.G�'U :�H2F+$%3�U (+$K��-% #')�{ (��F�- S%/�� J%9X$ ('�A�eo^_2<'U%/�-OH�)X�� � �iQX$ #'UAB+��-%)%�5�')7B7(8P8D7J' � u� �'.���l2<�-AE7J+�G$%w2<+�`� o%/�0�7(8LG�+B�! #"$���<�-A�5�7(2<+1�q8D�- (�.G�')�-%0e?�Q8LMP��')�-%/�.'/2&K���)X���5�'.7J"B�<�0; 8QG�')�)X��0'��)7oAS2&%) :�>�<7(MG�+B�! #"$���<�-Aa5$7#2F+B�N8D�- (�.G�')�-%Z]�%/7m�)X$ (�P�)X��{%3�0�&��2&%N�0;�5��/C$dUOz�)X��95�')7J"B�<�0; ')�0;c :2<+$%� viQX$ ('UA�e*�PX��* (5�5$�0+$AS2>��5�')7(TJ2&AB�-%9�.X��c (5�5�')7J5�'32! #�)�ªK�7S+$%/�)')G$K��/2<7J+$%Â8D7S'{K.�& (G$%/�G�+B2F��%0O$�.'U (+$%/;=2&%)%�2F7S+?�l2<+��-%0O�K�'.71%)%/7(TJ�0'PG�+B2<�U%0O$ #+$A*%/7=8Q7J')�)X�e

� 7J;��m5�')�-%/�0+B�U (�/2<7J+$%q7(8h�& ("����65B�& JK��0;m�0+1�� :�<`J7J'32F�.X�;c%9G$%/�m;�7J')�=�& ("����L5$71%w2<i�/2<7J+$%0O$%) :C�"BC* JA�AS2<+�`�5$71%�2F�32F7S+$%[AS2<')�-K��/�<C*�)7=�)X��9�- S%/�L (+$A?MP�-%/�-e �,�K0 (+o :�<ML :CW%')�-ABG$K��{%/G$K.Xo5�'.7J"B�<�0;c%P�)7 � u �"BC* JA�AS2<+�`cG�+B�& ("����F�-A�5�7(2<+1�U%N�)7�AS2&%) :�>�<7(M�G$%/��7(8�)X��c�����)'U \5$71%�2F�32F7S+$%0e��6XB2!%�MP7J')I�%9�0TS�0+,8Q7J'{K��0'.�U :2<+�;m�0�)X�7WA�%��)X$ #�{ J%)%3G�;��ª #+G�+1"�7JG�+$AB�-A�+BG�;="$�0'�7(8Z5$71%w2<�/2<7J+$%VOb%) :C� 4�l�L5�71%w2<�/2<7J+$%=�U #+�`J�0+1�=�)7, �G�+B2<�cK.2<'UK.�<� (')7JG�+$A=�.X��L5$7(2<+B�L]� S%H5�')7J5$7B%/�-A="BC A62F'�%)K)X r n:sQdUe �,�[K0 (+? JA�A� Nx$+B2<�)�Z+1G�;="$�0'�7(8G�+B�! #"$���<�-A*5�7(2<+1�U%v�)79"$7SG�+$A��)X��NG$%) ("B�<�L�& ("�����5�71%w2<�/2<7J+$%��)79MP2<�)XB2<+* (+c (')"B2<�)'� ('/2>�<C%/;c :�>�gT( ('/2& (+$K��98Q')7J; �)X��%/�U (+$A� #'UAm8D7SG�'L5$71%�2F�32F7S+$%0O$ J%L%3X�74MN+�@�

� $  U¡Q��¡Q�(�)¡_£�¤ �(¤0£�¡Q�P�-�Q�/�w£���£� �¤9£��H¤- �¡g¤:���/¢:��¢Z£�¤9�Q�(�/�w£²¦<´�£�¤-°Z¡Q�-�h�( ���£�¡�£� U¤:�� )¦$¡Q�:��§-¤V¯l�)Ã(�w¯��/¢�4 .£�¤0¡Q��£�¤=¡Q�0£��h�/ �¤-�Q¡Q�Q§:��¡�£� �¤J¶�Ã4�/�)�.§-�Q�Z¥���¢- 9¤: U¡��(�/®U�N¡Q [�Q�/�Q¡Q��£��/¡h¡Q�:�h¯l�.Ã(�w¯��L¡Q [�� -�.�/¡�¯�´¡Q�-�¦F �§-���Q¡t�)¤:¢4�.�Q¢P¯l�.Ã4�w¯J�( U��£�¡�£� �¤-�/±�¼��)��£l�.¡�£� �¤P¦<�Q U¿a¡Q�-�_�Q¡t�)¤:¢4�.�Q¢L�( U��£�¡�£� �¤-��Ã0´P���Q§ �L�t£��/¤0¡�¯�´L�Q¿L�3¯²¯���Q�Q ����Q¡�£²¯²¯��3¯²¯� )¥���¡Q�:���Q��®��/�t�/¯��/ U¤:�Q¡Q�Q§-�/¡�£� �¤-��¡Q P¥� U�Q³(±

� r

Page 23: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

^_2<+$ :�>�<CJO�MP��;c :CaX�7J5$�?�)X$ (���)X��0')�=2&%= (+,���ªK.2<�0+B�� :�<`J7J'/2<�)X�; �)X$ (�:O��)X�7JG�`SX2F��K0 (+�+�7S�`JG$ ('� (+1�.�0�c (+E7J5��/2<;c :�L%/7(�<G��/2<7J+E�)7/C[u� NO�K0 (+,`J�0+��0'U #�)�c7S+���MP2<�)XB2<+%/7J;��=8t JK��)7S'��1e*�PXB2&%Z2&%= :�&%/7o+�7S�5$7B%)%w2<"B�<�*G�+B�F�-%.% � ��=e��,��`S7*2<+1�.7o�)XB2&%5�')717#8g2<+o;m7J')�AB�0�U :2>�te

�Z+���� � � � � �4/ �� �� ! ��� � � 0 ���� ���� 8D7J'� (+�7J5��/2<;=2<�- (�/2<7J+�5�')7J"B�<�0; �a2&%� P5�7(�<C1+�7S;=2& :�<i�/2<;��{ :�<`J7S'/2<�)X�; MP2<�)X*�)X���5�')7J5��0')�/Cc�)X$ #�

� � (B(��� � ] �9d � � � (- ] �qd� � (- /] �qd � � � #

MLX��0')� � � ()(��� � ] �9d�2&%��.X���K�71%/��8D7JG�+$A "1C��.X��� (5�5�')7:�B2<;c (�/2<7J+� :�<`J7J'/2<�)X�;oOP (+$A� � (- /] �qdP2&%9�)X��=7J5��/2<;c 4�bK�71%/� r r5r ste=�w+,�)XB2&%%3�-K��/2<7J+,MP�=5�')7(TJ�=�)X$ (�9G�+B�<�-%)%� �� =Oz�)X��0')�Z2&%L+�7��-it (5�5�')7:�B2<;c (�/2<7J+a :�<`J7J'/2<�)X�;�8Q7J' C[u� Ne

�PX��L5�'.717(8�2&%�"BC�K�7J+B�)'U JAS2&K��/2<7J+�e��9%)%/G�;m�L�)X��0')�P2&%� (+��-it #5�5�')7:�12<;c (�32F7S+ª :�<`J7Si'/2<�)X�; 8D7J' C[u� Ne �,�Â%3X�74M�"����F7(M��.X$ (�b%/G$K.X* (+ª 4�F`S7J'/2<�)X�; K0 (+*"$�ZG$%/�-A?�)7=%/7(�<TJ�� u� 2F+�5$7(�<CB+�7J;=2& :���/2<;��Je

�,�=AB7c�)XB2&%Z"BCo�U #IJ2<+�`* (+*2<+$%/�U #+$K��{7#8 � u� � (+$AaK�7J+BTJ�0')�/2<+�`m2<�9�)7c ?%w2<;=2>�! #'2F+$%3�U (+$K��Z7(8;C[u� LeS�t+B8Q7J');c :�>�<CJOBMP�[K�7J+$%/�)'.G$K��b (+=2<+$%/�� (+$K��L7(8;C[u� �2<+?MLXB2&K)X��- SK)X5$7J�)�0+B�/2& :�P74TS�0'/�& (5E]� J%Z�0+BG�;��0'U (�)�-A�2F+��)X��cK�7J')'.�-%/5$7J+$AS2<+�`\2F+$%3�U (+$K��?7(8 � u� 6dL2&% J%)%w2<`J+��-A� [K�71%3��7(8�;�7J')���)X$ (+ $ � � � %1O(MLX��0')� � � 2&%��.X��h+BG�;{"��0'g7#8$5$7(2<+B��8Q�- (�)G�')�-%�)7*"$�=�& ("����<�-A�e ��7J')��8Q7J');c :�>�<CJO��<�0�= (+�2F+$%3�U (+$K���7(8 � u� "$�cAB��x$+��-A�"1Ca%/�0�U%� (+$A �� (+$A=+BG�;{"��0'U% �| (+$A �*O(MLXB2&K.X�2<+?�)G�')+cAB��x$+��68DG�+$K��/2<7J+$% &)(+*� (+$A�&+* *jO1 (+$A�F�0�P�)X��9K�7J')'.�-%/5$7J+$AS2<+�`�2<+$%/�U (+$K��97#8 C[u E"$�9AB��x$+��-A?"1C��.X��Â%) #;��[%/�0� =O1�.X��Â%/�0��|"$��2<+�`?�)X��N8D7JG�'P5�71%w2<�/2<7J+$%NG$%/�-Am2<+ � u� LO� (+$Am8QG�+$K��/2<7J+$% & 8(+* (+$AE& 8* * AB��x$+��-Ao J%8D7(�>�<7(M[%0@

& 8(+* ]" �#���d �� r 2>8 & (+* � p� � $ � � � % 2>8 &)(+* � r

& 8 * * ]@ �#$� #! 8 #$� 8 d �� p 2>8 &+* * � pr � $ � � � %�2>8 & * * � r

�,�[K0 #+c�)X��0+?G$%/�Z�)X��9 (5�5�')7:�12<;c #�/2<7J+ª 4�F`S7J'/2<�)X�; �.7{%/7(�<TJ�N2<+$%/�U (+$K��-%67(8;C[u� K�')�- (�)�-A�"BCo�)XB2&%9K�7J+BTJ�0'U%w2<7J+a5�')7�K��-%)%0e � G�5�5$71%/�m�)X��� :�<`J7J'/2<�)X�; x$+$A�%� =�& ("����l2<+�`7(86K�71%3� � � e��PX��0+,MP��IB+�7(M��)X��0')��2&%= (+, JAB;=2&%)%w2<"B�<�?�& ("$���>2<+�`,7(8L :�>�h�)X���5$7#2F+B�8D�- (�.G�')�-%0OB2te²�Je<O� �%37(�<G��/2<7J+o�)7m�)X��K�7J')')�-%35$7J+$AS2<+�` � u� 5�')7J"B�<�0;oe

� G�5�5$7B%/�=�)X�� :�<`J7J'/2<�)X�; ')�0�)G�'.+$%[ ��& ("����>2F+�`�7(8hK�71%/�L`J'.�- (�)�0'L�)X$ #+ � � eP�PXB2&%K�7JGB�&A�"$�*"��-K0 (G$%/�*7(89 o5�7(2<+1�.i��! #"$���974TS�0'/�& (5�7S'{ ��& ("����Fi��& ("����Â7(TJ�0'3�! #5�ea�t+��)X��8D7J'.;��0'RK0 S%/�JO(�)X��LK�71%/�H7(8��.XB2!%_�& ("����>2F+�`=X$ J%H�.7["��6 #���<�- J%/� � � �2r ��]�� � $ � � � %Jd 7r ��] r � �Jd � � e��t+*�)X��q�& (�)�)�0'[K0 S%/�JO��)X��K�71%3�L7(8��)X��Z�& ("$���>2<+�`oX$ J%6�)7�"$�= (���<�- J%/�

�J�

Page 24: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

� � � p ��] r � $ � � � %Jd 7 r �m] r � �Sd � � 7J+$K��L (`1 42F+�e�L7(M�2>8��)X��0')�v2&%� (+� JAB;=2&%)%w2<"B�<��! #"$���>2<+�`$O��)X��K�71%/�P7(8��)X��K�7J'.')�-%/5$7S+$AS2F+�`?7J5��/2<;c 4���& ("����>2F+�`*M62l�>��"$� � � e��PXBG$%�2>8�)X��0')��2&% (+, JAB;=2&%)%�2F"B�<�m�& ("$���>2<+�`a�)X��c (5�5�')7:�B2<;c (�/2<7J+, :�<`J7J'32F�.X�; K0 (+�+�7J�9')�0�)G�'.+ ��& ("$���>2<+�`�7(8K�71%/�m`J')�- (�)�0'=�)X$ #+ � � O�"$�-K0 #G$%/�o�)X��\�& ("$���>2<+�`�')�0�)G�')+��-A "1CE�)X�� (5�5�')7:�12<;c #�/2<7J+ :�<`J7S'/2<�)X�; MP7JGB�&A��)X��0+�+�7S��;��0�0�m2F��%=7(ML+�AB��x$+B2<+�`�K�'/2<�)�0'/2<7J+�O"$�-K0 (G$%/�

] r � ] r � �Jd � � d � � �� � � r

� � � �67 �1�

� 7=2>8R�)X�� 4�F`S7J'/2<�)X�; ')�0�.G�')+$%P ��& ("$���>2<+�`*7(8RK�71%3�b`S')�- (�)�0'P�)X$ (+ � � OB�)X��0')�K0 (+�+�7J�"$�{ #+o JAB;=2&%)%w2<"B�<�=5$7(2<+B�L�& ("����l2<+�`$e

�PXBG$%��.X��b5�7(�<C1+�7S;=2& :�<iQ�/2<;�� #5�5�')7:�12<;c (�32F7S+� 4�F`S7J'/2<�)X�; 8D7J' C[u� EK0 (+="$�PG$%/�-A J%g Z5�7(�<C1+�7S;=2& :�<iQ�/2<;��ÂAB�-K.2&%w2<7J+m5�')7WK��-ABG�'.�h8Q7J' � u� LeJf�G����)XB2&%_2&%� ZK�7J+1�.'U JAS2&K��/2<7J+�O"$�-K0 (G$%/�ZMP�PI1+�7(M��)X��P�& (�.�)�0'�5�')7J"B�<�0; 2&%%� �itK�7J;�5B�<�0�)�Je��PX��0')��8Q7J')�P�)X��0')�[K0 #+�"$�+�7 �:it (5�5�')7:�B2F;? (�/2<7J+o :�<`J7J'32F�.X�;c%�8Q7J' C[u� ��')�0`1 ('�AS�F�-%.%L7(8H�)X��Â%�2F�0��7(8 � ��G�+B�F�-%.% � ��=e���X��0�)X��0'� (+E���ªK.2<�0+1�� (5�5�')7:�B2<;c (�/2<7J+� :�<`J7J'/2<�)X�; ���12&%/�U%�MLX��0+E�)X��K�71%/�N8DG�+$K��/2<7J+$%9 #')�')�-%3�)'/2&K��)�-A?2<+,%/7J;m�ML :Ca]t�Je²`$e<OzMLX��0+o�- JK.Xa7(TJ�0'/�& (5oX$ S%LG�+B2<�K�71%/�0d�2&%L #+*7J5$�0+�5�')7J"B�<�0;oe

� � �S������+�N���

�,�oX$ :TJ�*5�')�-%3�0+1�)�-A ,5�'.717(89�)X$ (�? ,5$ ('.�/2&K�GB�! #'/�<C %w2<;�5B�<�aT4 ('32! #+1�?7(89�)X���K0 ('.i�)7J`J'U #5�XB2!Km�& ("����Â5B�& JK��0;m�0+1��5�'.7J"B�<�0; 2&% � �itK�7J;m5B�F�0�.�JOPX��0+$K��JOP�)X��*;�7J')�?`J�0+�i�0'U :�gTJ�0'�%w2<7J+$%0OB2<+$K.�<G$AS2<+�`�AB�0�)�0');�2F+B2<+�`* JAB;=2&%)%w2<"B�<��7J'P7J5��32F;? :���& ("$����5B�& JK��0;��0+B�U% (')�K�7J;�5�G��� (�/2<7J+$ :�>�<C�2<+B�)'U JK��� ("B�<�Je � �0TJ�0'� :��`J�0+��0'U :�>2<�- (�/2<7J+$%N7(8g�)X��95�'.7J"B�<�0;oO�2<+�iK.�FG$AS2<+�`,AB�0�)�0');�2F+B2<+�`, (5�5�')7:�B2<;c (�)���<Co7S5��/2<;c :�h5B�& JK��0;��0+B�U%0O_7J'95B�& JK��0;��0+B�U%9G�+�iAB�0'97J�)X��0'[%w2<;�5B�>2>x�K0 (�/2<7J+$%�7(8��)X��=5�')7J"B�<�0;oO� :�&%/7?')�-ABG$K��=�)7�� viQX$ ('UA*5�'.7J"B�<�0;c%0e�PX1G$%VO$G�+B�<�-%)% � ��=O�+�7J+��=7(8R�.X��-%/�=5�')7J"B�<�0;c%ZX$ J%Z �5�7(�<C1+�7S;=2& :�b :�<`J7J'/2<�)X�;8D7J'N2<�U%9%/7(�<G��/2<7J+�O�"�G��Z2>8 � �� :�>�bAB7$e9�_7ª%37(�<TJ���! #"$���<iQ5B�& JK��0;��0+B�{5�'.7J"B�<�0;c%0OMb�Z;=G$%/�P�)X��0')��8Q7J')�N�<717JI?��2<�)X��0'L�)7=X��0G�'/2&%/�32!Kq;��0�)X�7�A�%P7J'P�)7�8QG�')�)X��0'LK�7J+$%/�)'� :2<+1�U%7J+��)X��Z5�')7J"B�<�0; ]t5$�0'.X$ (5$%P ('/2&%w2<+�`�8D')7S;��)X��Â%3�)')G$K��)G�')�N7(8�5�')7J"B�<�0;c%��)X$ (�h (5�5��- ('2F+a JK��)G$ :�H;c (5$%�d��)X$ (�Z :�>�F7(M�8Q7J'L���*K.2F�0+B�9K�7J;�5�G��U (�32F7S+*7(8R%/7(�<G��/2<7J+$%Ve

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

r r s ��eH�ZX�+ #+$A AeH^�')�0�0;c #+�ea� 5�')7J`J'� (;|8Q7J'{ #G��)7J;c (�32!Km+$ (;��?5B�& JK��0;��0+B�-e� � � !�-0�� � � � ���JOb� r ]���� & d�@ r p r���r p � O � G�;�;��0'��Z�ZG��)G�;�+ r � � F e CL'/2<`(2<+$ :�>�<C5�G�"B�>2&%/X��-A�2<+�� � � ��� ���� �10#��� �� ��� / �� � �� !��� � �� ! � ����� ��� � � � � � � ����� � � !��� �� !��� � ���� !�!0 � � � ����� � � !� � � ��� !��� /��#O CL�)�� -ML ��ALGB�>�tO C[K��)7J"$�0' r � � & e

� &

Page 25: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

r �(su� #G�')�0+$K��:��e�}b ('U%3�)�0+$%/�0+�eE� K�7J;�5$ ('32!%37J+�7(8%w2<;�5B�<�o;c (�.X��0;c (�/2&K0 :�[ (5�i5�')7B JK)X��-%H�.79�)X��L5B�& JK��0;��0+B�h7(8�%/5$7S�h%/C1;="�7(�&%0e � ��� !�-0�� � � � ���JO1� F ] & dU@ F � � � & Or � � * e

r & sfZe�}�X$ (�0���>�F�Jea�PX��?5$7(�<CB`J7J+�K�7J+B�U :2<+�;��0+B�5�')7J"B�<�0;oe\�t+�^Pe He v')�05$ ('U (�� �O�-AS2<�)7J':O ���������������� � � � ��� � ! �10�� ��������� � ��� ������� � � ��� � � !�� ! ����� �� � ���� �� !���(O�5$ (`S�-% r�� &�& e �#�[�� �'.�-%)%0O � ')�0�0+BMP2&K.X�O�}h7S+�+��-K��/2&K�G��-O r � � & e

r F s �\2&K)X$ #��� �9e � (')�0C� #+$A $9 :TJ2&A � e �(7SX�+$%/7J+�e � ��� � � !��� � ��� � � � !� � �� !� � � � � � �� � ���� !� �� ��� � ��������� � � � � ��� � �"�� !��� ������e ��e,A�e�^�')�0�0;c #+� (+$A}h7S;�5$ (+BCJO �N�0M ��7J'.I�O��N�0M ��7J'.I�O r � * � e

r n(s � �)�05�X��0+=�=e�A62<'U%)K.X�eB�[+� :�<`J7J'32F�.X�;�8Q7J'� (G��)7J;c #�/2&K�+$ (;���5B�& JK��0;��0+B�b (')7SG�+$A5�7(2<+1�[A� #�U �e�� � ����� ���� � ��� � � � !�-0�� � � � ���UO � ] r dU@ n ��r)* O r � � ��e

r�� s���ABG$ ('UA?�t;mX�7(83e $N2<��Z+�7J'UAB+BG�+�`cAB�0' �Z (;��0+\2<+oAB�0'��9 ('.�)�Je � �� !��� � �� ! � ������ � ��� � ����� � � ���� !�!0 � � � ���(O$��@ � & ��r � � O r �J� ��e

r * s���ABG$ ('UA��t;�X�7#83e H71%w2<�/2<7J+B2<+�`a+$ (;��-%Z7J+a;c #5$%0e�� � � � � ��� ����� � ���� !�!0 � � �� � ����O$�B]��Bd�@ r � � ��r+F F O r � * nze

r � s=}[e �(7S+��-%0eP}b ('.�)7J`J'U #5�XB2!KN+$ (;��95B�& JK��0;m�0+1�ZMP2<�)X �'.7(�<7J`$e ������� � � ��� � !���� � � � � � � ����� � � � �" ���� ! ��� �0O � ]�nBdU@ & � � F * O � �05��)�0;="$�0' r � � � e

r�� s �62>�!% ��e �P2>�&%)%/7S+�e � � � � �"� � � � ���"�� �10�� �� �� ���#�� � � � ! � �� ��� ���� !��� �" 0 ��� � �:e��aK�i� 'U :M A62>�>�jO �N�0M ��7J'.I�O r � *(r e

r r p(s=}hX�'32!%3�)71% A�e� � (5$ JAS2<;=2<�)'32F7SG�eL�PX�� �vG$K.�l2&AB�- (+E� � E2&%�� �itK�7J;�5B�<�0�)�Je�� � � ���� �� ! ����� � ��� � � !��� ���� ��� � �:O F @ � &�* � � F F O r � * * e

r r5r s=}hX�'32!%3�)71%�A�e� � (5$ JAS2<;=2<�)'/2<7JG* (+$A��Z�0+�+��0�)X � �)��2<`(�>2<�)�Je � ������ ��� !��� ����� � ! �� � �� ! ��� � ��� 0����� ���� � ����� � ��� � �"��/# �(e �')�0+B�/2&K�� AZ :�>�tO9��+�`(�<�0MP717�A?}��>2>�g%0O�N�0M �(�0'U%3�0CJO r � � �ze

r r �(s $N2& (+��[uve � 7JG�T( :2<+�� (+$A?}hX�'/2&%/�.7J5�X��0'���e �h (+ � CBI�e,AN7(M�X$ ('UAmK0 (+=2<�h"��[�)7AB'U :M� =5B2<�{K.X$ (')� $!� � �� � � �� ! ����� ��0 ��� ���:O � & ] & d�@ r � n ��r * ��O �(G�+�� r � � p�e

r r�& s �P7S"$�0')�)7��H (;c J%)%�2! E (+$A �t71 (+�+B2&% � eh�_7(�>�>2!%Ve H�& (+$ ('?`J'/2&A �0;="$�-A�AS2<+�`�2<+�>2<+��- ('�32F;m�Je��"�����#��� � � ��� �� ! ��� � � � � �#� � � � ��� � ��� !� � �0O & � ] � d�@ r � & p �r � &�F O � �05��.�0;{"��0' r � � � e

r r+F s �J #+ ��e:T4 (+ �P7B�-%)%/���te��[+� :�<`J7S'/2<�)X�;y8D7S'��<7�K0 (�/2<+�`{K0 (+$AS2&A� (�.�h�& ("����>2F+�`="�7-���-%MP2<�)XB2<+a =5$7(�<CB`J7J+�e � � ����� ���� ����� � ���� !�!0 � � � � ����O r � ] & dU@��Sp r�� �Jp � O r � � � e

r r n(s� R2F+�X$ S% ��71���>2teh�PX��Z�<7J`#2!KZ7#8v (G��.7J;c (�)�-A�;c (5?�<�0�)�)�0'/2<+�`$e�� � � � ���� !�!0 � � � � �$ � � � � ���>O � ]��BdU@ � � ��r p � O�$Z�-K��0;{"��0' r � * ��e

r r � s � �)�0TS�0+#$7J'U J%3�)�0'-eH�t+B�)�0`J�0'Z5�')7J`J'� (;�;=2<+�`c (5�5B�>2<�-A��)7��)X��9;? (5?�& ("$����5B�& JK��0i;��0+B�P5�')7J"B�<�0;oe � ���� !�!0 � � � � � �JO�� & ] & d�@ r � � � * O r � �J� e

� F

Page 26: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

� � ���+���p�����+����_�q�%��N������ � ���q�S��� � �)��O���N�h� � �Z`����

�PX��P5�')717#8¨K0 (+="$�N;c JAB�h;m7J')�P`J�0+��0'U :��"BC���>2<;=2<+$ (�/2<+�`�2F��%�')���>2& (+$K��L7J+=G�+B�& ("����F�-A5$7(2<+B�U%0eh�PXB2&%N5�')7J"B�<�0; T4 ('/2& (+B�P2&%N`(2<TJ�0+� J%b8D7(�>�<7(M[%0@

H/�IAJ:%@&#$�2WT�;AJ�<.�.��e?%@&#T*[���I ��3M��-#g�$������#gMN=���?%#$@[*+@�����#�A6#� B�� � �� !���������¨� %/�0�� 7(8�5$7(2<+B�H8D�- #�)G�')�-%H�- JK.X=MP2<�)X� Z5$71%w2<�/2<7J+�2F+ ��)OJ (+$A�- JK)X=7(8�MLXB2&K.X�K0 #+{"����! #"$���<�-A�2<+=7J+��P7(8$�)X�� F ')���& (�/2<TJ�P5�71%w2<�/2<7J+$%H`(2<TJ�0+2F+�^_2<`JG�')�c�W]� BdU�_+1G�;="$�0'�% � (+$A � �)X$ (�`#2FTS���)X��=x����-AaX�7J'/2<�07J+B�U :� (+$A*TJ�0'.�/2&K0 :�����W�)�0+B�L7(8h ��& ("����je��� � � ! �����v��%6�)X��0')�{ {�! #"$���g5B�& JK��0;��0+B��ª@ 0 � %/G$K.Xo�.X$ (�

�(���� &)(+*�]" �# ��]@ �d)d��

�(�� � ��� &+* *�]" �# ��]" ¨d$#"! #?�$]#!Sd)d � p

MLX��0')�

& (+* ]" �#���d ���� �r 2>8h�)X��0')�Z2&%[ �5�7(2<+1� 8 �:

%/G$K.X*�)X$ (� 8 �<���=�>�? ���]@ �#$�_dp 7S�)X��0')MP2&%/�

(+$A

&+* *�]@ �#$� #! 8 #$� 8 d �� r 2l8 ���=�>�? ��_]" #$�_d��E���=�>�? ���]@ 8 #$� 8 d���p 7J�)X��0')MP2&%/� $

�_7L���>2F;�2F+$ #�)�P�)X���')���>2& (+$K��P7J+G�+B�& ("����F�-A�5$7(2<+B�U%0O:Mb��;m7WAS2>8QC :�>�W7(8��)X���T( ('/2<7JG$%K�7J+$%/�)')G$K��32F7S+$%�.7o')�0;�7(TJ�mG�+B�! #"$���<�-A 5$7(2<+B�U%0e�� G$%/��8QGB�b+��0M K�7J+$%/�)'.G$K��/2<7J+E2&%{ � !� � � �� QO1 �%w2<;�5B�<�L�& :CJ7JG���7(8�8Q7JG�'H�& ("$���<�-A?5�7(2<+1�U%v�)X$ (��X$ J%� 9K�7J;�5B�<�0�)���<C=8Q7J'UK��-A�! #"$���>2<+�`$e

� �)7J5aG�+B2<�U%9K0 (+�"$�=G$%/�-Aa�)7?')�05B�& JK���G�+B�& ("����<�-AE5$7(2<+B�U%9 J%Z�)X���%/X$ JAB�-A��! #"$���5$71%w2<�/2<7J+$%Â]tMLXB2&K)Xo #')�P8Q7J'UK��-A�dhK0 (+?74TS�0'/�& -C� (+BC=�& ("����¨'.�0`(2<7J+$%PMP�LMP2&%/X*�)7�')�0+$AB�0'2F+BT4 4�l2&A�OH J%P�<7J+�`* J%N�)X��0')�q2!%Z'.717J; 8D7J'Z�)X������W�)'� �5�7(2<+1�U%Z (+$Aª�! #"$���&%97(8h�.X��{%/�)7S5G�+B2F�:eb�PX��9K�7J+$%/�.')G$K��/2<7J+$%�2<+*�)X��Z�)�����bMP�0')�9AB�-%w2<`J+��-A�%/7� J%��)75�G��[ 4�l��G�+B�& ("����F�-A5$7(2<+B�U%L+��- #'L�)X��95$�0'32F5�X��0'.Co7(8��)X��K�7J+$%/�.')G$K��/2<7J+$%L%/7m�)X$ (�L')7B7J; 2&%[ :T( :2>�! #"B�F�Je

^�7S'��)X��L�)'U #+$%/;=2&%)%w2<7J+=�>2<+��K�7J+$%/�.')G$K��/2<7J+�O(8Q7J'v2F+$%3�U (+$K��JOBMP�6K0 #+c :�>2<`J+ª �%/�0'/2<�-%7(8v%3�)7J5*G�+B2<�U%N7J+*7J+��9�-AB`J��7(8g�)X��q�l2<+��Je

�Jn

Page 27: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

]��PX��L ("B2>�>2F�/C��)7Â%3M6 #5{%w2&AB�-%H2<+� N�)'U (+$%/;�2!%.%w2<7J+��l2<+��JOS7J'g�.G�')+�K�7J')+��0'U%0O:2&%H7J"BTS2F7SG$%w�<C%/�/2>�>�R5�71%)%w2<"B�<�=MP2<�)X*�)X��+��0MyK�7J+$%/�)')G$K��32F7S+�e>d

�PX��cK.�& (G$%3��G�+B2<�2&%� (G�`J;��0+B�)�-A�MP2<�)Xa8Q7JG�'98QGB�>�6%/�.7J5aG�+B2F��% (+$A, ���5$ (')�32! 4� �%/�)7J5�G�+B2<�*]t�/MP7a7(8[�)X��*5�7(2<+1��%�"���2F+�`E;c JAB�o%3G�5$�0' �$G�7JG$%m"BC�+���2<`JXB"$7J'32F+�`�%/�)7S5G�+B2F��%�db�.X$ (�L%/�0')TJ�9�)X��q8DG�+$K��32F7S+o7(8g�.X��7J'/2<`(2<+$ :��%/�0TJ�0+*G�+B�& ("$���<�-Aa5�7(2<+1��%0e

�PX��0')��2&%�%/�/2>�>�W')7B7J; 8D7S'g�)'� (+$%/;=2&%)%w2<7J+q�>2F+��-%R8D'.7J;��.X��h�)X�')�0�P7JG���%w2&AB�h�& ("����$')�0`(2<7J+$%0e�PX��?;��0')`J�JOHK�')71%)%374TS�0'-Og (+$A\�/G�+$K��/2<7J+�G�+B2<�U%m (')���-%/5��-K.2& :�>�FC�%�2F;m5B�F�*�.7�K�7J+�i

%/�)')G$K��LG$%�2F+�`*%/�)7S5*G�+B2F��%�2<+$%/�)�- JA\7(8RG�+B�& ("����<�-Aa5$7(2<+B�U%0e

� �

Page 28: Computer Science | Harvard John A. Paulson School of ...shieber/Biblio/Papers/label.pdf · *+ #(!, & - /.102#$.3#( 546 87+ 3 9 :;4/ < >= ?%#$@*+@ #bac#b d e fg4 #6h/ iaj:%@&#k=;

incomingtransmissionlines

outgoingtransmissionline

�PX��Z2<+$K�')�- J%3�-A�%�2F�0�-%N7(8��)X��{K�7S+$%/�)')G$K��/2<7J+$%N7J+B�<C?2<+1�.')7WABG$K��-%Z �K�7J+$%3�U (+B�P2<+1�)7�)X��')�-ABG$K��32F7S+�e AN�0+$K��JO��)X��95�')7B7(8H2!%N5�')�-%/�0'.TJ�-A*G$%w2<+�`?�)X��-%/�=K�7J+$%/�)')G$K��32F7S+$%0O$ (+$AMb�K0 #+oAS2!%35$�0+$%/�=MP2<�)X�G�+B�! #"$���<�-Aa5$7#2F+B�U%0e

� *