carnegie mellon school of computer scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $#...

36

Upload: others

Post on 16-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

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

3)��8 ����9�&��$#��

:<;=?>A@CBED<DGFIHKJL@NM

OQPSRUTSVWDEX?Y&@[Z+@N\^]EFU_7=?F`Z+@[abDGFUM�PcF`Tb]E\C= FIHG@NFIPSPSad@eFIHY&]�adFIPSHG@NPLf$Pc\N\NDGF1ghFA@[ZEPSadib@[T ;j @[TkTbi : >UabHGlnmIj^oqpcrEs+pct

BG]EuvD : Dxw&@[Pc\e]�yOQPSRUTSVWDEX?Y&@[Z+@N\^]EFU_7=?F`Z+@[abDGFUM�PcF`Tb]E\C= FIHG@NFIPSPSad@eFIH

Y&]�adFIPSHG@NPLf$Pc\N\NDGF1ghFA@[ZEPSadib@[T ;j @[TkTbi : >UabHGlnmIj^oqpcrEs+pct

z MK]�aQ{�lU]�TkTb]EiOQPSRUTSVWDEX?Y&@[Z+@N\^]EFU_7=?F`Z+@[abDGFUM�PcF`Tb]E\C= FIHG@NFIPSPSad@eFIH

Y&]�adFIPSHG@NPLf$Pc\N\NDGF1ghFA@[ZEPSadib@[T ;j @[TkTbi : >UabHGlnmIj^oqpcrEs+pct

p

Page 2: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

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

� ]�abHEP ibuS]E\[PhHEabDG>UFU_9M�DETb@[DGF�ib@NM'>U\N]�Tb@[DGFK@eFKabPc]E\N@eikTb@Nu : ]Eid@NFUi4abP��<>U@[adPciWRA]�ad]E\e\[Pc\Uib>IR^PSaduvDGMKRA>ITb@NFIHi ; ikTkPcMKi @NF$DEad_IPSaQTkD9D : Tb]E@NF$adPc\N@N] : \[P2]EFU_!>AikPSX >A\nabPcib>U\NTbi�� @NTblU@NF7abPc]EibDGFU] : \[P2Pc\N]�RAikPc_!Tb@NM�P'_U>IPTkD�@[Tbi?\e]�abHEP RUadD : \[PcM ib@��SPEV � PQRUabPcibPcF T�]LRA]�ad]E\e\[Pc\ID+uvTkabPSP�� : ]EikPc_�M2>A\[Tb@[abPcikDG\e>ITb@[DGF�� FU@NTkP0Pc\[PcM�PcF`TM�PSTblUD<_IDG\NDEH ; X DEaQTblUP'Pc\e]EikTkD<_ ; FU]EMx@Nu��&]cZEPKRAabDERA]�HG]�Tb@[DGF RUabD : \[PcM ]EFA_ _UPSZEPc\[DER ]9X ad]EM�P���DEabyX DEah\N]�adHEPLibuS]E\[P��&]cZEP'RUabDERA]�HG]�Tb@NDGF1ib@NM'>U\N]�Tb@[DGFAiSV��0lIP�X ad]EM�P���DEaby7@Ni0uvDGM�RUa @NikPc_�DEX TblIabPSP�RA]�adTbi��� p! �]EF�D+uvTkabPSP�� : ]EikPc_$M�Pcibl�HEPcFIPSad]�TkDEa m#"%$'&)(+* , � � >7]EFA_ z�-+. ]E\e\N]�abDGFnmIs)/0/Gs1 � s1 &]'RA]�ad]E\e\[Pc\ MKPciblRA]�adTb@[Tb@[DGFIPSacm32�4)5768":9<;+= � J�]�a ; R @Ni PST�]E\ V[mCs)/0/Gs1 Q]EFU_ � t1 h]�RA]�ad]E\N\NPc\CD+uvTkabPSP�� : ]EikPc_)M'>U\[Tb@NabPcikDG\N>:�Tb@[DGF>� FU@[TkP'Pc\[PcM�PcF`T ibDG\[ZEPSacm ?�@BADCE" � J�@NM PSTL]E\ V[m s)/0/Gt1 VGF0Pc]E\N@NibTb@Nu�Pc]�adTbl��`>A]�yEPci�RA]�ad]EM�PSTkPSa iSmikDG@e\ MK]�TkPSad@e]E\CRUabDER^PSabTb@NPciSmU]EFU_$ibPc_U@NM�PcF`Tb]�a ;�: ]Eib@NFAi0_U@NM�PcFAib@[DGFUiH� @e\N\^RUabD+_U>UuvPLP�I+TkabPcM�Pc\ ; \e]�abHEPM�PcidlIPciSVJ�0lIP DG>UTK� DEXL� uvDEabP ZEPSadib@[DGFA]E\�D<uvTkadPSP�� : ]EikPc_ MKPcibl.HEPcFIPSad]�TkDEa mM"%$'&)(+* , D�ZEPSaduvDGM�Pci!TblIPabPcid>U\[Tb@NFIHKibPSZEPSabP'MKPcM�DEa ; \N@NMx@[Tb]�Tb@[DGFUiSV�w ; >Uib@NFIH9]KRA]�ad]E\e\[Pc\ mU_U@NibTkad@ : >ITkPc_N� M�PcM�DEa ; HEad]�RAl!RA]�aO�Tb@[Tb@NDGFU@NFIHK]E\[HEDEa @[TblUM7m 2�4)5768":9�;+=$RA]�abTb@[Tb@NDGFUi0\N]�abHEP'M�PciblIPcicmAD ZEPSa uvDGMK@NFIH�TblIP2MKPcM�DEa ; ]EFU_$uvDGibTRUadD : \[PcM7V�OQPcikRA@[TkPxuS]�R ] : @N\N@[T ; DEX�TblIP z uvTkabPSP�� w&]EikPc_"f >U\[Tb@[abPcibDG\N>ITb@[DGF f$Pcidl)f$PSTblUD<_ �QPSR 6�T� @NF TkPSadMKi9DEX�P�U9uS@[PcF`T9M�PcM�DEa ; >AikPEm�\N]�abHEP$RAabD : \[PcM id@V�SPcixFIPcuvPcidib@[Tb]�TkP RA]�ad]E\N\[Pc\e@NibM TkD lA]EFU_U\[P\N]�adHEPKM�PcM�DEa ; ]EFU_>� DEaby abP��<>U@[abPcMKPcF TbiSVW�0lIP�RA]�ad]E\N\NPc\ PSR 6 T uvD+_IP�X DEa�Pc\N]EikTb@Nu�]EFU_ ]EFIPc\e]EikTb@NuikPc@eibMK@NuX�Q�&]cZEP!RUabDERA]�HG]�Tb@[DGF � ?Y@ ADCZ"� 'lU]Ei : PSPcF�_IPSZEPc\[DER^Pc_�TkD ]E_U_UabPcibi�TblIPcibP$@Nibib>UPciSV�=?ikR^P��uS@N]E\e\ ; X DEaL]EFUPc\N]EikTb@Nu']�TkTkPcF`>A]�Tb@[DGF)M�D+_IPc\NiSm^TblIPM?Y@ ADCE"$iblUD!� i HED<D<_ R^PSabX DEadMK]EFUuvP�@NF TkPSadMKiQDEX]EuSuS>Ia ]Eu ; DEX ikDG\N>ITb@NDGF ]EFU_(uvDGM�R >ITb]�Tb@[DGFU]E\&R^PSabX DEadMK]EFUuvPEV[�0lIP�F`>UMKPSad@NuS]E\&M�PSTblID+_IDG\[DEH ; ]EFU_TblIP'X ad]EM�P���DEaby$lU] ZEP : PSPcF >UikPc_!TkD7ib@NM'>U\N]�TkP2TblIP'ibPc@NibMK@Nu�abPcikR^DGFUikP2DEX : DETbl!@e_IPc]E\N@V�SPc_ M�D+_IPc\Ni]EFU_(] abPc]E\N@eikTb@NuxMKD<_IPc\ mWib>Uudl(]Ei�TblIP${QadPc]�TkPSaM�CDGi�oQFIHEPc\[Pci : ]Eib@eF\� @NTbl ib@eM�RA\[PKR >U\NikPci']EFU_(]MK]E@eFUiblID+uby)DEXhTblIP)p�]0]'^`_hDEabTblIad@N_UHEP�Pc]�adTbl��`>A]�yEPEV[�0lIP�abPcid>U\[Tbi :`; DG>IaKFIP�� ]�RURUabDG]Eu l iblIDa�HED<D<_$]�HEabPSPcM�PcF`T<� @NTbl7]EFU]E\ ; Tb@NuS]E\nikDG\N>ITb@NDGFUi�]EFU_7DETblIPSahF`>UMKPSad@NuS]E\nM�PSTblID+_UiSV

b�c �d�e�fMg�� �hie c

�)]cZEP RUabDERA]�HG]�Tb@NDGF ib@NM'>U\N]�Tb@[DGFAixX DEa7Pc]�abTbl��<>U]�yEP�� @NFU_A>UuvPc_ HEabDG>UFU_ M�[email protected]]cZEP : PSPcF R^PSaO�X DEadM�Pc_"D ZEPSaxTblIP7\N]EikT�t)/ ; Pc]�adi�TkD HG]E@NF�] : PSTkTkPSa�>UFA_IPSadikTb]EFU_A@NFIH1DEXhTblIP7_U@NikTkad@ : >ITb@[DGF DEX TblIPPc]�abTblj�`>U]�yEP�M�DETb@[DGF)@eF >Ia : ]EF abPSHG@NDGFUiL@NF ikR ]EuvPx]EFU_ Tb@NMKPEVlk+>Uudl @NFUib@[HGl`T�lU]EiLuvDGF`Tkad@ : >UTkPc_ TkD_IPSZEPc\NDER : >U@N\e_U@NFIH�uvD<_IPci�@NFm� lU@Nu l ]7ikPc@NibMx@Nu'RUabDGFIP�abPSHG@NDGF)@Ni�_U@[Z+@N_IPc_ @NF`TkD1_U@on^PSabPcF`TY�SDGFIPci�DEX

s

Page 3: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

uvDGM�R ]�ad] : \[P1ikPc@eibMK@Nu�lU])�c]�ad_nm�Tbl<>Ui�TkD)abPc_U>AuvP7TblIP1ikPc@NibMx@Nuxa @Niky TblA]�TKuS]E>UikPcixibD<uS@N]E\�]EFA_(PcuvD)�FIDGMx@NuS]E\?_U]EMx]�HEPEV �0lIPx_Uad]EMK]�Tb@Nu9@NM�RUabD�ZEPcM�PcF`T�DEX0ib>IR^PSaduvDGMKRA>ITb@NFIH7R^PSabX DEadMK]EFAuvPxlU]Ei�MKDEabPabPcuvPcF`Tb\ ; PcFU] : \[Pc_"ikPc@NibMKDG\[DEHG@NikTbi']EFU_ Pc]�abTbl��<>U]�yEP�PcFIHG@NFIPSPSadi'TkD M�DEabP7]EuSuS>Iad]�TkPc\ ; >UFU_IPSa ikTb]EFU_TblIP�P�n PcuvTbihDEX�ibDG>IaduvPEm��&]cZEP2RUabDERA]�HG]�Tb@[DGFCmA]EFU_7\[D+uS]E\Cib@[TkPLuvDGFA_U@[Tb@[DGFUi&DGF1TblIPLHEabDG>UFA_7M�DETb@[DGFnV

z ZEPSaduvDGMK@NFIH�TblUP0M�PcM�DEa ; ib@V�SP�]EFU_�uvDGM�R >ITb]�Tb@[DGFU]E\ITb@eM�P&DEX ikP��<>IPcF`Tb@N]E\IuvDGM�RA>UTkPSadiSmGRA]�a ]E\N\[Pc\uvDGM�R >ITkPSadiD�h@[Tbl7TblIDG>Uid]EFU_Ui�DEX RUabD+uvPcibikDEa iSmA]E\N\[Da� ibuS@NPcF Tb@NibTbi ]EFU_7PcFUHG@NFIPSPSadi TkDxib@NM'>U\N]�TkP�\e]�abHEPSaRUadD : \[PcMKi&TblU]EF$lU]E_ : PSPcF7RUabPSZ+@[DG>Uid\ ; @NM�R^DGibid@ : \[PEV�j�]�a ]E\N\[Pc\nuvDGM�RA>UTb@NFIH�RA\N] ; i ]Kuvad>UuS@N]E\^adDG\[PL@NF\N]�adHEP�ibuS]E\NP9ib@NM'>U\N]�Tb@NDGFUi�@NF ]1Z�]�ad@[PST ; DEX0RAl ; id@NuS]E\WRUadD : \[PcMKiSV�� F Pc]�adTbl��`>A]�yEP9HEabDG>AFU_ MKDETb@[DGFib@eM2>U\e]�Tb@[DGFnmA@[T PcFU] : \[Pci DGFIP�TkD�M�D+_IPc\nHEabDG>UFA_$M�DETb@[DGF!@NF$\e]�abHEPEm lU@NHGlU\ ; lIPSTkPSabDEHEPcFIPSDG>Ui : ]Eid@NFUiSmib>Audl1]Ei TblIP��CDGihohFIHEPc\NPci � � oY : ]Eib@eF8� @[Tbl�abPc\N@e] : \[P abPcikDG\N>UTb@[DGFnV

oQFKPc]�adTbl��`>A]�yEPhHEabDG>AFU_KM�DETb@[DGF9ib@NM'>U\N]�Tb@[DGFKPcF Tb]E@N\eiWikDG\[Z+@NFIH�F<>UM�PSa @NuS]E\N\ ; TblIP0RA]�abTb@e]E\U_U@on^PSaO�PcF`Tb@N]E\�P��`>A]�Tb@[DGF � j?O =E DEX TblIP�Pc\N]EikTkD+_ ; FA]EMK@NuW��] ZEP�P��`>U]�Tb@NDGFnVS�0lIPSadP']�abP�ikPSZEPSa ]E\4F`>UMKPSad@NuS]E\M�PSTblUD<_Ui2]cZ�]E@N\N] : \NP�X DEa2HEabDG>UFU_)MKDETb@[DGF ib@eM2>U\e]�Tb@[DGFUiSV � lIP�� FU@[TkPK_A@on PSadPcFUuvPxM�PSTblID+_ ��� O fm mTblIP : DG>UFU_U]�a ; Pc\[PcMKPcF T M�PSTblID+_ � w&= fm ]EFU_2TblIP � FU@[TkPWPc\[PcMKPcF T M�PSTblID+_ ��� = fm ]�abP&uvDGMKM�DGFU\ ;>UibPc_nV

� F1ikPc@eibM�DG\[DEH ; ]EFU_7Pc]�abTblj�`>U]�yEP�PcFIHG@NFIPSPSad@eFIHImITblIP � O f lU]Ei : PSPcF7TblIPLM�DGibT0R^DERA>U\N]�a&TkPcudlN�FU@L�`>IP7_U>UP�TkD @[TbiKib]�Tb@NibX ]EuvTkDEa ; ]EuSuS>Iad]Eu ; ]EFA_(Pc]EikP1DEX @NM�RA\[PcMKPcF Tb]�Tb@[DGF � PEV HIV[m�� @[ad@NPc>:I m0p�]��'^N�� PSZ]EFU_UPSacmQp�]���� �L{Qad] ZEPciSm�p�]0]� �Qj @[Tb]�aby�]+mQp�]0]0]1 V f ]EF ; Pc]�abTbl��<>U]�yEP!HEabDG>UFU_�M�DETb@NDGF ib@NM'>:�\N]�Tb@NDGFUi�@NF"TblIP7HEabPc]�TkPSa � o : ]Eib@NF(>Uib@NFUH!TblIP � O f lU]cZEP : PSPcF(R^PSabX DEadM�Pc_ � PEV HIV[m�Q@e_U]E\[P�]EFU_. Pc\NM : PSadHEPSacm?p�]���� � � ad]EFUyEPc\?]EFU_�� @N_U]E\[PEm p�]0]Es � �WDGM�DEHG@N_U]1]EFA_)=WTkHEPcFnm�p�]0]Et �Zk+udlUad@[Z+FIPSa�]EFU_. Pc\NM : PSadHEPSacmUp�]0]'^N� z \eikPcF2]EFA_'ohadu l`>U\NPSTb]+mUp�]0]� �I{Qa ]cZEPciSmAp�]0]��1 V . D!��PSZEPSacm`TblIP�iblIDEabTbuvDGMK@eFIH DEXTblIP � O f @Ni?@[Tbi4abPSHG>U\e]�aWHEad@N_ � PEV HIV � @[HG>UabPLp � ] O Wib@V�SP�PSZEPcF�@NF�TblIP0RUadPcikPcFUuvP0DEXnlU@[HGlA\ ; lIPSTkPSadDEHEP��FIPSDG>Ai0MK]�TkPSad@N]E\eiSV4OQ>UPLTkD�TblIPL>UFU@NX DEadMqHEad@e_�ibRA]EuS@NFIH�@NFU_UPSR PcFA_IPcF T�DEX�TblIPLMK]�TkPSad@N]E\^RAabDER^PSabTb@[PciSmTblIP � O f uS]EFUFUDET�P�U�uS@[PcF Tb\ ; _U@NikTkad@ : >ITkP0TblIP abPcibDG\N>ITb@[DGF9@NFxTkPSa MKi�DEX TblIPQHEad@N_�ikRA]EuS@NFUH�abPcib>A\[Tb@NFIH@NF�adPc_U>UuvTb@[DGF7DEX�TblIP�_UDGMK]E@NF7ib@V�SPL]EFA_���DEa0abPcikDG\e>ITb@[DGF8� @[Tbl7uS>UababPcF`T uvDGM�RA>ITb@eFIH�abPcikDG>IaduvPcicV

Y&DGFUib@N_IPSa @NFIH�]E\[TkPSa FU]�Tb@[ZEP�M�PSTblID+_UiSm<TblIP MK]E@NF�]E_IZ�]EF Tb]�HEP�DEXCTblUP w&= f @Ni�@[Tbi&>UFU@��<>IP ] : @N\N@[T ;TkDKRAabD Z+@N_IP ]�uvDGM�RA\[PSTkP2ikDG\N>ITb@[DGF�@NF�TkPSadMxi�DEX : DG>UFA_U]�a ; Z�]E\N>IPci&DGFU\ ; mN�h@[Tbl�ib> : ikTb]EF`Tb@N]E\nib] Z<@eFIHGi@NF M�D+_IPc\N@NFUHxP�n^DEabTSV��^]EFIH�]EFU_)Y&lIDERUa ] � p�]0]+p! Q>UibPc_ ]�ib@eMK@N\N]�a ]�RARUabDG]Eudl TkD�P�II]EMK@NFIP'TblIPKt�OabPcibR DGFAikP DEX�]�uS]EF ; DGF$@NF�]EF7Pc\N]EibTb@Nu lU]E\[X � ikRA]EuvPEV z TblUPSa�abPcikPc]�adu lIPci0lU] ZEP�@NF`ZEPcikTb@[HG]�TkPc_1_U@Vn PSabPcF`T

t

Page 4: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

T ; R^Pci�DEX�@NF`TkPSHEad]E\QP��<>U]�Tb@[DGFUi�]EFU_ TblIPc@[a7F<>UM�PSad@euS]E\ TkabPc]�TbMKPcF T � PEV HIV k��]EFUudlIP���� k+PcibMK]+m2p�]�� � �� DGFIHIm p�]��)]<m p�]��Es ��k��]EFAudlIP���� k<PcidMK]�]EFU_�=?ii�<>U@[ZEPc\ m p�]��)] � Oha ]cZ+@NFUiky+@ m^p�]��Es ��k��]EFUu lIP���� k<PcibMx]����� � m p�]��Er � JL]��&]EikPEmWp�]����1 VLw&>IT TblUP'w&=?f�@Ni FUDETQ]EF ]E_IP��<>U]�TkP'TkPcudlUFU@L�`>IP'X DEahHEabDG>AFU_!MKDETb@[DGFib@eM2>U\e]�Tb@[DGFUiK@NF \N]�abHEP ibuS]E\[P ]EFU_ lA@[HGlU\ ; lIPSTkPSabDEHEPcFIPSDG>Ai�_UDGMK]E@NFUi9ib@NFUuvP @[TxabP��<>U@[adPci�TblU]�T�TblIP_IDGMx]E@NF : P _U@[Z+@N_IPc_�@NF`TkD"]"\N]�abHEP F`>AM : PSa�DEXLibMK]E\N\[PSa�ib> : _IDGMK]E@eFUiKikD"TblU]�T�TblIP i ; ikTkPcMxixDEX]E\[HEP : ad]E@Nu P��<>U]�Tb@[DGFUi : PcuvDGM�P2_IPcFUikPEV

z F�TblIP DETblIPSa0lU]EFU_nm+TblIP � =?f�@Ni&]�ZEPSa ; uvDGMxM�DGF1F<>UM�PSad@NuS]E\ TkPcudlAFU@��<>IP X DEa0ikDG\NZ<@NFUH2j?O = i@NF : DG>UFU_A]�a ; Z�]E\N>IP�RUabD : \NPcMKiSVS�0lUP � = f�lU]Ei TblUPK]E_IZ]EF`Tb]�HEPKDEX&ikRA]�adibPcFIPcibi ]EFU_ ]E_U]�RUTb@NZ<@[T ; m: >UT�@[T lU]Ei4ikPSZEPSa ]E\I_U@Nib]E_IZ�]EF`Tb]�HEPci�� M�PcidlU@NFIHQP�n DEadTSm uvDGM�RA>ITb]�Tb@NDGF2Tb@eM�P�]EFU_�M�PcM�DEa ; >AikPEV�kI@NFUuvPTblIPhHEPSDGM�PSTka ; DEXCuvDGMKRA>ITb]�Tb@[DGFU]E\ _IDGMK]E@eFK@NFKTblUP Pc]�abTbl��<>U]�yEPQHEabDG>UFU_9M�DETb@[DGF9ib@NM'>U\N]�Tb@[DGF�TkPcFA_UiTkD : Phib@eM�RA\[PEm`TblIP � O f �h@[TblxikTka >UuvTb>IabPc_9HEad@N_�@Ni RUabPSX PSababPc_9TblU]EFxTblUP � =?f � @[Tbl9>UFUikTkad>AuvTb>IabPc_HEad@e_ � PEV HIV[m � @[HG>IabP7p � : O V�O >IP�TkD7TblIPcikP�adPc]EikDGFUiSmCTblUPSabPK]�abP�X P�� abPcikPc]�adu lIPciL] : DG>IT TblIP � =?f �: ]EibPc_ Pc]�abTbl��<>U]�yEP�HEabDG>UFU_ M�DETb@[DGF id@NM2>A\N]�Tb@[DGF � PEV HIV[m � DGidlU@NFU]!��]�]EFU_ z lAMK]EudlU@ m p�]����>�B� @�PST]E\ V[m p�]0]Es � w&]�DxPST ]E\ V[mCp�]0]�� � �WDGiblA@NM2>Uad]'PSTh]E\ V[mAs)/0/Gt1 V

� F"TblU@Ni'ikTb>U_ ; m4TblUP z uvTkabPSP�� w&]EikPc_ f >U\[Tb@[abPcibDG\N>ITb@[DGF f$Pcibl(f!PSTblID+_ �QPSR 6�TUm � @NHG>IabP p � u! O @Ni'@NF`TkabD+_U>UuvPc_ @eF ]EF"]�TkTkPcM�RUT'TkD Mx]�yEP�@NMKRUabD ZEPcMKPcF Tbi�@NF ]E\N\WTblIPcibP�]�abPc]Ei :<; uvDGM : @NFU@NFIH$TblIP]E_IZ�]EF`Tb]�HEP2DEX�TblIP � O f ]EFU_ � =?f V

� � �d��������� ���� f�� g��O��h ��� �%e�� gW�hie c � � ����� �3����e�f

�0lIP � =?f : ]EikPc_�DGF�TblIPQ>AFUikTkad>UuvTb>UabPc_9MKPcibl�lU]Ei&MK]EF ; ]E_IZ]EF`Tb]�HEPci�� lUPcF�F<>UM�PSa @NuS]E\N\ ; M�D+_:�Pc\N@eFIH2Z�]�ad@[DG>Ai?RAl ; ib@NuS]E\ RAlIPcFIDGMKPcFU]�DGF�uvDGM�R \[P�I�_IDGMx]E@NFUi�@NFxTkPSa MKi&DEX HEPSDGM�PSTka ; ]EFU_�MK]�TkPSa @N]E\RUadDER PSadTb@[PciSV3kI@NFUuvP�TblIP�M�Pcibl�@NF2TblIP�uvDGM�RA>ITb]�Tb@[DGFA]E\I_IDGMK]E@NF'@Ni uvabPc]�TkPc_K]E_U]�RATb@[ZEPc\ ; ]EuSuvDEad_A@NFIH TkDTblIP2HEPSDGM�PSTka ; ]EFU_!MK]�TkPSad@N]E\ RUabDER^PSabTb@[PcicmITblIP�F<>UM�PSad@NuS]E\ M�PSTblID+_Ui�� @[Tbl$>UFUikTkad>AuvTb>IabPc_7M�PciblUPciSmib>Audl7]Ei � =?f mIPcFU] : \[PQDGFIP�TkDK@NMKRUabD ZEPQTblIP�abPcibDG\N>ITb@[DGF�]EFU_���DEa�PcFU\e]�abHEP TblIPLuvDGM�RA>ITb]�Tb@NDGFU]E\^_ID)�MK]E@eF�abPSTb]E@NFU@NFUHhTblIP0uvDGMKRA>ITb@NFIH uS]�RA]EuS@[T ; V?=WZEPcF�TblUDG>IHGl�TblIP � =?f � @[Tbl�@[Tbi >UFAikTkad>UuvTb>IadPc_'MKPcibluS]�RA] : @N\N@[Tb@[Pci�@NiLib>IR^PSad@NDEaLTblU]EF)TblUP � O f TblU]�T�PcM�R \[D ; i2]EF >UFU@[X DEadM HEad@e_ ikTkad>AuvTb>IabPEm � P�FIPSPc_TkD$ibTkDEabPK\N]�abHEPKikR ]�adikP�MK]�Tkad@NuvPciLX DEa�TblIP�PcF`Tb@[abPKibDG\N>ITb@[DGF DEX&]7j?O = ib>Audl)]EiL]8�&]cZEPxP��`>U]�Tb@NDGFnV� D lU]EFU_U\[P�] \N]�abHEP�ikRA]�adikP�MK]�Tkad@VI abPcib>U\NTbi2@NF abPc_U>AuS@NFIH$Pc@NTblIPSa�TblIP9adPcikDG\N>ITb@[DGF DEX RAabD : \[PcM DEaTblIP'uvDGM�RA>ITb]�Tb@NDGFU]E\ _UDGMK]E@NF$id@V�SP2_U>UPLTkD9TblUP2M�PcM�DEa ; \N@NMK@[Tb]�Tb@NDGF7DEXWuvDGM�RA>ITkPSa i @NF!\N]�abHEP2iduS]E\[Pib@eM2>U\e]�Tb@[DGFUiSV

^

Page 5: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� DKabPcibDG\[ZEP�TblU@Ni�RUabD : \[PcM7m+TblIP P�R 6 T @Ni�id>IHEHEPcikTkPc_7X DEa0TblIPLikR ]�Tb@N]E\^_U@NibuvabPSTb@��c]�Tb@[DGF7@NF � =?f V� @[yEP�TblIP : @eFU]�a ; � TkabPSP�]EFU_�TblIP0wZ� TkabPSPEm<TblIP�� ��� ��� � ���v@Ni4]�TkabPSP _A]�Tb]LikTkad>UuvTb>UabP�@NFKt�O.]EFU]E\[DEHEDG>Ui?TkDTblIP<�`>U]E_UTkabPSP @NFxs�O'V �0lIP : ]Eib@eu0udlU]�a ]EuvTkPSad@NikTb@Nu0DEX TblUP0D<uvTkadPSP�� : ]EikPc_�M2>U\NTb@[abPcikDG\N>UTb@[DGF�M�Pciblx@ei4TkDabPcuS>Uadib@[ZEPc\ ; ib> : _U@NZ<@N_UPWPc]Eudl9Pc\[PcM�PcF`T?@NF�TblUP _IDGMK]E@NF�@eF TkD��Lib> : Pc\[PcM�PcF`Tbi4>UF`Tb@N\+TblIP uvad@NTkPSad@[DGF�X DEaabP�� FIPcM�PcF`TL@NiLib]�Tb@NiO�APc_m� lU@N\NP : >U@N\N_U@eFIHKTblIPKD+uvTkabPSPx_A]�Tb]1ikTkad>UuvTb>UabPEVM�0lIPKuvad@NTkPSad@[DGF @NF HEabDG>AFU_M�DETb@NDGF M�D+_IPc\N@eFIH)@NiKTb]�yEPcF TkD : P$TblIP idlIPc]�a �&]cZEP ZEPc\[D+uS@[T ; �h@[TblU@NF�TblUP!M�Pc_U@e>UM7V � DEa�TblU@NiabPc]EibDGFnm���PLabPSX PSa0TkDKTblU@Ni�]�RARUabDG]Eudl!]Ei0TblIP z uvTkabPSP�� w&]EikPc_!f >U\[Tb@NabPcikDG\N>ITb@NDGF�f!Pcibl1f!PSTblID+_nV

� @[HG>UabP0s iblID!�hi TblIP P�R 6�T @NF�s�O ]EFU_Kt�O'V1� lUPcF : >U@N\N_A@NFIH ]EF PSR 6�TdmETblUPSabP0@Ni4]QabPcikTkad@euvTb@[DGFTblU]�T MK]EikTkPSa FUD<_IPci ��� iblIDG>U\e_UF - T : P0ib\N]cZEPhFID<_UPci �� V � F�DETblUPSa ��DEad_UiSm<@[TW@Ni��k@N\N\NPSHG]E\�� X DEa�]EFPc\[PcMKPcF TW]EFU_�@[Tbi4FUPc@[HGl : DEa TkD�_U@on^PSa :`; M�DEabP&TblU]EF�DGFIP0\[PSZEPc\ mG]Ei4iblID!�hF�@NF � @NHG>IabP�s<V oQi3��P0MK] ;@NF`Tb>U@[Tb@NZEPc\ ; HEPST�TblUPQFIDETb@NDGF9DEX TblIPQMx]EikTkPSa0]EFU_�ib\N]cZEPEm+TblIP�ib\e]cZEP FID<_UPci�]�adPQ_IPSTkPSa MK@NFIPc_ :`; TblUPc@[aMK]EibTkPSa FID+_IPcinTkD id]�Tb@NikX ; TblIP uvDGM�RA]�Tb@ : @e\N@[T ; V � lU@e\[PWuvDGF Tb@eF`>U@NT ; @NinRUabPcibPSabZEPc_L@NF�TblUPW>UFUikTkad>AuvTb>IabPc_M�Pcidl!]�RURAabDG]Eudlnm^]�_U@NibuvDGF`Tb@NF<>U@[T ;�: PST ��PSPcF!abP�� FIPc_ ]EFU_$>AFIabP�� FIPc_1Pc\[PcM�PcF`TbihD+uSuS>IadiQ@NF P�R 6�T��� D PcFIX DEaduvP TblIP uvDGF`Tb@NF<>U@[T ; m)��P ]�RUR \ ; ]EF']E_U_U@NTb@[DGFU]E\EuvDGFUikTka ]E@NF T�uvDGFU_U@[Tb@NDGFnVB� ]�TkPSa�@NFLTblU@Ni ]�adTb@NuS\[PEm��P�� @N\e\ idlID!� lUD!� TblIP2uvDGFUikTkad]E@NF`T uvDGFU_A@[Tb@[DGF7@Ni�@NMKR DGibPc_9TkD9TblIPLMK]E@NF�P��<>U]�Tb@[DGFCV

kI@NFUuvP?M�PcidlIPci @NF P�R 6 T ]�abP uvabPc]�TkPc_ : ]EibPc_LDGF2TblIPWD+uvTkabPSP�]E\NHEDEad@[TblUM7m��0id> : _U@[Z+@N_IPc_hPc\[PcM�PcF`Tbi@NF t�O�@NFUlUPSad@[T TblUPKiblU]�R^P2X abDGM TblIPc@NaQR ]�abPcF T�Pc\NPcM�PcF T�ikD7TblA]�TL]E\N\�TblIP�Pc\[PcM�PcF`TbiL@NF P�R 6�Tx]�abPHEPSDGM�PSTka @NuS]E\N\ ; ib@NMK@e\N]�a���P�I+uvPSRUTxTblU]�TKTblIP ; Z]�a ; @NF(TblUPc@[aKib@V�SPEV �0lU@ei�HEPSDGM�PSTkad@Nu1id@NMK@N\N]�a @[T ; DEXPc]Eu l Pc\[PcM�PcF`T�@ei9] yEP ; ]E_IZ�]EF`Tb]�HEP DEX P�R 6�TCV � FUibTkPc]E_ DEX']EibikPcM : \N@NFIH TblIP!HG\ND : ]E\hibTb@on^FUPcibiMK]�Tka @oI @NF DETblUPSa � =?f � @[Tbl >UFUibTkad>UuvTb>IabPc_ M�PcidlnmnTblIP�HEPSDGM�PSTkad@euKib@NMK@e\N]�ad@[T ; DEX P�R 6 T ]E\N\[Da� iPSZEPSa ; Pc\NPcM�PcF T2TkD1Tb]�yEP�]E_IZ]EF`Tb]�HEP�DEX�TblUP9FIDEadMx]E\N@V�SPc_ Pc\[PcM�PcF`T2ibTb@on^FUPcibiLMK]�Tkad@VI�����TblIadDG>IHGlPc\[PcMKPcF TK� :<; � Pc\NPcM�PcF T�uS]E\NuS>A\N]�Tb@[DGF9DEXCP�I<R \N@NuS@[T4Tb@NMKPQ@NF`TkPSHEad]�Tb@[DGFCV�����@Ni?]2RUabP�� uS]E\euS>U\N]�TkPc_�s'^��Ks'^Pc\[PcMKPcF TQMK]�Tkad@oI7DEX4lIP�II]ElIPc_Iad]E\ Pc\[PcM�PcF`T�� @[Tbl!tK_IPSHEabPSPcihDEX X adPSPc_IDGM DGF!Pc]Eudl FID+_IPEV�kI@NFUuvP����X ]EuvTkDEadi9DG>ITxTkPSadMxiKabPc\N]�TkPc_ TkD MK]�TkPSa @N]E\0RUadDER PSadTb@[PciK]EFU_ @NiKFIDEadMx]E\N@V�SPc_ � @NTbl�abPcikR^PcuvTKTkD TblIPPc\[PcMKPcF T�ib@V�SPEm+@[T?@Ni ]�RURA\N@NuS] : \[P&TkD']E\N\UPc\[PcM�PcF`TbiSV �0lIPSabPSX DEabPEm+ikPSZEPSad]E\^s'^���s'^'ib@V�SPc_xMx]�Tkad@NuvPci TblU]�TabP��<>U@[adP�� � p! hM�PcM�DEa ; ]�abP�ib>:U�uS@[PcF TQX DEaQTblA@Ni F`>UMKPSad@NuS]E\�ikDG\N>ITb@[DGF @NF P�R 6�T�@NFUikTkPc]E_ DEX >Aib@NFIH\N]�adHEP9ikRA]�a ikP9MK]�Tka @NuvPciS�h@[Tbl � �"!$# �@NF)DETblIPSa � =?f �h@[Tbl >UFAikTkad>UuvTb>IadPc_)M�PciblnV � >IabTblIPSadMKDEabPEmX abP��<>IPcF ThabPSX PSabPcFUuvP'DEX%�&� :`; Pc]Eu l Pc\[PcM�PcF`TQ_U>Uad@NFIH�Pc\[PcMKPcF TK� :<; � Pc\NPcM�PcF T uS]E\NuS>U\e]�Tb@[DGF!]�TQPSZEPSa ;Tb@NMKP�ikTkPSR!\NPc]E_Ui'��� TkD9abPcib@N_IPL@eF1uS]EudlIP2ad]�TblIPSahTblU]EF$M�PcMKDEa ; V��0lU@Ni�uS]Eu lIP�� X a @[PcFU_U\ ; ]E\[HEDEad@NTblUM

r

Page 6: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

@NMKRUabD ZEPci�D�ZEPSad]E\N\�uvDGM�R >ITb]�Tb@[DGFU]E\&R^PSabX DEadMK]EFUuvP�uvDGFUib@e_IPSad@NFIH!T ��D @Nibid>IPci�� � p! 2R^PSabX DEadMK]EFAuvP9DEXuS]Eu lIP ��� �FUi Q@NiKp�/$Tb@NM�Pci�X ]EikTkPSa2TblU]EF)DEX�M�PcM�DEa ; ��� )/EFAi �]EFU_ � s1 �MK]�Tkad@VI � ZEPcuvTkDEa'RUabD+_U>UuvTDER^PSad]�Tb@[DGF$uvDGFUib>UM�Pci M�DGikT0DEX uvDGM�RA>ITb]�Tb@NDGF1Tb@NM�PL@eF7ikDG\[ZEPSacV

� �3����e�fGe � e ���� ������ �������� ��� � � ���������������� ����� ����� ��� �z >Ia�HEDG]E\ @NF8�&]cZEP2RUabDERA]�HG]�Tb@NDGF1ib@NM'>U\N]�Tb@[DGF7@ei&TkDxikDG\[ZEPLTblUP�_h] Z<@[PSa - i0P��<>U]�Tb@[DGFnm

"!�# $ � &% (' %*) � +! -,/. %10325476�8 6 � 8�9 � p!

� lUPSabP @Ni�TblIP�_U@NikR \N]EuvPcM�PcF`T ZEPcuvTkDEacm 4 @Ni�TblIP�_IPcFUid@[T ; ]EFA_:$7]EFU_ ) ]�abP�� ]EM �P0uvDGFUikTb]EF`TbiSV � adDGMTblIP7HED�ZEPSadFU@NFUH)P��`>A]�Tb@[DGF(DEXQ=Z�`>A]�Tb@[DGF.p�mZ��P$_IPSa @[ZEP7] Z]�ad@e]�Tb@[DGFU]E\&X DEadM >Uib@NFUH TblUP!{ ]E\[PSaby+@NFM�PSTblUD<_1]Ei X DG\e\[D!� i �

;=<?> ! � +!@# $ � A% ' %B) � "! -,/. %C0�DE4(F �GIH 2 / � s1

gQib@NFIH9{ abPSPcF - i�X DEadM'>U\N]+mN� P�D : Tb]E@NF7TblIPY��Pc]�y7X DEa M�DEX =Z�`>A]�Tb@[DGF$t �

;=< > ��# $ � &% (' %*) � +! -,/.�G�H % ;J< 4 > ! F GIH 2 ;=<?> ! 0 GIH % ;=KL> ! � GIM 9 � t1

� lUPSabPEm �32 # $ � 3% ' %N) � 1! -,/.O! � mUTblIP0FIDEa MK]E\ITkad]EuvTb@[DGFxDGFPMWV4w�PcuS]E>UikPhTblIP : DG>UFU_U]�a ;uvDGFU_A@[Tb@[DGFLDGF�TblIP?TkDER�@Ni X abPSP�ib>IabX ]EuvPEmTkad]EuvTb@[DGFRQ 2TS DGFUMWV . PSabPEm @Ni TblIP _A@NikRA\N]EuvPcMKPcF TCZEPcuvTkDEa]EFU_ > @NinTblUPWTkPcikT X >UFUuvTb@NDGF�ZEPcuvTkDEacV3� P lU] ZEPcF - T @eF TkabD+_U>UuvPc_LTblIP?] : ikDEa : @NFIH : DG>UFU_A]�a ; uvDGFU_A@[Tb@[DGFnmikD�TblUPSabP0@Ni DGFU\ ; Tkad]EuvTb@[DGF:� X abPSP : DG>UFU_A]�a ; uvDGFU_U@[Tb@NDGF2DGFKTblIP�TkDERxib>IadX ]EuvPEV w ; ]�RUR \ ; @eFIHhTblUPH� FU@[TkPPc\[PcMKPcF T MKPSTblID<_1X DEa0TblUP�ikRA]�Tb@N]E\n_A@NibuvabPSTb@V�c]�Tb@NDGFnmN� P�D : Tb]E@NF1= �<>U]�Tb@[DGF ^KX adDGM = �<>U]�Tb@[DGF1t �

V FW% � X2Y0 9 � ^

� lUPSabPUV @Ni0TblIP�MK]EibiQMK]�Tkad@VI m � @ei TblIP'ikTb@onnFIPcibiQMK]�Tkad@oI1]EFU_ 0 @NihTblIP�P�I+TkPSadFU]E\�X DEaduvP2ZEPcuvTkDEa V�0lUP D ZEPSa _IDET�_UPcFIDETkPci _A@on PSadPcF Tb@N]�Tb@NDGFM� @[TblxabPcikR^PcuvTWTkD'Tb@NM�PQ]EFU_ @Ni?TblIPh_A@NikRA\N]EuvPcMKPcF TWZEPcuvTkDEa!�Tbl<>Ui F _IPcFIDETkPciQTblIP�]EuSuvPc\[PSad]�Tb@NDGF ZEPcuvTkDEa�DEXWTblIP�MK]Eibi ]EFU_[Z @NiQ@[Tbi ZEPc\ND<uS@[T ; ZEPcuvTkDEacVWk+@eFUuvPS��PuvDGFUid@N_IPSa�]EFIPc\N]EikTb@euhMK]�TkPSa @N]E\ RUabDER^PSabT ; ]EiZ��Pc\N\^]Ei&]EF7] : ikDEa : @NFIH : DG>UFA_U]�a ; uvDGFU_U@[Tb@NDGF � Y&\e] ; TkDGF]EFU_ = FIH1�<>U@NikTSm4p�]�� � � k<Tb]EuvP ; m p�]����1 mB� FU]E\N\ ; � PKuS]EF abP�� ad@[TkP�TblIP�= �<>U]�Tb@[DGFm^7@NF ]EF @NikDETkadDERA@Nu

Page 7: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

]EFU_ lIPSTkPSabDEHEPcFIPSDG>Ai�M�Pc_U@N>UM ]Ei2]!i ; ibTkPcM DEX�DEad_A@NFU]�a ; _U@on^PSabPcF`Tb@N]E\4P��<>U]�Tb@[DGFUi � z O =E �DEX�TblIPX DEadM7m

V FW%�� ZW% � X2Y0E��� 9 S 2TS 9 ZZ��� 9 S 2TS

� r1

� lUPSabP � @NiWTblUPh_U]EM�R @NFIH�MK]�Tka @oIx]EibikD+uS@N]�TkPc_l� @[TblKTblUPQ] : ibDEa : @NFIH : DG>UFA_U]�a ; ]EFU_KTblUPQ]EFIPc\e]EikTb@Nu]�TkTkPcF<>U]�Tb@[DGFnV w ; >Uid@NFIH)uvPcF`Tkad]E\ _U@Vn PSabPcFAuvPciKTkD ; @[Pc\N_ ]EF P�I+RA\N@NuS@[T�Tb@eM�P$@NF`TkPSHEad]�Tb@[DGF ibudlIPcMKPEm=Z�`>U]�Tb@NDGF$r�@Ni&Tkad]EFAikX DEa M�Pc_7TkDKTblIP�X DG\N\[Da� @NFIH�P��<>U]�Tb@[DGF�

� V %����s � �� ����2 ��� # 0�� D � ��� # � D sJV ��(D � V D����s � �������� � � 1

V m � ]EFU_ � ]�adP : \[D<udy MK]�Tka @NuvPciSm?@ V PEV[m TblIP ��� 9 � ��� : \[D+uby)DEX?V ]EFA_ �-@Ni�] t�� t MK]�Tkad@oI

uvDEabadPcikR^DGFU_U@NFIH�TkDxFUD<_IPci ��� � ]Ei X DG\e\[D!� i��

V���� � 2 ; < 4 � � � � , G�H � �0

]EFU_�!��� � 2 ; < $( � � ��"� GIH % ; < ) � � ��"� GIH % ; < $( ��"� � � , G�H�� � �1

� P'uS]EF7P�I<RAabPcibi0=Z�`>U]�Tb@NDGF ��]Ei�TblIPLPc\NPcM�PcF T0ibTb@on^FUPcibi�MK]�Tkad@oI�X DEa ]E\N\n>UFU_UPSX DEadMKPc_�lUP�I+]ElIPc_Uad]E\Pc\[PcMKPcF Tbih]�T0TblIPLPc\[PcMKPcF T0\[PSZEPc\ ]Ei�X DG\N\[D!�hi��

�!# 2%$]� $$�!#& %*) �'# 8 % $$�!#( � � ]1

. PSabPEm � # @ei TblUPQPc\NPcM�PcF T�ikTb@Vn^FIPcidi�Mx]�Tkad@oIxX DEa0]EF ; Pc\[PcM�PcF`TH� @[Tbl�TblIabPSP TkPSadMKi�]EidikD<uS@e]�TkPc_8� @[Tbl� # & 9 � # 8 m � # (+mL$4m ) m�]EFU_ $ V � # & 9 � # 8 ]EFU_ � # ( ]�abP!s'^�� s'^ Pc\NPcM�PcF T9MK]�Tkad@NuvPci�TblA]�TxuvDGF Tb]E@eFDGFU\ ; t7_A@NM�PcFUib@NDGFU\[PcibiQZ�]E\N>IPciSm�)+* 2-,, m�) # 2-., ]EFU_/) T 210, Vl� lIP $ m2 ]EFU_43!]�abPKTblIPxPc_IHEP\[PcFUHETblUi'DEX Pc]Eudl Pc\[PcM�PcF`T�@eF TblIP65 m+7 ]EFU_98 _U@NabPcuvTb@[DGFUiSm abPcibR PcuvTb@NZEPc\ ; V k+@NFAuvPxPSZEPSa ; Pc\[PcM�PcF`TlU]Ei�HEPSDGM�PSTkad@NuS]E\�ib@NMx@N\N]�ad@[T ; @NF PSR 6�T<m @[T2lU]EiLib]EM�P9Z]E\e>IPci�DEX:)+*cm�) # ]EFU_;) T @NF)@[TbiLibTb@on^FUPcibiMK]�Tka @NuvPci��^Tbl`>Ai TblIP'MK]�Tkad@NuvPcihDEX � # & 9 � # 8 ]EFA_&� # ( ]�abP�]�RURA\N@NuS] : \[P�TkD�]EF ; Pc\[PcMKPcF TSV�� lIPSabPSX DEabPEmTblIP9ikTb@onnFIPcibi�MK]�Tkad@VI � # DEX Pc]Eu l)Pc\[PcMKPcF T�@ei Pc]Eib@N\ ; uS]E\NuS>U\N]�TkPc_ :<; ibuS]E\N@NFIH�TblIP9_U@NM�PcFUid@[DGFU\[PcibiMK]�Tka @NuvPci � # & 9 � # 8 ]EFA_ � # ( :`; X ]EuvTkDEadi ]EibikD+uS@N]�TkPc_ � @[Tbl�@[Tbi�HEPSDGM�PSTka @Nu�]EFU_7MK]�TkPSad@e]E\ RAabDER^PSabTb@[Pci� PEV HIV[m $ m $4m ]EFA_ ) �TblUabDG>IHGl!Pc\[PcM�PcF`TK� :`; � Pc\[PcM�PcF`T�uS]E\NuS>U\N]�Tb@[DGFCV<�0lIP'@NM�R^DEabTb]EF`Thu lU]�ad]EuvTkPSad@NibTb@Nu

Page 8: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

DEX PSR 6 T mnTblU]�TL@eiQ>AFUFIPcuvPcibib]�a ; TkD1ikTkDEabP�TblIPK@eFU_U@[Z+@N_U>U]E\nibTb@on^FUPcibi�MK]�Tkad@oI!DEX?Pc]Eudl Pc\[PcM�PcF`T DEaTblIP�HG\[D : ]E\ni ; ikTkPcM ibTb@on^FUPcibi�MK]�Tkad@oI^mIabPcib>A\[Tbi0@NF7ib@NHGFU@o� uS]EF`T�ib]cZ+@NFIHGi0@eF7M�PcM�DEa ; >UikPEV��� � � ���������� ����� , ��7���������� �� ��� ��� � ������� T� lIP P�R 6�T�abPcib>U\NTbi0@NF1FIDGFN� uvDGFIX DEa MK@NFIHKM�PcidlIPci : PST ��PSPcF ib\N]cZEP'FID+_IPci0]EFU_$TblIPc@[a uvDEabadPcikR^DGFU_:�@NFUH1MK]EikTkPSa�FID<_UPciSV �0lIP9>UikP�DEX�]EF ]E_U_A@[Tb@[DGFU]E\ P��<>U]�Tb@[DGF y<FIDa� F)]Ei2TblIP�� � ��� ��� � � � � ����� � � � � �D�ZEPSaduvDGM�PcihTblU@Ni�RUabD : \NPcM7V k+@NFUuvP � PL]�adP >Aib@NFIH'Tkad@N\N@eFIPc]�a�idlU]�R^PhX >UFUuvTb@[DGFAi DGF7]�lUP�I+]ElIPc_Uad]E\ Pc\[P��M�PcF`TSmN��P uS]EF7id]�Tb@NikX ; TblIP�uvDGM�RA]�Tb@ : @N\N@[T ; DEX TblIP�FIDGF:� uvDGFUX DEadMx@NFIH2MKPciblIPci&>Uib@NFUH2TblIP�]E_U_A@[Tb@[DGFU]E\P��<>U]�Tb@[DGF7P�I+RUabPcidikPc_1]Ei0X DG\N\[Da� i��

� 2 �� % � �s � p�/

�� 2 �� % � � % ��� % ���^ 9 � pEp!

� lUPSabPEm @ei�TblIP�_U@NibRA\N]EuvPcM�PcF`T�ZEPcuvTkDEa�DEXQib\N]cZEP�FID+_IP�DGF ]EF"Pc\[PcM�PcF`T - i�Pc_IHEPEm � @Ni2TblIP7_U@NiK�RA\e]EuvPcM�PcF T&ZEPcuvTkDEa0DEX ib\N]cZEP�FID+_IPhDGF�]EF�Pc\[PcMKPcF T - i&X ]EuvPEmU]EFU_ $� @Ni TblIP _U@NikR \N]EuvPcM�PcF`T ZEPcuvTkDEa�DEXMK]EibTkPSa�FID+_IPEVG�0lIP�ib> : iduvad@[RUTQDEX���adPSRUabPcikPcF`Tbi�� �� > � ]EFU_ abPSRAabPcikPcF`Tbi � ��� � VMk+>Uu l uvDGF:�ikTka ]E@NF T�uvDGFU_A@[Tb@[DGFUi uvDG>U\N_ : P�@NF TkadD<_U>AuvPc_ @eF!TblUP'RAabD : \[PcM ikTb]�TkPcM�PcF`TLP�I+RA\N@NuS@[Tb\ ;7:`; M�D<_A@[X ; @NFIHTblIP HG\[D : ]E\ : ]Eid@Ni�X >UFAuvTb@[DGFUi?ibD'TblA]�T�TblUPQuvDGFUibTkad]E@NF`T�P��<>U]�Tb@[DGF�lIDG\e_Ui @eF9]E_IZ�]EFUuvPEVWoQ\[TkPSadFU]�Tb@NZEPc\ ; m��P�uS]EF9PcFUX DEaduvPQTblIP�uvDGFUikTka ]E@NF T&@NM�R \N@NuS@[Tb\ ; @NF9TblIPhZ�]�ad@N]�Tb@NDGFU]E\ARAabD : \[PcM :`; MKPc]EFUi�DEX � ]�HEad]EFUHEP��M'>U\[Tb@[R \N@[PSa�DEa�R^PcFU]E\[T ; MKPSTblID<_AiSV � F TblU@ei�ikTb>U_ ; m ]EF P�I+RA\N@NuS@[T�� � ����� ����� � � � ���2DEa � � �!� " � � � � ���M�PSTblUD<_ �h@[Tbl7]EF P�R 6 T @ei0>UikPc_�X DEa0Pc]Ei ; RA]�ad]E\e\[Pc\n@NM�RA\NPcM�PcF Tb]�Tb@NDGFnV

� D�ikPSPSyx]�ibDG\N>ITb@[DGFxDEXnTblIP z O =(i ; ikTkPcMq@NFx=Z�`>U]�Tb@NDGF�r<m � PQuS]EF�abP��0ad@[TkPh= �<>U]�Tb@[DGF9r2]Ei TblIPX DG\N\[Da� @NFIH�i ; ikTkPcM �

#�$&%'%($&%')$ )*% $ )*)�+-,&./ %./ )10 %#324%5%624%')2 )7% 2 )*)�+8,:9/ %9/ )�0 %

#<;=%'%6;=%5); )*% ; )7)1+-, / %/ )�0 2 ,?> %> )10 � pcs1

. PSabPEm�V � 2 V �Y2TS ]EFU_ ��� 2 � �52TS mAib@NFUuvP V ]EFU_ � ]�abP�_U@N]�HEDGFA]E\nMK]�Tkad@NuvPciSVZ�0lIPTkDETb]E\ _U@NikRA\e]EuvPcM�PcF T�ZEPcuvTkDEa @Ni0uvDGM�R^DGikPc_7DEX �� ]EFU_ mU@ V PEV[m

@�BA?2DCEF EG��

IH EJEK � � pct1

Page 9: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� P'uS]EF7P�I<RAabPcibi�TblIP�abPc\N]�Tb@[DGFUidlU@[R : PST ��PSPcF$ib\N] ZEP�]EFU_1Mx]EikTkPSa FID+_IPci0]Ei X DG\N\ND!� iSmF 2�� F��Z 2�� Z � 2����� 9

� p�^

� lUPSabP � @Ni2TblIP�HG\[D : ]E\�uvDGFUikTkad]E@NF`T�MK]�Tkad@oI TblA]�T2PcFUuvD+_IPci�TblIP�abPc\N]�Tb@NDGFUiblU@[R iL@NF"= �<>U]�Tb@[DGF p�^IV�0lUPcFnmUuvDGM : @NFU@NFIH�=Z�`>U]�Tb@NDGF pcsG� @[Tbl7=Z�`>A]�Tb@[DGF p�^Imj��P��0ad@NTkP# $ %5% �� $ )7) + #��� + @��$� A % # 2 %5% �� 2 )*) + #��� + @�$��A % # ; %5% ; %'); )7% ; )*) + #��� + @�$�3A?2Y0 � pcr1

� P!TkPSadM #�� + TblIP � � ��������� � � ���� ��� ��� m��!VWw ; ]m��Pc]�y(Z]�ad@e]�Tb@[DGFU]E\&X DEadM TkD MK@eFU@NMK@V�SPTblIP�Z�]�ad@N]�Tb@[DGFA]E\ X >UFUuvTb@NDGFU]E\ m���� "��!mZ� @[Tbl TblIP1uvDGFUikTkad]E@eF T�P��<>U]�Tb@[DGFnm ��P�D : Tb]E@NF(TblIP�X DG\N\[Da� @NFIHP��<>U]�Tb@[DGF7X abDGM =Z�`>A]�Tb@[DGF$r �

> ' V FA% > ' � Z&% > ' � 2 > ' 0 � p 1

� lUPSabPEm @ > A " 2 @����A "�� , � "�� � � p �0 w ; >Uib@NFUH�=Z�`>A]�Tb@[DGFUi�pcr<m p K]EFU_)p �'X DEa ]EF ; > mj� PLuS]EF!_IPSad@[ZEPL=Z�`>U]�Tb@NDGF)p � ��V F�� % �� Z��5% �� �� 2 �0 � p �1

� lUPSabPEm �V m �� ]EFU_ �� ]�adP�TblIP2abPc_U>UuvPc_!MK]EibiQMK]�Tkad@oI^mAabPc_A>UuvPc_$_U]EMKRA@NFIHKMK]�Tka @oI1]EFU_1abPc_A>UuvPc_ikTb@Vn^FIPcidi MK]�Tkad@euvPciCabPcikR^PcuvTb@[ZEPc\ ; ]EFA_ � 0 @NinTblIP abPc_U>UuvPc_�X DEaduvP ZEPcuvTkDEacV�� P uS]EFW�0ad@[TkP4TblUPcikP?abPc_A>UuvPc_MK]�Tka @NuvPci ]EFU_�TblUPLabPc_U>UuvPc_1X DEaduvP�ZEPcuvTkDEaQ]Ei��

�V 2 � "�� ! V � � SS V #"%$& � 2 V � � %'� " V �

�� 2 � "�� ! ��� � SS � (" $& � 2 ��� �C%'� " � )�

�� 2 � "*� ! � � � � �

� � � '" $& � 2 � � �*%+� " � � % � � ,� %'� " � )�� 0 2 � " CEF EG

0 �0 H EJEK 2 0 �C%'� " 0

� p�]1

]

Page 10: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

ohX TkPSaQ]�RURA\ ; @NFIH'TblIP�uvPcF`Tkad]E\C_A@on PSadPcFUuvPLM�PSTblID+_7TkDx=Z�`>U]�Tb@NDGF)p �<m���PLD : Tb]E@NF

� �V % ���s �� �� ���� 2 � � # @ �0 � A�D � ��� #��� D s �V �� D � �V D ���s �� �������� � s)/

k+@eFUuvP9=Z�`>U]�Tb@NDGF"s)/ @NiLX DEa�TblIPxHG\ND : ]E\ i ; ikTkPcM DEX z OQ= m ��P�FUPSPc_ TkD ]EibikPcM : \[P�]EFU_"ikTkDEabP�TblIPHG\[D : ]E\AMK]�Tkad@euvPci �V m �� ]EFU_ �� TkD'ikDG\[ZEPh=Z�`>A]�Tb@[DGF9s)/+V � l`>Uicm1� PQ\[DGikPhTblIP ]E_IZ�]EF Tb]�HEP DEX P�R 6 T �. D!��PSZEPSacm :<; uS]E\NuS>U\N]�Tb@eFIH)TblIP!ad@[HGl`TxlU]EFU_ ib@N_IP � �����B �DEX�=Z�`>U]�Tb@NDGF s)/"@NF ]EF Pc\NPcM�PcF TK� :<; �Pc\[PcMKPcF TQMK]EFUFIPSa ]EFA_$FID+_IP��Q� @NibPLMK]EFUFIPSacm ikPSRA]�ad]�TkPc\ ; m%� P'uS]EF$] ZEDG@N_$TblA@Ni�RUabD : \[PcM7V =Z�`>A]�Tb@[DGFs+pKidlID!� iLTblIPKikPSRA]�ad]�Tb@NDGF DEX�= �<>U]�Tb@[DGF)s)/+V �0lUabDG>IHGl T ��D$ikTkPSR iLuvDGM�RA>ITb]�Tb@NDGF DEX������ � ]EFU_������Um���P�uvDGM�R \[PSTkPLTblIP �����)uvDGM�RA>UTb]�Tb@[DGFnV

����� 2 ����� � % ����� � � s+p!

� lUPSabPEm ����� � 2 ��� # �0 � D ��� # �� �� � sEs1

������ 2 s �V �� D � �V D����s �� �������� � sEt1

��������������� � � �'�:���� ���� ��� � � DEa�TblIPD� adikT?ikTkPSR m ��PhuS]E\NuS>A\N]�TkP RA]�adT?DEXnTblIPhad@[HGl`T?lU]EFU_9ib@N_IP@NF7]EF$Pc\[PcM�PcF`TK� :`; � Pc\[PcM�PcF`ThMx]EFUFIPSacV3� P�adP��0ad@[TkPL=Z�`>U]�Tb@NDGF1sEs�TkD9=Z�`>U]�Tb@NDGF1s'^

����� � 2 ��� # � " � 0 � D � � � s'^

� F'TblU@Ni RUabD+uvPc_U>IabPEm)��P&FUDETkP�TblA]�T ��P&]�abP�FIDET4uS]E\NuS>U\N]�Tb@NFUH TblIP&abPc_U>AuvPc_�P��<>U]�Tb@[DGF : >UT uS]E\NuS>U\e]�Tb@NFIHTblIP DEad@NHG@NFU]E\UP��<>U]�Tb@[DGF : PSX DEabP : Pc@NFUH�abPc_U>AuvPc_nm �hlU@Nudl�@NFUuS\e>U_IPciW]E\N\^FID+_IPci DEX : DETbl�MK]EikTkPSa�FID+_IPci]EFU_�ib\e]cZEP�FID+_IPciSV �0lIPSadPQ]�abP T7� D�abPc]EikDGFAi&X DEa&TblU@Ni�RUadD<uvPc_U>UabP0� � p! ?TblIP P��<>U@[Z�]E\[PcF`T�FID+_U]E\ X DEa uvPci@NF uvPSabTb]E@eF Pc\[PcM�PcF`Tbi�TblU]�TLuvDGF`Tb]E@NF TblIP�P�IIuS@[Tb]�Tb@[DGF MK] ; ]�RUR \ ; DGF ib\N] ZEPKFID+_IPciSm � s1 hTblIP�>UikP�DEXTblIPQabPc_U>AuvPc_xHG\[D : ]E\ ikTb@Vn^FIPcidi MK]�Tka @oIKDEX �� \[DGikPci�TblIP ]E_IZ�]EF Tb]�HEP DEX P�R 6 T V�� P uS]E\euS>U\N]�TkP 0 ]EFU_� @eFK]EFKPc\[PcMKPcF TK� :<; � Pc\NPcM�PcF T&MK]EFUFUPSaWX DEa�]E\N\IPc\[PcMKPcF Tbi?TblU]�T uvDGF`Tb]E@NF : DETblKMx]EikTkPSa�FUD<_IPci?]EFU_ib\e]cZEP2FUD<_IPcicV �0lIPcF ��P�]�RUR \ ; � " 2 � , � " � TkDKTblUPLZEPcuvTkDEa DEX ����� � VE�0lIPL]�RUR \N@NuS]�Tb@[DGF�DEX� , � "�� M�Pc]EFAi TblU]�T ikDGM�P'Z�]E\N>IPci0DEX ib\N]cZEP�FID+_IPci ]�adP2abPc_A@NikTkad@ : >ITkPc_�TkD9TblUP2uvDEababPcibR DGFA_U@NFIHMK]EibTkPSahFID+_IPci�X DEa0TblIPLuvDGM�R ]�Tb@ : @N\N@NT ; ]EuSuvDEa _U@NFIH�TkDx=Z�`>A]�Tb@[DGF)p�^IV

p�/

Page 11: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� � ��� �� � � � �U���� ����� ��� � � F TblIP�ikPcuvDGFU_ ikTkPSRCm � P�uS]E\NuS>U\N]�TkP9TblIPKX DG\N\[D!�h@NFIH1= �<>U]�Tb@[DGF @NFFID+_IP��Q� @eikP DGFU\ ; X DEa Mx]EikTkPSahFID+_IPciSV

������ 2 s �V �� D � �V D ���s �� �������� � sEr1

� D�_ID TblA@NiSm �V ]EFU_ �� iblUDG>U\N_ : P _U@N]�HEDGFU]E\ V . D!��PSZEPSacm�_U>IP!TkD"TblUP!TkPSadMxi � " V ,� ]EFU_� " � � mj�hlU@Nudl$]�abP2FIDETQ_U@N]�HEDGFU]E\ mUTblIP�adPc_U>UuvTb@[DGF1Mx]�Tkad@NuvPci �V ]EFU_ �� ]�abP2FIDETh_U@N]�HEDGFU]E\ ; PSTSV� D2_U@e]�HEDGFU]E\N@V�SP �V ]EFU_ �� m � PQ\N>UM�RxTblIP D)nd� _U@N]�HEDGFU]E\ uvDGM�R^DGFIPcF`Tbi?@NF � " V � ]EFU_ � " � �TkDKTblUP�_U@N]�HEDGFU]E\ ikDG� P2uS]EF$uvDGFUib@e_IPSa�TblIPcikPLadPc_U>UuvTb@[DGF7MK]�Tka @NuvPci0]Ei0ZEPcuvTkDEa iSV

� @[Tbl TblIPcikPxT7� D ikTkPSRAicm ��PxD : Tb]E@NF)TblIPxabPc_U>UuvPc_ ad@[HGl`T�lU]EFU_ ib@N_IP�ZEPcuvTkDEa�DEX ����� V kI@NFUuvP�V ]EFA_ �� ]�adP9_U@N]�HEDGFA]E\ m ��P9uS]EF"ikDG\[ZEP�= �<>U]�Tb@[DGF s)/ :`; iduS]E\N@NFIH7TblIP9ad@[HGl`T�lU]EFU_ ib@N_IPKZEPcuvTkDEaDEX������4Vl�0lUPKikDG\N>ITb@[DGF)X abDGM TblU@Ni�RUadD<uvPc_U>UabPKuvDEababPcikR^DGFU_Ai TkD$TblIPKadPc_U>UuvPc_ P��<>U]�Tb@[DGFnm � lU@eudlM�Pc]EFAi TblU]�ThTblIP2ibDG\N>ITb@[DGF!@Ni0X DEa TblIP'MK]EikTkPSa�FID+_IPci @eF7TblIP PSR 6 T V0w ; >Uib@NFUHx= �<>U]�Tb@[DGF p�^Im%��PuS]EF"HEPST'TblIP9ikDG\e>ITb@[DGF)DEX�TblUP9ib\N] ZEP�FUD<_IPci2]EiS��Pc\N\ V1O >Ia @NFIH1Tb@NMKP9@NF`TkPSHEad]�Tb@[DGFnm3��PxabPSR^Pc]�T2TblIP] : D ZEP'uS]E\NuS>U\N]�Tb@NDGF7]EuvabDGibi0TblUPLTb@NM�PLlIDEa @V�SDGFnV

� c ���i��j��h �J� �%��� c g�E�hie c

f ]EF ; ibTb>U_U@[PciLlA]cZEPxX DG>UFU_ TblA]�T�TblIPx]EFUPc\N]EikTb@NuK]�TkTkPcF<>U]�Tb@[DGF RA\N] ; i2]EF)@NM�R^DEabTb]EF`T�abDG\[Px@eF TblIPPc]�abTblj�`>U]�yEP�� @eFU_U>UuvPc_xHEabDG>UFU_KMKDETb@[DGFKib@NM'>U\N]�Tb@NDGF�@NFKikPc_U@eM�PcF Tb]�a ;': ]Eib@NFUi4ib>Audlx]Ei?TblIP�� o : ]Eib@NF��� a ]EFIyEPc\ ]EFU_ �Q@N_A]E\[PEmnp�]0]Es � �WDGM�DEHG@e_U]K]EFU_7=?TkHEPcFnm p�]0]Et � z \NikPcF7]EFU_7ohadu l`>U\NPSTb]+m p�]0]� � z \NikPcFPST1]E\ V[m�s)/0/0/:���)]E\N_.]EFU_ {Qad] ZEPEm�p�]0]�� �'j @[Tb]�aby�] PST1]E\ V[m'p�]0]�� �Mk+]�TkD�PST1]E\ V[m'p�]0]0]1 m : PcuS]E>AikPTblIP8�&]cZEPci�� @NTblU@NF : ]Eib@NFUiW� @[Tbl ]EF Pc\e]EikTb@Nu�M�Pc_U@N>AM MK] ; : PxD�ZEPSax]EM�RA\N@V�APc_ :<; TblIP�Tkad]�RUR^Pc_�&]cZEPci TblU]�TQ]�abP�adP��APcuvTkPc_ ]EFU_1abPSX ad]EuvTkPc_ � @[TblU@eF�TblIP : ]Eid@NFUiSV�=WZEPcF!TblIDG>IHGl$TblIP2@eM�R^DEabTb]EFUuvPLDEX]EFIPc\e]EikTb@Nu�X DEadM'>U\N]�Tb@[DGF1@eF7ikPc@NibMK@euX�Q��] ZEP�RUabDER ]�HG]�Tb@[DGF$ib@eM2>U\e]�Tb@[DGF�lU]Ei : PSPcF7PcM�R lU]Eib@V�SPc_nmITblUPSabP]�abP'ikPSZEPSad]E\�_U@oU9uS>A\[Tb@[Pci&TkD�P�I<TkPcFU_$TblIP�Pc\e]EikTb@Nu�id@NM2>A\N]�Tb@[DGFUi&TkD9TblIP2]EFIPc\e]EikTb@Nu�MKD<_IPc\Q�UPEV HIV[m \e]�abHEPM�PcMKDEa ; abP��<>U@[abPcMKPcF TQX DEa TblIP�]E_U_A@[Tb@[DGFU]E\ Z]�ad@e] : \[PciQ]EFU_ _U@oU9uS>U\NT ; DEX _IPcuS@eib@[DGF!TkD�PcibTb@NMK]�TkP��X ]EuvTkDEadiQ@NF�TblIPLlU@[HGlA\ ; lIPSTkPSadDEHEPcFIPSDG>Ui _UDGMK]E@NFnV F PcuvPcF Tb\ ; m O ] ; ]EFU_1w�ad]E_A\[P ; � s)/0/Ip! ib>IHEHEPcibTkPc_]!uvDG]�adikP�� HEad]E@NFUPc_ @NM�R \[PcM�PcF`Tb]�Tb@[DGF DEX�TblIPxMKPcM�DEa ; Z]�a @N] : \[Pci�TblA]�T�@NM�RUadD ZEPciLR^PSabX DEadMK]EFAuvPx@NFTkPSadMxi�DEX�]EuSuS>Iad]Eu ; DEX�ibDG\N>ITb@[DGF ]EFU_ P�U�uS@[PcFUu ; DEX&MKPcM�DEa ; >UikPEV z \NikPcF PST2]E\ V � s)/0/Gt1 �iblUD!��Pc_TblIP�P�n PcuvTb@[ZEP�� M�D+_IPc\n@NF�TblIPW� o : ]Eib@NF8� @NTbl�TblIPKp�]0]'^ _hDEabTblIa @N_IHEP Pc]�abTbl��<>U]�yEP2id@NM2>A\N]�Tb@[DGFnV

pEp

Page 12: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� F1TblA@Ni0ikTb>U_ ; m @NFUibTkPc]E_nmjF ] ; \NPc@[HGl$_U]EMKRA@NFIH�TkPcu lUFU@��<>IP�@Nih>UikPc_ : PcuS]E>UibP�DEXW@[Tbi0uvDGF`ZEPcFU@[PcFAuvP]EFU_�P�U�uS@[PcFUu ; @eFxTkPSadMxi&DEX�@NMKRA\[PcM�PcF`Tb]�Tb@[DGF�]EFU_7uvDGM�RA>ITb]�Tb@NDGFnVWf$DGibT0@NM�R^DEabTb]EF`T�@Nidib>IP @Ni�TblU]�TDGFU\ ; T7� D7s'^ � s'^�ib@V�SPc_1Mx]�Tkad@NuvPci ]�adP�abP��<>U@[abPc_7@eF7TblIP�M�PSTblUD<_ �hlIPcF1@[T @ei0@NFUuvDEabR^DEad]�TkPc_ � @[TblPSR 6�TV?ohi�F ] ; \[Pc@[HGl$_U]EM�RA@NFUH'TkPcu lUFU@��<>IPL@Ni0ZEPSa ; uvDGMKM�DGF1@NF7ibTkad>UuvTb>Iad]E\ ]EFU]E\ ; ib@NiSm : ]Eib@eu�@N_IPc]DEX TblIPLM�PSTblUD<_1@ei�TblU]�T _U]EMKRA@NFIH�MK]�Tkad@oI7@Ni&RUadDER DEadTb@[DGFU]E\^TkDxMK]Eidi0]EFU_1ikTb@Vn^FIPcidi�MK]�Tkad@NuvPci

� � 2Y V � %�� � � 9 � s�1

� lUPSabP � ��@Ni�TblIP!MK]�TkPSad@N]E\h_U]EM�RA@NFUH)MK]�Tkad@oI^m V ��@NiKTblUP$MK]Eibi9MK]�Tkad@oI^m �&��@Ni�TblIP$ibTb@on^FUPcibiMK]�Tka @oIx@NF9Pc\[PcM�PcF`T�\[PSZEPc\ m<]EFU_ ]EFU_ � ]�abP ibuS]E\N]�a�uvD`P�U�uS@[PcF TbicV z >Ia HEDG]E\nlIPSabPh@eFxTblIP F ] ; \NPc@[HGl_U]EMKRA@NFIH�@NM�R \[PcM�PcF`Tb]�Tb@[DGFK@Ni4TkD�HEPST?TblIP ]EFU_ � Z]E\e>IPciWTblU]�T _IPSTkPSadMK@NFUP�TblIP0Pc\[PcM�PcF`T?_U]EMKRA@NFIHMK]�Tka @oI�DEX � � V _ P�I+TSm���P�_IPcibuva @ : PQTblUP�RUabD+uvPc_U>IabP DEX TblIP�F ] ; \NPc@[HGl1_U]EM�R @NFIH�@NM�RA\NPcM�PcF Tb]�Tb@NDGFnV

� X � P�]�RARA\ ; TblUP�M�D+_IPLib>IR^PSabR^DGib@[Tb@NDGFKTkD9=Z�`>A]�Tb@[DGF1s�<mj��PLD : Tb]E@NF

� " � � � � � 2Y�� " � V � � � %���� " � � � � � 9 � s��0

� lUPSabP � �"@Ni�TblIP � ��� Pc@[HEPcF`ZEPcuvTkDEa9DEXhTblIP1i ; ikTkPcM7V�O >IP7TkD TblIP7DEabTblIDEHEDGFA]E\�RUabDER^PSabT ; DEXQTblIPPc@[HEPcF`ZEPcuvTkDEadiSm^= �<>U]�Tb@[DGF1s�� : PcuvDGM�Pci

s�� � 3 � 2Y:%�� � #� � s��1

DEa3 � 2 p

s�� � U% � �s � 9 � s0]1

� lUPSabPEm 3 � @Ni�TblIP�_U]EM�RA@NFUH�ad]�Tb@[DIm:� lA@Nudl�@Ni�P��<>U@[Z�]E\[PcF T�TkD *#�� ]EFU_�� � @ei?TblIP�FU]�Tb>Uad]E\ X abP��<>IPcFUu ;

@NF�TblUP � ��� M�D<_UP�DEX TblIPhi ; ibTkPcM7V4ohibid>UMK@NFIH TblU]�T?TblIP _U]EM�R @NFIHQad]�Tb@[DIm 3LZ]�a @[Pci�� @[Tbl�TblUP @NF`ZEPSadikPDEX TblIPLiblUPc]�aD��] ZEP2ZEPc\ND<uS@[T ; m� � w&]�DIm�p�]0]��1 m%��PLy+FID!�

3 2 �� %� 9 � t)/

� lUPSabP � ]EFA_ ]�abP�ibuS]E\N]�adi'_IPSTkPSadMK@eFIPc_ :<; ]Eibib>AMK@NFIH1TblA]�T2TblIP�_U]EM�R @NFIH1ad]�Tb@NDIm 3 @Ni�s���]�TTblIP'iblIPc]�aQZEPc\[D+uS@[T ; m �"DEX?s)/0/9M �i<� lU@e\[P 3x@ei�/ � r�� ]�T��"DEX0p�/0/0/�M �iSV�� lU@Ni ; @[Pc\N_Ui ��2 r � tEtEt]EFU_ �2 � � ��<V�� lIP�abPc\N]�Tb@[DGF : PST ��PSPcF TblIP�_U]EM�RA@eFIHxad]�Tb@ND�]EFA_!TblUP�idlIPc]�aY��] ZEP�ZEPc\[D+uS@[T ; @NiiblUD!� F"@NF � @[HG>UabP <V!w&>ITSm3��P�ibTb@N\N\WFIPSPc_ TkD @NM�RUabD�ZEPxTblIP�abPc\N]�Tb@NDGF)TkD abPSRUabPcikPcF`T�TblUP9abPc]E\e@NikTb@Nu

pcs

Page 13: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

HEPSDG\[DEHG@euS]E\ u lU]�ad]EuvTkPSad@NibTb@NuSiSV�w&]EikPc_$DGF!= �<>U]�Tb@[DGF t)/+m%��P�_IP�� FIPLTblIP�_A]EM�RA@NFIH�a ]�Tb@[Dx]EuSuvDEad_U@eFIHTkDKTblUP�iblIPc]�aD�&]cZEP2ZEPc\[D+uS@[T ; VZ� @[Tbl1TblU@Ni&Tb]�abHEPSTQ_U]EM�RA@NFUH'a ]�Tb@[DImN� P2uS]EF1HEPST0TblIP ]EFU_ � ]Ei��

Mx@NF��� � ���

;�����# 3 D

s�� D � �s . # G�� � t+p!

� lUPSabPEm 3�@Ni�TblIP Tb]�abHEPST _U]EMKRA@NFIH'ad]�Tb@[DImI]EFU_ � *&]EFU_�� # ]�adPQTblUPQP�n^PcuvTb@[ZEPLX abP��<>IPcFUu ; ad]EFIHEPEVWoQiiblUD!� F1@eF � @[HG>IabP �`m X abDGM = �<>U]�Tb@[DGF$t+p�md� P�D : Tb]E@NF ]EFU_ � TblU]�T ib]�Tb@eikX ; TblIP�Tb]�abHEPSTh_U]EMKRA@NFIHad]�Tb@ND�� @[TblA@NF�TblIP P�n PcuvTb@[ZEP&X abP��<>IPcFUu ; ad]EFIHEPEV � abDGM =Z�`>U]�Tb@NDGF2s�<mETblIP�MK]�TkPSad@N]E\<_U]EM�RA@eFIH0MK]�Tkad@oIDEX � �0@ei0_IPSTkPSadMK@eFIPc_8� @[Tbl�TblIP ]EFU_ � V

w�PSX DEabPL]�RURA\ ; @NFUH�TblU@Ni � ��MK]�Tka @oIxTkD�TblIP z O =�DEX =Z�`>A]�Tb@[DGF <mN� P�ikPSRA]�a ]�TkP�TblIP � ��MK]�Tkad@oI@NF`TkDKTblIPL_A@N]�HEDGFU]E\C]EFU_1D)n%� _U@e]�HEDGFU]E\CMK]�Tkad@euvPci�TkDx]cZEDG@e_$ikDG\[Z+@NFIH�TblIP2\N@NFIPc]�a0@NF`ZEPSadikP�RAabD : \[PcM7V

�"2�� � � � % � ����� � tEs1

=Z�`>U]�Tb@NDGF : PcuvDGM�Pci0=Z�`>U]�Tb@NDGF$tEt :<; >Uid@NFIH�= �<>U]�Tb@[DGF$tEs<m

� V % ���s � � � � �� ���72 ��� # 0��JD>� ��� # � D sJV ��ID>� V D9���s � ��������JD � �s � ����� �� ��� � � tEt1 w&]EikPc_$DGF1= �<>U]�Tb@[DGF$s�<mj� PLD : Tb]E@NF � �� � � ]EFU_ � ������ @NF�TkPSadMKi0DEX�TblUPLMK]Eibi0MK]�Tka @oI m�V ]EFA_�TblIPikTb@Vn^FIPcidi0MK]�Tkad@oI^m �`�

� �� � � 2 V � %�� �� � � t'^ � ������ 2 ���� � � tEr1

V � @Ni ]E\[adPc]E_ ; ]7_U@N]�HEDGFA]E\�Mx]�Tkad@oI!ib@eFUuvPW��P�>UikP�TblIP�\N>UMKR Pc_!MK]Eibi�MK]�Tka @oI V � � @Ni ikPSRA]�a ]�TkPc_@NF`TkD�T ��D9Mx]�Tkad@NuvPciSm �� � ]EFU_ �� � m�� lA@Nudl7]�abP�TblUPL_U@N]�HEDGFU]E\C]EFA_�TblIPLD)nd� _U@N]�HEDGFU]E\CMx]�Tkad@oI9DEX�� � mabPcibR PcuvTb@NZEPc\ ; V � @[Tbl1= �<>U]�Tb@[DGFAi0t'^x]EFU_$tEr<m = �<>U]�Tb@[DGF1tEt : PcuvDGM�Pcih]Ei0X DG\N\[D!�hi

� V % ���s V % � ���s ��> �� ��� 2 ��� # 0 � D � � � # � D sJV �DW� V D ���s V D � ���s ��> �������% � ���s �� ������� D � ���s �� �� ��� � t�1

� P�FIDETkP'TblU]�T TblUPSabP'@ei ]9TkPSadM DEX ��� ��� @eF1TblIP2ad@[HGl`ThlU]EFU_!ib@N_IPEV�� P�]�RURAabD�II@NMK]�TkP2TblU@Ni0TkPSa M]Ei X DG\N\ND!� i��

�� ����� � % > � ��� � t��0 � � % � D ������� � t��1

pct

Page 14: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

w ; ib> : ibTb@[Tb>ITb@NFIH�= �<>U]�Tb@[DGF!t���@NF`TkDK= �<>U]�Tb@[DGF$t�<m���PLHEPST

� V % ���s V % � ���s ��> �� ��� 2 ��� # 0 � D � � � # � D sJV �DW� V D ���s V D � ���s ��> �������% � ��� �� � ������� D � � � t0]1

k+@eFUuvP&TblIP uvD<P�U9uS@[PcF`T?MK]�Tkad@NuvPciWDGF�TblIP \[PSX TWlU]EFU_�id@N_IP&DEX =Z�`>A]�Tb@[DGFxt0]�@Ni4_A@N]�HEDGFU]E\ m1��P uS]EFKibDG\[ZEP=Z�`>U]�Tb@NDGF�t0] :<; iduS]E\N@NFIH'TblIP ad@[HGl`T�lU]EFU_�ib@N_IP :<; TblIPL_U@N]�HEDGFA]E\ TkPSa M�DEX TblIP�\[PSX T�lU]EFU_�ib@N_IPQ@NF�]FID+_IP�� :<; � FUD<_IPLMx]EFUFIPSacV

� g�� � �#h �� ��� � �j�d����e���� � hifGE�hie c

� D�Z�]E\N@N_A]�TkP�DG>Ia?FIP�� � = f ikDG\[ZEPSacmN?Y@ ADCZ"��h@[Tbl P�R 6�T m � PhR PSadX DEadM Z�]�ad@[DG>AiWF`>AM�PSad@NuS]E\ITkPcibTbiX abDGM @N_IPc]E\N@V�SPc_�M�D<_UPc\NiCTkDQ] abPc]E\e@NikTb@Nu4M�D+_IPc\ � @[Tbl�_A@on PSadPcF T _UDGMK]E@NF�uvDGFA_U@[Tb@[DGFUi ]EFU_LP�IIuS@[Tb]�Tb@[DGFAiSV� F7TblU@Ni�]�adTb@NuS\[PEmN��PLRUabPcikPcF`T0X DG>Ia�P�II]EM�RA\[Pci�DEX TblIPLF<>UM�PSa @NuS]E\^TkPcikTbiSV

� @[a ikTSm���P P�I+]EMK@eFIP!DG>Ua ?�@BA�CZ" RUabDEHEad]EM :<; R^PSabX DEadMK@NFIH ZEPSad@o� uS]�Tb@[DGF.id@NM2>A\N]�Tb@[DGF DEX']\N] ; PSabPc_'lU]E\[X+ikRA]EuvP � @NTblL]0R^DG@NF`TCikDG>IaduvP iblID!�hFL@NF � @[HG>IadP t � ] V��0lIPWMK]�TkPSa @N]E\ @Ni lIPSTkPSabDEHEPcFIPSDG>UicmuvDGFUid@NikTb@NFIH DEXL] lIDGM�DEHEPcFIPSDG>Ui9Pc\N]EikTb@eu1\N] ; PSa�D ZEPSa7]EF Pc\N]EikTb@Nu1lA]E\[XQibRA]EuvPEV �0lIP1P�IIuS@[Tb]�Tb@[DGF @Ni_IP�� FIPc_!]Ei�]�_IDG> : \[P�� uvDG>IRA\NPEm \[D+uS]�TkPc_ @NF!TblIP'lA]E\[X?ikRA]EuvP�]Ei�]�R^DG@NF TQikDG>IaduvPEV�� lIP2_IDGMx]E@NF ib@V�SP@Ni�t���9t� �!p �2y<MMTQ]EFU_�TblIP _IPSRUTbl�DEX TblUPQ\N] ; PSa0@Ni p�V �2y<M7V � lIP : ]Eib@NuhRUabD)� \[PhDEX TblIP M�D+_IPc\ @Ni_IPciduvad@ : Pc_x@NF ��] : \[P2p�V � F9TblU@Ni�F`>UMKPSad@NuS]E\ TkPcikTSm:� P ]�RURA\ ; adPcikDG\N>ITb@[DGFxX adP��`>IPcFAu ; DEX?p . � ]EFU_ p�/FID+_IP�R^DG@NF`Tbi � HEad@N_ R^DG@NF`TQ@NF � O f QR^PSaLMK@NFU@NM'>UM iblIPc]�aY�&]cZEP�\[PcFIHETbl ikD7TblU]�T�TblUPKMK@NFU@NM'>UMPc\[PcMKPcF TQib@V�SPci @eF7TblIP2lA]E\[X�ibRA]EuvP2]EFU_$TblIP�TkDER \N] ; PSa ]�abPW^ r)/9M ]EFU_!sEsEr9M7mUabPcibR PcuvTb@NZEPc\ ; V��0lIPTkDETb]E\ F`>UM : PSa�DEX Pc\NPcM�PcF Tbi�@Ni ^ tEr<m s)/0/+m4TblIP�TkDETb]E\?F<>UM : PSa�DEX�FID+_IPci�@Ni ^ 0]<m ^ �Er!]EFU_ TblIPxTkDETb]E\F<>UM : PSa DEXUib\N]cZEP�FID+_IPciC@NiWp�]<m t�)/+m � lU@Nu lL@NinTblIP�F`>AM : PSaCDEXIuvDGFUikTka ]E@NF T P��`>A]�Tb@[DGFUiSV � DETb]E\<F`>AM : PSaDEX Tb@NM�PLibTkPSRAi0@Ni0s<m+/0/0/+V � DEa TblUP�]'I+@ei�uvDGF ZEPcF`Tb@[DGF!DEX DG>Ia Y&]�abTkPcib@N]EF$uvD`DEad_A@NFU]�TkPLi ; ikTkPcM7mNI � ]'II@Ni@NiQ=��Q� _U@[abPcuvTb@NDGF � @NTbl$R^DGib@[Tb@NZEP�TkD7=�� _U@NabPcuvTb@[DGFnm ; � ]'II@Ni @Ni _D� k!_U@NabPcuvTb@[DGF � @[Tbl!R DGid@[Tb@[ZEP�TkD _��_U@NabPcuvTb@[DGF�]EFU_ ��� ]'I+@Ni�@ei�g�� O _U@[abPcuvTb@[DGFl� @[Tbl9R^DGib@[Tb@[ZEPQTkD�>IR ��]�ad_�_U@NabPcuvTb@[DGF9X DG\N\ND!� @NFUH�TblIP ad@[HGl`TlU]EFA_Kad>U\NPEV �0lA@Ni4]'I+@ei?uvDGF`ZEPcF Tb@[DGF�@Ni?uvDGF Tb@NF<>IDG>Uid\ ; ]�RARA\N@NuS] : \NP�TkD�TblIPQuvD`DEad_A@NFU]�TkP i ; ikTkPcM DEXnDG>Iaib@eM2>U\e]�Tb@[DGFUiSV�ohiWidlID!� Fx@NF � @[HG>IabPciWt � : m � u! ]EFU_ � _% m1��P uvDGM�RA]�abP DG>Ia?i ; F TblUPSTb@Nu&abPcib>U\NTbi3� @[TblabPcid>U\[T�X abDGM { abPSPcF - i&X >UFUuvTb@[DGFnV � F�DEad_IPSa�TkDK>UFU_UPSadikTb]EFU_9D ZEPSad]E\e\���] ZEPLRUabDERA]�HG]�Tb@NDGF�DGF�TblIP TkDER

p�^

Page 15: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

X abPSP9id>IabX ]EuvPEm ��P�\[D<uS]�TkP �7D : ikPSabZ�]�Tb@[DGFUi2DGF TblIP9TkDER"id>IabX ]EuvPxX abDGM TblUPxPSRA@NuvPcF`TkPSa�@NF _U@e]�HEDGFU]E\MK]EFAFIPSa0]�HG]E@NFUikTHI � _U@[adPcuvTb@[DGF � =��Q� _U@[abPcuvTb@NDGF% V4w DETbl$DEX�F<>UM�PSa @NuS]E\^]EFU_7]EFU]E\ ; Tb@NuS]E\^abPcib>A\[Tbi&]�abP\[Da��� RA]Eibi � \[TkPSabPc_ >IR TkD p . �Em� lA@Nudl @NiQTblIP�RUabD : \[PcM Tb]�abHEPST�abPcikDG\N>UTb@[DGFnV��0lIPcibP'adPcib>U\[Tbi iblIDa�HED<D<_1HEad]�RAlU@NuS]E\ ]�HEabPSPcM�PcF`T : PST ��PSPcF1DG>Iahi ; F`TblIPSTb@Nu�ibDG\N>ITb@[DGF7]EFU_$]EFU]E\ ; Tb@NuS]E\nikDG\N>ITb@NDGFnV

� lIPhM�D+_IPc\ >UikPc_�@NFKTblIPQRUabPSZ+@[DG>Ui?Z]E\e@N_U]�Tb@[DGFK@ei?HEPSDGM�PSTka @NuS]E\N\ ; ib@eM�RA\[P�ad]�TblUPSa�TblA]EFxabPc]E\e@NikTb@NuM�D+_IPc\U@eF�TkPSadMKiWDEXnM�PcidlK@[ababPSHG>A\N]�ad@[T ; V �0l<>UiSm0��P Z�]E\N@N_A]�TkP<?Y@ ADCZ"'X DEa?lU@[HGlA\ ; @[adabPSHG>U\N]�aWM�PcidlIPci� @NTbl lIDGM�DEHEPcFUPSDG>Ui�MK]�TkPSad@N]E\ V kI@NFUuvP$TblUPSabP!@Ni9FID ]EFA]E\ ; Tb@euS]E\ TkPcu lUFU@��<>IPciKX DEa�lIPSTkPSabDEHEPcFIPSDG>Ui@[adabPSHG>U\N]�a�M�D+_IPc\Ni2X DEa�uvDGM�RA]�a @NikDGF[� @[Tbl"F`>UMKPSad@NuS]E\ abPcib>U\[TSm���P�_IPcuS@N_IPc_"TkD >UikP�lIDGM�DEHEPcFIPSDG>AiM�D+_IPc\d� @[Tbl�@[adabPSHG>U\N]�a&M�PciblIPcicV {QabPSPcF - i�X >UFUuvTb@NDGF�@ei�>AikPc_�X DEa0uvDGM�R ]�ad@NikDGFnV�� D�D : Tb]E@NF�abPc]E\e@NikTb@Nu@[adabPSHG>U\N]�aWM�PcidlIPciSm TblUP0M�PciblIPci ]�abP0HEPcFIPSad]�TkPc_ :<; "d$'&)(+* ,2X DEa?TblIPD� o : ]Eib@NF : ]EikPc_KDGFKTblIP k+DG>ITbl:�PSadF�Y&]E\N@[X DEadFU@N] = ]�abTbl��<>U]�yEPQY�PcF`TkPSa � kUY�=�YD �M�D+_IPc\+ZEPSadid@[DGF9s<V s � f ]�HG@NikTka ]E\[P PST?]E\ V[m<s)/0/0/ � @[TblTblIP'X abP��`>UPcFUu ; DEX /+V s . �Em : >UThMK]�TkPSad@e]E\ RUadDER PSadTb@[Pci ]�abP'abPSRA\e]EuvPc_!TkD�]�ib@NFIHG\[P�Z]E\N>UP2X DEaQlUDGM�D)�HEPcFIPSDG>Ai'Mx]�TkPSad@N]E\ V>� ] : \NP�s!iblID!�hi�TblIP�RUabD)� \[PKDEX0TblU@ei�F<>UM�PSad@NuS]E\?TkPcikTSV � @NHG>IabP ^ iblIDa� i2TblIP@[adabPSHG>U\N]�a&M�Pcibl�DEX TblU@Ni&M�D+_IPc\ V k+@NFUuvP TblIP�M�Pcidl7@Ni&uvabPc]�TkPc_ : ]EikPc_�DGF�adPc]E\N@NikTb@NuhHEPSDG\[DEHG@NuS]E\ _U]�Tb]+m@[T&@Ni�lU@[HGlU\ ; @[adabPSHG>U\N]�a abPSRUabPcikPcF`Tb@NFIH2TblIPQabPc]E\ HEPSDG\[DEHG@NuS]E\nMK]�TkPSad@e]E\ARUadDER PSadT ; V �0lIPhad]�Tb@[D : PST ��PSPcFTblIP MK]'I^VWM�Pcibl�]EFU_9TblIPQMx@NFnV M�Pcibl�@Ni � � pcsEr)/��<pcr� � sEr 2 �1 V � lIPhF<>UM : PSa m �2M�Pc]EFUi�TblU]�T�TblIP_IPSRATbl$DEXWTblUP�D+uvTkabPSP�� : ]EikPK_U]�Tb]�ikTkad>AuvTb>IabP2@eiht � s T 2 �1 ikD�TblU]�T ^�_U@Vn PSabPcF`Thid@V�SPci DEX?Pc\[PcM�PcF`Tbi]�abP�uvDGM�R^DGikPc_ @eF TblIP9uvDGMKRA>ITb]�Tb@[DGFU]E\ _IDGMK]E@NF)abPSTb]E@NFU@NFUH1M2>U\NTb@[abPcikDG\N>UTb@[DGFnV �0lUPKuvDGM�RA]�ad@NibDGFUi� @NTbl({QadPSPcF - i'X >UFAuvTb@[DGF ]�abP�iblIDa� F"@NF � @[HG>IadP�r � ] m � : mW]EFU_ � u! V�� F TblU@Ni2uvDGM�RA]�ad@NibDGFnm TblIPX abP��<>IPcFUu ; a ]EFIHEP DEX abPcikDG\e>ITb@[DGF�@NF : DETbl�DEX DG>Ia�i ; F`TblIPSTb@NuSi�]EFA_�]EFA]E\ ; Tb@euS]E\ adPcib>U\[Tbi&@Ni : PST ��PSPcF /. ��]EFU_l/+V s . �EVEk+@NMx@N\N]�ad\ ; TkD�TblIPhRAabPSZ<@NDG>UiWTkPcikTSmN��PQRA>IT�]LD : ibPSabZ]�Tb@NDGFUi�DGFxTblIP TkDER7ib>IadX ]EuvPQTkDZ+@[P�� D�ZEPSad]E\N\nabPcibR DGFAikPciSV �0lIP�adPcib>U\[Tbi�iblUD!� HED<D<_!]�HEabPSPcM�PcF`T�� @NTbl�TblIPL]EFU]E\ ; Tb@NuS]E\nabPcid>U\[TbiSV

� D'Z]E\N@e_U]�TkP0TblIPQ]EFIPc\N]EikTb@Nu ]�TkTkPcF`>U]�Tb@NDGFnm:� PQ>UikP TblUPhib]EM�PQM�D+_IPc\U>UikPc_xX DEa�TblIPhR DG@eF TWikDG>UaduvPZ�]E\N@N_U]�Tb@NDGFK@NFK]L\e] ; PSabPc_�lU]E\[X^ikRA]EuvP ��� @NHG>IabPht � ] O V � Ph]�RUR \N@[Pc_�TblIPQ_U]EM�RA@NFUHQa ]�Tb@[DGiSm 3 * 2 / �Npcr���� &2���� 2 t � tEt1 �X DEaKTblUP1\N] ; PSax]EFA_ 3 # 2 / �+/Gt ���� &2�����2 p � ��0 KX DEa�TblUP1lU]E\[XhibRA]EuvPEVoQ\[TblIDG>IHGl TblIP�_U]EM�R @NFIHKad]�Tb@NDGi�]�abP'FUDETQadPc]E\N@NikTb@Nu2uvDGFUib@N_UPSad@NFIHKTblUP'MK]�TkPSa @N]E\�RUabDER^PSabTb@[PciSm : >IT @[T]E\N\ND!� ih>Ui�TkDKZ�]E\N@N_U]�TkP�DG>Ia ]EFIPc\N]EibTb@NuL@NM�R \[PcM�PcF`Tb]�Tb@[DGF7X DEa F`>AM�PSad@NuS]E\nR >IabR^DGikPEV �0lUP�Z]E\N@e_U]�Tb@[DGFabPcid>U\[Tbi�@NF � @[HG>IadP � � ] m � : �]EFA_ � u! &uvDGF`Z<@NFAuvP�>Ui�X DEa0DG>Ia ]EFUPc\N]EikTb@Nu�@NMKRA\[PcM�PcF`Tb]�Tb@[DGFnV

� DEa�TblUP�� FU]E\`F`>UMKPSad@NuS]E\ETkPcikTSm)��P?R^PSabX DEadM.TblIPQp�]0]'^ _hDEabTblIa @N_IHEPWPc]�abTblj�`>U]�yEP�ib@NM'>U\N]�Tb@[DGF�]EFU_

pcr

Page 16: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

uvDGM�R ]�abP�DG>Iadi<� @[Tbl1DETblUPSaLi ; F`TblIPSTb@Nu2abPcib>A\[Tbi0X abDGM g<F k!Y&DEabR ]EFA_ Y&]�a FIPSHG@[P�f$Pc\N\NDGF - i ��>U]�yEPTkPc]EM7V4g F k2Y�DEabR � :<; {Qad] ZEPci _IPSZEPc\[DER^Pc_LTblUP uvD+_IP : ]EibPc_LDGF2TblIP � O f ]EFU_�Y&]�adFIPSHG@[P f$Pc\N\NDGF - i� >A]�yEP TkPc]EMq_IPSZEPc\[DER^Pc_K]LTkPSTka ]ElIPSad]E\UZEPSa ib@[DGFxuvD+_IP : ]EikPc_KDGFxTblIP � =?f >Uid@NFIH�o a udlU@NMKPc_IPci4TkD<DG\u lU]E@NF � k+lIP��&udl<>Iy ]EFU_ z�-+. ]E\N\N]�abDGFCm p�]0]�1 VM� lIP�M�D<_UPc\�>AikPc_ @NF TblU@NiQTkPcikT�lA]Ei �)/ � �)/ � t)/y+M T ib@��SP�DEX4TblIP'uvDGM�RA>ITb]�Tb@[DGFA]E\ _IDGMx]E@NF � @NTbl1]�RURUabD!I+@eMK]�TkPc\ ; pcsKMx@N\N\N@[DGF�DEX4Pc\NPcM�PcF TbiQ]EFU_"pcrMK@e\N\N@[DGFxDEX HEad@e_9R^DG@NF`TbiSV��0lIP�MK]'II@NM'>UMqabPcikDG\[ZEPc_1X abP��<>IPcFUu ; @Ni�/+V r . �EVZ�0lIP HEPSDG\[DEHG@NuS]E\C_A]�Tb]�@Ni: ]EibPc_$DGF!TblIP�kAY&=�Y ZEPc\ND<uS@[T ; M�D+_IPc\ � f ]�HG@NikTka ]E\[P�PST ]E\ V[m s)/0/0/ Q]EFA_1TblIP2X ]E>U\NT0ad>IRUTb>UabP�M�D+_IPc\DEX&TblIP9Pc]�abTbl��<>U]�yEP9@NiLabPSX PSadabPc_ TkD �)]E\e_)PST�]E\ V � p�]0]�1 V1oQFIPc\N]EikTb@Nu�]�TkTkPcF<>U]�Tb@[DGF"@Ni�Tb]�yEPcF"@NF`TkD]EuSuvDG>UF`T : ]EikPc_(DGF � X ]EuvTkDEadi :<; z \NikPcF"PST�]E\ V � s)/0/Gt1 V � @[HG>IabP ] iblID!�hi�TblIP�uvDGMKRA]�ad@NikDGF"DEXi ; F`TblIPSTb@Nu�abPcib>A\[TbiSV\�0lUPcikP7i ; F`TblIPSTb@Nu�ikPc@eibM�DEHEad]EMKi�]�adP8� \[TkPSabPc_(>Uib@eFIH w&>ITkTkPSa � DEabTbl \[D!��� R ]Eibi� \NTkPSad@NFIH�� @[Tbl8^xR DG\NPci�]EFU_$s�RA]EidikPciSV

oQi ]EF$D ZEPSabZ+@[P��Lm TblIPcikP2abPcib>U\[Tbi�]�adP2ib]�Tb@NibX ]EuvTkDEa ;�: DETbl �<>U]E\N@NTb]�Tb@[ZEPc\ ; ]EFA_ �<>U]EF Tb@NTb]�Tb@[ZEPc\ ; @NF]EF7PcFUHG@NFIPSPSad@NFUHK@NF TkPSadPcikTSV

� � � ��� e<��� ��e<��� �� � �����S�� � ���e g c f � eD��hie c �Wh � g��iE�hie c

� @[HG>IabP"p�/"@e\N\N>UikTka ]�TkPciKTblIP X a ]EM�P�� DEady�X DEa7\N]�abHEP�� iduS]E\[P!HEadDG>UFU_ M�DETb@[DGF ib@NM'>U\N]�Tb@[DGFAiSV f$PcidlHEPcFIPSa ]�TkDEacm "d$a&)( * ,xuvadPc]�TkPci M�PciblUPci : ]EikPc_7DGF�HEPSDG\[DEHG@euS]E\ _U]�Tb] :<; TblUP�kAY&=�YQVjk+@eFUuvP DG>ITK� DEXL� uvDEadPibu lIPcM�Pc_ "d$'&)(+* ,1HEPcFIPSad]�TkPci�MKPciblIPci�_IPSR^PcFU_U@eFIHxDGF DGFU\ ; TblIP�ib@V�SP�DEX&lU]�ad_ _U@Niby m^TblIPKM�Pcidl ib@V�SPuS]EF : P&P�I+RA]EFU_IPc_KTkD�P�I<TkabPcMKPc\ ; \N]�abHEP�� ibuS]E\[P TblU]�TW]E\N\[Da� iW>Ui TkD�>URUHEad]E_IP0uvDGM�R >ITb]�Tb@[DGFU]E\U_UDGMK]E@NF]EFU_ ��DEahabPcibDG\N>ITb@[DGF � @[TblU@NF�TblUP2uS]�RA]EuS@[T ; DEX?lU]�a _1_U@Niky V0j ]�abTb@[Tb@[DGFUPSacmB2�4)5 68" 9<;+=1R ]�abTb@[Tb@[DGFUi0TblIPM�Pcidl @NF RA]�ad]E\e\[Pc\0D�ZEPSaduvDGMK@NFIH(M�PcM�DEa ; RUabD : \NPcM ��� @[HG>IabP(pEp! V k<DG\[ZEPSacm<?�@BA�CZ" ibDG\[ZEPci�TblIP�&]cZEP�� P��<>U]�Tb@[DGF @NF"RA]�ad]E\N\[Pc\�>Uib@eFIH!TblUP�R ]�abTb@[Tb@[DGFIPc_"_U]�Tb]+V k+@NFUuvP�TblIP�Pc]Eudl uvDGM�R^DGFIPcF T�DEXhTblIPX ad]EM�P���DEaby � PEV HIV[mIf$PcidlIPSacm`j ]�abTb@NTb@[DGFIPSa ]EFA_lk<DG\[ZEPSaX 4@NiWRA\e] ; @NFIHL@[Tbi4adDG\[PD� @[Tblx\N@NMK@[Tb]�Tb@NDGF�DEXnTkDETb]E\M�PcMKDEa ; @eF(TblIP1PcF`Tb@[abP1uvDGM�RA>UTkPSaxi ; ikTkPcM FIDETx@eF TblUP$@NFU_U@NZ<@N_A>U]E\4RUabD+uvPcibikDEa m TblIP7X ad]EM�P���DEabyPcFU] : \[Pci2>Ai�TkD R^PSabX DEa M HEabDG>UFA_ M�DETb@NDGF ib@eM2>U\e]�Tb@[DGFUi�DEX ]EF ; ib@��SPxDEX0RUadD : \[PcM ]Ei'\[DGFIH ]Ei2TblIPuvDGM�R >ITb]�Tb@[DGFU]E\+uS]�RA]EuS@[T ; � PEV HIV[mGTkDETb]E\IMKPcM�DEa ; ]EFU_�lU]�ad_2_U@Niky� nid]�Tb@NiK�APci TblIP�abP��`>A@[abPcM�PcF`Tbi DEXATblIPRUadD : \[PcM7VM� P : Pc\N@[PSZEP�TblU]�T2TblIPKX ad]EM�P���DEaby PcFU] : \[Pci2ikPc@NibM�DG\NDEHG@NikTL]EFU_ Pc]�adTbl��`>A]�yEPxPcFIHG@NFUPSPSadiTkD R^PSabX DEadM Pc]�abTbl��<>U]�yEP�� @NFU_U>AuvPc_ HEadDG>UFU_"M�DETb@[DGF(ib@NM'>U\N]�Tb@[DGF[� @[Tbl"\N]�abHEPSa�_IDGMx]E@NF(]EFU_[� FIPSaabPcibDG\N>ITb@[DGF�TblU]�Th@Ni0uS\[DGikPSa TkDKTblIPLabPc]E\e@NikTb@NuQHEabDG>UFA_7M�DETb@[DGFnV

p

Page 17: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� hi�d� g��d�dh e c c f�� e c � � g���hie c

� P1@NF`TkabD+_U>UuvP9] M'>U\[Tb@[adPcikDG\N>ITb@[DGF`� FU@[TkP�Pc\[PcM�PcF`T�M�PSTblID+_IDG\[DEH ; X DEaK\N]�abHEP�ibuS]E\[P�HEabDG>AFU_(M�D)�Tb@[DGF ib@NM'>U\N]�Tb@[DGFUicV��0lUabDG>IHGl TblIPKF<>UM�PSad@euS]E\ TkPcikTbiLX DEa�Z]E\e@N_U]�Tb@[DGFnm��Px]�abP9uvDGF Z+@NFUuvPc_ TblA]�T�TblIPX ad]EM�P���DEaby @NFAuS\N>U_U@NFUH�TblUP�ikDG\NZEPSacm ?Y@ ADCZ"`� @[Tbl PSR 6�T!R PSadX DEadMxiLZEPSa ; ��Pc\N\�@NF)TkPSa MKi�DEXhikD)�\N>UTb@[DGF)]EuSuS>Iad]Eu ; ]EFU_ uvDGM�R >ITb]�Tb@[DGFU]E\ P�U9uS@[PcFUu ; V1= ikR^PcuS@N]E\N\ ; @NF[?�@BA�CZ" ��P9]Eu lU@[PSZEP�P�U9uS@[PcF`TikR ]�Tb@N]E\ _A@NibuvabPSTb@V�c]�Tb@NDGFKDEXnTblIP uvDGM�RA>ITb]�Tb@NDGFU]E\ _UDGMK]E@NFx]EFA_9ib] ZEP�M�PcM�DEa ; ib@NHGFU@o� uS]EF`Tb\ ;': PcuS]E>AikPDEX udlU]�a ]EuvTkPSad@NikTb@NuSi0DEX P�R 6 T �IPEV HIV[m M'>U\[Tb@[adPcikDG\N>ITb@[DGF9]EFU_7HEPSDGM�PSTka @NuS]E\Cib@NMx@N\N]�ad@[T ; V � >IabTblIPSadMKDEabPEm@NFxTblIPhuS]EibPhDEXC]EFIPc\e]EikTb@Nu MKD<_IPc\ m:?Y@ ADCE"�abP��<>U@[abPci4DGFA\ ; T ��D�MKDEabPQs'^���s'^�Mx]�Tkad@NuvPciZ� lIDGikPQib@V�SP@Ni�� � p! Q>AFU\N@[yEP � OQf ]EFU_ � = f abP��<>U@[a @NFIH9]E_A_U@[Tb@[DGFU]E\ \N]�adHEP�MKPcM�DEa ; � @[Tbl DEad_IPSa�DEX � �"! DEa� �"!$# mN� lIPSadP ! @Ni?TblUP F<>UM : PSa DEX FUD<_IPci � HEad@N_�R^DG@NF`Tbi V��0lIPQT ��D�]E_U_U@[Tb@[DGFA]E\ s'^ ��s'^�ib@V�SP MK]'�Tkad@euvPci?>UikPc_9@NFK]EFIPc\e]EikTb@Nu0M�D+_IPc\Ni ]�abP0X DEa TblUP0D)n%� _A@N]�HEDGFU]E\ _U]EM�RA@NFUH Mx]�Tkad@oI�DEX � ������ uvDGM�RUad@eib@NFIHTblIP�T ��DKD)n%� _A@N]�HEDGFU]E\CikTb@Vn^FIPcidi�MK]�Tkad@NuvPci DEX �� � @NF7=Z�`>U]�Tb@NDGF1tEr<m : PcuS]E>UikP � � @NF�= �<>U]�Tb@[DGF ]�@NiabPc_A>UuvPc_7TkDKT7� D9TkPSadMKi�DEXWs'^ �$s'^9MK]�Tkad@NuvPci0]EidikD<uS@e]�TkPc_ � @[TblW$)]EFA_ ) V

w ; >Aib@NFIH1TblUPxX ad]EM�P���DEaby m���P�lU]cZEP�ib>UuSuvPcibibX >U\e\ ; R^PSabX DEadM�Pc_ TblIP8_ DEabTblUad@N_IHEPKPc]�adTbl��`>A]�yEPib@eM2>U\e]�Tb@[DGF @NF TblIP�{ abPc]�TkPSaM�CDGi'ohFUHEPc\[Pci : ]Eib@NF DEX �)/�� �)/ � t)/!y<M T _IDGMK]E@eF ib@V�SPl� @[Tbl ]�RN�RUadD�II@NMK]�TkPc\ ; t)/0/7Mx@N\N\N@[DGF!O z � m X abP��<>IPcFUu ; a ]EFIHEP�DEXZ/ . ���Lp . ��]EFU_ MK@eFU@NM'>UM iblUPc]�aY��] ZEPZEPc\[D+uS@[T ; DEXQp�/0/7M �ikPcu�V z >Ia�FIP�I<T Tb]�abHEPST2@NiQTkD�R^PSabX DEadM ]�HEabDG>UFU_ M�DETb@NDGF ib@NM'>U\N]�Tb@[DGF @NF!TblIP� o : ]Eib@eF � @NTbl9X abP��<>IPcFUu ; a ]EFIHEP DEXB/ . �<�?s . �EmUMK@NFU@NM'>UM iblIPc]�a��&]cZEP�ZEPc\[D+uS@[T ; DEX�r)/�M �ibPcu�m]EFU_ _IDGMK]E@NF ib@��SP�DEX p�/0/ �(p�/0/ �>^1/7y+M T m � lA@Nudlm� @e\N\ MK]�yEP : @N\e\N@[DGF O z � RUabD : \[PcM1V�� P9]�abPib>UabPKTblU]�T'TblIPxib@eM2>U\e]�Tb@[DGF)]E\N\[Da� i�>AiLTkD : PSTkTkPSa�>UFU_UPSadikTb]EFU_ TblIP9Pc]�abTbl��<>U]�yEP�� @NFU_A>UuvPc_)HEabDG>AFU_M�DETb@NDGF � @[Tbl7lU@NHGlIPSa�X adP��`>IPcFAu ; \[PSZEPc\ : PcuvDGMx@NFIHKuS\[DGikPSa TkDKTblIPLabPc]E\e@NikTb@NuQHEabDG>UFA_7M�DETb@[DGFnV

� � � c e � � � f � � � c �

�0lU@eil��DEaby ��]Ei1id>IRUR^DEabTkPc_ :`; TblIP`_h]�Tb@NDGFU]E\Sk+uS@[PcFUuvP � DG>AFU_U]�Tb@[DGF - i7J�FID!� \NPc_IHEP ]EFU_.O @NiK�Tkad@ : >ITkPc_ � F TkPc\N\e@[HEPcFUuvP � JLO �O �RUabDEHEad]EMKi1TblIabDG>IHGl HEad]EF`T$F<>UM : PSa!Y�fmk �7]0]��)/0/ Et � OQacV Y&\N@NXL�X DEad_ BUVCohikTb@e\N\ @Ni TblIPxuvDEHGFU@��c]EF TLD)U�uS@N]E\ VKj ]�abTb@N]E\Wid>IRUR^DEabT ��]Ei�]E\NikD1RUadD Z+@N_IPc_ :`; TblIP k+DG>ITbl:�PSadF Y&]E\N@NX DEadFA@N]�=?]�abTbl��<>U]�yEPKY�PcF`TkPSa � kUY�=�YD VnY�DGM�RA>ITb@eFIH�abPcikDG>Ia uvPci DGF!TblIP . j � Y�DGM�RA]0�7oQ\o�RAlA] k<PSabZEPSa2uS\e>UikTkPSa�i ; ikTkPcM�]�abPKRUabD�Z<@e_IPc_ :<; TblIP�j?@[TkTbi : >IabHGl\k+>UR PSa uvDGM�RA>ITb@NFUH7Y�PcF`TkPSa2>AFU_IPSa]!��]�ad_"w0YDk:/Gs)/0/0/IpSj�V�� P ��DG>U\N_ \N@[yEPKTkD!TblU]EFIy {Qad] ZEPci � g<F k Y�DEadRd QX DEa2]E\N\[Da� @NFIH!>Ui�TkD >UikP

p �

Page 18: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

lU@eiQi ; F`TblIPSTb@Nu�_U]�Tb]7]EFA_ � PSadFU]EFU_UP�� � Y&]�adFIPSHG@[P�f!Pc\N\[DGF - i ��>U]�yEP�TkPc]EMl QX DEaLuvabPc]�Tb@NFIH7TblUPK_U]�Tb]X DEaLTblIP$p�]0]'^>_ DEadTblIad@N_IHEP�Pc]�adTbl��`>A]�yEPxib@NM'>U\N]�Tb@[DGFCV�� P�]E\NikD ��DG>U\N_)\e@[yEP�TkD1TblU]EFIy . @Nib]E_U]�X DEa\[PSTkTb@eFIHK>Ui�TkDx>AikPLlU@Ni&RUadDEHEad]EM X DEaQ{QabPSPcF - i X >AFUuvTb@[DGF7ikDG\N>UTb@[DGFnV

p �

Page 19: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� � � � ��� c � � �

# p/.'f$Pcibid]�HEP2j ]Eibib@NFUHM� @ : a ]�a ; � f j �i &lIDGM�PSR ]�HEPEV?l TkTkR � ���a�D�D��� >UFA@oI V MxuSiSV ]EFU\ V HED�Z �M�R @ �`V# s . . V w&]�DIV�� � � � � ��� � � � �?� � 8" � � � � ��� � � ��� " �� �� � � " ��� � � � � � � � � � � � � � ��� � � � �

j?lUO TblUPcib@NiSm�OQPSRUTSV?DEX2Y�@[Z<@e\0]EFU_ = F Z+@[abDGFAM�PcF Tb]E\ =?FIHEacV[mhY�]�adFIPSHG@[P f$Pc\N\NDGF gQFU@[ZEPSadib@NT ; mp�]0]��<V

# t . . VAw&]�DImnBIVUw&@[Pc\N]�y m z V^{ lU]�TkTb]EiSmd�WVAJL]E\e\N@[ZEDEy�]EiSmUO'V+FLV z�-+. ]E\N\e]�abDGFnmABIV+F�Vdk+u lIP���u l`>Uy m ]EFU_BIV�� >nV � ]�abHEP�� ibuS]E\[P2ib@NM'>U\N]�Tb@[DGF�DEX�Pc\N]EikTb@Nu �&]cZEPLRUadDERA]�HG]�Tb@[DGF1@NF�lIPSTkPSadDEHEPcFIPSDG>Ui MKPc_U@N]'DGFRA]�ad]E\N\[Pc\+uvDGM�R >ITkPSadiSV�� � ���" � � � ����� � � � � � ��� � � �( � ��� � � � � �������� � ��� � � � �� EmApcrEs � �Er��p�/Gs<m p�]0]��<V

# ^=.�BIV`w&@[Pc\e]�y m<J�V � DG>Iy]�y+@NiSm �'V . @eib]E_U]+m`]EFA_�YQV �WDGiblU@NM'>Iad]+VnOQDGMK]E@NF F0Pc_U>AuvTb@[DGFxf!PSTblID+_xX DEaTblIP �0lIadPSP�� OQ@eM�PcFUib@[DGFA]E\4=?]�abTbl��<>U]�yEPxf!D+_IPc\N@NFIH1@eF �CD+uS]E\N@V�SPc_`F PSHG@[DGFUiSm�j�]�adT � � �0lIPSDEa ; V� " ��� � � � ��� ��� �! � mj]Et � �+p �"���Es'^Im^s)/0/Gt<V

# r .�FLVAY&\N] ; TkDGF7]EFU_�wQVI=?FIH1�<>U@NibTSV o : ikDEa : @eFIH : DG>UFU_A]�a ; uvDGFU_U@[Tb@[DGFAi X DEa�]EuvDG>UikTb@Nu ]EFU_�Pc\e]EikTb@Nu��] ZEP�P��<>U]�Tb@[DGFUiSV#� " ��� � � � ��� ��� �! � m ����NpcrEs0]�� pcr'^1/+m?p�]�� �`V

# .Gk V f V OQ] ; ]EFU_!Y V+FLVAw�ad]E_U\NP ; V�f!PcM�DEa ; � P�U9uS@[PcF`Thib@eM2>U\e]�Tb@[DGF�DEX4]EFIPc\N]EikTb@Nu���] ZEP2RUadDERA]�HG]'�Tb@[DGFnV$�1" ��� � � � ��� ��� �! � mj]+p�� rEs)/%�<rEt+p�m s)/0/Ip�V

# ��.'f V Oha ]cZ+@NFUiky+@ V � F � >IPcFAuvP�DEX @eF TkPSabX ]EuvP2_UPSRUTbl1>IR^DGF1ikTkadDGFIHKHEabDG>UFA_1M�DETb@[DGFnV&�1" ��� � � � �� ��� �� � m ��s � r0]��� +p�^ImWp�]��Es<V

# � .'o�V � a ]EFIyEPc\0]EFU_ BUV �Q@N_A]E\[PEV"o TblIabPSP�� _A@NM�PcFUib@NDGFU]E\ id@NM2>A\N]�Tb@[DGF"DEXQibPc@NibMK@Nul�&]cZEPci�@NF"TblIPk+]EF Tb]�Y&\N]�a ] ��oQ\N\[P ; m Y&]E\e@[X DEa FU@N] X abDGM ][�CDGMK]"jWad@NPSTb])]�X TkPSa iblID+uby V'�1" �(� � � � �(� ��� � � m �Es � s)/)^ r��<s)/ �a^Im?p�]0]Es<V

# ] .�FLV1� V<{Qad] ZEPciSV#�0lIadPSP�� _U@NM�PcFUid@[DGFU]E\ � FU@[TkP�� _A@on PSadPcFUuvP�M�D<_UPc\N@NFIH DEX^TblIP k+]EFxohFU_UabPc]Ei4X ]E>U\[T��ikDG>IaduvP�RA]�ad]EMKPSTkPSad@V�c]�Tb@[DGF ]EFU_ HEabDG>UFA_ MKDETb@[DGF \[PSZEPc\NiSV)�1" ��� � � � �*� ��� �+ � m ��� � �0]+p"��0]��`m p�]0]��<V

# p�/ .�FLV � V�{Qa ]cZEPciSV k+@NM'>U\N]�Tb@NFUH k<Pc@NibMx@Nu ��] ZEP.RUabDERA]�HG]�Tb@NDGF @NFqt�O-Pc\e]EikTb@Nu MKPc_U@N] >Aib@NFIHikTb]�HEHEPSabPc_:� HEad@e_ � FU@NTkP _A@on PSadPcFUuvPciSV$�1" ��� � � � ��� ��� �! � m �� �Np�/1]+p,� pEp�/ <m?p�]0]�<V

p�]

Page 20: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

# pEp/.��'V . @Nib]E_A]+V�oQF P�U9uS@[PcF`T�M�PSTblUD<_ X DEa�uvDGM�RA>UTb@NFIH${QabPSPcF - i�X >AFUuvTb@[DGFUiQX DEa�]1\N] ; PSabPc_)lU]E\[X �ikRA]EuvPE� @[Tbl�ibDG>IaduvPci�]EFU_�adPcuvPc@[ZEPSadi ]�T�uS\NDGikP�_UPSRUTblUiSV �1" � � � � � � � ��� � � m �'^ �Np�^ r��� p�^���s<mp�]0]'^IV

# pcs .K{'V�JL]�a ; RA@NiSm J�V kIudlU\[D<PSHEPc\ m ]EFU_ �2V�JL>AMK]�acV j�]�a f!=Z���Ok t<V+/+V l`TkTkR � ���a�D�����>UikPSadiSV uSicV >UMKFnV Pc_U> � � y]�a ; RA@Ni �M�PSTb@Ni ��RA]�a M�PSTb@Ni �`mUs)/0/Gs<V

# pct . . VUJL]!��]EibPEV �0@NM�P�� OQDGMK]E@NF�abPcibR DGFAikPhDEX ]�ikPcMK@o� uS@NaduS>U\N]�a&uS]EF ; DGF$X DEa0@eFUuS@N_IPcF`THk �'mIj�mU]EFU_F ] ; \[Pc@[HGl �&]cZEPci�uS]E\NuS>U\e]�TkPc_ :`; TblIP1_U@NiduvabPSTkP8��] ZEPcF`>UM : PSa : DG>UFU_U]�a ; Pc\[PcM�PcF`TKM�PSTblID+_nV� " ��� � � � ��� ��� �! � m � � �Np�^Upcr�� p�^ t��`m?p�]����<V

# p�^=.�=0V BIVGJ�@NM7V�� � � � �� � ��� � ��� � ���!��� " � � � ��� � " � � ���� � �,�� ����� � � � � ��� � �� � � � �&� � ��� � " �� ��� � � " ����� � � � � � � � " � � � �UV j lUO TblIPcib@Nicm&OQPSRUTSV�DEX2Y&@[Z+@N\�]EFU_ =?F`Z+@[abDGFUM�PcF`Tb]E\=?FIHG@NFUPSPSad@NFIHImAY&]�adFUPSHG@[PLf$Pc\e\[DGF7ghFA@[ZEPSadib@[T ; m s)/0/Gt<V

# pcr .�=0V BUV JL@NM7m BIVCw&@[Pc\N]�y m ]EFU_ z V�{�lU]�TkTb]EiSV � ]�abHEP�� kIuS]E\[Pl_hDEabTblIad@e_IHEPK=?]�abTblj�`>U]�yEP k+@NM'>U\N]'�Tb@[DGF)>Uib@eFIH z uvTkabPSP�� w&]EikPc_ f >U\[Tb@NabPcikDG\N>ITb@NDGF f!Pcibl)f!PSTblID+_nV � F�� ����� � � � �=�� � ��� � � � � � � � � � � ����� ��� ��� � � � � �Sm s)/0/Gt<V

# p .�o�V!F�V!�CPSZ�]EFU_IPSa V � DG>IabTbl:� DEa _IPSa#� FA@[TkP�� _U@on^PSabPcFUuvP4j�� k �(ibPc@NibM�DEHEad]EMxiSV�� � �,� � � � � ��� m rEt �Np�^ sEr� p�^ t�<m p�]����<V

# p ��."�2V#� @ m BIVCw&@[Pc\N]�y m ]EFU_ z V { lU]�TkTb]EiSVG�0lIadPSP�� _U@NM�PcFUid@[DGFU]E\ Pc]�abTbl��<>U]�yEPxib@[TkP�adPcikR^DGFUikP'DGF)]Y&f � s<V � F�� ��� � ��� � � ��������� � � � � � � � � � � � ��� " �� � � �� � � m p�]0]Es<V

# p � . . V<f!]�HG@NibTkad]E\[PEm�k V`O ] ; mNF�V � VUY&\N] ; TkDGFnm+]EFU_lFLV+{ ad]cZEPciSVB�0lIP kAY&=�Y k+DG>ITblIPSadF�Y&]E\N@[X DEadFU@N]abPSX PSadPcFUuvPLTblIabPSP�� _A@NM�PcFUib@NDGFU]E\^ikPc@NibMK@eu ZEPc\[D<uS@NT ; M�D<_UPc\nZEPSadib@[DGF!s<V �1" ��� � � � ��� ��� �! � m])/ � k Er��:k � <mns)/0/0/+V

# p�] .�J�V wQV z \NikPcF�]EFU_8FLV BIVIohadudl<>U\[PSTb]+V3�0lIadPSP�� OQ@eM�PcFUib@[DGFA]E\Aib@NM'>U\N]�Tb@NDGFxDEXCPc]�adTbl��`>A]�yEPci�DGF�TblIP�CDGi oQFIHEPc\[Pci0X ]E>U\NT0i ; ibTkPcM7V$�1" ��� � � � ��� � � �! � m �� � r���r��<r���<mWp�]0]�<V

# s)/ .�J�V wQV z \NikPcFCm F�V BIV ohadu l`>U\NPSTb]+m�]EFU_ BUV+FLV f ]�Tb]�abPcikPEV f!]�HGFA@[Tb>U_IP �`V ��r =?]�abTblj�`>U]�yEP DGFTblIPGkI]EF!oQFU_IabPc] � ]E>U\NT����0lIabPSP�� O @NMKPcFUib@[DGFU]E\�{QabDG>UFU_ f!DETb@[DGF @NF � DGi ohFIHEPc\NPciSV � � � ��� � �vms��'/ �Np Es���� p EtEs<m?p�]0]Er<V

s)/

Page 21: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

# s+p/.�J�V wQV z \NikPcFnmZk^V f VWO ] ; m&]EFU_ YQV+F�VWw�ad]E_U\[P ; V"=?ikTb@NMx]�Tb@[DGF"DEX � X DEax\[DGFIH)� R^PSad@[D+_ ��� s i ��] ZEPcih@NF�TblUPS�CDGi0oQFIHEPc\[Pcihw&]Eib@NFnV$�1" ��� � � � � � ��� �� � mj]Et<m s)/0/Gt<V

# sEs .�J�V wQV z \eikPcFnm�FLVH_h@NH : DEa m&]EFA_ ��V�J�DGFUFIDIV ta� O Z+@NibuvD<Pc\N]EikTb@Nu ��] ZEP RUabDERA]�HG]�Tb@[DGF @NF TblIP>IRUR^PSaKw�DEababPSHED �W]E\N\[P ; m Y&]E\N@[X DEadFU@e] uvDGFAikTkad]E@NFIPc_ :`; w�DEabPclIDG\[P ]EFU_ ib>UabX ]EuvP!_U]�Tb]+V � " �� � � � ��� � � �! � mj])/ �Npct'^�� pcr)/+m s)/0/0/+V

# sEt .�o�VAj @[Tb]�aby�]+V?t�O =?\N]EibTb@Nu � @NFU@[TkP�� O @on^PSabPcF`T0f$D+_IPc\N@NFUH'DEX k<Pc@eibMK@NuQf$DETb@NDGF$gQib@NFIH k<Tb]�HEHEPSabPc_{Qad@N_UiH�h@[Tbl _ DGF<>UFU@NX DEadM k+RA]EuS@NFIHIV��1" ��� � � � ��� ��� �� � m �0] � r'^�����<m p�]0]0]<V

# s'^=.�o�V j?@[Tb]�aby�]+mAJ�V � ad@Ny<>Ia ]+m���V � ��]�Tb]+m ]EFU_ . V�k+PSy<@[HG>AudlU@ VE�0lIabPSP�� _A@NM�PcFUib@NDGFU]E\^ib@NM'>U\N]�Tb@[DGF�DEXTblIPKFIPc]�a�X ]E>U\[TQHEabDG>UFU_ M�DETb@[DGF X DEa�TblIP1p�]0]Er7J ; DEHED)� yEPcF\_Q]EF : > � JLD : Pa m�BG]�RA]EFnmnPc]�adTbl:��`>U]�yEPEV#� " � � � � � ��� ��� �� � m ��� � ^ s��"�l^0^1/+m�p�]0]��<V

# sEr . � V BUV:k��]EFAudlIP���� k<PcidMK]+V {QabDG>UFA_KM�DETb@[DGF9]EM�RA\N@o� uS]�Tb@[DGF�_U>IP0TkD'uS]EF ; DGFAi?DEXC]�a : @[Tkad]�a ; iblU]�R^PEV� F�� � ��� � �!� � � �&� ��� ��� � � � � � � � � � � � � � ��� ��� � � � � � �Um&RA]�HEPci ��s0]�� ��t��<m<k+]EF � ad]EFUuS@eibuvDImY&]E\N@[X DEadFU@N]+m^p�]�� �<V

# s� . � V BUV�k��]EFUudlIP���� k+PcibMK]+m?f V o�V w�ad]cZEDIm�]EFU_ � V . PSadabPSad]+VmkI>IabX ]EuvP9M�DETb@[DGF"DEX�TkDER^DEHEad]�RAlA@NuS]E\@[ababPSHG>U\e]�ad@[Tb@[Pci?X DEa�@NFUuS@e_IPcF T�j�m�k �2mI]EFU_ F ] ; \[Pc@NHGl8��] ZEPciSV�� " �!� � � � � � ��� � � m ��r � s�Et��s�0]<m p�]��Er<V

# s���. � V BUV k��]EFUudlUP���� k<PcibMK]7]EFU_ BUV o�Vn=?i �`>U@NZEPc\ V�{QabDG>UFU_ M�DETb@NDGF!DGF ]E\e\N>IZ+@N]E\CZ�]E\N\[P ; >AFU_IPSaQTblIP@NFUuS@N_IPcF`T&RA\N]EFIPSk . �&]cZEPciSV �1" ��� � � � ��� � � �! � m 0] �NpEp�/ � � pEpcs)/+m?p�]��)]<V

# s�� .���VBk+]�TkDImBF�V � V {Qad]cZEPcicm ]EFU_)j�V {'V3k<DGM�PSabZ+@N\N\[PEV��0lIabPSP�� _A@NM�PcFUib@NDGFU]E\#� FU@[TkP�� _U@on^PSabPcF`TQid@NM��>U\N]�Tb@[DGFUiKDEX \NDGFIH)� R^PSad@[D+_"ibTkabDGFIH M�DETb@NDGFUix@NF TblIP � DEy ; D"M�PSTkabDER^DG\N@[Tb]EF ]�adPc] _U>Ia @NFIH TblIPp�]0])/ z _U]��&]�ad]�=?]�abTblj�`>U]�yEP � f�� r<VNp! h]EFU_!TblIP�{ abPc]�T�p�]EsEt�JL]EF TkD�Pc]�abTblj�`>U]�yEP � f i �<V s1 @NF1BG]�RA]EFCV$� " � � � � � ��� ��� �� � m �0] � r��)]�� )/ �`m4p�]0]0]<V

# s0] .KYQV � V kIudlIad@NZ<FIPSa4]EFU_�O'V �'V . Pc\NM : PSabHEPSa Vdk<Pc@NibMx@Nu �&]cZEPSX DEadM M�D<_UPc\N@NFIH @NF�TblIPD� DGi4ohFIHEPc\NPciw�]Eid@NFnV$�1" ��� � � � ��� ��� �! � m �'^ �Npct+p�/%� pctEs�<m?p�]0]'^IV

# t)/ .�BIV FLV k+lIP��&udl<>Iy ]EFU_ O'V FLV z�-+. ]E\N\N]�abDGFnV ohadudlU@eM�Pc_IPciSm �D���LV uSiSV uSM'>nV Pc_U>�� �

�`>U]�yEP �]�a udlU@NMKPc_IPciSV l`TbMK\��+m p�]0]��<V

s+p

Page 22: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

# t+p/.�F k<Tb]EuvP ; V � M�RUabD�ZEPc_KTkad]EFAikRA]�abPcF`T : DG>UFU_U]�a ; X DEa M2>U\e]�Tb@[DGFUi4X DEaWTblIP0Pc\e]EikTb@Nu��&]cZEPhP��`>U]�Tb@NDGFnV� " ��� � � � ��� ��� �! � m � � � s)/ �0]��<s)/1]��`m?p�]����<V

# tEs .���V � DGiblU@eFU]��&]2]EFA_ �LV z lAMK]EudlU@ V �CD�ZEP��Q��] ZEP�RUabDER ]�HG]�Tb@[DGF�@NF9]'TblIadPSP�� _U@NM�PcFUid@[DGFU]E\ : ]Eib@NFnV� " ��� � � � ��� ��� �! � m �Es �Np �+p,� p �� �`m?p�]����<V

# tEt .���V�� >nmWO'V z�-+. ]E\N\N]�abDGFCmW]EFU_�BIV�� �DER^P��EV)=WTkadPSP ��o _U]�Tb] : ]EikP�� DEad@NPcF TkPc_�M�PSTblUD<_"X DEa�HEPcF:�PSad]�Tb@NFIH \N]�abHEP7D+uvTkabPSP1M�PcidlIPciSV � F�� � ��� � � � � �� ��&� � ��� � � ����� � ��� � � � � � � � � � � � � � �,� � � � � " ��� � � �Sm^s)/0/Gs<V

# t'^=.�BIV =0V��Q@e_U]E\[PL]EFU_!O2V �'V . Pc\NM : PSabHEPSacV�=?\N]EibTb@Nu � FU@NTkP�� _U@on^PSabPcFUuvPLM�D+_IPc\N@NFUH�DEX�TblUP9p�]��<pGk+]EF� PSadFU]EFU_UDIm Y&]E\N@[X DEadFU@e]+m`Pc]�abTblj�`>U]�yEPEV&�1" ��� � � � ��� � � �! � m � � �NpcsEs�� p�^Up�mWp�]����<V

# tEr .�BIV �Q@Nad@[Pc>:I^V k . �Q��] ZEP RUabDERA]�HG]�Tb@NDGF @NF lUPSTkPSabDEHEPcFIPSDG>Ui M�Pc_U@N] � ZEPc\[D<uS@NT ; � ikTkabPcibim� FU@[TkP��_U@on^PSabPcFUuvPLM�PSTblID+_nV� � �,� � � � � ��� m%^ ] �Np�]EtEt � p�]Er��`m�p�]��'^IV

# t� .�O2V BUV:�)]E\N_7]EFU_8FLV � VA{Qad]cZEPcicV3� lIPQibPc@NibMK@Nu abPcikR^DGFUikPQDEXCTblIPY� DGi�ohFIHEPc\NPci : ]Eib@NFnmUY&]E\N@[X DEaO�FU@N]+V$�1" ��� � � � ��� ��� �! � m ��� � tEt�� �<tEr�<mWp�]0]��<V

# t���.�O2V BUV��)]E\N_nm . V . Pc]�TkDGFnm ]EFA_ JKV � V . >U_UF<>ITSVY�0lIP�ib\N@NR!lU@NibTkDEa ; DEX?TblUP�p�]0]'^ _hDEabTblIa @N_IHEPEmY&]E\N@[X DEadFU@N]+m<=?]�abTblj�`>U]�yEP�_IPSTkPSa MK@NFIPc_�X abDGM�ikTkabDGFIH)� M�DETb@NDGFnmITkPc\[PcikPc@NidMK@Nu�mU{ jEk mI]EFU_8� PSZEPc\o�@NFIHK_U]�Tb]+V �1" ��� � � � ��� ��� �! � m �� � k:^ ]��:k �'/+m�p�]0]�<V

# t�� . . V+�?V � DGFUHIVWOQ@Vn ad]EuvTb@NDGF9DEX j�mjk �2mI]EFU_8Fh] ; \[Pc@[HGl8�&]cZEPci :<; ib>UabX ]EuvP TkDER^DEHEad]�RAlA@[PciSVB� PcudlN�FU@NuS]E\ F0PSR^DEabT8F0PSR^DEabT1Y&= �)]a� /Gr<m�OQPSRUTSV�DEX'Y�@[Z<@e\ =?FUHEacV�ghFU@NZ V DEX�k<DG>ITblUPSadF Y&]E\N@[X DEadFU@N]+mp�]��)]<V

# t0] . . V+�?V#� DGFIHIV9= n PcuvT�DEX&id>IabX ]EuvP�TkDER DEHEa ]�RAl ; DGF)TblUPK_U@on^ad]EuvTb@[DGF DEX�j�m k �'mC]EFU_`F ] ; \NPc@[HGl��] ZEPciSV#�1" ��� � � � ��� ��� �� � m ��s �NpEp �� � pEp �Et<mWp�]��Es<V

# ^1/ .�J�V �WDGM�DEHG@N_U]!]EFU_)BIV+�LVC=WTkHEPcFnV9ta� OJ��] ZEPxRUabDER ]�HG]�Tb@[DGF)@NF TblIPl�CDG]Ei�oQFIHEPc\[Pci : ]Eib@NF X DEaTblIP�� lU@[TkTb@[PSaO� _Q]�ababDa� i�Pc]�abTblj�`>U]�yEPEV#� " � � � � � ��� ��� �� � m �Et �NpctEsEr�� pct'^0^ImWp�]0]Et<V

# ^Up/.KYQV �WDGidlU@NM'>Iad]+mCBIVnw&@[Pc\N]�y m �'V . @Nib]E_U]+mn]EFU_ o2V � PSadFU]EFU_IP��EVLOQDGMK]E@eF F0Pc_U>UuvTb@NDGF!f!PSTblID+_X DEa0TblUP��0lIabPSP�� O @NM�PcFAib@[DGFU]E\ =?]�abTblj�`>U]�yEP2f$D+_IPc\N@NFUH'@NF � D<uS]E\e@V�SPc_ F0PSHG@[DGFAiSmUj ]�abT�� � � �4PSa @o�� uS]�Tb@[DGF1]EFU_$o RUR \N@NuS]�Tb@[DGFnV��1" ��� � � � � � ��� �� � mj]Et � �EsEr ���'^1/+m s)/0/Gt<V

sEs

Page 23: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

# ^ s .��WV �n]EFIH!]EFU_ o�V JKV Y&lIDERAad]+V �0lIabPSP�_U@NM�PcFUid@[DGFU]E\4]EFU]E\ ; ib@NiLDEX0ikRA]�Tb@N]E\N\ ; Z�]�a ; @NFIH1HEabDG>AFU_M�DETb@[DGFUi�]�abDG>UFU_�>UFU@[X DEadM uS]EF ; DGF�@NF�]hlIDGM�DEHEPcFIPSDG>Ui�lU]E\[XIikR ]EuvPEV� � ��� " �� � �=�� �� ��� " � � �

�� � � ��� m s)/ � ]+pEp,� ]Es�<mWp�]0]+p�V

sEt

Page 24: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� h � g���� �

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

� @[HG>IadPLp�� = I+]EMKRA\[Pci4DEXnikRA]�Tb@e]E\U_U@NibuvadPSTb@V�c]�Tb@[DGF�@NFK_UDGMK]E@NF�X DEa _U@on^PSabPcF`TWF`>AM�PSad@NuS]E\IM�PSTblUD<_Ui � ] k<Tka >UuvTb>IabPc_ { ad@N_ ��� O f m�j?@[Tb]�ady]+m&p�]0]0]1 � : ghFAikTkad>UuvTb>IadPc_)f$Pcidl ��� =?f m w&]�D$PST']E\ V[m p�]0]��1 � u! z uvTkabPSP�� w&]EikPc_ f!>U\NTb@[abPcikDG\N>UTb@[DGF9f!Pcibl ��� = f m JL@NM�PST ]E\ V[m s)/0/Gt1

s'^

Page 25: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� � ����% � ) ��� %��� ��� �

� ����� ����

���

���

���

���

���

���

���

���

�� ��

�� �

� �

� � )� ) � �% ���%� � % ���%

����� �������! �"!�

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

� @[HG>IadP�s � � >U]E_ITkadPSPL]EFU_ z uvTkabPSP�� w&]EikPc_ f!Pcibl

sEr

Page 26: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

��] : \[PKp��?j?abD)� \[P DEX4]�\N] ; PSadPc_$lU]E\[X ikRA]EuvP�RUabD : \[PcM� � ��� ��� � 0� ������ � ���������0 � � � � � � � � ����_IDGMK]E@eF7ib@V�SP �-t���$t� �)p ����� T

\N] ; PSa � 4R2 sEr)/0/ � ��� �� T � 2 t0])/0/ � � ���) 2 sEsEr)/ � � ���'

lU]E\[X ibRA]EuvP � 4R2 t)/)^ � � ��� �� Ta � 2 � �)/0/ � � ���) 2 ^ r)/0/ � � ���'

P�I+uS@[Tb]�Tb@NDGF��� ��=# �"�� D *#�� �

� ! � s�� �"�� . � /�� � ������

�� � ����� � ikTkad@[yEPEmU_U@NRCm+ad]�yEP �6t)/G^1/ )/Mx]�HGFU@[Tb>U_IP � ��� � p � ^ �)p�/ * T�� !��

ad@eikP Tb@NM�P � p ��!#"

��� � /+V+/GsikDG>UaduvPL\[D+uS]�Tb@[DGF�� � � sEsEr<m sEsEr<mj� )/ ��r1

s�

Page 27: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

Hypocenter

18 k

m

18 k

m

18 km 18 km

12 k

m

6 km

12 km 6 km

x

z

x

y y

z

Isometric view in the simulation model

front view

top view side view

x

y

z

Observation Points

1. ( 0, 0, -50) 2. ( 2000, 2000, -50) 3. ( 4000, 4000, -50) 4. ( 6000, 6000, -50) 5. ( 8000, 8000, -50) 6. (10000, 10000, -50) 7. (12000, 12000, -50) 8. (14000, 14000, -50)

1 2

3 4

5 6

7 8

Hypocenter (-225, 225 -6075)

Strike = 30 (deg) Dip = 40 (deg)

Rake = 60 (deg)

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

0 5 10 15 20 25 30 35 40

1

2

3

4

5

6

7

8

E−W velocity (m/s): point source

loca

tion

time(sec)

10−5 m/s

GREEN−elasticQUAKE−elastic

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

0 5 10 15 20 25 30 35 40

1

2

3

4

5

6

7

8

N−S velocity (m/s): point source

loca

tion

time(sec)

10−5 m/s

GREEN−elasticQUAKE−elastic

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

0 5 10 15 20 25 30 35 40

1

2

3

4

5

6

7

8

U−D velocity (m/s): point source

loca

tion

time(sec)

10−5 m/s

GREEN−elasticQUAKE−elastic

��23�546�879� �������� "! $#%�'&�(�! )����� *)�!

:<;�=?>�@'ACBEDGFIH�J8;�KLH3M+;�N?OPN�QSR�TUJ�HWV�A$@+AXKZYLH�J�QI[+\]H�^_ACAXJ�H�[`M+;�^bacN1K�AXJ6dS;�M+YeHf\�N?;�OgMS[`N?>�@�^_AihjHlkSmI@'N3noJ�AN�Q<M+Y�AfR�TUJ�HXV�A$@+AXKpYLH�J�Q<[`\]H�^_Afh/q5ksrtT�u ^_N?av\5N?OLAXOlMGN�Q<w�AXJ�N1^$;�MxVyhj^Wk�z{T�|}^_N?ac\�N?O�AXOgMGN�Q<w�AXJ�N1^$;�MUV

hjKok�~GTU��^_N?ac\�N?O�AXOgMGN�Q�w�AXJ�N1^$;�MUV

�?�

Page 28: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

��] : \[P�s �?j?abD)� \[P�DEX lIDGM�DEHEPcFIPSDG>Ai @[abadPSHG>U\N]�a0lU]E\[X�ikRA]EuvPLRAabD : \[PcM

� � � � ��� � 0?� � ��� ���(� � � ��� � � � �� � �����0 � �� �@� � � � � ����_IDGMK]E@eF7ib@V�SP � �)/ � �)/ �$t)/ ��� TlU]E\[X ibRA]EuvP � 4R2 s)/0/0/ � ��� �� T � 2 r)/0/0/ � � ���' 2 sEr)/0/ � � ���) P�I+uS@[Tb]�Tb@NDGF��� ��=# �" � D *

#�� �� ! � s�� �

" � . � /�� � ��� �! �� � � ��� �

ibTkad@[yEPEmA_U@NRCm+ad]�yEP �6t)/G^1/ )/Mx]�HGFU@[Tb>U_IP � ��� � p � ^ �)p�/ * T�� !��

ad@eikP Tb@NM�P � p ��!#"

��� � /+V+/GtikDG>UaduvPL\[D+uS]�Tb@[DGF�� � ^1/ EsEr<md^1/ EsEr<mj�dp�^ t���r1

f ]'I V ]EFU_1f @NFnVWM�Pcibl$ib@V�SP � f ]'I 2 pcsEr)/ � Ml mAf @NF 2 pcr�<V sEr � Ml _h>AM : PSa�DEX�Pc\[PcM�PcF`Tbi��6t��'^Im ����

_Q>UM : PSa�DEX FID+_IPci��-r)/Gr<m ]'^ t_h>AM : PSa�DEX4ib\N] ZEPci�� pcs�<m r���

D : ibPSabZ]�Tb@NDGF1\[D+uS]�Tb@[DGF�� p�V � s+p�/0/0/+m EtEr��<m%/ s<V � s�)/0/0/+m pcr)/Ip�]<md/ t<V � t+p�/0/0/+mnsEt���)]<md/ ^IV � t�)/0/0/+mntEsEtEt0]<md/ r<V � ^Up�/0/0/+md^Up�/0/0/+md/ <V � ^ )/0/0/+md^ ]��)/+md/ �`V � r+p�/0/0/+mnr��EtEs)/+md/ �<V � r�)/0/0/+m �0]��)/+md/ ]<V � +p�/0/0/+m ��r�'^Up�md/

s��

Page 29: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� @[HG>IadP�^ � � ababPSHG>U\N]�a�f$PcidlIPci�X DEa�]2abPc]E\N@NikTb@eu0M�D+_IPc\j�h@[TblxlIDGMKDEHEPcFIPSDG>Ui&MK]�TkPSad@N]E\ � : ]EikPc_�DGF8� oM�D+_IPc\

s0]

Page 30: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

0 10 20 30 40 50 60

1

2

3

4

5

6

7

8

9

E−W component

Time (sec)

Loca

tion

0.1 × 10−3 cm/s

GREENQUAKE

����� ���� � # � � � � $ '� & � ��� � � �

0 10 20 30 40 50 60

1

2

3

4

5

6

7

8

9

N−S component

Time (sec)

Loca

tion

0.1 × 10−3 cm/s

GREENQUAKE

��� ���-�� �' # � �!� � $ ���& � ��� � � �

0 10 20 30 40 50 60

1

2

3

4

5

6

7

8

9

U−D component

Time (sec)

Loca

tion

0.2 × 10−3 cm/s

GREENQUAKE

��� ���- � � # � � � � $ �� & � ��� � � �

� @[HG>IadP'r � �W]E\N@e_U]�Tb@[DGF!X DEaQTblIP�lU@[HGlU\ ; @[abadPSHG>U\N]�ahMKPciblIPc_ _IDGMK]E@NF � @[Tbl lIDGM�DEHEPcFIPSDG>Ui MK]�TkPSa @N]E\� ] 9=��Q� uvDGM�R^DGFIPcF`T9DEXLZEPc\ND<uS@[T ; � : _�� k uvDGMKR DGFUPcF T�DEX�ZEPc\[D+uS@[T ; � u! 9gD� O uvDGM�R^DGFIPcF`T9DEXZEPc\[D+uS@[T ;

t)/

Page 31: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

0 500 1000 1500 2000 2500 3000 3500 40000

0.5

1

1.5

2

2.5

3

3.5

4

4.5

5

shear wave velocity (m/sec)

dam

ping

rat

io (

%)

ζ = a/(vs + b)

������������ �����������������������! "���#���%$&�('*)+�����,�-������.�(�+$/���%0������� 1�32(%2(����54����76

859

Page 32: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

0 0.2 0.4 0.6 0.8 1 1.20

0.5

1

1.5

2

2.5

3

3.5

4

frequency (Hz)

ζ, d

ampi

ng r

atio

(%

)

effective frequency range: 0.1 Hz − 1.1 Hz

target damping ratio: 0.5 %

� @[HG>IadP ���3� lIP&abPc\N]�Tb@[DGF : PST7� PSPcF9_U]EM�RA@NFUHhad]�Tb@ND�]EFU_�X abP��`>UPcFUu ; uvDGFAib@N_IPSad@eFIH TblIP�Tb]�abHEPST _A]EM�RN�@NFUH�ad]�Tb@[DK]EFU_7TblUP�P�n PcuvTb@[ZEP'X abP��`>UPcFUu ; ad]EFUHEP

tEs

Page 33: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

0 5 10 15 20 25 30 35 40

1

2

3

4

5

6

7

8

9

E−W velocity (m/s): ζ1 = 0.15, ζ

2 = 0.03

loca

tion

time(sec)

10−5 m/s

QUAKE−anelasticGREEN−anelastic

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

0 5 10 15 20 25 30 35 40

1

2

3

4

5

6

7

8

9

N−S velocity (m/s): ζ1 = 0.15, ζ

2 = 0.03

loca

tion

time(sec)

10−5 m/s

QUAKE−anelasticGREEN−anelastic

"!�#%$'&)(+*-,�.�/�,�0�1 0�23,�465�1-7�/�,�0�7�1

0 5 10 15 20 25 30 35 40

1

2

3

4

5

6

7

8

9

U−D velocity (m/s): ζ1 = 0.15, ζ

2 = 0.03

loca

tion

time(sec)

10−5 m/s

QUAKE−anelasticGREEN−anelastic

"*8#:9'&<;=* ,�.�/�,�0�1 0�23,�4>5�1 7�/�,�0�7�1

?A@"BDC�E�FHG>IKJML�N<@�O�L�P8@"QDRTSUQ�EAL�R�FVN�L�WXP8@<YMZ[Q6O�FVN]\)^:_3`ba�cdYeQDZgf%QDR�FVRhP'Q�S�i�FVN"Q6Y�@"Pkjl\mY�_3n+a opYeQDZ[f:QDR�FVRqPQ�SAi�FVN"Q6Y�@"Pkjr\mO%_tsuakvwYeQDZ[f:QDR�FVRqP+Q�SAi�FVN"Q6Y�@"Pkj

x�x

Page 34: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

SSA N−S URSCorp

ARCHM

QUAKE

Max Min(cm/s)

12 −5

11 −5

12 −5

E−W Max Min

7 −6

7 −6

7 −6

U−D Max Min3 −4

4 −3

4 −360 sec

JFP N−S URSCorp

ARCHM

QUAKE

Max Min(cm/s)

108 −146

110 −151

121 −152

E−W Max Min

32 −54

32 −60

34 −65

U−D Max Min55 −41

45 −33

47 −3660 sec

PKC N−S URSCorp

ARCHM

QUAKE

Max Min(cm/s)

18 −14

21 −20

20 −16

E−W Max Min

13 −14

15 −13

16 −11

U−D Max Min6 −6

9 −6

7 −660 sec

MCN N−S Max Min

(cm/s)

5 −3

5 −3

5 −3

E−W Max Min

2 −1

2 −0

2 −1

U−D Max Min3 −2

3 −1

3 −2

TAR N−S Max Min

(cm/s)

8 −7

7 −7

9 −7

E−W Max Min

3 −2

5 −2

4 −3

U−D Max Min4 −4

4 −3

3 −4

VLA N−S Max Min

(cm/s)

5 −6

6 −5

5 −4

E−W Max Min

7 −3

5 −4

4 −3

U−D Max Min3 −2

3 −2

3 −2

HSL N−S Max Min

(cm/s)

7 −9

8 −8

8 −11

E−W Max Min

13 −15

14 −17

20 −18

U−D Max Min5 −5

4 −3

3 −4

OBG N−S Max Min

(cm/s)

6 −5

5 −4

6 −6

E−W Max Min

7 −7

7 −6

8 −7

U−D Max Min3 −2

3 −2

3 −2

IGU N−S Max Min

(cm/s)

6 −2

4 −2

5 −3

E−W Max Min

5 −3

4 −4

6 −4

U−D Max Min3 −3

2 −2

3 −2

LBL N−S Max Min

(cm/s)

2 −1

3 −2

3 −2

E−W Max Min

4 −2

3 −2

3 −3

U−D Max Min2 −1

2 −0

2 −0

DWY N−S Max Min

(cm/s)

5 −4

3 −2

5 −3

E−W Max Min

5 −4

4 −2

6 −3

U−D Max Min4 −2

2 −1

3 −2

������������ ������������������������� �!����"��#������%$����&�"�'(�)��*�,+���-.������������

/10

Page 35: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

Parallel Octree-Based FEA Solver (QUAKE)

Velocity Model (SCEC model)

Mesh Generation (Euclid)

Mesh Partition (ParMETIS)

Visualization

PE 2 PE 4 PE 3 PE 1

���������- 9�� ����-�(' � 1�(����� �(��������(�0-4��(��� ��2(%)+��()+������������ 0��',�&����������

8��

Page 36: Carnegie Mellon School of Computer Scienceejk/bssa2003_theory.pdf*+ $-,.0/1 2 43) 56 $ # 7 & $# 3) 8 9 & $# :a@cbed

� @[HG>IadPKpEp�� =?\NPcM�PcF T�R ]�abTb@[Tb@[DGFU@eFIH � '^�j?= i

t�