46

´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

  • Upload
    others

  • View
    13

  • Download
    0

Embed Size (px)

Citation preview

Page 1: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

� �������� �� ������������������������� �!�"�#$�%�'&)(*����+,���-��.�0/1��23�4�"563��78�9:�;�3<=���4+ �?>A@B�4����6�C�ED"F�GIH

JLK4MONQP)RTS?U1M-VXWZY�M�[CV�\]Y�M-^_W�`TM-acb)dY�b)a]aebgfhWiM-S'\c`TMkjmlnY�N-S4o�M-p)pAM

�]@9��q&r�]@s3t.u%D�vwx���;�"<Z���$D�s"s3t

y�z�{Q|}z�~�����~O��z��}z���~������!{8�C��~X������z���y����'����|X��|}���!{���h�Xz6��{����!z�~}����|���������3� ����|���������{ � |}~}z z�|y��O�;y¢¡-� �'£r�¤ �!���}|���{�¥�¦�§:¨�¨ �!��©

� ��ª��I��|}|�z�«3��{I¬�����z �%ªrz�~ ��­�­ ¨�®!¯O���}�%���������h��ª���z�������{�����z ~}�}��|�����C¦Cz�{�{�z����}z�z%��|O°k{���±��Q������zk¦Cz�����{��h��������z��A��~}|Oy � ¡ ­ ¨�¡}² ©�©

Page 2: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

³ ´�µ-¶¸·e¹»ºk·�¼)½X¾»¿:À6Á�Á�µ�Â_·�½�À6ÃÅÄ�À6¼Æ À6Ã'ÇmÈ�µ�¼)Éʽ�·�½�ºTÃ,Ë̽�Í6µ�Ã3Î6ºTÁ Ï8µcÐ̼)À4Ñ8Á µ-ÉÒ¶CÓ

Ô�Õ=ÖØ×'ÖLÙ�Ú'Ö ÛiÜ�Ý�Þ

ß;à;á�â�ã�äæå1ç%á�èêé�á�å;ë ìLáQígèêëiìLáQîCïðá�å;ë ñ)á�ò�óõô%ì'óQò�ò�ó÷öùø:á�å ë ñ)árúüûiìIâAåCýmá�þ�þÿá��� ú���â��;óQþ����� � ��

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

�!�"$#&%('*)$+,%.-/#&0&%1#&2,3�"�254768!�'93�:;2,<9<9";:;6�'92�=>'93�6�2?#&%(25@�'9A&"B+C61";3�68D&";A/4E2�%F6G!�"HA&";@I";<J2�#&)K"L=,6M254N=�0IO)K"L%('9:L+5<P+5<9Q,2�%.'J6G!&)K3C4E2�%K3�2,<9@�'R=�QS=�2�=�3�-&)$)K";68%.'J:T";'9Q,"L=,@5+5<*0�"U#&%.2�D�<9"L)K3LVXWY=S+5A&A&'96�'92�=[ZP+53C\�'968!)$+,=I-]2,6G!�"L%K"G^_'93�61'R=�Q>:;2,<9<J";:;61'J2�=�3`254a6�";3�6$)$+b68%('9:;";3LZ�2�0&%BQ,2�+5<c'R=�:;<*0�A&";3?#&%(25@�'9A&'R=�Qd+,=>"L+53�-d+5:GO:;";3�3e6�2Tf8#&%�+5:;6�'9:L+5<9gK";'9Q,"L=&#&%(2�D�<9"L)K3N4E2�%c%(";3�"L+,%.:h!�"L%(3�Z�";Ai0�:L+b6�2�%(3e+,=�Aj31680�A&"L=,613k'*=�68!�"F:;2�)$)K0&=�'96l-\a!�2?+,%."�'*=,61"L%(";3�6�";A]'*=m6G!�"H2�%('9Q,'*=�3�2547<*+,%(QI"H31:L+5<9"j=�2�=�3�-&)$)K";68%.'J:K";'9Q,"L=I@�+5<*0�"`#&%(2�D�<9"L)K3LZ�+,=�Am'*=68!�"FA&";@,";<92�#&)K"L=I6a+,=�AC6�";3�6�'*=�QK254n=�0&)K"L%('9:L+5<�+5<9Q,2�%('968!&)B374o2�%p3�2,<9@�'*=�Q$:;!&+5<9<9"L=�Q,'*=�Qq=�2�=IOlr�"L%�)B'J61'R+I=";'9Q,"L=I@�+5<*0�"$#&%(2�D�<9"L)K3F'*=?%("L+5<�+,#&#�<9'J:L+b6�'92�=�3LV

Ws=P68!�'93�A&2�:L0&)B"L=,6LZ5\e"cA&";3�:L%('*D&"e68!�"e)K";:h!&+I=�'J3G)t4E2�%u2�D�68+5'*=�'*=�Q�+e:;2�#I-P254i68!�"e)$+568%('9:;";3�+,=�AP4o2�%0�3�'*=�Q`68!�"M:;2,<9<J";:;61'J2�=[VavF<9<�6�";3�6a)�+568%('9:;";3F:L0&%�%("L=I6�<9-?'*=�:;<*0�A&";A]'*=?6G!�"�:;2,<9<9";:;6�'92�=]+,%."�A&2�:L0&)K"L=,61";A'*=`vP#&#&"L=�A&'9:;";3LV

w xt��yazF��{���zN�������|�a}/��~������F�����7���[�����

�!�"L%("�+I%("F4E2�0&%eA&'*%(";:;6�2�%('9";3F'*=`68!�"M:;2,<9<J";:;61'J2�=[�

�������L���[�L�&�i� :;2�=,6G+5'*=�3n68!�"e#&2,316�3�:L%('*#�6[�i<9"e254&68!�'937%("L#&2�%.6n+,=�A�6G!�"7#&2,3�6G%(3�:L%('*#�6��i<J";3�2b4�#�'9:;680&%(";3'R=�:;<*0�A&";Am'*=`68!�"MA&2�:L0�"L)B"L=,6LV

�U�_�[�,�&������ :;2�=,6G+5'*=�3�68!�"�0�6�'9<9'96l-`%(2�0�61'R=�";3F'*=C���P�� ��evP�MZi��+,=�AC�]+56�<*+,DC�TOo�i<9";3e4E2�%kD&+b3�'9:)$+,=�'9<*#&0�<R+b6�'92�=�3H+,=�Am:;2�)�#&0�68+56�'92�=�3F254768!�"K)$+568%('9:;";3P'*=�:;<*0�A&";A�'*=T68!�'93P:;2,<9<9";:;6�'92�=[Z�3G0�:h!T+53%("L+5A`2�%c\a%('96�"K+K38#&+,%.3�"�)$+568%.'�^C'R=�68!�"HrF� 4E2�%�)$+56LZ&)$+b68%('¡^�OY@I";:;6�2�%e)K0�<J61'R#�<9'9:L+56�'92�=/";6�:,V

����¢I�_¢�� :;2�=I68+5'*=�3$6G!�"`Ai+568+��i<9";3j254P6�";3�6$)$+b68%('9:;";3$\a!�'9:;!£+,%("?#&%.";3�"L=,61";Ad'R= 68!�"`3�68+I=�Ai+,%(Ara+,%.\k";<9<¡Ol�c";2,'*=�Q$4o2�%�)�+56LV

¤s¥[¦L§�¨e©[ª�«o¬$©[­G¨7¨¯®L°�°,ª�«Y±o²(³�§µ´j°5­�«Y±c¶L·�¸�¹;ºm»1«Y­�´L±e¼�¹L½¾¯¿8À�ÁlÀG¿;Â�ÃM­�´5³$§µ´$°5­�«Y±c¶L·KÄ�Å�ÆÇ»1«Y­1´L±kÄ�Æ&¾¯º_È�ÉGÀ�¾¿GÊ8ÆËnÌ8ÂGÌÍÁl¿�ÎÏ Än²s°�­1«Y±oÐe²s´L±nª1ÑiÒP­8±¯¦5²(Ðk­G±¯§�Ó(¨(Ô,Õ�´�§�Ö8²s«Y¨¯§�±¯·Pª�Ñi×�²s´L±¯®5Óo¬L·GÔ�Ø�²sÙ;§µ´�»G±oª�´�Ô,×�ÚmÊ8É;Â�ÉGÛ�ÎÜ Ò�¹PÁGÁ8Á(É�Ô�¹;­1´�³;§�­F¸�­8±¯§�ª1´�­1Ý_Ø�­1¶bª1«Y­G±oª�«o§�²(¨�Þ�Å/ß�ª.ÙàÂ�ÃGÉGÉLÔ,¼�ݵ¶L®5áG®�²s«YáG®�²GÔ�¸�ÒSÃhâÍÁ(ÃhÂÍÎã ½[ª8Ðc°�®�±o²s«n¹;Ós§�²s´�Ó(²nÄ�§�ÖG§�¨¯§�ª1´�­�´5³�ÒP­8±¯¦5²(Ðk­G±¯§�Ó(¨[Än²s°�­1«Y±oÐe²s´L±(ÔLÕ�´�§�Ö8²s«Y¨¯§�±¯·�ª1Ñ_½[­1ݵ§µÑRª1«o´L§�­�Ô5ß�²s«o¬;²sÝ�²l·GÔ�½u¼j¿GÊhâGÌ1ÉLÎä Än²s°�­1«Y±oÐe²s´L±aª1Ñk½[ªGÐ7°�®�±o²s«�¹;Ós§�²s´�Ó(²GÔ�Õ�´L§�ÖG²s«Y¨¯§�±å·`ª1Ñ7¥&²s´L´5²l¨o¨o²(²GÔn×�´5ª(ÙLÖG§µÝµÝ�²GÔ7¥�¸�Àhâ1¿8¿GÛC­�´5³`ÒP­8±¯¦5²lÐe­G±¯§�Ó(­�Ý

¹;Ós§�²s´�Ó(²(¨7¹;²(Ó(±¯§�ª1´�Ô�Å�­1¬aË[§�³L»G²7¸�­G±¯§�ª�´5­�ÝiØ�­�¶,ª1«Y­8±oª1«Y·GÔ�Å�­�¬FË[§�³L»G²GÔ,¥�¸?À;â�ÃGÀ�Á8Î

æ

Page 3: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

�U��¢I�iç,è���� :;2�=I68+5'*=�3�68!�"P61";3�6a)$+56G%('9:;";3k\F!�'J:;!?+I%("�#&%(";3�"L=I6�";A`'*=`68!�"�)�+568%('¡^�OY@,";:;6�2�%e#&%(2�Ai0�:;64E2�%1)$+5672�%e'*=`68!�"P380&D&%.2�0�6�'*=�"M4E2�%1)$+56LV

é êë�7ì �[�í�FîM��z��G�ï��~������F�����c���������

�!�"$"L=I6�'*%("$:;2I<J<9";:;6�'92�=�ðoA&2�:L0&)K"L=I6LZ�3�2b4E6(\�+,%("K+,=�AmAi+568+,ñF'93H+�@5+5'9<R+ID�<J"C68!&%(2�0�Q�!TA&'R%.";:;6�";<9";:;68%(2�=�'9:68%�+I=�3(4E"L%N2�=C68!�"�ò ¢I�_è�Ló ò ¢�èIôi�5� Z�+�\k"LD`%.";3�2�0&%(:;"�4E2�%N6�";3�6a)$+b68%('¡^q:;2I<J<9";:;6�'92�=�3�Va �!�"�õF��ö÷254�68!�"�]+568%�%.'�^&�]+,%�ø5";6c'93�ù ���Iú�û����L�i¢I� ù�ü ���Iç�� üYý �Iþi� ò ¢I�&èi�;ó ò ¢�èIôi�5� V

ÿ � ze��u�����M����� zN��� zF�����[z�yF�

�!�"L%("�+I%("a6G!&%(";"�4o2�%�)�+56�37'*=�\a!�'9:h!C6�2$%("L#&%.";3�"L=,6e68!�"P3G#&+,%(3�"P)$+568%.'J:;";3e'*=`6G!�"a:;2,<9<9";:;6�'92�=[Z[=&+,)K";<9-68!�"K3�68+I=�Ai+,%(AÇrF+,%(\e";<9<¡Ol�c2�";'*=�Q�ðsra�eñ 38#&+,%(3�"K)$+568%.'�^`4o2�%�)�+56LZ&68!�"$)$+b68%('¡^�OY@I";:;6�2�%�)K0�<96�'*#�<9'J:L+b6�'92�=4o2�%�)$+56�Z�+,=�AT68!�"P380&D&%(2�0�61'R=�"�4E2�%�)$+56LV

�� �� ���������������! #"%$&�������'����() #"+*-,�$&.0/1"2��$&�43 �!�"a)�+568%('9:;";37316�2�%(";A$'*=�Ai+568+ �i<9";3�+,%("�316�2�%(";AK'*=$3G#&+,%(3�"�:;2I<R0&)�=K4o2�%�)$+b6�ðo'oVµ",V*Z,3168+,=�Ai+,%(A$rF+,%(\e";<9<¡O�c2�";'*=�QF4o2�%�)$+b68ñ;V65Põ�6�'9<9'96(-H%(2�0�61'R=�";3 ��è��b¢��5� ü�7a+,=�A �búiè,�I�_� ü�7a:L+,=MD&"�0�3�";A�4E2�%�%("L+5A&'*=�QF2�%[\a%.'J61'R=�Q+m%("L+5<c38#&+,%(3�"`)$+56G%('¡^�'*=÷68!�'93K4E2�%�)$+56P'*=÷���P�n ��Nvà�MV�8 è&�,¢��b� ü-7]+,=�A�8 úièI�,�&� ü�7]+,%("C:;2�)$#�<9"G^@,"L%(31'J2�=�3LV ��è&�,¢�� ù:9Nü � 'J3e68!�"���@,"L%.3�'92�=[V��]+56�<*+,DK�TOo�i<9";3 �5�4; ù:9�ü � +,=�A<8 �4; ù�9�ü � :L+,=`D�"�0�3�";A`6�2\a%('96�"�+�%("L+5<n+,=�A`:;2�)$#�<9"G^?38#&+,%(3�"�)�+568%('9:;";3�'*=`�mv7 �öuvà�S612$68!�"�rF�d4o2�%�)�+56LZ&%(";38#�";:;6�'9@,";<9-,V

!�"P4o2,<9<J25\�'*=�Q`'93�+CD&%('9"G4k380&)$)�+,%(-`254768!�"M:;2�)$#&%(";313�";Am:;2,<*0&)$=T3�6�2�%�+bQ,"P3�:;!�"L)K",VF�i2�%�)B2�%("A&";68+5'9<93LZ3�";"P68!�"Kõ�3�"L%>=µ3@?�0�'9A&"P4o2�%e68!�"�rF+,%(\e";<9<¡Ol�c2�";'*=�QBA&#&+,%(31"��]+568%('¡^q�N2,<9<J";:;61'J2�=[V

Ws=`+,=I-j38#&+I%(3�"�)$+56G%('¡^j4o2�%�)$+b6k2�=�<J-`6G!�"�=�2�=IO-C;"L%(2$"L=I68%('9";3F254p+�)$+568%('¡^?+,%("F3�6�2�%.";A�V�và=C"L=I68%(-'93K38#&";:;'¡�i";A£DI-Ç'96�3$%(25\X'*=�A&"G^�Z�:;2,<*0&)$=÷'*=�A&"G^uZc+,=�A]@�+b<R0�",VTWY=>38#&+,%(3�"�:;2,<*0&)$=>4E2�%�)$+56�+�3�'*=�Q,<9"'*=,61";Q,"L%K+,%�%�+�-]+,=�A£+`31'R=�QI<J"EDi2�+56�'*=�Q]#&2I'R=I6j+,%1%�+�-Ç+,%("`0�3�";Ad6�2T3�6�2�%."j68!�"`%(25\ '*=�A&'9:;";3?+,=�A÷68!�"@�+b<R0�";3�Z7%(";38#�";:;6�'9@,";<9-,Z�4o2�%P+5<9<e:;2,<*0&)$=�3LV? !�"jAi+56G+�4E2�%�"L+5:;!]:;2,<*0&)$=÷+,%("�3�6�2�%(";A>'R=>:;2�=�3�";:L0�61'J@I"<92�:L+b6�'92�=�3LZ,6G!�"�:;2,<*0&)$=�3k+I%("e3�6�2�%(";AK'*=K2�%.A&"L%;Z,+,=�A$68!�"L%."k'93e=�2�38#&+5:;"�D�";6l\e";"L=K:;2I<R0&)�=�3LV�vP=�2I68!�"L%'*=,61";Q,"L%�+,%�%1+L-C#&2,'*=I6�3a612H6G!�"P��%(3�6 "L=,68%.-$'*=`"L+5:;!`:;2,<*0&)$=[V

!�"738#&+,%.3�"k)$+b68%('¡^GF÷254i2�%(A&"L%IHj+,=�AK\�'968!JH+H�K�=�2�=IO-C;"L%(2P"L=,6G%('9";3n'937%("L#&%(";31"L=,6�";A$DI-�+LDi2�+56�'*=�Q#&2I'R=I6H+I%�%�+�-BMið æ ��H+H�K�ñF68!&+56P3�6�2�%(";3P68!�"K@�+5<*0�";3LZ�+,=T'*=I6�";Q,"L%�+I%�%�+�-ONPMð æ ��H+H�K�ñP68!&+56F3�6�2�%(";3P68!�"%(25\S'*=�A&'J:;";3�Z�+,=�AÇ+,=C'*=I6�";Q,"L%F+,%�%�+�-RQ#Mð æ �SHUT æ ñN\�'968!C68!�"H#&%.2�#&"L%(6(-C68!&+56�Q#Mið�VWT æ ñ�X æ #&2,'*=I6�36�2$6G!�"P<R+b3�6�";<9"L)K"L=I6a'*=`:;2I<R0&)�=BV[V

�� ZY [\��3��S]_^�`bac�4 :3S"+�B$!,d*_3�]-��*_]- #��3�]-"%.e/f"+��$&��3A�2�)K"e254[6�";3�67)$+b68%('9:;";3�'*=K68!�'937:;2,<9<9";:;6�'92�=C+,%("�#&%(";3�"L=I6�";A$'*=$+FA&'hg�"L%("L=I6�4E2�%�)$+56�68!&+,=M68!�"e3�68+I=�Ai+,%(ArF+,%(\e";<9<�Ol�c2�";'*=�QP4o2�%�)$+56�V�WY=�3�6�"L+bAH2b4_3�612�%('*=�Qa6G!�"k)$+56G%('¡^�'R=K+ Ai+568+c�i<9",ZI68!�"k)$+b68%('¡^�'93�%("L#&%.";3�"L=,61";A+53n+N380&D&%(2�0�6�'*=�"c68!&+56�:;2�)�#&0�6�";3�68!�"e)$+568%('¡^�OY@,";:;6�2�%[)K0�<96�'*#�<9'J:L+b6�'92�=�3iFkj�+,=�A4l52�%%Fkm+j 4E2�%[+eQI'J@I"L=jdZ[\a!�"L%("Uj '93K+C3�'*=�Q,<9"`@,";:;6�2�%F2�%P+TD�<92�:;øT@,";:;6�2�%�ðY)$+568%.'�^iñ;VK �!�";3�"`)$+568%.'J:;";3K+,%("K254�@�+I%('*+,D�<9"3�'6C;",Z[+,=�A`254o6�"L=CA&"L#&"L=�Am2�=`#&+,%1+,)K";6�"L%(3e68!&+b6�'*=nD�0�"L=�:;"H6G!�"P";'JQI"L=,@5+5<*0�";3LVoqp ÎL¹5Î�Ä�®sr_Ô5Ë�Î�ÈcÎLÈ�«o§�Ðe²(¨�­1´�³ut5ÎÍÈcÎ�Ø�²(©[§�¨(ÔLÕ�¨o²s«wv ¨�È�®L§�³�²�Ñ*ª�«�±¯¦�²�x�­�«Y©[²sݵݵ¾åß[ª;²s§µ´�»a¹h°�­1«Y¨o²�ÒP­8±¯«o§µÙà½uª�ݵÝ�²(Ó(±¯§�ª�´

y*Ë�²sÝ�²(­8¨o² p{z Ô_½[ÆË�ºL¼n½�¹5Ô,¥�Ëc|1Þ,¼�|�¿;Ìb|�ÃGÛLÔ[Å�Ól±(ÎPÁ(¿G¿hÌÍÎ p ±�§�¨c­�Ö�­1§µÝ�­�¶�Ý�²PÖG§�­�­1´�ª1´L·;Ðkª1®�¨cÑ*±¯°�}cª�«o§�ª1´�Î Ól²s«oÑ*­GÓl¨(Î Ñ9«�ÔiÓ(³°L®�¶~|.¦�­1«Y©[²YÝµÝ ¶,ª;²s§µ´�»�Î

Page 4: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

�� {� ��,����:"%,�3�]-.���/f"+�:$���3WY=T380&D&%.2�0�6�'*=�"M4E2�%1)$+56�68!�"K0�3�"L% Q,"L=�"L%�+56�";3P+C)$+568%('¡^?254�38#�";:;'��i";A÷2�%(A&"L%�ðY+,=�AÇ#&+I%�+,)K";6�"L% @�+b<R0�";3'¡4�+I#&#�<J'9:L+,D�<9"Lñ`%("L#&%.";3�"L=,61";Ad'R=÷:;2�)$#&%(";3�3�";Ad:;2I<R0&)�=÷2�%M:;2�)$#&%(";3�31";A£%(25\ 4o2�%�)�+56LV] �!�"`)$+568%.'�^'93�3�612�%(";Am'*=]6(\e2j'*=I6�";Q,"L%M+,%�%�+�-�3à+,=�A>2�=�"j%("L+5<7+I%�%�+�-,VH�N2�0�6�'*=�";3M4E2�%P#�"L%s4o2�%�)K'*=�QÇ)�+568%('¡^�OY@,";:;6�2�%#&%(2�Ai0�:;6�3F";6�:,V�+,%("�+�@�+5'9<*+,D�<9"K'*=`68!�"�0�6�'9<9'96�'9";3�A&'*%(";:;6�2�%(-j2b4�68!�"P:;2I<J<9";:;6�'92�=[V

� � �+�K���a�1�7�Kya��� �N��� zF��� �������i�����P���G��y ��� ��~�� ���F�����c���������

�!�'93F\k2�%�øK'93a'*=q4 +5:;6F+K:;2�)$#�'9<*+56�'92�=�254�"bg�2�%.6�3e254p)�+,=,-`#&";2�#�<J",V� !�";'R%F=&+,)K";3 \�'9<J<�D&"K+5:;ø�=�25\�<¡O";A&Q,";Am\�'968!�68!�"$+53�3�:;2,'*+561";AÇ)$+56G%('9:;";3a'*=T68!�"�:;2I<J<9";:;6�'92�=[VJ�]"�\�'9<9<7ø5";"L#m0&#&Ai+b6�'*=�Q`68!�"�:;2,<9<9";:;6�'92�=+53P=�";\ 6�";316à#&%(2�D�<J"L)B3�D&";:;2�)K"C+L@5+5'9<*+,D�<9",V�v�6�+C#&%(2�#�"L%F6�'*)K",Z�\e"K#�<R+I=m6�2`%(";:;2�%(A]#&"L%l4E2�%1)$+,=�:;"Ai+568+B254nA&'hg�"L%("L=,6P=�0&)K"L%('9:L+5<n)K";6G!�2�A&3P+,=�A`:;!&+,=�<9<J"L=�QI";3�+53�3�2�:;'*+56�";A`\�'968!�68!�";3�"P6�";3�6F#&%(2�D�<9"L)K3LV

��2�0&%P:;2�)$)B"L=,6�3K+,=�A]:;2�=I68%('*D&0�6�'92�=�3$+,%."$\e";<J:;2�)K";A�VB��<9"L+531"j:;2�=I68+5:;6K�e+5'kDI-m3�"L=�A&'*=�Q]";<9";:GO68%(2�=�'J:P)$+5'9<[6�2KD&+5'��P)K3LV�0&øI-,Vµ";Ai0C2�%eDI-$\a%('96�'*=�QK6�2i���P"L#&+,%(6G)K"L=,6c254��]+568!�"L)$+561'J:;3�Z_õF=�'9@,"L%(3�'96(-$254�F"L=I680�:høI-,Ziö["G^&'*=�Q,6�2�=[Z+�u�����S�n�S�&Z�õuA�vKV

�����C�e���K�q����� � ze�i���������£�G���F��zF���Kze��� ê�� �W�Kze�%�[� � ze����q����� ��� ze�

�����C�e���K�q��� � � ze�i���������X�G� � ze�i���q�W¡�¢£�7���[���¤£d��������������� �c� ze�

�����C�e���K�q�¦¥ � � ze���������� �G�§�M��îM���P�P���h���¨��� ��� ze�

�����C�e���K�q�©ª�¬«`�w�� �F}­ ���1���(�:®°¯X�P�P���h�����

±

Page 5: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

�����C�e���K�q��

� ze�i��������� �G�¦�F��zF���Kze��� ê�� �W�Kze�%��� � ze�i���q���� ��� ze�

�P'93�:;'*#�<9'R=�" �]+568%('¡^²�F";-�3

:;2�)$#&0�6G+56�'92�=&+5<�D�0�'9AmA&-_=&+,)B'J:;3 vF� �S± �S�S� �õF� æ �S�&Z& �õF� æ �S�S��L��� � �S��Z_�������:�S�&Z&�L��� æ³� �S��Z_����� � ����´&Z&�L��� � �S�Iö�Z�L�������S�Iö�Z&�L���L´S�S�,ö�Z�L��� æ³� �S�,öpZi�L��� � ����´Iö�Z&�L��� ±S� �S�,ö�Pö[� æ �S��Z_�Pöu�µ�n�S�&Z&�Pö[� æ �S�S��Zi�Pö[� � �S�S��Z_�Pöu�µ�n�S�S�

";<9";:;68%('9:L+5<�"L=�Q,'*=�";"L%('*=�Q �c���¶� � vKZ_�c���¶� � �FZ&�c��� ±S· ´5vKZ�c��� ±S· ´,�FZ��c���¶¸S´ � vHZ&�c���¶¸S´ � �FZ�u�ÇvW� æ³� ZS�u� �L� æs� ZS�u� � ����´&Zn�¹�¶´ æs·S� Z�u��? · � æ vKZ��¹�&? · � æ �º ru¸S�S´&Z º ru´S´ � Z º r æ ��´��

» 0&+,=,6G0&) :h!�"L)B'J3168%(- º � ±S� �iZ º � � � ± �)$+561"L%('*+5<[3�:;'9"L=�:;" ���I�¼? � �S�S��Z_� �%�W? æ �n�S�S�#�<*+538)$+�#&!,-�3�'9:;3 �]r@�W� æ �5vKZ,�]r@�W� æ �,�FZ��/rk� æ³� ´n�5vHZI�]r@� æ³� ´S�,�

�]r@� ±n� �S�5vKZ,�]rk� ±S� �S�,�FZI�/rk�W��´S�n�,�FZ��]rk�W��´S�S�I�:;2�)$#&0�61"L%e3�:;'9"L=�:;" ö��W� æ � ±%(2�D�2,6�'9:P:;2�=I68%(2,< ���LA:��´S�bvHZi� �iA:�:´S�,�0&=&ø�=�2�\F= �@� æ �~�iZ&�@�u���S�&Z&�@�W�n�S�

!�"�4o2,<9<92�\ 'R=�QKAi+56G+P�i<9";3a+I%("a+5<93�2$+�@�+5'9<*+,D�<9",Z[D&0�6k6G!�"a:;2�%1%(";38#&2�=�A&'R=�Q$)$+b68%('9:;";3�+,%("FA&";3�:L%('*D&";A'*=`vP#&#&"L=�A&'9:;";3H�S+,=�A?��V

�P'93�:;'*#�<J'*=�" �]+56G%('¡^E�F";-�3

:;2�)$#&0�68+b6�'92�=&+5<�D�0�'9AÇA&-&=&+,)K'9:;3 ���S� � �S�&Z&���S� � �S�S�&Z���W�R½ æ Z&�L�W�R½ � Z&�L�W�R½ ± Z��L�W�R½��Z_���W�R½��&Z&�L�W�R½��&Z�d�R½ �S� �&Z#���R½ · �S�&Z��d�R½ �S· � æ V

va"L%.2�";<*+53�61'J:;'96(- �Pö%A · �&Zi �Pö%A ± ���&Z ��Pö%A æ � · �&Zi ��Pö%A � �S�S�&Z �Pö%A:���S�S��V

:;2�)$#&0�68+b6�'92�=&+5<�)$+568!�"L)�+56�'9:;3 �u�R½������n�5vHZ&�u�R½������S�I�aV�]+,%�ø525@K:h!&+b'R=T)K2�A&";<J'*=�Q �2� æs± �&Z&�+�&� · �&Z&�+�¶� æ � æ V

Page 6: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ ¾ ���+.��s]-�4.I3��c3S�+��]_*_]_3ÁÀ�ÂÃ.���*_À��s]-�­"�/GÄ��:a�]-�#�n`³��3~"IÅ%�4�µ��"+*_ac�Æ�

Ç+È%É%Ê'Ë~Ì�ÍFvKV&�]+,!&+�Î�+,=[Z&��vWA�vXö[";\�'93à�N";3�"L+,%(:;!?�e"L=I6�"L%ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍH�N2�)$#&0�68+561'J2�=&+5<�D�0�'JAmA&-&=&+,)K'9:;3ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�'93?6�";316?)$+568%('¡^�'93`4Y%(2�)ï68%1+,=�3�'9"L=,6`3168+,D�'9<9'J6(- +I=&+5<9-�3�'93T254B�F+�@�'9"L%sOPA�6�2�ø5";3

3�2,<9@,"L%(3LV� !�"?2�%(A&"L%�254�68!�"T6�";3�6`)$+568%.'�^£'93 �S± �S�n�&V !�"Ç";'9Q,"L=I@�+b<R0�";3m+,=�A£";'9Q,"L=I@,";:;6�2�%(3+,%("P+53�3�2�:;'*+56�";AC\�'968!C38)$+5<9<�#&"L%.680&%�D&+56�'92�=`+I=&+5<9-�3�'93�2b4�+���=�'J61"PA&'Üg�"L%("L=�:;"K%("L#&%(";3�"L=I68+561'J2�=$25468!�"j�F+L@�'9"L%sOPA�6�2�øb";3�" » 0&+56�'92�=�3P4o2�%kDi25\�3M2�@I"L%P+5'*%s4E2I'J<93LVOA&0�:;!]";'9Q,"L=�31-�3�61"L) '*=I4E2�%�)$+56�'92�=/'J3:;"L=,68%1+5<�6�2`3�68+ID�'J<9'96(-�+,=&+5<9-�3�'93K254a�a+�@�'J"L%lOPA�6�2�ø5";3M3�2,<9@,"L%(3LZu4E2�%PA&";6�"L%�)B'R=�'*=�Qm68!�"j)B2�Ai+5<eD&+�O!&+L@�'92�%�254�D�0�'JAC'*=j+kD�0�'9A�OY3�6G%�0�:;680&%("F'*=,6�"L%1+5:;6�'92�=$#&%(2�D�<J"L) +,=�AK4o2�%�A&";@,";<92�#&)K"L=I6e254u%.";Ai0�:;";A2�%(A&"L%e)K2�A&";<J3PD&+53�";A`2�=$@5+,%('*+56�'92�=&+5<�#&%('*=�:;'R#�<9";3F4o2�%e�a+�@�'9"L%sOPA�6�2�ø5";3 3�2,<9@,"L%(3LVpv %("L#&"L=�31"L=,68+�O6�'9@,"a";'9Q,"L=I@�+b<R0�"K:;2�=�316�";<9<R+b6�'92�=C'93a%("L#&2�%(6�";A`'*=C68!�"F4o2,<9<J25\�'*=�Qj%."G4E"L%("L=�:;",Z�\a!�"L%("P68!�"�ö�+I=�:ÁC;2,3#&%(2�:;";Ai0&%."`\�'968!d=�2]%("LD�'92�%(68!�2,QI2�=&+5<9'6CL+56�'92�=d'93j0�31";A�V� �!�"?=�0&)KD&"L%K254Pö�+,=�:ÁC;2,3$'96�"L%1+56�'92�=#&"L%s4o2�%�)K";A?%." » 0�'*%(";A�4E2�%N:;2�=,@I"L%(Q,"L=�:;"P\�+53aD�";6l\e";"L= æ �n�S�M6�2 æ³� �n�P4o2�%c:;2�=I@,"L%(Q,"L=�:;",V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"vF� �S± �S�S� �S± �S�n� ��´~� � �S� %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ

vHV��]+,!&+~Î.+I=[Z�½�V7rMV��P25\e";<9<EZe+,=�Aá�$V��c<9'93�3LV¶½p'JQI"L=,@5+5<*0�"Ç:L+b<J:L0�<*+561'J2�= #&%.2�:;";Ai0&%("�4E2�%$+,=½70�<9"L%wl,�F+�@�'9"L%sOPA�6�2�ø5";3`3�2,<9@,"L%�\�'968!S+,#&#�<9'9:L+56�'92�=�3?612­Di25\�3C25@,"L%j+b'R%l4E2,'9<93LV¤â4ãWä�åçæ�ä�èué4ê#ë-ãì�íSî�ã Z · ¸&� ±S· ´'ï�� æ³± Z æs·S·&æ V

Page 7: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ð�O"%,�.�(��4(�ñu]-.�*_]-.��óòÃ]-�Æ*-�4 :3��S]- �ôõ�:ac�Æöc,�]-(��

Ç+È%É%Ê'Ë~Ì�ÍP�FV4A&!�0�<J61CH+,=�AÃA[V4?P";Ai=�";-,ZiõF=I@�'9"L%(3�'96(-`254��F"L=,6G0�:høI-ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍG½p<9";:;68%('9:L+5<�"L=�Q,'*=�";"L%('*=�QÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍM�m'J<9<9'*)K";6�"L%M\�+�@,"�6�";:;!&=�2,<92,Q,-m!&+53�D&";"L=>+,#&#�<9'J";A÷'*=m%�+5Ai+,%;Z[:;2�)$)K0&=�'J:L+b6�'92�=[Z

%�+5A&'92�)K";68%.-à+,=�AK'*=�3�68%10&)K"L=,613LVn �!�"c��=�<9'*=�"�\�+�@,";Q�0�'9A&"7'937+,=�"G^�+,)�#�<J"e254�+FD&2�0&=�A&";AH\�+�@,";Q5O0�'JA&"F\a!�'9:;!K2�#&"L%1+56�";37"G^&68%("L)B";<J-K\e";<9<i'*=�68!�"a)K'9<9<9'R)B";6�"L%e\�+�@,"738#�";:;68%�0&)`Vc �!�'937Q,"L=�"L%�+b<J'6C;";A";'JQI"L=,@5+5<*0�"B#&%.2�D�<9"L)

F¹÷<øúù4ûR÷3�680�A&'9";A?'*=ÃüÜA&!�0�<96wCbý�+,%('93�";3 'R=�68!�"F��=�'96�"�";<9"L)K"L=I6a+,=&+b<J-�3�'93F254n68!�"P�]+�^&\e";<J<_=µ3 " » 0&+561'J2�=mðo3�";"üµ�i"L%�=&+I=�A&"ÁCB+I=�A/ö�0nýk+,=�A!üÿþ,'*=nýEñ 4o2�% ��=�A&'*=�Q?68!�"$#&%(2�#&+bQ�+56�'*=�Q`)K2�A&";3K+,=�A])$+5Q,"L=I6�'9:M�i";<9A#&%(25�i<9";3j2b4�+m%(";:;68+I=�Q�0�<*+,%$\�+�@,";Q�0�'9A&"C�i<9<9";AS\�'968!dA&'9";<9";:;68%('9:]+,=�A���½7� 3168%�0�:;680&%(";3�V£ �!�"";'JQI"L=,@5+5<*0�";3�+,=�A`:;2�%�%(";3G#&2�=�A&'*=�Q`";'9Q,"L=I@,";:;6�2�%(3 254�'*=I6�"L%(";3�6F+,%("P68!�"P2�=�";3F\�'968!`#�2,3�'96�'9@,"$%("L+5<#&+,%(6�3LZ\a!�'9:;!?:;2�%�%(";38#�2�=�Am6�2j6G!�"B#&%.2�#&+5Q�+561'J2�=?)K2�A&";3P254N+�\�+�@,";Q�0�'9A&",VP �!�"$)$+568%('¡^­F 'J3=�2�=IOY3�-&)$)K";68%('9:`+,=�Açû 'J3K3�-&)$)K";6G%('9:j#&2,31'J61'J@I"`A&"G��=�'J61",VÇ �!�2�0�Q�!�%."L+5<�Ai+568+�'J3K:;2,<9<9";:;6�";A!�"L%(",Z&'*=?+,#&#�<9'9:L+56�'92�=�3�Zi:;2�)�#�<J"G^Ç)�+568%('9:;";3P)$+�-jD&"M'R=I@,2,<9@,";A�V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"�c���¶� � v � � ���n� %("L+5<�c���¶� � � � � ± � � %("L+5<�7��� ±S· ´5v ±S· ´ ± �S¸S´ %("L+5<�c��� ±S· ´,� ±S· ´ �n·&æ � %("L+5<�7���¶¸S´ � v ¸S´ � ¸n� æ � %("L+5<�c���¶¸S´ � � ¸S´ � � · ´ � %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ

�aVsA&!�0�<96wC,Z,�c2�0&=�A&";A ��+�@,";Q�0�'9A&"i½p'JQI"L=&)K2�A&";3�Z5��'R=�'96�"@½p<J"L)B"L=,6��m";68!�2�ARA�2I<R0�61'J2�=[Z5�/+b3�6�"L%(3 �!�";3�'93LZ#�P"L#&+,%.68)K"L=I6k2b4d½p<J";:;6G%('9:L+5<�½c=�Q,'*=�";"L%('*=�QiZ[õa=I@�'9"L%(31'J6(-`254��F"L=I680�:høI-,Z æ³·n· �iV��V5vHVI�i"L%�=&+,=�A&"ÁC�+I=�AU�HV�ö�0[Z��7+,%('*+56�'92�=&+b<&��=�'96�"P";<9"L)K"L=I6N+I=&+5<9-�3�'93e254�A&'9";<9";:;68%('9:�\�+�@,";Q�0�'9A&"\�'968!`=�2�=`3G#&0&%('92�0�3�3�2,<*0�6�'92�=�3�Z�½p<J";:;6G%(2�=[V7ö[";616�"L%;V*Z � �&ð � �,ñÍ� �&æ³� �>ï ��æ³� �&Z æ³·S· ��VþiV�þ,'*=[Zk �!�"C��'*=�'96�" ½p<J"L)B"L=,6K�m";68!�2�Ad'R=!½p<9";:;68%(2�)$+bQ�=�";6�'9:;3LZ�þ,2�!&=�� '9<9";-�� A�2�=�3LZ7Ws=�:,V*Z��";\¶��2�%�øiZ æ³·S·S± V

Page 8: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿�����,� SÅ�[ �43��S]- #���Ç+È%É%Ê'Ë~Ì�ÍuþiVi� 0�<J<*0&)`Z�Ws�c� �V#þiV#��+b6�3�2�=C�e";3�"L+,%.:h!T�e"L=,61"L%ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍH0&=&ø�=�25\a=ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍMva:;:;2�%(A&'*=�QH612P68!�"a%("G4o"L%("L=�:;",Z�68!�'9373�";6c254�6�";3�67)$+b68%('9:;";37'93e380&#&#�<9'9";A?D,-$��!�0�:hø

A�'J";\e"L%(6e254n� 2�%(68!C��+,%.2,<9'R=&+�A�68+b6�",V� �!�"à+I#&#�<J'9:L+561'J2�=?D&+5:;ø,Q�%(2�0&=�A$254�68!�";3�"P)$+568%('9:;";3e'93�=�2,6:;<J"L+I%;V? �!�"$2�D:Îl";:;61'J@I"j'93K6�2?:;2�)$#&0�6�"$68!�2I3�"$";'9Q,"L=I@�+5<*0�";3C\�'968!�)�+5Q�=�'9680�A&";3KQ�%("L+561"L%F68!&+,=æ V !�"?)$+568%('9:;";3`!&+�@,"`3�";@,"L%�+b<a)K0�<J61'R#�<9"]";'9Q,"L=I@�+b<R0�";3?+I=�A£:;<*0�3�6�"L%(";A�V� !�"?";'9Q,"L=I@�+5<*0�";32�:;:L0&% '*=`:;<*0�3�6�"L%(3F25472�%.A&"L%L�&"L+5:;!`:;<*0�3�61"L%�:;2�=�31'J316�3a2b4�6(\e2$#&+5'*%(3a2b47@,"L%(-`=�"L+,%(<9-?)K0�<J61'R#�<9"";'JQI"L=,@5+5<*0�";3LV

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"�k� æ ��� æ ��� ·S·n� %("L+5<�k�u���S� ���S� � ´S�S� %("L+5<�k�W�S�S� �S�S� ± ´S´�� %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍþiV,��0�<9<*0&) +,=�A$�PV5vKV��S'J<9<92�0�Q�!�DI-,Z�v&�7%�+b:;6�'9:L+5<Ø�c%(2�:;";Ai0&%("e4o2�%n�N2�)$#&0�6�'*=�QG½p'9Q,"L=,@5+5<*0�";37254ö�+,%(Q,"WA&#&+,%(31"à� 2�=�3�-&)$)K";68%.'J:P�]+56G%('9:;";3LZ&WY=`ö�+,%.Q,"¼A�:L+b<J"�½�'9Q,"L=I@�+5<*0�"��7%(2�D�<9"L)`Z:þiV��0�<9<R0&)+,=�A?�PV&vKV#�S'9<J<92�0�Q�!�DI-?";A&3LV�½�<93�";@�'J"L%uA�:;'9"L=�:;"U�70&D[Ve��2�%.68!IOlr�2I<J<*+,=�A�Z æ³· ´S�&V

¸

Page 9: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ð[\"�(��#*��� � ]-.���.�� *-�4 :3���"%$&��öc.��Æ3�]- ­ñu]-�#*-(Ç+È%É%Ê'Ë~Ì�ÍWA[ViW1Vi��!�0[Ziõa=I@�'J"L%.3�'96l-`2b4d�P+,=�3G+53ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+Í º 0&+I=,680&)ë:;!�"L)K'93�68%(-ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�"`#&!,-�3�'9:L+5<�#&%(2�D�<9"L) '93K6�2?A&";61"L%�)K'*=�"`68!�"C<R+b3�"L%sOY'*=�Ai0�:;";A )K2I<J";:L0�<*+,%�%(";3(O

2�=&+,=�:;"m3�68+561";3j254�� � '*=�+,=S";<9";:;68%.25Ol)$+5Q�=�";61'J:/�i";<JA�V� !�"Ç:;2�)$#�<9"G^�OY3�:L+b<J'*=�Q�61";:h!&=�' » 0�"+,#&#�<9'J";A�6�2m68!�"C3�";<¡4åOl+5A�Î(2,'*=I6jra+I)K'9<J612�=�'*+,=÷4Y%(2�) » 0&+,=I6�'*0&) )K";:;!&+,=�'9:;3$-�'9";<JA&3`+T:;2�)$#�<9"G^3�-_)�)K";68%('9:?";'9Q,"L=I@�+b<R0�"÷#&%(2�D�<9"L)F¹÷úø�ù4÷�V� �2÷A&";6�"L%�)K'*=�"m68!�"?3168+,D�'9<9'J6(-�254�68!�"?3168+56�",Z��<J2 » 0�";6�"G^�#�2�=�"L=I6�3à+I%("P:;2�)$#&0�6�";A?DI-C68!�"�3�6G+,=�Ai+,%(A`�2�0&%('9"L%sOYQ�%('9Am)K";68!�2�A�V �!�"K:;2�)$#&0�68+561'J2�=&+5<n6G+538øC'93P6�2CA&";6�"L%�)K'*=�"$68!�"M";'9Q,"L=,@5+5<*0�";3$=�"L+,%(";3�6F6�2C2�%P+,D&25@,"M68!�"$%("L+5<+�^_'93LV� �!�"c�iQ�0&%("cA&'J3G#�<R+�-�3�68!�"7";'9Q,"L=I@�+b<R0�";3c:;2�)$#&0�6�";AKD,-P6G!�" º �d+5<9Q,2�%.'J6G!&)S4o2�%[68!�"e)$+568%.'�^º � � � ± �V

−2 −1 0 1 2 3 4−0.12

−0.1

−0.08

−0.06

−0.04

−0.02

0

0.02

real part

imag

inar

y pa

rt

Eigenvalues of QC2534

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"º � ±S� � ±S� � � �S¸ ± � :;2�)$#�<9"G^º � � � ± � � � ± � ��� ±S± �S� :;2�)$#�<9"G^

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍA[V�W�Ve��!�0[Z��e2�)$#�<9"G^ » 0&+53�'9@�'*D&%�+b6�'92�=&+5<P"L=�"L%(Q,-÷4o2�%�)�+5<9'J3G) 4o2�%�'R=I6�"L=�3�"GOo�i";<9A )K0�<96�'*#&!�2,6�2�=+,=�A?+,D&25@,"GOY6G!&%(";38!�2,<9A?A&'93�312�:;'*+56�'92�=[�e:;2�)$#�<9"G^�OY3�:L+b<J'*=�QT�i2�0&%('9"L%sOYQ�%('9AÇrF+,)K'9<96�2�=�'*+,=m)K";68!�2�A�Zþ,2�0&%�=&+5<�254���!�"L)K'9:L+5<��7!I-�3�'9:;3LZ���2,<oV · �Zi��2V æs� Z4¸ · � æ ïظ · � · Z æ³·S·&æ V

´

Page 10: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ðò����¹,��s]-"%.�[ "�(��#* �c3S,�(�À&/f"+���U�SÀ��s3S��*��Ã��"��O3�� �c]-$!,�*-��3�]-"%.

Ç+È%É%Ê'Ë~Ì�ÍP�PV#�7+I=�QiZi�e'9:;"HõF=�'9@,"L%(3�'96(-ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+Í��]+561"L%('*+5<cA�:;'9"L=�:;"ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{Ñ£ �!�'93C'93?+m<*+,%(Q,"]=�2�=�3�-&)$)K";6G%('9:?3�68+I=�Ai+,%(A£";'9Q,"L=I@�+b<R0�"÷#&%(2�D�<9"L) 6G!&+56q+I%('93�";3

4 %(2�) 68!�"m3�68+,D�'9<9'96(- +,=&+5<9-�3�'93`254H+>:L%(-�3168+5<�Q�%.2�\ 68!d#&%(2�D�<9"L)`VX �2�A&";6�"L%1)K'*=�"]68!�"?3168+,D�'9<¡O'J6(-÷254a68!�"T'*=,6�"L%l4 +5:;'*+5< :L%(-�3168+5<9<9' CL+b6�'92�=d254�+]#�'9";:;"?2b4à3�2I<J'9A�:L%(-�3168+5<e3�2,<9'9A&'¡4E-�'*=�Qd'R=I6�2]312�)K"0&=�A&"L%(:;2�2I<J";A])K";<96LZ�3�2,<*0�6�'92�=�3F254n68!�"�4E2,<9<925\�'*=�Qj" » 0&+56�'92�=�3F+,%("P3�2�0�Q�!,6LV

æ� � T�� � "! �$#! � � T ! �$#! � � T ��%'& � ! #! � X(� ! #! �*),+ ø ù #.-X æ

æ T/� � ! #! � T!� % �10 T �2% ð 0 T3� ! 0! � ñ + ø ù 0 -# ø ��% 0 +56 � ø æ�45["L%(2R�P'*%('9:;!�<9";6aD&2�0&=�Ai+I%(-$:;2�=�A&'96�'92�=C'93e'*)$#&2,31";A?+567'*=I��=�'96(-,Vk �!�"F@�+I%('*+,D�<9" # '*=C68!�"a+ID&25@,"" » 0&+561'J2�=�3N%."L#&%(";3�"L=I6�3�68!�"P6�"L)�#&"L%�+56G0&%("à#�"L%(680&%�D&+b6�'92�=C254n68!�"P<9' » 0�'JA�Z[+,=�A 0 A&";3�:L%('*D&";3F68!�"'R=I6�"L%s4Y+5:;"�#�"L%(680&%�D&+561'J2�=`'*=m+K68%�+,=�3.4E2�%1)K";AÇðs#&+,%�+,D�2,<9'J:Lñ :;2�2�%(A&'*=&+56�"M3�-�316�"L)`V7 �!�"M:;2�=�3�68+I=,6% '93a6G!�"G��";:;<9";6à=�0&)KD&"L%;Ve �!�"M3�";:;2�=�A?" » 0&+56�'92�=�'93a38+b6�'93(�i";Am2�=�<9-?+56�68!�"P'*=I6�"L%s4Y+5:;" � ø æ V½�'9Q,"L=I@�+5<*0�";3�\�'968!�<R+I%(Q,";3�6n%."L+5<�#&+,%(613n+,%("�254&'*=,61"L%(";3�6LV� �!�";-P'*=�A&'J:L+b6�"e68!�"7Q�%.2�\ 68!�2�%[A&";:L+�-a25468!�"7'*=�'96�'*+5<iA&'93�6G0&%�D&+,=�:;"�+56�68!�"73�2I<J'9A�OY<9' » 0�' Aj'*=I6�"L%s4Y+5:;",V�vd:h!&+,=�QI"k2b4i@�+,%('*+,D�<9"�'93�0�3�";AK6�2P)$+,#68!�"H#&+,%.6�'*+5<nA&'hg�"L%("L=I6�'*+5<�" » 0&+561'J2�=`4Y%(2�) +,=�'R=I��=�'96�"�A&2�)$+5'*=T6�2`+K��=�'96�"$D&2�^çüÜ� - æ ý76çü æ - � ý(V �!�"�)$+568%.'�^C";'JQI"L=,@5+5<*0�"B#&%.2�D�<9"L) 4E2I<J<925\�3e4Y%(2�) A&'93�:L%(";61' CL+b6�'92�=?0�3�'*=�Q$6G!�"P3�68+,=�Ai+,%.Aj3�";:;2�=�A2�%(A&"L%c��=�'96�"MA&'Üg�"L%("L=�:;"�4E2�%�)K0�<R+b",V7 �!�"R��";:;<9";6à=�0&)KD&"L%F0�3�";A?!�"L%("M'J3 % ø¶� 4 �S�&V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"���I�¼? � �S�S� � �n�S� æ³�S± � · %("L+5<� �%�W? æ �n�S�S� æ �S�S�n� � · � ·S· %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ�PV#�7+,=�QiZÆ�$Vi�PV4A�2�%."L=�3�"L=[Z4�$VW�V&�m";'*%(2�=T+,=�AÇ�FV#�]";A&"L)�+,=[Z��F0&)K"L%('9:L+5<��e2�)�#&0�68+56�'92�=C25468!�"�ö['*=�"L+,%@A�68+ID�'J<9'96(-`254�68!�"¹�P'hgn0�3�'92�=��Ç2�A&";<4E2�%���%(-�3�68+5<+?�%(25\�6G!UA�'*)H0�<*+561'J2�=[Z� �";:h!&=�'9:L+5<�e"L#&2�%.6LZa �� · ��OP���iZL�P"L#&+I%(68)K"L=I6$254H�e2�)$#8� vP#&#�<J'9";A �]+568!�"L)$+561'J:;3�Za�e'9:;"]õa=�'9@,"L%.3�'96l-,Zæ³·S· �&V

·

Page 11: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿O�:9�,�������òÃ]-�#*-�� :3'�n]- ­ôõ�:a��#öc,d]-(��

Ç+È%É%Ê'Ë~Ì�ÍPrMV#�P2�=�QiZ&õF=,@�'9"L%(3�'96(-`254��m'*=&=�";3�2,6G+ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍG½p<9";:;68%('9:L+5<�"L=�Q,'*=�";"L%('*=�QÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍ �P'9";<J";:;6G%('9:j:;!&+,=&=�";<�\�+�@,";Q�0�'9A&"j#&%(2�D�<9"L)K3�+I%('93�"$'*=])$+,=I-?'*=I6�";Q�%�+b6�";Am:;'R%.:L0�'J6

+,#&#�<9'J:L+b6�'92�=�3LVe��'*=�'96�"KA&'Üg�"L%("L=�:;"KA&'93�:L%(";61' CL+b6�'92�=T254�6G!�"PQ,25@,"L%�=�'*=�Qqr ";<*)$!�2,<96wCK" » 0&+56�'92�=C4o2�%68!�"�)$+5Q�=�";61'J:F�i";<9A��÷Z ; � �=<�TáV � H � ð-÷ -?> ñ@�=<§ø A � �B< -; � ��CiTóV � H � ð-÷ -@> ñ@��C§ø A � ��C -<J"L+bA&3a6�2K68!�"�=�2�=�3�-_)�)K";68%('9:�";'9Q,"L=I@�+b<R0�"$#&%(2�D�<J"L)ë254�68!�"F4o2�%�)D�E

5w5E5 �E � 5 E �@�GF D �B<� C F øHA � D û 5w5 û �@�IF D �=<� C F

\a!�"L%(" E 5w5 +,=�A E �@� +,%("B�i@,"GO�2�%M68%('¡OYA&'*+5Q,2�=&+b<N)�+568%('9:;";3LZ E 5 � +,=�A E � 5 +I%("Çð 68%('¡OlñMA&'R+bQ,25O=&+5<7)$+568%.'J:;";3�Z�+I=�Açû 515 +,=�Açû �@� +,%."j=�2�=�3�'*=�Q�0�<*+,%MA&'*+5Q,2�=&+b<k)$+56G%('9:;";3LVj �!�'93KQ,"L=�"L%�+b<J'6C;";A";'JQI"L=,@5+5<*0�"�#&%(2�D�<9"L)ï'93?%(";Ai0�:;";AS6�2d+]3�6G+,=�Ai+,%(A�";'JQI"L=,@5+5<*0�"�#&%(2�D�<9"L)Fu÷)ø�÷2ù�Ze\a!�"L%("Fóø¶û=J 5 E Z&31'R=�:;"�û 'J3FA&'*+5Q,2�=&+b<EV �!�"$:;2�)$#&0�6G+56�'92�=&+5<c68+538ø�'J3K6�2`A&";61"L%�)K'*=�"j6G!�"q%('9Q�!I6H)B2,3�6P";'9Q,"L=I@�+5<*0�";3j+,=�A>68!�";'*%�:;2�%�%("GO38#&2�=�A&'*=�Qm";'9Q,"L=I@,";:;6�2�%(3�VqWs=]312�)K"$:L+531";3LZ�68!�"L%("`+,%("$";'9Q,"L=I@�+5<*0�";3$\ 'J6G!]=�";Q�+56�'9@,"`%("L+5<e#&+,%(63�";@,"L%�+5<�2�%(A&"L%.3�254u)$+bQ�=�'9680�A&"�<*+,%(Q,"L%�6G!&+,=M68!�"eA&";3�'*%(";A$";'9Q,"L=I@�+5<*0�";3�\�'968!K#�2,3�'96�'9@,"a%("L+b<i#&+,%(6LV �!�'93a#&%(2�D�<9"L) #&%(";3�"L=I6�3a+K:;!&+5<9<9"L=�Q,"K6�2$"G^&'J316�'*=�Qq=�0&)K"L%('9:L+5<n)B";68!�2�A&3�V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"�u�ÇvW� æ³� � æ³� � ��´S� %("L+5<�¹���L� æ³� � æ³� � �S�S� %("L+5<�¹� � ���:´ � �~��´ æ � æIæ � %("L+5<�¹�¶´ æ³·n� ´ æs·S� � æ ¸~��� %("L+5<

��2,61"�68!&+56��¹�mvW� æ³� +,=�AU�u���L� æ³� +,%("F68!�"a)�+568%('9:;";3e254�38+,)K" 2�%(A&"L%�\F!�'J:;!C:;2�%�%.";38#&2�=�AC6�2A&'Üg�"L%("L=I6a#&+,%1+,)K";6�"L%c@�+b<R0�";3�V

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍr�Vk�P2�=�QiZFvHVF��!&%(2�=�2�#&2�0�<92,3LZJþiVK5[2�0�+,=�AtvHVu?P2�#�'*=&+568![ZL��";:;6�2�%('*+5<K'*=,61";Q�%�+56�";A ��=�'J61"GOA&'Üg�"L%("L=�:;"K+,=&+5<9-�3�'93a254�A&'9";<9";:;68%('9:K\N+�@,";Q�0�'JA&";3�Zi#&%('9@�+561"�:;2�)$)K0&=�'9:L+56�'92�=[Z æ³·S·n±vHV�?�+b<J'9:;øiZ� �V��F"L%1!�2�@I"L=d+,=�A£õ�Vc��+�@�+5'92,<9'oZ�Wo6�"L%1+56�'9@,"`3�2,<*0�6�'92�= 254P68!�"`";'9Q,"L=,@5+5<*0�"]#&%(2�DIO<J"L) 4E2�%P+CA&'J";<9";:;68%.'J:C\�+�@,";Q�0�'9A�ZnW�½�½�½t n%�+I=�3LVK�m'J:L%.2�\�+�@,"K �!�";2�%(-m �";:;![VK@,2,<oVM�/ cO-���&Z#&#[VÜ� ·S· ï#¸S�S�&Z æ³·S·S� V

æ �

Page 12: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ðòÃ]-���@�Æ���s]_ac��ôõ�:ac�Æöc,�]-(��á�c3���,� :3~,d���4�

Ç+È%É%Ê'Ë~Ì�ÍWA[V4?�";Ai=�";-?+,=�A?õ�VÆ�$Vi�a+�@�38+,%('9\�+5<*+&Z&õF=,@�'9"L%(3�'96(-`254��F"L=I680�:høI-ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍG½p<9";:;68%('9:L+5<�"L=�Q,'*=�";"L%('*=�QÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�'93e'J3e+P:;2�)�#�<J"G^C3�-_)�)K";68%('9:�";'9Q,"L=I@�+5<*0�"�#&%(2�D�<J"L)¤Fu÷Uøúù4ûR÷�Z�\a!�"L%("aD�2,68!

FX+,=�A û�+I%("�:;2�)�#�<J"G^]+,=�Am3�-&)$)K";68%('9:,Z[D&0�6à=�2I6àr "L%�)K'96�'*+,=[VF�m2�%(";25@,"L%;Z�68!�"$)$+b68%('9:;";3¼F+,=�ABû +,%("P254�68!�"F4o2�%�)K3D F 5w5 �

� � F +,=�AD û 5w5 û 5 �û � 5 û �@� F -

%(";38#&";:;61'J@I";<J-,V]Ws=]6G!�"j\e2�%�ø�254à �+,=]+,=�A!��+,=[Z�'96K'J3K38!�25\a=/68!&+56�6G!�"j";'9Q,"L=I@�+5<*0�"?#&%(2�D�<J"L)'J3�A&"L%('9@,";Ad4Y%(2�) 0�31'R=�Q÷68!�"`";A&Q,"`";<9"L)K"L=I6`)K";68!�2�Ad6�2]3�2,<9@,"`6G!�"`\N+�@,";Q�0�'JA&"m#&%(2�D�<9"L) 254:;2�=�Ai0�:;6�2�%(3 \�'968!���=�'96�"�:;2�=�Ai0�:;61'J@�'96(-?+,=�A`:L%(2,3�3 3�";:;6�'92�=C'*=?+K<92,313�-jA&'9";<9";:;68%('9:$)K";A&'*+&Ve �!�")$+568%('¡^j31' C;"K:L+,=C"L+b3�'9<J-?%."L+5:h!`+H4E";\�6G!�2�0�38+,=�A&3LV �!�"K380&D&D�<92�:;ø])$+56G%('¡^�F 5w5 '93G¸S�n�jDI-­¸S�S�&Z�+,=�A÷D&+,=�A&";A�Vj �!�"�:;2�)$#&0�68+561'J2�=&+5<�68+538øC'93K6�2��=�A?68!�"P";'9Q,"L=I@�+5<*0�";3P\�'968!C6G!�"�38)$+b<J<9";3�6F#&2,3�'96�'9@,"$%("L+b<u#&+I%(6�3LV

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"�u��? · � æ v · � æ ± ���S� :;2�)$#�<9"G^�¹�&? · � æ � · � æ æ �S� ·&æ :;2�)$#�<9"G^

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍþiV� �+,=$+,=�A<?$VS��+,=[ZIv =�";\�";A&Q,"�";<9"L)K"L=I6�+,=&+5<9-�31'J3e254[A&'938#&"L%(31'J@I"P\N+�@,";Q�0�'JA&'*=�QK3�68%10�:;680&%(";3LZW-½�½�½÷68%�+,=�3�Vn2�=j)K'9:L%(25\�+�@,"�68!�";2�%(-j+,=�AC6�";:;![V:��2,<oVÿ� ± Z&� 2iV æ,æ Z�#&#[V � �n�S�sï � �n�S¸&Z5��25@[V æs·S· �&VA[V4?P";Ai=�";-`+,=�AÇõMV#�$V&�F+L@�38+,%.'J\�+5<*+&Z&#�"L%(3�2�=&+5<�:;2�)$)K0&=�'9:L+56�'92�=[Z æ³·S· �

æ,æ

Page 13: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ð *{/wac�4.e���@�4 :3�����]-.e[\��öc.��Æ3S"7�%À�(d��"�(�À�.��+$ó]- #�Ç+È%É%Ê'Ë~Ì�Í vHVi�c2�2,6�"L= � �dV_�MV#�F2�2�#&"L%;ZirMV&vKV�@�+,=CA&"L%M��2�%(3�6LZ#A[V#��2�";A&613a+,=�AOþiV#��V4?P2�";AiD�<92�";A�Z

õa=�'9@,"L%(31'J6(-C2547õ�68%.";:h!I6LZ�68!�"H� ";68!�"L%(<*+,=�A&3�VÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍG�p<*+538)$+U�c!,-�3�'9:;3ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{Ñ£ö�+I%(Q,"7=�2�=�3�-&)$)K";6G%('9:kQI"L=�"L%�+5<9'6C;";Aj)$+568%.'�^�";'9Q,"L=I@�+b<R0�"F#&%(2�D�<9"L)K3�ð-Fu÷Uøúù4ûR÷ñ

+,%('93�"P'*=T68!�"�)K2�Ai+5<n+,=&+5<9-�3�'93a2b4�A&'93�3�'*#&+561'J@I"B)�+5Q�=�";6�2�!I-�Ai%(2�A&-&=&+,)K'9:;3Kðo�]r@��ñÍV_ !�"��]r@�3�-�316�"L) :;2�)KD�'*=�";3a�]+�^&\e";<9< = 3à+,=�AED�0�'9ABDi25\�" » 0&+56�'92�=�3�V� �!�"H#&!I-�31'J:L+b<n2�DØÎl";:;6�'9@,"P2b4768!�";3�"�/rk��3�-�3�6�"L)B37'93e6�2�A&"L%('9@,"�=�0�:;<9"L+,%c"L=�"L%(Q,-K4Y%(2�) 68!�" 4 0�3�'92�=�254�<9'9Q�!,6F=�0�:;<9";'oVk !�"à#�<*+538)�+53Q,"L=�"L%�+56�";A÷"G^i!�'RD�'96?D�2,68!>68!�"`:h!&+I%�+5:;6�"L%('93�61'J:;3�254à+,=÷2�%.A&'R=&+I%(-­D�0�'9AS+,=�Ad38#&";:;'*+5<N4E"L+56G0&%(";3:L+,0�3�";AjDI-K68!�"a)$+5Q�=�";6�'9:e�i";<9A�Vk �!�" 3�680�A&-K254�<9'*=�"L+,%('93�";Am)K2,6�'92�=M'*=��/rk� !&+53�:;2�=,68%.'RD&0�61";A3�'9Q�=�'¡�i:L+,=,61<J-d612]68!�"?0&=�A&"L%(3�6G+,=�A&'*=�Qd254�%.";3�'93�6�'9@,"?+,=�AS=�2�=&+5A&'*+,D&+56�'9:T�/rk�í#�<*+538)$+>#&!�"GO=�2�)K"L=&+K380�:;!`+53a#�<*+53G)$+K3�68+ID�'J<9'96(-,Zi\�+�@,"P#&%(2�#&+5Q�+56�'92�=`+,=�A?!�"L+561'R=�QV �!�"K�/rk� " » 0&+56�'92�=�3K+,%("M3�2,<9@,";A�DI-Ç+,#&#�<9-�'*=�QÇ+O?�+b<J"L%1ø,'*=���=�'96�"$";<*)K"L=I6H)K";68!�2�A�Z[\a!�'9:;!<J"L+bA&3�6�2�6G!�"aQ,"L=�"L%1+5<9' C;";AT";'9Q,"L=,@5+5<*0�"H#&%(2�D�<J"L)�Vk �!�"F38#�";:;68%�0&)�%�+I=�Q,";3e2�@I"L%�3�";@,"L%1+5<i2�%.A&"L%(3254�)$+5Q�=�'J6G0�A&"jðo3�";"F�iQ�0&%(";3aD&";<925\añe:;2�%�%(";38#�2�=�A&'*=�Qj6�2K68!�"P61'R)B"�3�:L+5<9";3�2b4�A&'hg�"L%("L=I6a+538#�";:;6�3254�=�0�:;<J"L+I%e4Y0�3�'92�=?%."L+5:;6�'92�=�3LV��P";6G+5'9<J3P+,%("PQI'J@I"L=C'R=�68!�"�<9'96�"L%�+b680&%(",V�F"L%�=�"L%$%("L#�2�%(6�3KA&'ONj:L0�<96�'9";3`'*=£=�0&)K"L%('9:L+5<9<9-£:;2�)$#&0�61'R=�Q>68!�"`";'9Q,"L=,@5+5<*0�";3`254a68!�"`vF<¡4E";@I"L=\N+�@,"P2�#&"L%�+5612�%;Va !�"H3G#&";:;68%�0&) 2b4768!�'93P2�#&"L%�+b6�2�%e:;2�=�31'J316�3P254768!&%(";"$D&%�+I=�:h!�";3LVF�m2�%("K#&%("GO:;'J31";<J-,Z'96e'J3F%("L#&2�%.6�";A`68!&+56e68!�"F";'9Q,"L=,@5+5<*0�";3�+5676G!�"P'R=I6�"L%(31";:;6�'92�=C254n68!�"�D&%1+,=�:h!�";3F+,%("P#&%(2�DIO<J"L)�+56�'9:,V �!�"e<J"G4o6��iQ�0&%("aD&";<925\£A&'938#�<*+�-�3k6G!�"�38#&";:;6G%�0&)X254[68!�" æ³� ´S�M6 æ³� ´n�e�]r@��)$+56G%('¡^B:;2�)$#&0�6�";AD,-P68!�" º �d+5<9Q,2�%('968!&)�V� !�"k%('9Q�!I6��iQ�0&%("�4o2�:L0�31";3�2�=P68!�"c'*=,6�"L%.3�";:;6�'92�=M254i68!�"c68!&%(";"�D&%�+,=�:;!�";3ðova<¡4o@,"L=C38#�";:;68%�+,ñ;V

−250 −200 −150 −100 −50 0 50−1000

−800

−600

−400

−200

0

200

400

600

800

1000

−1 −0.8 −0.6 −0.4 −0.2 00

0.1

0.2

0.3

0.4

0.5

0.6

0.7

0.8

0.9

1

P ¥[¦�²�±o²(¨o±eÐe­8±¯«o§µÙ$³�­8±o­M©�­G¨7Ðe­G³L²F­�Ö�­1§µÝ�­�¶�Ý�²�±oªF®5¨7¶L·KÄ�«�Î�¼�ݵ¶b²s«Y±eß[ª;ª8±o²s´�ÔiÝ�²(¨o¨e±¯¦�­1´j­PÐeª�´L±¯¦�¶b²sÑ*ª1«Y²�¦�§�¨®L´5²sÙ;°b²(Ó(±o²(³K³L²(­8±¯¦M¶L·F¦�²(­1«Y±�Ñ*­1§µÝµ®L«Y²�³Í®L«o§µ´�»P­F¨¯°,ª�«Y±o¨�²(ÖG²s´L±�§µ´$¸�ª�Ö8²(Ðp¶b²s«eÁ.ÌÍÔiÁ(¿G¿hÂÍÎ�¼�ݵ¶,²s«Y±�©[­8¨�­1´�­�¶�Ý�²�·Gª�®�´�»¨oÓs§�²s´L±¯§�¨o±�­�´5³a­eÖG²Y«Y· Ñ9«o§�²s´�³;Ý�·F°,²s«Y¨oª1´�­�´5³a©[²�©[§µÝµÝ&Ðc§�¨o¨�¦�§�УÖG²Y«Y· Ð�®�Ó ¦�Î

�

Page 14: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"�]rk�W� æ �5v � æ � ´n�S� � %("L+5<�/rk�W� æ �I� � æ � �n±&æ³� %("L+5<�]rk� æ³� ´S�bv æ³� ´S� ��¸ · �S� :;2�)$#�<9"G^�]r@� æ³� ´S�,� æ³� ´S� �S� ¸n¸S´ :;2�)$#�<9"G^�]rk� ±S� �S�bv ±S� �S� �S´S� � � %("L+5<�]r@� ±S� �S�,� ±S� �S� æ ´ ±�æ � %("L+5<�]rk�W��´S�S�bv ��´n�S� æ � �S� � � %("L+5<�]r@�W��´n�S�,� ��´n�S� � ¸S� � � %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ� VS�F"L%1=�"L%;Z&ö�+,%(Q,"GOY31:L+5<9"P:;2�)$#�<9"G^j";'9Q,"L=I@�+5<*0�"�#&%(2�D�<9"L)`Z:þiV�254n�e2�)$#[V��7!I-,V�´n�&� æ ïØ´n�&Z æs· ´ · VþiVi��0�<9<*0&)`Z�� V��F"L%�=�"L%a+I=�A?�PV4�S'9<9<92�0�Q�!�D,-,ZvXQ,"L=�"L%�+5<9'6C;";A]=�2�=�3�-&)$)K";68%.'J:�ö�+,=�:ÁC;2,3P#&%(25O:;";Ai0&%(",Zi�e2�)�#[V��7!I-�3�V7�e2�)$)�V*Z�� ± � æ³· ï��:´&Z æ³· ´ ·�UV¡��V:�F2�2�#�"L%;ZirMVµvKV�@5+,=CA&"L%M��2�%.3�6LZ#A[V4��2�";A&6�3LZ&+,=�AOþiVÜ��V#?P2�";AiD�<92�";A�ZvP#&#�<J'9:L+561'J2�=?2b4n68!�"'R)�#�<J'9:;'96�<9-`0&#&Ai+56�";A�và%�=�2I<JA&'i)B";68!�2�A&3c\�'968!K+F:;2�)$#�<9"G^$38!�'¡4E6e+,=�AK'*=,@,"L%.6�3�68%�+561";Q,-P'*=K�]r@�$ZâØä�ê�Q"RTS�U%ä�åUæ�ä�èué2ãkì�ínîWV³ã ZYXX�Z�Z ±S� ��O ±S� ´&Z æ³·S· ��VþiV�?$VnöpV��c2�2,6�"L=[Z���V��dV��Ç";' Î("L%;Z7rMV�þiV�þiV�6�"q�N'J";<9"m+,=�A£r�V�vKV�@�+,=>A&"L%B��2�%(316LZ���+,%�+5<9<9";<và%�=�2I<JA&'�)K";6G!�2�A÷4o2�%P6G!�"j:;2�=�3168%�0�:;6�'92�=÷254P+ �P%.-�<925@]380&D�38#&+b:;"?D&+53�'93L�j+I=�+,#&#�<9'9:L+56�'92�= '*=)$+5Q�=�";6�2�!,-�Ai%(2�A&-_=&+,)B'J:;3�VHWs=­�7%(2�:;";";A&'*=�Q,3�2b4NWY=I6�"L%�=&+b6�'92�=&+5<7�e2�=I4o"L%("L=�:;"j+I=�Aµ½�^�!�'*D�'96�'92�=2�=£r '9Q�!IOP��"L%s4o2�%�)$+,=�:;"m�e2�)$#&0�61'R=�Qd+,=�AS��";6(\e2�%�øI'*=�QiZe�]0&=�'J:;![Z¹?�"L%�)$+,=I-,Zcvà#&%('9<oZ æs·S· �iV��2,<oV�W(W��e��";6(\e2�%�øI'*=�Q�+,=�A �2�2,<93LZL�XV�?P"L=I6wC;3�:;!d+,=�A õMV7rF+,%�)K3�Z7";A&3LV Z�ö[";:;680&%("m��2,61";3$'*=�e2�)$#&0�6�"L%LA�:;'9"L=�:;"U¸ · ¸&Z#A&#&%('*=�Q,"L%lO[��"L%(<*+5QiZ��c"L%(<9'*=[Z æ³·n· �iV5�Va�e+5'oZ��$V@��+�- +I=�A º Vu��",ZKvP�köI½��P+,=X+5Ai+,#�61'J@I"UD�<92�:hø ö�+,=�:ÁC;2,3÷)K";68!�2�A�4o2�%m=�2�=IOr�"L%�)B'J61'R+I=C";'JQI"L=,@5+5<*0�"H#&%(2�D�<9"L)K3�Zi�e";3�"L+,%.:h!C�e"L#&2�%(6 · ��OP�~�iZS�P"L#&+,%.68)K"L=I67254n�]+56G!�"L)$+56�'9:;3LZõa=�'9@,"L%(31'J6(-C254��F"L=,680�:;øI-,Zi�]+�- æ³·S· �jðs%(";@�'93�";AT@,"L%(3�'92�=[Z��i"LD[V æ³·n· �,ñ;V

æ³±

Page 15: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿�\B,����@�4 ��­À�(d��"��#*-�� :3'�n]- ^] "��ð�Æ�!�cÀ��s3S�4$_ �#À@¿G\E��`7`�YÇ+È%É%Ê'Ë~Ì�Íu�P";2j� A&"L%(";-�'R)�+,=&+&Z º 0�"LD&";:,Z[��+,=&+5Ai+ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍG��25\e"L%c3�-�3�6�"L)K3�31'R)K0�<*+56�'92�=�3ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�'93a31";6k2b4p)$+b68%('9:;";3�'93�4Y%(2�) 68!�"�+I#&#�<J'9:L+561'J2�=?2b4�68!�"�r -�Ai%(25O º 0�"LD&";:K#&25\e"L%

3�-�316�"L)K3³=I38)$+5<9<¡OY3�'9Q�=&+5<�)K2�A&";<oVkWs=$68!�"P+,#&#�<9'9:L+56�'92�=[Z&2�=�"a\�+,=I6�37612�:;2�)$#&0�61"à+5<9<[";'9Q,"L=I@�+5<*0�";3MWTóNbaM'R=>+?D&2�^m254k68!�"�:;2�)$#�<9"G^�#�<R+I=�",VðA&#&";:;'¡�i:L+5<9<*-,Z�M�c:dfehg�M'g�M2c:i@jj+,=�Am'*=]QI"L=�"L%�+5<oZM c:dfe ø¦X ± �n�d+,=�A)M c:i@j ø ± �S�&Vka c:dfe glamgla c:i@j +,=�A�'*=SQ,"L=�"L%1+5<oZ�a c:dfe ø�d+,=�Aa c:i@j ø � 6 �S�oncV�� 2,6�"F68!&+56 68!�"�)$+568%.'J:;";3F+,%("�!�'9Q�!�<9-Ç0&=�D&+5<*+,=�:;";A�V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"º ru¸S�S´ ¸S�S´ �n·S± � %("L+5<º ru´S´ � ´S´ � ±n± ��� %("L+5<º r æ �:´�� æ �:´�� � æ,æ � %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ

�P";2B� A&"L%(";-�'*)$+,=&+&Z[#&"L%(312�=&+5<�:;2�)�)H0&=�'9:L+561'J2�=[Z æ³·S· �

æ �

Page 16: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿�pLqh]<�r� ��3~"� 2���+�s3']- ¾ �4�s3B[\��3��S]_^

Ç+È%É%Ê'Ë~Ì�Íu�XVSþiV:A�6�";\�+,%(6LZ,� 2�%(6G!H� +,%(2,<9'*=&+�A�68+56�"aõF=�'9@,"L%(3�'96(-$+,=�ACvHV�þ,"L=&=�'*=�Q,3�Z º 0�";"L=+=µ3�õa=�'9@,"L%lO3�'96l-,Z�7";<¡4Y+53�6LZ��2�%.68!jWs%(";<*+,=�A�V

ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+Í�vP=&+5<9-�3�'93�+,=�A`";@�+5<*0&+561'J2�=`254�:;2�)$#&0�6�"L%N3�-�316�"L)K3ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�'93P3�6�2�:h!&+b3�6�'9:$)$+568%('¡^m'J3PA&"L%.'J@I";Am4 %.2�)�6G!�"B+I#&#�<J'9:L+561'J2�=m254k�]+,%1ø525@q)K2�A�O

";<J'*=�QC6�";:;!&=�' » 0�";3F6�2K68!�"à+I=&+5<9-�3�'93P+,=�A`";@�+b<R0&+b6�'92�=`254�:;2�)$#&0�6�"L%e31-�3�61"L)K3LV� �!�"�)$+56G%('¡^j'93a+æ � ± D,- æ � ± 316�2�:;!&+53�61'J:$)$+b68%('¡^]\�'968! ·S± �`=�2�=:C;"L%(2`"L=,6G%('9";3LVj �!�"�2�D:Î(";:;6P'J3M6�2`:;2�)$#&0�61"j+4E";\�A&2�)K'*=&+,=,6 ";'JQI"L=,@5+5<*0�";3�+,=�A`68!�";'*%�:;2�%�%(";38#�2�=�A&'*=�Qj";'9Q,"L=I@,";:;6�2�%.3LV �!�"C4E2I<J<925\�'*=�Q÷<J"G4o6��iQ�0&%("`38!�25\�3$6G!�"?38#&+,%.3�'96l->3�68%�0�:;680&%."?254a6G!�" æ � ± DI- æ � ± 3�6�2�:;!&+53�6�'9:)$+568%('¡^�Z&+,=�A`68!�"H%.'JQ�!,6e�iQ�0&%("P38!�25\�3�68!�"P";'9Q,"L=I@�+b<R0�"KA&'93�68%.'RD&0�61'J2�=[V

0 50 100 150

0

20

40

60

80

100

120

140

160

nz = 934-0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1

-0.1

-0.08

-0.06

-0.04

-0.02

0

0.02

0.04

0.06

0.08

0.1

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"ö��W� æ � ± æ � ± ·S± � %("L+5<

�]"�=�2,6�"�68!&+b6�68!�"�=�0&)KD&"L%p254n=�2�=:C;"L%(2P"L=I68%('9";37'*=�2�0&%�:;2�0&=I67'93 ·n± �&Z,!�25\e";@,"L%;Z568!�"a%.";:;2�%(A&";A:;2�0&=,6�3G!�2�\F=K'*=$68!�"F#&+,#&"L%p254cA�6�";\�+,%(67+,=�AUþI"L=&=�'R=�QI3k'93 æ³� �n¸&Vn �!�" æ �FA&2�)K'*=&+,=I67";'9Q,"L=I@�+5<¡O0�";3k:;2�)$#&0�6�";AC4Y%(2�) 68!�"P%(";380�<96�'*=�Qj)$+56G%('¡^q+5Q�%(";",Z&!�25\e";@,"L%;ZI\�'968!C68!�"P%(";380�<96�3�'*=C68!�"P#&+,#&"L%254�A�6�";\�+,%(6�+,=�A þ,"L=&=�'*=�Q,3LV

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ� V+þV�A�61";\N+I%(6LZ[v�:;2�)�#&+,%('93�2�=m2b4 =�0&)K"L%('9:L+5<e6�";:;!&=�' » 0�";3�'R=>�]+,%�ø525@m)K2�A&";<9'*=�QiZ7�N2�)$)`Vva�e� ��æ ð � ñ;� æ �S��ï æ � � Z æ³· ¸S´&V� VnþiV4A�6�";\�+,%.6k+,=�A`vKV:þ,"L=&=�'*=�Q,3LZv�3�'*)K0�<J6G+,=�";2�0�3�'96�"L%�+b6�'92�=`+5<9Q,2�%('968!&) 4E2�%e%("L+b<�)$+56G%('9:;";3LZva�e� �%�+,=�3�V��]+568![V�A�254o6LV�¸&� æ ´��~ï æ³· ´&Z æs· ´ æ VW�V�A[V���0ng +,=�AóþiVcvKV�A�:;2,6�6LZe�e2�)�#&0�6�'*=�Q�3�";<9";:;6�";AS";'9Q,"L=I@�+5<*0�";3T254à3G#&+,%(3�"?0&=�3�-&)$)K";6G%('9:)$+568%('9:;";3a0�31'R=�QC380&D�38#&+b:;"�'96�"L%�+561'J2�=[Z&va�e� ��F�­A æ³· � æ³± ¸sï æ � · Z æ³·S·S± V

æ �

Page 17: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ðñ�"+�2�ð����( _ ]-.���$���3�]- #�</f"+�Ã3���� �c3S�s�ð���S3 �d*-�43s/f"+��$ "�/=tÃ"%�k"+3�]- #�Ç+È%É%Ê'Ë~Ì�ÍPrMVi�e"L=[Z[õa=�'9@,"L%(31'J6(-`254���+5<9'¡4E2�%1=�'R+C+56a�c"L%�øb";<J";-ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍH�N2�D&2,61'J:K�e2�=I68%(2,<ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�" A�61";\N+I%(6$#�<R+b6(4E2�%�)`Ze+5<93�2�:L+b<J<9";AS<9"G4E6`!&+,=�A�Zc'93q+µéuSoQ@S�UvUxwyU�è�SoRzhé4ê�UxSSë_äoQ

\�'968!K3�'¡^j#&%('938)$+561'J:�Î(2,'*=,6�3�:;2�=&=�";:;6�'*=�QH6(\e2�%('9Q,'9AjD�2�A&'9";3LZ&2�%�#�<R+b6(4E2�%�)K3LV� �!�"aD&+b3�"�#�<R+b6(4E2�%�)'J3e:;2�=�31'JA&"L%.";A`�&^&";Aj\a!�'9<9"�6G!�"a6�2�#j#�<*+56(4o2�%�)�Z,2�%c"L=�A�OY"bg�";:;6�2�%;Z�'93�)K25@�'*=�QK'*= ± OYA&'*)K"L=�3�'92�=&+5<38#&+5:;",Z[:;2�=I68%(2,<9<9";A�DI-m68!�"K<J"L=�Q�!,6�3M254%Î(2,'*=,6�3�VG��+,%1+5<9<J";<e%(2�D�2,6�3P+,%("K";38#&";:;'*+5<9<9-d0�3�"G4 0�<�\F!�"L=!�'JQ�!$3�61'Ügn=�";3�3�+,=�A`#&2I3�'96�'92�=`#&%(";:;'93�'92�=`+,%("P#&%(";A&2�)B'R=&+I=,6�%(" » 0�'*%("L)K"L=I6�3LV7 �!�"P#�<*+56(4o2�%�) !&+532�=�"$A&";Q�%(";"�254e4 %(";";A&2�) #&"L%kÎl2I'R=I6y�68!�"j#�2,3�'96�'92�=÷+,=�A]2�%.'J"L=I68+561'J2�=m254k6G!�"$6�2�#]#�<*+56.4E2�%1) 'J338#&";:;'¡�i";A`D,-M3�'¡^B#&+,%�+I)K";6�"L%(3LZ5=&+,)K";<9-K68!&%(";"c4o2�%�68!�"e2�%('9"L=,6G+56�'92�=K+,=�A$68!&%.";"74o2�%�68!�"�#&2,31'J61'J2�='R= ± � 38#&+5:;",V7 !�"�4o2�%(\�+,%(ACø,'*=�"L)$+561'J:;3F+53�380&)K";3e68!&+b6768!�"F<9";Q$<9"L=�Q,68!�3�+,%("Pø�=�25\a=C+,=�AC68!�"A&'J3G#�<R+b:;"L)K"L=,6�254k68!�"C6�2�#>#�<R+b6(4E2�%�) '93K6�2?D&"�4o2�0&=�A�V? �!�"`+5<9Q�%�D&%�+b'J:C#&%(2�D�<9"L) %(";Ai0�:;";3$6�268!�"P3�2,<*0�6�'92�=T2547+K\e";<9<�OY:;2�=�3�68%�+5'*=�";A]31-�3�61"L) 2547#&2,<9-&=�2�)K'*+5<�" » 0&+561'J2�=�3LV��c-q0�3�'*=�Q]ðo3G#&+,%(3�"Lñ%(";380�<968+,=I6à)B";68!�2�A�Z3�2,<9@�'*=�Q`68!�"�3�-�3�6�"L)ë254k#�2,<9-_=�2�)B'R+b<�" » 0&+561'J2�=�3à%(";Ai0�:;";3P612j3�2I<J@�'*=�Q`68!�"Q,"L=�"L%�+5<9'6C;";Am";'JQI"L=&#&%(2�D�<9"L) F¹÷<øúù4ûR÷�V7 �!�"M:;2�)$#&0�68+561'J2�=&+5<�68+53GøK'93a6�2�:;2�)$#&0�6�"P68!�"K%("L+5<";'JQI"L=,@5+5<*0�";3N+I=�A$68!�"�:;2�%1%(";38#&2�=�A&'R=�QK";'9Q,"L=I@,";:;6�2�%.3�ðY)K2,3�6�2b4�68!�"�";'9Q,"L=I@�+b<R0�";3�+,%."�:;2�)$#�<9"G^iñ;V �!�2�0�Q�!K6G!�"aQ,'9@,"L=C)K2�A&";<�#&%(2�D�<J"L) '93e254n2�%.A&"L%���´S��Z5";'JQI"L=,@5+5<*0�"H#&%(2�D�<9"L)K3e\�'968!�68!�2�0�3G+,=�A&3254�0&=&ø�=�2�\F=�3a:;2�)�)K2�=�<9-q+I%('93�"�'*=`6G!�'J3N�i";<JA�VWo6�'93$%(" » 0�";3�6�";A÷6�2?:;2�)$#&0�6�"$68!�"`%("L+5<c";'9Q,"L=,@5+5<*0�";3j+,=�A]6G!�"j:;2�%1%(";38#&2�=�A&'R=�Qm";'9Q,"L=I@,";:;6�2�%.3LZ+5<968!�2�0�Q�!S)K2,316$254H6G!�"?";'9Q,"L=I@�+5<*0�";3]+,%("T:;2�)$#�<9"G^uV Wo6C'93`A&";3�'*%(";A�6�2÷3�2,<9@,"m380�:;!S)$+568%.'�^";'JQI"L=,@5+5<*0�"B#&%.2�D�<9"L)�254�2�%(A&"L%�+M4o";\�68!�2�0�38+,=�A&3LV

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"���LA:��´S�5v ��´S� æ ¸S�n´S´ %("L+5<���LA:��´n�,� ��´S� æ ¸S�n´S´ %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ�$VL�]+,=�2�:h!&+P+I=�AGþV,��+,=&=I-,Z5�/0�<96�'���2,<9-&=�2�)K'*+5<[�e";380�<968+,=I67vF<9Q,2�%('968!&)K3�Z,�e2�)$#&0�6�"L%�A�:;'9"L=�:;"�P'J@�'93�'92�=?�N"L#&2�%(6�Ziõa=�'9@,"L%.3�'96l-`2b4p��+b<J'¡4o2�%�=�'*+&Z[�c"L%�ø5";<9";-,Z æs·S·S±

W�V�½7)K'*%('93LZ:A&#&+,%(3�"@½�<9'*)K'*=&+56�'92�=�+,=�AKvà#&#�<9'9:L+56�'92�=�3c'R=¬�F'R=�"L)�+56�'9:;3LZ��c![Vÿ�$V�68!�";3�'93LZ,�e2�)�#&0�6�"L%A�:;'J"L=�:;"��P'9@�'J31'J2�=[Z�õF=�'9@,"L%(3�'96(-`2547��+5<9'¡4E2�%1=�'R+C+56��c"L%�ø5";<9";-,Z æ³·S·S± V

æ �

Page 18: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ ¾ ,���,�*-���{tÃ�4�+ :3S"+� [ "�(��#*

Ç+È%É%Ê'Ë~Ì�ÍW�KV&�m";"L%�D�"L%(Q,"L=?+I=�AO�$Vi�e2�2,3�",Z4�P+56G!�2,<9'J"Løb"HõF=�'J@I"L%(3�'96�";'96�ö["L0�@,"L=[Z[�c";<JQI'R0&)ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+Í�:;2�)$#&0�68+56�'92�=&+b<+D�0�'9A?A&-&=&+,)K'9:;3ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�"7:;2�=�3�"L%(@�+b6�'92�=M254�%("L+5:;68+I=,6n+I=�A�"L=�"L%(Q,-P'*=K+F!�2�)K2,Q,"L=�";2�0�3n680&D�"e254_<9"L=�Q,6G!|d'*=`A&'*)K"L=�3�'92�=�<9";3�3F4o2�%�) 'J3F)K2�A&";<9";A]DI-| }�~ >~�� ø X æ%K��� ! � >! j � T ! >! j T�� > "G^i#�ðv�OX(�7� J 5 ñ -| } ~2�~2� ø X æ%K��� ! � �! j � T ! �! j T/Akð��óX'�Y�Lñ�Xçû�� > "G^i#[ðv�²X��7� J 5 ñ -

\a!�"L%(" > +,=�A'�X%("L#&%(";3�"L=I6P:;2�=�:;"L=I68%�+561'J2�=Ç+I=�AÇ61"L)$#&"L%�+b680&%("$+,=�A­�h�&j�� æ A&"L=�2,6�"K68!�"38#&+56�'*+5<�:;2�2�%(A&'*=&+561",Vk �!�"KD&2�0&=�Ai+I%(-`:;2�=�A&'96�'92�=�3�+,%(" >�� ð-�,ñ�ø %K�"� > ð��,ñ;Z�� � ð-�,ñ�ø %K�1� �Mð-�,ñ;Z> � ð æ ñUø �]+,=�A�� � ð æ ñUø���V£�e"L=I68%�+5<eA&'hg�"L%("L=�:;";3q+I%("?0�3�";A£612ÇA&'93�:L%.";6�'6C;"Ç'*= 38#&+5:;",V��i2�%÷#móø ü > 5 - � 5 -@> � - � � - 4y4y4 -@>o�r� � - � �:� � ýlZ�68!�"$" » 0&+56�'92�=�3K:L+,=]D�"j\a%.'J616�"L=�+b3��÷çø���ð-÷ñ;V` �!�"#&+,%�+,)K";61"L%(3$'*=�68!�"mA&'Üg�"L%("L=I6�'*+5<F" » 0&+b6�'92�=S+,%("?31";6j6�2 %K�"� ø %K��� ø�� - û ø�� 4 � - � ø� � - ABø ±�4 �P+,=�A��¤ø&� 4Ü� �S� � Vn�P=�"�31";"Lø,3e68!�"a%.'JQ�!,68)B2,3�6�";'JQI"L=,@5+5<*0�";3�254�68!�"@þ�+b:;2�D�'i)$+568%.'�^Fóø ! �Y� ! ÷�V�F '93a+$D&+,=�A&";Am)$+568%.'�^`\�'968!TD&+,=�A&\�'9A&68!B��V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&" �õF� æ �S� æ �S� ±S· � %("L+5< �õa� æ �n�S� æ �n�S� ±n·S· � %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ�PV���V�r ";'R=�"L)�+,=&=?+,=�ACvKV_�FV#��2�2�%(",Z,�]0�<96�'*#�<9'9:;'*6(-,Zi3�6G+,D�'9<J'96(-,Zi+,=�A`2I3�:;'9<J<*+5612�%(-$A&-&=&+,)K'9:;3�254+K680&D&0�<*+,%�%("L+b:;6�2�%;Z&��!�"L)`V�½7=�QiV�A�:;'oV ± �&� æ � æ,æ O æ � æ³· Z æ³· ´ æ PV4þV%?�+,%�%1+56�6LZ& �!�"$=�0&)K"L%('9:L+5<�A&";6�";:;6�'92�=/254kr�2�#I4ND�'¡4 0&%.:L+56�'92�=�3�'*=T<*+,%(Q,"K3�-�3�6�"L)B3à+,%.'J31'R=�Q'R=²D�0�'9AÇ)K";:;!&+,=�'9:;3LZ+�7!:�X68!�";3�'93LZõa=�'9@,"L%(31'J6(-`2547�e+568![Ziõu�KZ æ³·n·&æ�KV&�m";"L%�D&"L%(QI"L=?+,=�AO�$Vi�N2�2,31",Z&�]+568%('¡^j68%1+,=�3(4o2�%�)$+561'J2�=K4o2�%e:;2�)�#&0�6�'*=�Qq%('9Q�!I68)K2I3�6e";'JQI"L=IO@�+5<*0�";3F254�<*+,%.Q,"�38#&+I%(3�"�=�2�=�3�-&)$)K";6G%('9:H)$+56G%('9:;";3LZi�e"L#�2�%(6P L� � �S�&Z#�P"L#&+I%(68)K"L=I6e254p�N2�)MO#&0�6�"L%@A�:;'9"L=�:;",Z%�P+568!�";2,<9'9"Lø5"Kõa=�'9@,"L%(31'J61";'J6�öu"L0�@,"L=[Z��c";<9Q,'*0&)`Z æ³·S· �`ðY%.";@�'93�";ATvà#&%('9< æs·S· �,ñ;V

æ ¸

Page 19: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ ¾ ����qO*-$��s3S�4�+(�$&"�(��Æ*Ç+È%É%Ê'Ë~Ì�ÍW�KV&�m";"L%�D�"L%(Q,"L=[Z+�P+568!�2,<9'9"Lø5"HõF=�'9@,"L%(3�'96�";'96�ö["L0�@I"L=[Zi�c";<JQI'R0&)ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍHr -�Ai%(2�A&-&=&+,)K'9:;3ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�"j�F<*)K3�61"L+5A�)K2�A&";<7%("L#&%(";3�"L=I6�3M68!�" Di2�\X2b4N+C<*+�-,"L%F254k@�'93�:;2�";<R+b3�6�'9:<D�0�'9A

!�"L+56�";AC4Y%(2�)�D�";<J25\�Vc �!�"P" » 0&+b6�'92�=�3à+I%("!��! � ø ð æ X E ñ ! � }! j � T E ! � �! j � T�� � X ���û ! }! � ø � X }

\�'968!�D�2�0&=�Ai+,%(->:;2�=�A&'96�'92�=�3 � ð��,ñRø � ð æ ñRø��Ç+I=�A}ð-�,ñ ø

}ð æ ñWø��&V � %("L#&%(";3�"L=I6�3K68!�"

38#&";";A`254�68!�"uD�0�'9A?+,=�A}'93a%(";<*+56�";A`612H@�'93�:;2�";<R+b3�6�'9:P4o2�%(:;";3LV� �!�"P" » 0&+56�'92�=C\�+53cA&'93�:L%(";6�'93�";A

\�'968!C:;"L=,6G%�+5<[A&'hgu"L%."L=�:;";3a\�'968!CQ�%('9A`3�'6C;".�Uø æ �&ð 0 � � ñ;V�v 4E61"L%7A&'93�:L%.";6�'6CL+56�'92�=T68!�"P" » 0&+56�'92�=:L+,=]D&"�\a%('96�6�"L=]+b3m�÷­ø���ð-÷ñF\�'968!­÷ m ø ü � 5 - } 5 - � � - } � - 4$4y4 - � �:� � - } �:� � ý(Vj�P=�"C3�";"Lø,3M68!�"%('9Q�!,6G)K2,3�6C";'9Q,"L=,@5+5<*0�";3]254K68!�"Ãþ�+5:;2�D�'K)$+568%('¡^¶F ø ! �Y� ! ÷�\�'968!�#&+,%�+I)K";6�"L%(3Bû�ø � ZE ø¶� 4*æ +,=�A'�&ø&� 4 ¸&V

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�Í����P�� ��evP� :L+5<9<9'R=�Q`31" » 0�"L=�:;";3 4E2�%c4E2�%�)K'*=�Qj)$+56G%('¡^�OY@,";:;612�%M�c÷m+,=�Ah� m ÷Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"�Pö[� æ �S� æ �S� ±S· � %("L+5<�Pö[�­�S�S� �S�S� æs·S· � %("L+5<�Pöu� æ �S�S� æ �n�S� ±n·S· � %("L+5<�Pöu� � �S�S� � �n�S� ¸ ·S· � %("L+5<�Pöu�µ�n�S�S� �S�n�S� æ³·S·n· � %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ� V�½�V��F<*)K3�6�"L+bA�Z��XV�½�V���+�@�'93LZ�A[V�rMV��e2,3�"L=�D�<*+56j+,=�A!�XV�ö�V��P+568![Zc�7'¡4Y0&%(:L+56�'92�= \�'968!)K"L)K2�%(-,Z#A&W va��þV&và#&#�<oVc�]+568![V����&� æ ¸ æ ï æ ´n´&Z æ³· ´S��KVL�m";"L%�D�"L%(Q,"L=K+,=�AKvHV�A&#&"L=�:;",ZIvd38#&";:;6G%�+5<�68%�+,=�3(4o2�%�)�+56�'92�=F4o2�%��=�A&'*=�QM:;2�)$#�<9"G^H";'9Q,"L=I@�+5<¡O0�";3�254�<*+,%(QI"�38#&+,%(31"N=�2�=�3�-_)�)K";68%('9:�)$+568%.'J:;";3�Z��e"L#�2�%(6k �� �&æ³· Z��P"L#&+I%(68)K"L=I6n2b4u�e2�)�#&0�6�"L%A�:;'J"L=�:;",Z+�P+568!�";2I<J'9"Lø5"$õF=�'9@,"L%(3�'96�";'96Pö["L0�@,"L=[Z[�7";<9Q,'*0&)`Z æs·S· ��KV&�m";"L%�D&"L%(QI"L=?+,=�AO�$Vi�N2�2,31",Z&�]+568%('¡^j68%1+,=�3(4o2�%�)$+561'J2�=K4o2�%e:;2�)�#&0�6�'*=�Qq%('9Q�!I68)K2I3�6e";'JQI"L=IO@�+5<*0�";3F254�<*+,%.Q,"�38#&+I%(3�"�=�2�=�3�-&)$)K";6G%('9:H)$+56G%('9:;";3LZi�e"L#�2�%(6P L� � �S�&Z#�P"L#&+I%(68)K"L=I6e254p�N2�)MO#&0�6�"L%@A�:;'9"L=�:;",Z%�P+568!�";2,<9'9"Lø5"Kõa=�'9@,"L%(31'J61";'J6�öu"L0�@,"L=[Z��c";<9Q,'*0&)`Z æ³·S· �`ðY%.";@�'93�";ATvà#&%('9< æs·S· �,ñ;V

æ ´

Page 20: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿�tÃ�4�+ :3�]-"%.d` (d]��¹,��s]-"%.e�<��,������#*-��3S"+�­[\"�(��Æ*

Ç+È%É%Ê'Ë~Ì�ÍW�KV&�m";"L%�D�"L%(Q,"L=[Z+�P+568!�2,<9'9"Lø5"HõF=�'9@,"L%(3�'96�";'96�ö["L0�@I"L=[Z��c";<9Q,'*0&) +I=�A?vKV4A&#&"L=�:;",Z[õa=�'9@,"L%lO3�'96l-C2547�e+568![Z&õ¹�KV

ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍH� !�"L)K'9:L+5<n"L=�QI'R=�";"L%.'R=�QÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�"P" » 0&+56�'92�=�3!��! � ø ���| � D ! � �! j � T ! � �!�� � F Xdð-û&T æ ñ � T � � } T E! }! � ø ���| � D ! � }! j � T ! � }!�� � F X � � } T!û �

4E2�% � +,=�A }m� ð�� - æ ñ 6£ð-� - æ ñ \�'968!d!�2�)K2IQ,"L=�";2�0�3��P'*%('9:h!�<9";6jD�2�0&=�Ai+,%(-]:;2�=�A&'J61'J2�=�3$4o2�%�)+ � � %("L+b:;6�'92�=IOYA&'hg�0�31'J2�= )K2�A&";<P\a!�"L%(" � +,=�A

}%("L#&%.";3�"L=,6`6G!�"Ç:;2�=�:;"L=,68%1+56�'92�=�3?2b4�6l\e2

%("L+5:;6�'92�=�3LVP �!�"K" » 0&+56�'92�=�3K+,%("�A&'93�:L%.";6�'6C;";A�\�'968!T:;"L=I68%�+5<�A&'hg�"L%("L=�:;";3�\�'968!TQ�%.'JAm3�'6C;"��u�²ø���ðø æ �&ð_HðT æ ñF\ 'J6G!ÃH ø ð 0 � � ñb5 � � VK�2�%W÷ m ø�ü � 5?¡ÿ5 - } 5?¡ÿ5 - � 5@¡ � - } 5@¡ � - 4$4y4 - ��¢ ¡ ¢ - } ¢ ¡ ¢ ýlZ[68!�"A&'J3G%(";6�'6C;";Aj" » 0&+56�'92�=�3e:L+,=�D&"F\a%('96�6�"L=$+b3��÷ðø£��ð-÷ñ;V��P=�"�\�+,=I6�3�6�2�:;2�)$#&0�6�"�68!�"F%('9Q�!,6G)K2,3�6";'JQI"L=,@5+5<*0�";3�254e68!�"�þ�+5:;2�D�'7)$+b68%('¡^ F�ø ! �Y� ! ÷�Vu��!�"L%("K68!�"$#&+,%�+,)B";6�"L%(3Wû\ø�� 4 ��� - E ø� - ���Wø¶� 4 �S�~� - ���@ø¶� 4 �n�S´&Vn !�"H#&+,%�+I)K";6�"L%M|d'93F:h!�2,31"L=CA&'Üg�"L%("L=I6LV

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<9"L=&+,)K"³lS�F";- �P%(A&"L% �F0&)KD&"L% 254�=�2�=:C;"L%(2I3 ��+568+M6(-_#�" |����� � �S� � �S� æ,æ³� � %."L+5< �&VÜ��������:�S� �:�S� � �S´S� %."L+5< �&VÜ��L��� æ³� �S� æ³� �S� ¸ ± �S� %."L+5< �&VÜ��L��� � ����´ � ����´ æs� � ±S� %."L+5< �&VÜ��L��� � �S�,ö � �S� æ,æ³� � %."L+5< æ VÜ��L�������S�,ö �:�S� � �S´S� %."L+5< æ VÜ��L���L´S�S�,ö ´n�S� ������� %."L+5< æ VÜ��L��� æ³� �n�,ö æ³� �S� ¸ ± �S� %."L+5< æ VÜ��L��� � ���:´,ö � ����´ æs� � ±S� %."L+5< æ VÜ��L��� ±S� �n�,ö ±S� �S� æ ´S´S´S� %."L+5< æ VÜ�

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ�aV+�$V[rF+53�38+,%.A�Z���V%�P+�CL+I%('*=�2�g +I=�A­�HV�rMV+��+,=[Z� !�";2�%(-Ç+I=�A]và#&#�<9'9:L+56�'92�=�3K254�r�2�#I4N�c'¡O4 0&%(:L+b6�'92�=[Zi��+,)KD&%('9A&Q,"�õF=�'9@,"L%(3�'96(-B�7%.";3�3LZ&��+,)KD&%('9A&Q,",Z æs· ´ æ�KVL�m";"L%�D�"L%(Q,"L=K+,=�AKvHV�A&#&"L=�:;",ZIvd38#&";:;6G%�+5<�68%�+,=�3(4o2�%�)�+56�'92�=F4o2�%��=�A&'*=�QM:;2�)$#�<9"G^H";'9Q,"L=I@�+5<¡O0�";3�254�<*+,%(QI"�38#&+,%(31"N=�2�=�3�-_)�)K";68%('9:�)$+568%.'J:;";3�Z��e"L#�2�%(6k �� �&æ³· Z��P"L#&+I%(68)K"L=I6n2b4u�e2�)�#&0�6�"L%A�:;'J"L=�:;",Z+�P+568!�";2I<J'9"Lø5"$õF=�'9@,"L%(3�'96�";'96Pö["L0�@,"L=[Z[�7";<9Q,'*0&)`Z æs·S· �

æ³·

Page 21: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

�����C�e���K�q���

� ze�i��������� �G� � zN�i���q�W¡�¢£�7���[��� � ���(�[�w�K������ze�[�8���°��� �c� ze�

e'96�<9" A&0&D&%(2�0�6�'*=�"K�a+,)B";3

�e%�0�3�31";<R+b6�2�%e\�+�@,"P)K2�A&";<�'R=�:h!�"L)B'J:L+b<�%("L+b:;6�'92�= �'�a�]���S��m2�A&";< � O-�X:;2�=I@,";:;6�'92�=IOYA&'hgn0�3�'92�=`A&'hg�"L%("L=I6�'*+5<�2�#&"L%�+b6�2�% �'�a�m�]�L�?M%(:L+,%e)$+568%.'�^ �'�a�­?��e�W 3�'*=�Qq)K2�A&";<�254�4o"L%�%(2�)$+bQ�=�";6�'9:�)$+56�"L%.'R+b<J3 �'�a�]W-A#?�m2�A&";<�";'9Q,"L=,@5+5<*0�"$#&%(2�D�<9"L)�2b4p�u�R½ �'�a�]�u�R½�]+,%�øb2�@K:;!&+5'*=?)K2�A&";<9'*=�Q]ðY%�+,=�A&2�) \N+b<Rø�ñ �'�a�]�+�¶� �2,<92,38+$)�+568%('¡^ �'�a�] �ö%A

� �

Page 22: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ð�<��,����'�Æ*-��3~"2�^�<�:ac�ó$&"�(��Æ*@]-.� ����4$á]- #��*W���4�+ :3�]-"%.��,�����"I,�3�]-.��!.���$&�I¿U[k¤­[\�<ô [

Ç+È%É%Ê'Ë~Ì�Íu�KV4A&+,+5A�ZiõF=�'9@,"L%(3�'96(-`254n�m'*=&=�";3�2,6G+ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍH� !�"L)K'9:L+5<n"L=�QI'R=�";"L%.'R=�QÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�'93�#&%(2�D�<9"L) )K2�A&";<93e68!�"�:;2�=�:;"L=I68%�+561'J2�=K\�+L@I";3�4o2�%7%."L+5:;6�'92�=$+,=�A�68%�+,=�38#�2�%(6

'R=I6�"L%�+b:;6�'92�=C254�:h!�"L)K'9:L+5<�3�2,<*0�6�'92�=�3F'*=?+K6G0&D&0�<R+I%a%("L+b:;6�2�%;V� �!�"P:;2�=�:;"L=I68%�+b6�'92�=�3¹÷�ð¥� - K�ñ�+,=�A> ð�� - K�ñc254�6(\e2H%("L+5:;61'R=�Q`+,=�A`A&'hgn0�3�'*=�Q`:;2�)$#�2�=�"L=,613a+,%("�)K2�A&";<9";AÇDI-j6G!�"�3�-�3�6�"L)! ÷! � ø ¦ 5| � ! � ÷! � K T���ð-÷ -?> ñ - ð æ ñ! >! � ø ¦ �| � ! �">! � K T/§�ð-÷ -?> ñ - ð � ñ

\�'968!M68!�"e'R=�'96�'*+5<:;2�=�A&'96�'92�=�3i÷�ð-� - K�ñcø0÷��5ð_K�ñ -'> ð-� - K�ñcø > �,ðZK�ñn+I=�AH6G!�"i�P'*%('9:;!�<9";6kD&2�0&=�Ai+,%(-:;2�=�A&'96�'92�=�3R÷�ð�� - �,ñ�øú÷�ð¥� - æ ñ�ø)÷�¨ -�> ð¥� - �Iñ�ø > ð�� - æ ñ�ø > ¨5Z\a!�"L%("����áK©� æ '93P68!�"M38#&+5:;":;2�2�%.A&'R=&+b6�"à+b<J2�=�Q$68!�"F680&D&",Zi+I=�A��c'J3 6�'*)K",V7��+531:h!&)$+I=hwsëªS�UI:;2�=�3�'9A&"L%(";A?'*=`#&+,%.6�'9:L0�<R+I%e68!�"3�25OY:L+5<9<9";AÇ�e%�0�3�31";<R+b6�2�%e\�+�@,"P)K2�A&";<�'R=�\a!�'9:h!��ð-÷ -?> ñ�ø£« X£ðvA²T æ ñw÷RT!÷ � >T- §�ð-÷ -@> ñ%øHA�÷¬Xç÷ � > 4 �!�"L=[Zi6G!�"B+ID&25@,"�31-�3�61"L) +5Ai)B'J613a68!�"K68%.'J@�'*+5<�3�68+56�'92�=&+I%(-`3�2,<*0�6�'92�=Ã÷ ¨ ø¬«cZ > ¨ ø­Ar��«cVaWs=68!�'93k#&%(2�D�<9"L) 2�=�"�'93�#&%('*)$+,%.'J<9-$'*=I6�"L%(";3�61";A$'*=$68!�" "G^_'93�6�"L=�:;"P2b4�3�68+ID�<J"P#&"L%.'J2�A&'9:P3�2,<*0�6�'92�=�3e6�268!�"�3�-�3�6�"L) +b3a68!�"$D�'¡4Y0&%(:L+56�'92�=]#&+I%�+,)K";6�"L%®|�@�+,%.'J";3�VH �!�'93P2�:;:L0&%(3P\a!�"L=T68!�"K";'9Q,"L=I@�+5<*0�";3254�<R+I%(Q,";3�6e%("L+5<�#&+I%(6�372b4n68!�"@þ�+b:;2�D�'*+,=C254�68!�"P%('9Q�!,6e!&+,=�A`3�'9A&"F254kð æ ñ�+I=�AÇð � ñ;Z,";@5+5<*0&+56�";A?+5668!�"a316�"L+5A&-K3�68+561'J2�=K3�2,<*0�6�'92�=[Z&'93�#&0&%(";<9-C'R)�+5Q,'*=&+,%(-,V��2�%�6G!�"à#&0&%�#�2,3�"F254n@,"L%.'�4o-�'R=�QK68!�'93e4Y+5:;6=�0&)K"L%.'J:L+b<J<9-,Z[2�=�"���%(3�6a=�";";A&3P612$A&'93�:L%(";6�'6C;"$68!�"P" » 0&+56�'92�=�3F\�'968!m%(";38#�";:;6a612$68!�"�@5+,%('*+,D�<9"�K+,=�A$:;2�)$#&0�61"�68!�"�";'9Q,"L=I@�+5<*0�";3�\ 'J6G!K<*+,%(Q,";3�6e%("L+5<i#&+,%.6�3�254�68!�"a%(";3G0�<J61'R=�QKA&'93�:L%(";61"@þ�+5:;2�D�'*+,=[VW¯4H\e"mA&'93�:L%(";6�'6C;"÷68!�"m'*=,6�"L%.@�+5<UüÜ� - æ ýà0�31'R=�QáH '*=I6�"L%('92�%T#&2,'*=I6�3`\�'968!S68!�"])K";3G!£31' C;"���øæ �&ð�¯¶T æ ñÍV� !�"L=C68!�"aA&'93�:L%.";6�'6C;";ABþ�+5:;2�D�'R+I=C254n68!�"P3�-�3�6�"L) '93a+ � 6 � D�<92�:;øC)$+568%('¡^j2b4n68!�"4E2�%1)

F&øD�°5 ��T�ðvABX æ ñ@± « � ±

X²Ar± ° � �áX�« � ± F\a!�"L%("K��ø 68%('9A&'*+5Q�³ æ - X � - æµ´ Z ° 5 ø 5� P²¶ o· P +I=�A ° � ø 5� P²¶ P· P �!�"P"G^�+b:;6�";'9Q,"L=,@5+5<*0�";3P254ª�d+,%("Pø�=�25\a=C3�'*=�:;"K68!�"L%("P"G^&'93�6�3P+ » 0&+5Ai%1+56�'9:H%(";<*+561'J2�=?D&";6(\e";"L=68!�"m";'JQI"L=,@5+5<*0�";3Ç2b4H68!�"])$+56G%('¡^ Fí+I=�A 6G!�2,3�"m254H6G!�"Ç:;<*+5313�'9:L+5<PA&'hgu"L%."L=�:;"U)$+b68%('¡^¸��ø68%('9A&'*+5Q�³ æ - X � - æµ´ Va �!�"M4o2,<9<92�\ 'R=�QT3�";Q�)K"L=I6P'93P68!�"K�]+56�<*+,DT�TOo�i<J"B4E2�%F:;2�)$#&0�6�'*=�Q`68!�" � ¯";'JQI"L=,@5+5<*0�";3P254dFM�

ùº¹¼» ��½.�s¾ »2¿7À �_¢b� » ¹ �����5�_¢ » ��½ ùTÁ�Â�¿�à ; À �_¢b�4; ¹ �����5�&¢�;���½ ùYÁµÂ�¿�à ; À7 ��è£Ä ¹T» ûo�MÅ

�&� ý � 7�Æ ½"Ä ¿�¹£Ç ; Á ½ »$Ç �b��ç�½.ú�� Á Ä Á�ù7¿m¿ÈÀ É �_� ý ���&þ_¢��L�[��çU� 7£Æ�L�i� À7 ��è£Ä ¹T» ûo�MÅ

�,��� 7:7 ½ »2¿{¹¼»�À�,��� 7:7 ½b; ¿{¹ ¢��Lú ù ¢ à ; Ç ½ 9 �5�_¢ Ǽ»2¿�Ç ½��&¢b� » ¾,�&¢b�Æ; ¿�Á �&� ý � 7�Æ ½ÊÄ ¿7À

�&æ

Page 23: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

�,��� 7:7 ½"Ë ¿{¹á9 ���&¢ Á ¢��Lú ù ¢ à ;m¾S�&¢b� »µÁ �&¢b�Æ; Á �&� ý � 7�Æ ½"Ä ¿�à ;�¾ ü�ü�ü�&¢5�4; Á ½ 9 �5�&¢ ÇY»�¿2Á �_� ý � 7�Æ ½"Ä ¿�Ç ü�ü�ü¢��Lú ù ¢ à ; Á �&¢5� »oÁ �&� ý � 7�Æ ½ÊÄ ¿�Ç ¢��Lú ù ¢ à ; Á ½ 9 �5�_¢ ÇT»2¿ÈÀ

� ¹ è����,�ç�½Í�,�&� 7�7Y¿ÈÀÌ �&� ý ½ÊÄ ¿�¹ �ͽ »�¿ÈÀ Ì �&� ý ½(�¾�Ä ¿�¹ �,½f; ¿ÈÀÎÉ �_� ý ���&þ_¢��L�[��çU� 7 Ì�L�i� À

�!�"P4o2,<9<92�\ 'R=�QC�iQ�0&%("K38!�25\�3a6G!�" ±S� %('9Q�!I68)K2,3�6F";'9Q,"L=I@�+5<*0�"$A&'93�68%.'RD&0�61'J2�=m254 � �S��D,- � �S�K25468!�"j)$+56G%('¡^�F ð�¯�ø æ �n�,ñF:;2�%�%(";3G#&2�=�A&'*=�Qm6�2?6G!�"j3�";6M254a#&+,%�+,)B";6�"L%(3 ¦ 5 ø\� 4 �S�n´ - ¦ � ø5� ¦ 5 ø¶� 4 �S�~� - «Ãø � - Aµø¶� 4 ��� - | ø¶� 4 � æ³± � � +53a0�3�";AT'R= A&+,+5A%=µ3�D�2�2�øV

-60 -50 -40 -30 -20 -10 0-5

-4

-3

-2

-1

0

1

2

3

4

5

real part of eigenvalues

imag

inar

y pa

rt o

f eig

enva

lues

The 32 Rightmost Eigenvalues of 200 x 200 Brusselator Matrix

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�Í����P�� ��evP� :L+5<9<9'R=�Q`31" » 0�"L=�:;"�4E2�%k4E2�%1)K'*=�Qj)$+568%.'�^�OY@,";:;6�2�%iFkj 2�%LF m jí'93ÏoÐ�Ñ�Ò�ӵРÆ�ÔWÕ�ÖSò�×�ò Ñ�Ø ò ½ Æ Ò�Ì Õ Ï Å Õ Å ò ÅhٲŠÂ�Ú ÙªÅ(۪ŠÂ2Ú Û ¿\�'968!Æ Ò�Ì Õ Ï ðo'*=&#&0�68ñ�WY�F @½�?R½7�

'�4:Æ Ò�Ì Õ Ï ø��&Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF@jdZ'�4:Æ Ò�Ì Õ Ï ø æ Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF@mIjUZÕ ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P2�%(A&"L%e2b4p)$+b68%('¡^EFMV 0 !&+53�6�2jD�"H+,=C";@I"L=`=�0&)KD&"L%ÍV

ò ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�:;2,<*0&)$=�3a2b4 Ù VÙ ðo'*=&#&0�68ñL���PõF�köI½��c�@½7� W-A&WY�P� +,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Â�Ú Ù²Å òqñ:;2�=,6G+5'*=�3�68!�"P@,";:;6�2�%LjdVÂ�Ú Ù ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Ù Z�Â�Ú Ù^Ü )�+�^uð æ Z�Õqñ;VÛ ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ðªÂ2Ú Û²Å ò?ñ:;2�=,6G+5'*=�3�68!�"�#&%(2�Ai0�:;6¼Fkjí2�%@F m jUVÂ�Ú Û ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Û Z�Â�Ú Û^Ü )�+�^uð æ Z�Õqñ;V

WY=`+5A&A&'96�'92�=[Z68!�"H#&+I%�+,)K";6�"L%.3 ¦ 5 - ¦ � - | - «]+,=�AIAU+,%."P3�";6a+53�'*=I6�"L%�=&+5<�#&+,%�+,)K";61"L%(3LV�S�

Page 24: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"��� � �S� � �S� ¸ · � %("L+5<��� � �n�S� � �n�S� ¸ ·S· � %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ�nV���+53�:;!&)$+,=[Z��dV��P0&D�'9:;"Lø`+,=�AC�dV��/+I%(2,3LZ���+�@,";3c'*=CA&'J3168%('*D&0�6�";A?:;!�"L)K'9:L+5<[3�-�3�6�"L)K3��n"G^�O#&"L%('*)K"L=I6�3�+,=�Am:;2�)$#&0�6G+56�'92�=�3LZ+��V+þiV�r 2,<*)K";3P";A�V*Z�� ";\XvP#&#&%(2�+5:;!�";3a612q� 2�=�<9'*=�"L+,%R�c%(2�DIO<J"L)B3P'R=��P-&=&+,)K'9:;3FO¹�7%(2�:;";";A&'*=�Q,3K254k68!�"KvF3�'9<92�)$+,%M�e2�=I4o"L%("L=�:;"U?�%(2�0&=�A�Z���+5:;'¡�i:ð?�%.2�@I",Z��+5<9'¡4E2�%1=�'R+ æ³· ¸ · Vn �!�"�½7=�Q,'*=�";"L%('*=�Q`�2�0&=�Ai+56�'92�=[Z4A&W va�dZi#&#[V � ¸ æ ï � ´S´&Z æs· ´S�&V�HV+A&+,+5A�Z[�a0&)B"L%('9:L+5<��m";68!�2�A&3F4o2�%Fö�+,%(QI"G½�'9Q,"L=I@�+b<R0�"<�7%(2�D�<9"L)K3�Z�ra+5<93�61";Aµ�c%(";3�3LZ��P'9@�VF254þ,2�!&=<�S'9<J";-'��A�2�=�3LZiWs=�:,V*Zi� ";\)��2�%�øiZ æ³·n·S�

�S±

Page 25: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ð[\"�(��#* Y4`ÁòÝ�ð"%.Iac�4 :3�]-"%.eòÃ]��¹,��³]-"I.kqB�@�#�:�43S"+���,�����"I,�3�]-.��!.���$&�I¿U[k¤­[\[Þ�ðòÇ+È%É%Ê'Ë~Ì�ÍP0&=�:;<9"L+,%ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+Í�:;2�)$#&0�68+56�'92�=&+b<+D�0�'9A?A&-&=&+,)K'9:;3ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�'93?6�";316q)$+b68%('¡^ '93`4Y%(2�) 68!�"T4o2,<9<J25\�'*=�Q�:;2�=�3�68+,=I6(OY:;2�""Nj:;'9"L=,6T:;2�=I@,";:;6�'92�=

A&'Ügn0�3�'92�=T" » 0&+56�'92�=�\a!�'9:h!T'93a\ 'JA&";<9-]0�3�";A�4E2�% 6�";3�61'R=�QC+,=�A]+,=&+5<9-�C;'*=�Q?=�0&)K"L%('9:L+5<�)K";68!�2�A&34E2�%c68!�"P312,<*0�6�'92�=`254�<9'*=�"L+,%F3�-�3�6�"L) 254�" » 0&+561'J2�=�3LZ

Xàß � T �1á 5 � <�T �1á � � CWX á � � ø � 'R= üÜ� - æ ý �� ø § 2�= ! üÜ� - æ ý �\a!�"L%(" á 5 - á � +,=�A á � +,%("]#&2,31'J61'J@I"]:;2�=�3�68+I=,6�3�V��P'93�:L%(";6�'6CL+56�'92�=tD,-�68!�"T��=�'J61"]A&'hgu"L%."L=�:;"3�:h!�"L)B"$\�'968!m+B��Ol#�2,'*=,6M3�6�"L=�:;'9<72�=Ç+`0&=�'¡4o2�%�)â¯ã6'¯ Q�%('9A]QI'J@I";3H%('93�"$612?+C38#&+,%(3�"�<J'*=�"L+,%3�-�316�"L) 254�" » 0&+56�'92�=�3

F � ø£a\a!�"L%("RF '93a2b4�2�%.A&"L%௠� +,=�A � +,=�A'aP+,%("�=�25\�@,";:;612�%(3�254�3�'6C;"B¯ � Ve�e"L=I6�"L%(";ATA&'Üg�"L%("L=�:;";3+,%("H0�31";Am4E2�%�68!�"M��%(316aA&"L%('9@5+56�'9@,";3LV$WE4k68!�"KQ�%('9A]#&2I'R=I6�3�+,%."B=�0&)KD&"L%(";A÷0�3�'*=�Q`68!�"$%(25\�\�'93�"=&+5680&%�+5<[2�%.A&"L%('*=�QiZ&68!�"L= F�'93P+HD�<92�:høC6G%('9A&'R+bQ,2�=&+5<n)�+568%('¡^`254�6G!�"F4E2�%1)

Fáøläåååååååæ� ðvA X æ ñ@±

XPðvAOT æ ñ@± � ðvABX æ ñ?±V V V V V V V V V

V V V V V V ðvA X æ ñ@±XPðvABT æ ñ@± �

çbèèèèèèèé\�'968!

��ø äåååååååæ�WX{ê �²X æX²�OX æ �RX�ê �OX æ

V V V V V V V V VV V V V V V �²X æ

X²�BX æ �RX�êç èèèèèèèé -

\a!�"L%("®Aµø á 5 � - �²ø á � � - êOø á � � � +,=�A'�Uø æ �&ð¥¯�T æ ñ;V �!�"`38#&";:;6G%�+5<FA&";:;2�)$#&2I3�'96�'92�=d254�6G!�"`:;2�=,@I";:;6�'92�=dA&'hgn0�3�'92�=S)$+568%.'�^d'93qø�=�25\a=[Vd�2�% æ �N - QB��¯]Z�'�4ëß 'J3P+MA&'*+5Q,2�=&+5<�)$+568%('¡^`\�'968!]ð1ð_N%X æ ñb¯�TÃQ&ñ(68!�A&'*+5Q,2�=&+b<�"L=,6G%(-& æ T/Aæ X(AK)Kìîí oP & æ T3�æ X��ë)®ïbí oP -68!�"L=�ß J 5fF®ß '93�3�-&)$)K";6G%('9:,V��i2�% æ �óV -"ð ��¯]Z�<9";6�ð-V -"ð ñ�A&"L=�2,61"Hð-V X æ ñb¯)T ð V� �!�"L=C68!�"ð-V -Êð ñ(6G!$0&=&=�2�%�)$+b<J'6C;";Am";'9Q,"L=I@,";:;6�2�%e2b4ñßIJ 5 F®ß�!&+53�ðZN - Q&ñ(6G!K"L=,6G%(-

3�'*=[ð_NPV��snnñ&3�'*=[ð�Q ð �snnñ 4� �

Page 26: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

�!�"�%("L+5A&"L%�)�+L-`=�25\S@,"L%('¡4E-`6G!&+56e68!�"jð-V -"ð ñ(68!K";'9Q,"L=I@�+b<R0�"K254�Ft'J3

ùYòôó ¡ õôö ø&� X�êUT � ð æ X(A � ñ 5 � � :;2,3Lð-V��snnñ%T � ð æ X�� � ñ 5 � � :;2,3Lð ð ��nnñ �!�"�4o2,<9<925\�'*=�QK�iQ�0&%("P38!�25\�3e68!�"F";'9Q,"L=I@�+5<*0�"KA&'93�68%('*D&0�6�'92�=�254 · � æ DI- · � æ :;2�=I@,";:;6�'92�=CA&'hgn0IO3�'92�=`)$+568%.'�^`\�'968! á 5 ø � � - á � ø¶�n�H+I=�A á � ø � �n�&V

2.5 3 3.5 4 4.5 5−2.5

−2

−1.5

−1

−0.5

0

0.5

1

1.5

2

2.5

real part

imag

inar

y pa

rt

A�'R=�:;"F68!�"�=�2�%�)�+5<9' C;";AC";'9Q,"L=I@,";:;6�2�%(3c254u+F31-_)$)B";68%('9:a)$+56G%('¡^B+,%("e2�%.68!�2,Q,2�=&+b<EZ56G!�"�";'9Q,"L=,@I";:GO6�2�%(3�2542FS+,%."kQ�%�+5A&";A$<9'*ø5"�68!�" A&'R+bQ,2�=&+5<&2547ßX+,=�A$68!�" :;2�=�A&'96�'92�=$=�0&)HD�"L%�254[68!�"�";'9Q,"L=I@�+5<*0�"#&%(2�D�<9"L) 4o2�%LFt'J3

:;2�=�A�ð÷ß$ñ�øø& ð æ T/A�ñ;ð æ T/�nñð æ X(A�ñ;ð æ X(�nñ$)Kù í oP 4�]"a=�2,6�"F68!&+56�Z5'R=`#&%1+5:;6�'9:;",Z�68!�"a:;!�2,'9:;"F254�68!�"à)B";38!$31' C;"K�`+,=�AC68!�"�:;2�""Nj:;'9"L=,613 á 5 Z á � +,=�Aá � !&+�@,"�6�2C38+561'J3.4E-`:;"L%(6G+5'*=`:;2�=�A&'96�'92�=�3�4E2�%N68!�"�A&'93�:L%(";61' CL+b6�'92�=m6�2`D&"M3�68+,D�<9",Vu�]"H%."G4E"L% 68!�"%("L+5A&"L%e6�2K68!�"K%("G4o"L%("L=�:;";3e4o2�%e68!�"PA&'93�:L0�3�31'J2�=?2b4�68!�'93F'93�380�",V

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�Í����P�� ��evP� :L+5<9<9'R=�Q`31" » 0�"L=�:;"�4E2�%k4E2�%1)K'*=�Qj)$+568%.'�^�OY@,";:;6�2�%iFkj 2�%LF m jí'93ÏoÐ�Ñ�Ò�ӵРÆ�ÔWÕ�ÖSò�×�ò�òuú2Ú ½ Æ Ò�Ì Õ Ï Å Õ Å ò ÅhٲŠÂ�Ú ÙªÅ(۪ŠÂ2Ú Û ¿\�'968!Æ Ò�Ì Õ Ï ðo'*=&#&0�68ñ�WY�F @½�?R½7�

'�4:Æ Ò�Ì Õ Ï ø��&Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF@jdZ'�4:Æ Ò�Ì Õ Ï ø æ Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF@mIjUZÕ ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"e2�%(A&"L%�254i68!�"�)$+b68%('¡^ FMV 0 !&+53�6�2�D�"k6G!�"k3 » 0&+,%."k2b4u+,=M'*=,61";Q,"L%�=�0&)KD�"L%;V

ò ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�:;2,<*0&)$=�3a2b4 Ù VÙ ðo'*=&#&0�68ñL���PõF�köI½��c�@½7� W-A&WY�P� +,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Â�Ú Ù²Å òqñ:;2�=,6G+5'*=�3�68!�"P@,";:;6�2�%LjdVÂ�Ú Ù ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Ù Z�Â�Ú Ù^Ü )�+�^uð æ Z�Õqñ;V

� �

Page 27: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

Û ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ðªÂ2Ú Û²Å ò?ñ:;2�=,6G+5'*=�3�68!�"�#&%(2�Ai0�:;6¼Fkjí2�%@F m jUVÂ�Ú Û ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Û Z�Â�Ú Û^Ü )�+�^uð æ Z�Õqñ;V

WY=`+5A&A&'96�'92�=[Z á 5 Z á � +,=�A á � +,%("F3�";6a+53 'R=I6�"L%�=&+b<n#&+,%�+,)B";6�"L%(3LVÏ<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

½�<*)$+,=C+,=�AOA�68%(";'96e6�";3�6�";Aj#&%.";:;2�=�A&'96�'92�=�"L%(3e4o2�%�<9'*=�"L+,%e31-�3�61"L)K372�=�3�'¡^j:;2�=I@,";:;6�'92�=IOYA&'hgn0�3�'92�=)$+568%('9:;";3a+I%('93�'*=�Q$2�=`+ ±&æ DI- ±�æ Q�%('9A�V7��2I6�"P68!&+56e\a!�"L= á 5 +I=�A á � +I%("P<*+,%(Q,"P:;2�)�#&+,%(";A`6�268!�"�Q�%.'JAm3�'6C;",Z�68!�"�<92�:L+5<�"L%�%(2�% '*=T68!�"KA&'J31:L%(";6�'6CL+56�'92�=m'93P3�'9Q�=�'¡�i:L+,=I6LVFvF<J312?=�2,6�"K68!&+56�\F!�"L=á 5 +,=�A á � +,%("P<*+,%(Q,"M68!�"P3�2,<*0�6�'92�=[Z � Z�4o2�%�)K3aD�2�0&=�Ai+,%(-`<*+�-,"L%(3 \a!�'9:h!m+,%("�=�2I6a#&%�+5:;6�'9:L+5<�6�2%(";3�2,<9@,"�0�3�'*=�Q`%(";Q�0�<*+,%eQ�%('9A&3LV7 �!�"�)$+b68%('9:;";3a:;2�%�%(";38#�2�=�A`6�2$68!�"F4o2,<9<925\�'*=�Qj:;!�2,'9:;";3a2b4 á 5 Z á �+,=�A á � V

��'9<9"L=&+,)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%�254�=�2�=:C;"L%(2,3 ��+b68+M6l-&#&" ð á 5 - á � - á � ñ���W�R½ æ · � æ �:�S´ æ %("L+5< ð æ Z � Z ± �,ñ���W�R½ � · � æ �:�S´ æ %("L+5< ð � �&ZÜ�S�&Z ± �,ñ���W�R½ ± · � æ �:�S´ æ %("L+5< ð æ Z � ZÜ´S�,ñ���W�R½�� · � æ �:�S´ æ %("L+5< ð � �&ZÜ�S�&Zh´S�,ñ���W�R½�� · � æ �:�S´ æ %("L+5< ð æ Z � Z � �S�,ñ���W�R½�� · � æ �:�S´ æ %("L+5< ð � �&ZÜ�S��Z � �S�,ñ

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍr�V&�PV:½�<*)$+,=`+,=�A?��V_ö�A�68%(";'96LZ#��2,<9-_=�2�)K'*+5<['J61"L%�+56�'92�=�4o2�%7=�2�=�3�-_)�)K";68%('9:P'*=�A&"G��=�'96�"K<J'*=�"L+,%3�-�316�"L)K3LZ7öu";:,V � 2,6�";3$'*= �/+b68![V���2,<oV æ³�n± �&Z�þiV��nVcr�"L=&=&+,%.6LZ7";A�V��a0&)K"L%.'J:L+b<avP=&+5<9-�31'J3�7%(2�:;";";A&'*=�Q,3LZ+?�+,0&0&+~Îl38+b6�2iZ5�m"G^_'9:;2iZ+A&#&%('*=�Q,"���"L%(<*+5QiZ æ³· ´��iV�HVSA&+,+bA�Zo�7+,%('*+56�'92�=�3c2�=Mvà%�=�2I<JA&'_=µ3e)K";68!�2�AK4o2�%�:;2�)$#&0�6�'*=�Q�";'9Q,"L=�";<9"L)K"L=I6�3e254�<*+,%.Q,"a0&=�3�-&)MO)K";68%('9:�)$+56G%('9:;";3LZiö['*=[Vcva<9QiV�vP#&#�<oV ± �i� � � · ï �S· �&Z æs· ´S�&V5�V��e+5'�+,=�AO?$Vn� V#A�6�";\�+,%.6LZSA&����Ws &ï$v����P�n �evà�t380&D&%(2�0�6�'*=�"P6�2�:L+5<9:L0�<*+56�2�%e68!�"FA&2�)MO'R=&+I=,6P'*=I@�+,%('*+,=I6P380&D�38#&+b:;";3�254�+j=�2�=�31-_)$)B";68%('9:j)$+56G%('¡^uZ[�e2�)$#[V A�:;'EV��P"L#�6�V� �";:;![V��e"L#[V ��cO �S· �n´&Z&õa=�'9@[V7254��/+I%(-�<*+,=�A�Z�� �$Z�vP#&%('9< æs·S·S� Z[ðo380&D&)B'J616�";A`6�2$va�N� ��F�­A&ñ;V5�V4þI'R+�Z%A�2�)K"H=�0&)K"L%('9:L+5<7)B";68!�2�A&3F4o2�% <*+,%(Q,"$0&=�3�-&)$)K";68%.'J:K";'9Q,"L=&#&%(2�D�<J"L)B3LZc�c![Vÿ�$Vi6G!�";3�'93LZ �!�"F4 +b:L0�<J6(-C254��/+b68!�"L)$+56�'9:;3LZ&õF=�'9@,"L%(3�'96(-`2547�7'9";<9"G4o";<JA�Z�?P"L%�)�+,=,-,Z��"LD[V æ³·S· �V�PVn�FVnöu"L!�2�0�: » Zpvà=&+5<9-�3�'93$+,=�A�'*)$#�<9"L)K"L=I68+561'J2�=]254a+,=>'*)$#�<9'9:;'J61<J-£�N";3�68+,%(61";A]và%1=�2,<9A&'NW 6(O"L%�+56�'92�=[Z%�c![Vÿ� 68!�";31'J3�Z+�P"L#&+,%(68)K"L=I6F254N�e2�)$#&0�68+56�'92�=&+b<n+,=�A]vP#&#�<9'J";A÷�m";68!�"L)$+561'J:;3�Z��e'9:;"õa=�'9@,"L%(31'J6(-,Zi � · ��O æ³± Z��]+�- æ³·S· �&V

� �

Page 28: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿��Ã�� #���­[\��3'�n]_^��,�����"I,�3�]-.��!.���$&�I¿U[k¤­[Þ��t(�Ç+È%É%Ê'Ë~Ì�ÍuþiV4?M%(:L+,%;Z#A&+,=�A&'*+C�a+b6�'92�=&+5<nö�+ID[VÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍH=�0&)K"L%('9:L+5<�<9'*=�"L+,%a+b<JQI"LD&%�+ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍMvà=EH'6OHç?�%(:L+I%k)�+568%('¡^`'J3P+$=�2�=�31-_)$)B";68%('9:� �2�"L#�<9'96wC$)$+568%('¡^��

F&øäåååååååååååååæ

æ æ æ æX æ æ æ æ æ

X æ æ æ æ æV V V V V V V V V V V V V V V

X æ æ æ æ æX æ æ æ æ

X æ æ æX æ æ

ç èèèèèèèèèèèèèé �!�"H)$+b68%('¡^�!&+b3a3�"L=�31'J61'J@I"H";'9Q,"L=I@�+b<R0�";3�Và !�"P4o2,<9<J25\�'*=�QC�iQ�0&%.";3à+,%."P68!�"�";'9Q,"L=I@�+5<*0�"$A&'93�6G%('¡OD&0�6�'92�=C254 æ �S�KDI- æ �S� ?�%(:L+,%c)$+568%.'�^OF�+,=�AOF@m7Z�:;2�)�#&0�6�";A?D,- º ��+5<9Q,2�%('968!&) '*=C�]+56�<*+,D[V

0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8−2.5

−2

−1.5

−1

−0.5

0

0.5

1

1.5

2

2.5

0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8−2.5

−2

−1.5

−1

−0.5

0

0.5

1

1.5

2

2.5

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�Í����P�� ��evP� :L+5<9<9'R=�Q`31" » 0�"L=�:;"�4E2�%k4E2�%1)K'*=�Qj)$+568%.'�^�OY@,";:;6�2�%iFkj 2�%LF@mIjí'93ÏoÐ�Ñ�Ò�ӵРÆ�ÔWÕ�ÖSò�×�ò�û Ò ú ½ Æ Ò�Ì Õ Ï Å Õ Å ò ÅhٲŠÂ�Ú ÙªÅ(۪ŠÂ2Ú Û ¿\�'968!Æ Ò�Ì Õ Ï ðo'*=&#&0�68ñ�WY�F @½�?R½7�

'�4:Æ Ò�Ì Õ Ï ø��&Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF@jdZ'�4:Æ Ò�Ì Õ Ï ø æ Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF m jUZÕ ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P2�%(A&"L%e2b4�68!�"�)�+568%('¡^BF�V

ò ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�:;2,<*0&)$=�3a2b4 Ù VÙ ðo'*=&#&0�68ñL���PõF�köI½��c�@½7� W-A&WY�P� +,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Â�Ú Ù²Å òqñ:;2�=,6G+5'*=�3�68!�"P@,";:;6�2�%LjdV

� ¸

Page 29: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

Â�Ú Ù ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Ù Z�Â�Ú Ù^Ü )�+�^uð æ Z�Õqñ;VÛ ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ðªÂ2Ú Û²Å ò?ñ:;2�=,6G+5'*=�3�68!�"�#&%(2�Ai0�:;6¼Fkjí2�%@F m jUVÂ�Ú Û ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Û Z�Â�Ú Û^Ü )�+�^uð æ Z�Õqñ;V

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍþiVi?M%(:L+,%;Z��P#�"L%�+56�2�%$:;2�""Nj:;'9"L=,6m)K";68!�2�A&3$4o2�%�<9'R=�"L+I%`" » 0&+56�'92�=�3LZuA&+,=�A&'*+d�a+561'J2�=&+5<àö�+,D[V�e"L#[V�A�vP�@�R´ · OP´S� ·&æ Z&� 25@�V æ³· ´ · V��Vµ�dV��a+5:;!I6�'9Q�+5<oZ&ö�Vi�e";'9:;!�";<n+,=�A?ö�V��MV& n%."G4E";68!�"L=[Z�v !,-&D&%('9AB?P�]�@½�Aj+b<JQI2�%('968!&) 4o2�%e=�2�=IO3�-_)�)K";68%('9:P<9'*=�"L+,%�31-�3�61"L)K3LZ4A&W va� þiV&�]+56G%('¡^qvP=&+5<oV7vP#&#�<oV*Z æ³± ð æ³·S·S� ñ;Z�#&#[V�¸ · ��OP´ � ��V��V#þVir�'9Q�!&+I)`Ziv :;2,<9<9";:;6�'92�=T254�6�";3�6a)$+b68%('9:;";3a'*=��Çv7 ö[và�FZ&vF�e� n%�+I=�3LV��]+568![V�A�2b4E6(\�Væ ¸&� � ´ · ï ± �S��Z æ³·S·&æ V

� ´

Page 30: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿��s�³]-.dö¶$�"�(��#*k/f"+�O/f�#�n��"%$&��öc.��Æ3']- �$���3S�#�n]-�4*-���,�����"I,�3�]-.��!.���$&�I¿U[k¤­[����²�Ç+È%É%Ê'Ë~Ì�ÍP�FV&��%.'J";Ai)�+,=ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+Í��]+561"L%('*+5<�3�:;'9"L=�:;"ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�'9376�";316�)$+b68%('¡^H'93�4Y%(2�)t68!�"a+I=&+5<9-�3�'93c254i68!�"aW 3�'*=�QH)K2�A&";<�4E2�%[4o"L%�%(2�)�+5Q�=�";6�'9:

)$+56�"L%('*+5<93LVc �!�"�)$+568%.'�^BFt'J3F68!�"�#&%(2�Ai0�:;6F254�6G!�"P6l\e2 � ¯ D,- � ¯ )$+b68%('9:;";3*ü +,=�Ah| ZF&ø£ü'|

\a!�"L%("

üõø äååååååæý ý

V V V ý ýçbèèèèèèé - |�ø äååååååæ

:;2,3�A X`31'R=þAÿV V V ÿ

3�'*=²A :;2,3�Açbèèèèèèé

ýúø D :;2,3Y« 3�'*=à«X`3�'*=®« :;2,3« F - ÿ¶ø D :;2,3sA 3�'*=þA

X`3�'*=þA :;2,3sA F 4Wo6F:L+,=?D�"H3G!�2�\F=`68!&+56F68!�"M";'JQI"L=,@5+5<*0�";3�254iFX+,%."�68!�" � ¯ =�0&)KD&"L%(3P68!&+b6a+,%("M2�D�68+5'*=�";A]D,-:;2�)$#&0�6�'*=�Q$68!�"M";'9Q,"L=,@5+5<*0�";3P254�68!�"K¯ � DI- � )�+568%('9:;";3D :;2,3T« 3�'*=®«

X�3�'*= « :;2,3Y« F D :;2I3�A X � ó 31'R=ëA� � J ó 31'R=ëA :;2I3�A F

4E2�%¬V�ø æ - � - 4y414 - ¯]Ze\F!�"L%(" � ø ��� ��� � � V �!�"`4o2,<9<92�\ 'R=�Q>�iQ�0&%("m38!�25\�3�68!�"?";'9Q,"L=I@�+5<*0�"A&'J3168%('*D&0�6�'92�=`2b4 æ �n�$D,- æ �S�KW 3�'*=�Qq)$+b68%('¡^q\ 'J6G!h«Bø nÍ���j+,=�AIA­ø8nÍ���

−0.2 0 0.2 0.4 0.6 0.8 1

−1

−0.8

−0.6

−0.4

−0.2

0

0.2

0.4

0.6

0.8

1

real part

imag

inar

y pa

rt

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�Í����P�� ��evP� :L+5<9<9'R=�Q`31" » 0�"L=�:;"�4E2�%k4E2�%1)K'*=�Qj)$+568%.'�^�OY@,";:;6�2�%iFkj 2�%LF m jí'93ÏoÐ�Ñ�Ò�ӵРÆ�ÔWÕ�ÖSò�×�ò�Ô Ï û ½ Æ Ò�Ì Õ Ï Å Õ Å ò ÅhٲŠÂ�Ú ÙªÅ(۪ŠÂ2Ú Û ¿�S·

Page 31: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

\�'968!Æ Ò�Ì Õ Ï ðo'*=&#&0�68ñ�WY�F @½�?R½7�'�4:Æ Ò�Ì Õ Ï ø��&Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF@jdZ'�4:Æ Ò�Ì Õ Ï ø æ Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF m jUZÕ ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P2�%(A&"L%e2b4�68!�"�)�+568%('¡^BF�V 0 !&+53F6�2$D&"H+I=C";@,"L=?=�0&)KD&"L%;V

ò ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�:;2,<*0&)$=�3a2b4 Ù VÙ ðo'*=&#&0�68ñL���PõF�köI½��c�@½7� W-A&WY�P� +,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Â�Ú Ù²Å òqñ:;2�=,6G+5'*=�3�68!�"P@,";:;6�2�%LjdVÂ�Ú Ù ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Ù Z�Â�Ú Ù^Ü )�+�^uð æ Z�Õqñ;VÛ ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ðªÂ2Ú Û²Å ò?ñ:;2�=,6G+5'*=�3�68!�"�#&%(2�Ai0�:;6¼Fkjí2�%@F m jUVÂ�Ú Û ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Û Z�Â�Ú Û^Ü )�+�^uð æ Z�Õqñ;V

WY=`+5A&A&'96�'92�=[ZY«d+,=�AIAU+,%."P3�";6a+53�'*=I6�"L%�=&+5<�#&+,%�+,)K";61"L%(3LV߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ

�aV��P+,0I4 )�+,=[Z&��%(-�3�68+5<[3�68+b6�'93�6�'9:;3aW(W�Z+�7!I-�3�V7�e";@[V�¸S�&Zi#&#[V æ³�S±S� Z æ³· � · V�aV��%.'J";Ai)�+,=[Z%½�'9Q,"L=I@�+5<*0�";3M254k�e2�)$#�2,3�'96�"K)$+568%('9:;";3LZ%�c%(2�:,Va��+,)KD&%('9A&Q,"��7!�'9<92,3LVRA�2�:,VW�S¸&Z#&#[V ± ¸�O-� · Z æs· � æ�UV�]+,%(:L0�3P+,=�A]r�V�m'*=�:,Z[v 380&%(@I";-?2547�]+568%.'�^Ç !�";2�%(-?+,=�A])$+56G%('¡^Ç'*=�" » 0&+b<J'96�'9";3LZ��P25@,"L%";A&'J61'J2�=[Z�� ";\¶��2�%�øZ æ³·n·S� V

�<à-ÖÁÌ#ÊnÔ�È�ÖÁÌØÑnÍ �!�'93�Wo3�'*=�QÇ)B2�A&";<�\�+53P#&%(2�#�2,3�";A]6�2C"G^i#�<R+b'R=÷#&%(2�#�"L%(6�'9";3�2b4�4E"L%�%.2�)$+5Q�=�";613àD&0�6P3�'*=�:;"C68!�"L='J6$!&+53�4E2�0&=�A£+,#&#�<9'J:L+b6�'92�=÷6�2?612�#�'9:;3$'*=]:;!�"L)K'93�68%(-÷+,=�A£D�'92,<92,Q,-�+53K\e";<9<k+53$#&!I-�31'J:;3�Vm�i2�%+,=,-m%("L+5A&"L%M0&=I4 +,)B'J<9'*+,%K\ 'J6G!m68!�"j)K2�A&";<k+I=m"G^_:;";<9<9"L=I6$'*=,68%.2�Ai0�:;6�'92�=>'93ðü��FV[vKVn�e'*#&%�+�ZnvP=WY=I68%(2�Ai0�:;6�'92�=K6�2P68!�"FWo3�'*=�Q��m2�A&";<oZ�vP)K"L%('9:L+,=B�/+b68!�"L)$+56�'9:L+5<&�m2�=I68!�<9-,Z · �i� ·S± ¸'ï · � · Z æ³· ´S¸sý(Vv =�0&)B"L%('9:L+5<a)K";68!�2�A÷4o2�%K+,#&#&%(2�^_'*)$+b6�'*=�QÇ6G!�"`<J"L+bA&'R=�Q÷";'9Q,"L=I@�+5<*0�";3C254 � � W 3�'*=�Q�)K2�A&";<J30�3�'*=�Q�+`68%1+,=�3(4o"L%H)�+568%('¡^�254�2�%.A&"L% � ¢ \�'968!�H ø ± �`'93j%("L#�2�%(6�";A÷'*=&ü��FV���+I%(<9";6�6H+,=�A!�XVr�"L=�QiZc �!�"j�m";68!�2�Ad254��m'*=�'R)�+5<a�e"L#&%(";31"L=,68+b6�'92�=�3$'*= � � Wo3�'*=�Q]�m2�A&";<N� +5<9:L0�<R+b6�'92�=�3LZ�þiV�e2�)$#[V��7!I-,V æ,æ �iZ&#&#[V � �S¸sï � ���iZ æ³·S· ��ý(V�]"�#�<*+,=`6�2K'*=�:;<*0�A&"$68!�"P68%1+,=�3(4o"L%�)$+568%.'�^`'*=`68!�"F4Y0�680&%("P@I"L%(3�'92�=`2b4n68!�'93a:;2I<J<9";:;6�'92�=[V

± �

Page 32: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ð[\"�(��#*K� ]_öc�4.Ia%�4*-,���]���"%�d*-�4$ "�/�qBò����,�����"I,�3�]-.��!.���$&�I¿U[k¤­[ÞqBò��Ç+È%É%Ê'Ë~Ì�ÍW?$VÆ� V#A�6�";\�+,%.6LZ&õa=�'9@,"L%(31'J6(-`254��/+I%(-�<*+,=�AÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+Í��m2�A&";<�";'9Q,"L=I@�+5<*0�"$#&%(2�D�<9"L)ë254�2�%(A&'*=&+,%(-CA&'Üg�"L%("L=I6�'*+5<�" » 0&+b6�'92�=[VÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK�e2�=�3�'9A&"L%�68!�"m4o2,<9<J25\�'*=�Q�";'JQI"L=,@5+5<*0�"U#&%(2�D�<J"L) 254$+,=�2�%(A&'*=&+,%(-SA&'hg�"L%("L=I6�'*+5<

" » 0&+561'J2�= > �f� T�� � > ø¶� ð ± ñ\�'968!C68!�"�D&2�0&=�Ai+,%(-`:;2�=�A&'96�'92�=�3> ð��,ñcø0� +,=�A > � ð-�,ñ+T/� > � ð æ ñ�ø¶� - �Gg��^g æ24Wo6�:L+,=`D�"�38!�25\a=C6G!&+56e68!�"�";'9Q,"L=I@�+5<*0�";3�]+,%("PQI'J@I"L=?DI-

�Bø N�:;2,3G! J 5 ð1X²� J 5 ñ -\a!�'9:h!T+,%("P:;2�)$#�<9"G^�V7 �!�"M3�2,<*0�6�'92�=�3F254n68!�'93F" » 0&+561'J2�=?+,%("P2b4n68!�"P4o2�%�)

� � ø ð�ð � VuT æ ñ � n � X]<*= � ê�ñcX�N8ð � ð � V@T æ ñbnF<R=®ê�ñ -4E2�%LVUø0� -� æ -� � - 4$414 Z�\a!�"L%(".êOø æ �$� � æ �$� � X æ V �!�"`";'9Q,"L=&#&%(2�D�<9"L)ï254Hð ± ñM:L+,=dD&"m+,#&#&%(2�^_'*)$+b6�";A£D,->��=�'96�"?A&'hg�"L%("L=�:;";3`+53M4E2I<J<925\�3LV�ö[";6> � A&"L=�2,6�"m68!�"m+,#&#&%(2�^_'*)$+b6�"?3�2I<R0�61'J2�=�+56C68!�"]#&2,'*=I6B÷ � ø�Nb�&ð_HÃT æ ñTð_NOø � - æ - 4y414 - H�ñ;V�e"L#�<*+5:;'*=�Qj68!�"F3�";:;2�=�A`A&"L%.'J@5+56�'9@,";3F'*=mð ± ñ�\ 'J6G!`+�:;"L=I6�"L%(";A`A&'hg�"L%("L=�:;"M2�#&"L%�+b6�2�%(3c6�2K2�D�68+5'*=68!�"PQ,"L=�"L%�+5<9'6C;";A])$+568%.'�^`";'9Q,"L=I@�+5<*0�"$#&%(2�D�<9"L)

F > ø�X�� � û >T- ð_��ñ

4E2�% > øXð > 5 -@> � - 4$4y4 -@> ¢ 5 ñ��7Z�\a!�"L%("Fóø äååååååååæ

X � ææ X � æ

æ X � æV V V V V V V V V

æ X � æ� X æ ����� � XL�o� ± �

ç èèèèèèèèé+,=�A ûeø � � A&'R+bQið æ - æ - 4$414 - æ - �Iñ;V��7%.2�D�<9"L)íð_��ñe:L+,=mD&"K%(";:L+53�6P+53�68!�"M3�68+,=�Ai+I%(A?";'9Q,"L=I@�+5<*0�"#&%(2�D�<9"L) E > ø�X æ

� � >Y-\a!�"L%(" E ø¶FLJ 5 û�V

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�ÍM �!�"q)�+568%('¡^�OY@,";:;6�2�%M#&%(2�Ai0�:;613 � ø E j :L+,=÷D&"C4o2�%�)B";AUDI-]3�2,<9@�'*=�Q]68!�"C<J'*=�"L+,%3�-�316�"L)¤F � ø¶ûJj 4E2�% � 0�3�'*=�QC68!�"�D&+,=�A&";A ?M+,0�3�3�'*+,=�";<9'R)B'R=&+b6�'92�=[V���P�� ��evP� :L+5<9<9'R=�Q`31" » 0�"L=�:;"�4E2�%k4E2�%1)K'*=�Qj)$+568%.'�^�OY@,";:;6�2�%k#&%.2�Ai0�:;6 � ø E jí'93

±&æ

Page 33: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

ϵÐuÑ�Ò�ÓoÐ ÆÔoÕ�Ö£ò�×�ò Ó Ú�Ö ½ Õ Å ò Å�٪ŠÂ2Ú ÙªÅ�۲ŠÂ�Ú Û ¿\�'968!Õ ðo'*=&#&0�68ñ�WY�F @½�?R½7�

�!�"P2�%(A&"L%e2b4�68!�"�)�+568%('¡^ E Vò ðo'*=&#&0�68ñ�WY�F @½�?R½7�

�!�"�=�0&)KD�"L%�254�:;2,<*0&)$=�3a2b4 Ù VÙ ðo'*=&#&0�68ñL���PõF�köI½��c�@½7� W-A&WY�P� +,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Â�Ú Ù²Å òqñ:;2�=,6G+5'*=�3�68!�"P@,";:;6�2�%LjdVÂ�Ú Ù ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Ù Z�Â�Ú Ù^Ü )�+�^uð æ Z�Õqñ;VÛ ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ðªÂ2Ú Û²Å ò?ñ:;2�=,6G+5'*=�3�68!�"�#&%(2�Ai0�:;6 E jdVÂ�Ú Û ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Û Z�Â�Ú Û^Ü )�+�^uð æ Z�Õqñ;V

WY=`+5A&A&'96�'92�=[Zs�]'J3 3�";6a+53a+I=C'R=I6�"L%�=&+b<n#&+,%�+,)B";6�"L%(3LV� Õm\k2�%�ø,3G#&+5:;"j'93$%(" » 0�'*%(";A÷4E2�%P68!�"?D&+,=�A&";A!?�+I0�3�3�'*+,=>";<J'*)K'*=&+561'J2�=[V�vF3$+TA&"G4 +,0�<96K@�+b<R0�",Z±��'� �S� æ \e2�%�øI38#&+5:;"K'93�31";6P'R=I6�"L%�=&+b<J<9-,VCvF3�+?%(";380�<96LZÈÕ?38!�2�0�<JAdD&"�<J";313H+,=�A]" » 0&+5<c6�2 � �S� æ V�F68!�"L%(\�'93�",Zi0�31"L%�38!�2�0�<JAT3�";6a+K<*+,%.Q,"L%e\e2�%�øI38#&+5:;",V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍPWY=`6G!�"PAi+568+M�i<9";3LZ��Bø æ � æ �S�&V��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"�u�R½��d���S�5v ���S� æs� � æ %("L+5<�u�R½������S�I� ���S� ±S·n· %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ?$VS�XV:A�6�";\�+,%(6LZSA&��� WY áï$vS���P�� ��evP�t380&D&%(2�0�6�'*=�"P6�2M:L+5<9:L0�<*+56�2�%c68!�"FA&2�)K'*=&+,=I6e'R=I@�+I%('¡O+,=,6M380&D�38#&+5:;";3�254à+m%("L+5<�)$+56G%('¡^uZ7�N2�)$#[V­A�:;'oV­�P"L#�6LV] �";:;![V��e"L#[V÷ ��cOP� æ �Z7õa=�'9@[V]254�/+I%(-�<*+,=�A�Z&�e2I<J<9";Q,"U��+,%1øiZ&� 2�@[V æ³· ¸S´�V5�V��e+5'�+,=�AO?$Vn� V#A�6�";\�+,%.6LZSA&����Ws &ï$v����P�n �evà�t380&D&%(2�0�6�'*=�"P6�2�:L+5<9:L0�<*+56�2�%e68!�"FA&2�)MO'R=&+I=,6P'*=I@�+,%('*+,=I6P380&D�38#&+b:;";3�254�+j=�2�=�31-_)$)B";68%('9:j)$+56G%('¡^uZ[�e2�)$#[V A�:;'EV��P"L#�6�V� �";:;![V��e"L#[V ��cO �S· �n´&Z&õa=�'9@[V7254��/+I%(-�<*+,=�A�Z�� �$Z�vP#&%('9< æs·S·S� Z[ðo380&D&)B'J616�";A`6�2$va�N� ��F�­A&ñ;V

±S�

Page 34: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ð[\����ÅI"#a�������]-. ¾ ���+.��s]_3�]-"%.¤[\��3��S]_^��,�����"I,�3�]-.��!.���$&�I¿U[k¤­[�tWô _Ç+È%É%Ê'Ë~Ì�ÍW?$VÆ� V#A�6�";\�+,%.6LZ&õa=�'9@,"L%(31'J6(-`254��/+I%(-�<*+,=�AÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍG�c%(2�D&+,D�'9<9'96(-`68!�";2�%(-`+,=�A?'96�3F+,#&#�<9'J:L+b6�'92�=�3ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK�e2�=�3�'9A&"L%�+�%�+,=�A&2�)S\�+5<*ø�2�=P+I=Kð�¯BT æ ño6�ð�¯BT æ ñ�68%.'R+I=�Q�0�<*+,%[Q�%('9A�Z5'9<9<*0�3�68%�+561";A

D&";<925\S4E2�%M¯õø¶�&V� �� � �� � � �± � � � �� � � � � �æ � � � � � �� � � � � � � �Q���N�� æ¦� ± � � �

�!�"k#�2,'*=,6�3c254i68!�"cQ�%('9A$+,%("e<*+,D&";<9";A?ð�Q - N(ñ - ðZN�ø¶� - 4y4$4 - ¯ - QWø¶� - 4y4$4 - ¯óXJNlñ 4 �[%(2�)t68!�"k#�2,'*=,6ð�Q - Nlñ;Z&+�68%�+,=�31'J61'J2�=Ç)�+L-`6G+,ø5"�#�<*+5:;"$6�2C2�=�"M254768!�"M4E2�0&%a+5A�Î�+5:;"L=I6à#�2,'*=,613$ð�QWT æ - Nlñ - ð�Q - N#Tæ ñ - ðÞQWX æ - Nlñ - ð�Q - N�X æ ñ;Vc �!�"H#&%(2�D&+,D�'9<J'96(-?2b4%Î.0&)$#�'*=�QC6�2$";'968!�"L%F254�68!�"K=�2�A&";3Kð�Q�X æ - Nlñp2�%ð�Q - N�X æ ñc'93 á ~ð�Q - Nlñ%ø Q¼T�N¯ ð-�,ñ\�'968!`68!�"K#&%(2�D&+,D�'9<9'96(-ÇD&";'*=�Q`38#�<9'96P" » 0&+5<9<J-]D�";6l\e";"L=�68!�"�6(\e2j=�2�A&";3a\a!�"L=mD�2,68!?=�2�A&";3P+,%("2�=$6G!�"aQ�%.'JA�Vc �!�"�#&%(2�D&+,D�'9<9'96(-j254�Î.0&)$#�'*=�Q$612H";'968!�"L%N254n68!�"P=�2�A&";3Mð�QiT æ - Nlñ�2�%�ð�Q - N�T æ ñp'J3á � ð�Q - Nlñ�ø æ X á ~ið�Q - N(ñ 4 ð-�,ñ

\�'968!C68!�"�#&%(2�D&+ID�'J<9'96(-Ç+5Q�+5'*=`D&";'*=�Q`38#�<9'96a\a!�"L=TD&2,6G!`=�2�A&";3P+,%("P2�=C6G!�"PQ�%('9A�VW¯4�68!�"H𥯠T æ ñÍð�¯)T � ñ@� � =�2�A&";3Hð�Q - N(ñ�+,%("�=�0&)KD&"L%(";A æ - � - 4$4y4 - ð¥¯)T æ ñ;ð�¯�T � ñ?� � 'R=C312�)K"4 +53G!�'J2�=[Zi68!�"L=T68!�"K%�+,=�A&2�)ë\�+5<*ø`:L+,=TD&"K"G^i#&%(";3�3�";A]+53P+K��=�'96�"��/+I%�ø525@j:;!&+5'*=T\�'968!`6G%�+,=IO3�'96�'92�=m)$+568%('¡^­FX254e2�%(A&"L%kHçø�ð�¯¤T æ ñ;ð�¯�T � ñ@� � :;2�=�3�'93�6�'*=�QT254k68!�"$#&%(2�D&+,D�'9<J'96�'9";3UM ó õ 254Î.0&)$#�'*=�QT4Y%(2�) =�2�A&" ð 612Ç=�2�A&"²Vdð�F '93$+5:;680&+b<J<9-]6G!�"$68%�+,=�3G#&2,3�"�254�68!�"q0�3G0&+5<768%1+,=�3�'96�'92�=)$+568%('¡^7�3�";"ðüµ�";<9<J"L%PýEñ;V�]"q+I%("q#&%.'R)�+,%('9<9-d'R=I6�"L%(";316�";Ad'*=÷68!�"`3�6�"L+5A&->3�68+56�"C#&%(2�D&+,D�'9<9'96�'9";3`254a68!�"C:h!&+b'R=[Zc\a!�'9:;!÷'J32�%(A&'*=&+,%('9<9-j6G!�"�+,#&#&%(2�#&%('*+561";<J-C3�:L+5<9";A`";'9Q,"L=I@,";:;6�2�%c:;2�%1%(";38#&2�=�A&'R=�Q�6�2K68!�"a";'9Q,"L=I@�+b<R0�"$0&=�'96(-,V �!�"P4o2,<9<92�\ 'R=�Q`#�<92,6F38!�25\�3�68!�"M38#&+,%(3�'96(-?#&+56�61"L%�=C254�68!�"H%(";3G0�<J61";A/%1+,=�A&2�) \�+5<*ø`)$+56G%('¡^q2542�%(A&"L% æ³± �jð 'EV ",V:¯\ø æ �,ñ;V

±S±

Page 35: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

0 20 40 60 80 100 120

0

20

40

60

80

100

120

nz = 480

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�ÍM �2K:L+5<9:L0�<*+56�"M68!�"¹Ns68!�";<J"L)B"L=,6�2b4n68!�"F@,";:;6�2�%LFu÷C2�=�"�=�";";A`2�=�<9-q%.";Q�+,%(AC68!�"F:;2�)MO#&2�=�"L=I6�3�2b4��C+53M68!�"j+�@,"L%�+5QI"B=�0&)KD&"L%�254�'R=�A&'9@�'9Ai0&+5<93q+56M68!�"j=�2�A&";3�254�68!�"�Q�%('9A�+,=�Ad0�3�"68!�"à#&%.2�D&+,D�'9<9'J61'J";3Kð-�,ñc+,=�Amð-�,ñ�612H:L+b<J:L0�<*+561"�!�2�\S)$+,=I-$'*=�A&'9@�'9Ai0&+5<93P\�'9<9<�D&"�+56e=�2�A&"WN7+�4o6�"L%68!�"�=�"G^_6 68%�+,=�3�'96�'92�=[V���P�� ��evP� :L+5<9<9'R=�Q`31" » 0�"L=�:;"�4E2�%k4E2�%1)K'*=�Qj)$+568%.'�^�OY@,";:;6�2�%k#&%.2�Ai0�:;6 � ø0F@j 'J3ϵÐuÑ�Ò�ÓoÐ ÆÔoÕ�Ö£ò�×�ò Ò�Ø�� ½ Õ Å ò Å�٪ŠÂ2Ú ÙªÅ�۲ŠÂ�Ú Û ¿\�'968!Õ ðo'*=&#&0�68ñ�WY�F @½�?R½7�

�!�"�2�%.A&"L%F254768!�"$)$+568%.'�^ FMV®Õ?!&+53P6�2jD�"$" » 0&+5<n612Çð�¯�T æ ñÍð�¯�T � ñ?� � 4o2�%3�2�)K"P'*=I6�";Q,"L%M¯ Ü �&V

ò ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�:;2,<*0&)$=�3a2b4 Ù VÙ ðo'*=&#&0�68ñL���PõF�köI½��c�@½7� W-A&WY�P� +,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Â�Ú Ù²Å òqñ:;2�=,6G+5'*=�3�68!�"P@,";:;6�2�%LjdVÂ�Ú Ù ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Ù Z�Â�Ú Ù^Ü )�+�^uð æ Z�Õqñ;VÛ ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ðªÂ2Ú Û²Å ò?ñ:;2�=,6G+5'*=�3�68!�"�#&%(2�Ai0�:;6¼FkjdVÂ�Ú Û ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Û Z�Â�Ú Û^Ü )�+�^uð æ Z�Õqñ;V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"�+� æ³± � æ³± � ��¸ · %("L+5<�+�&� · � � · � æ ´S� · %("L+5<�2� � æ � æ � æ � æ � � æs·S· %("L+5<

± �

Page 36: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍ� V��";<J<9"L%;ZevP=÷'*=,6G%(2�Ai0�:;61'J2�=d6�2�#&%.2�D&+,D�'9<9'J6(-d68!�";2�%(-U+I=�Ad'J613j+,#&#�<9'9:L+56�'92�=�3LZLþ,2�!&=!�S'9<J";-,Z��";\¶��2�%�øiZ æ³· � æ?$VS�XV:A�6�";\�+,%(6LZSA&��� WY áï$vS���P�� ��evP�t380&D&%(2�0�6�'*=�"P6�2M:L+5<9:L0�<*+56�2�%c68!�"FA&2�)K'*=&+,=I6e'R=I@�+I%('¡O+,=,6M380&D�38#&+5:;";3�254à+m%("L+5<�)$+56G%('¡^uZ7�N2�)$#[V­A�:;'oV­�P"L#�6LV] �";:;![V��e"L#[V÷ ��cOP� æ �Z7õa=�'9@[V]254�/+I%(-�<*+,=�A�Z&�e2I<J<9";Q,"U��+,%1øiZ&� 2�@[V æ³· ¸S´�V�HV�A&+,+5A�Zn�F0&)K"L%('9:L+5<�)K";6G!�2�A&3M4o2�%F<*+,%(Q,"C";'9Q,"L=,@5+5<*0�"?#&%(2�D�<9"L)K3LVTra+5<93�61";A �c%(";3�3LZ��P'9@�VC254þ,2�!&=<�S'9<J";-'��A�2�=�3LZiWs=�:,V*Zi� ";\)��2�%�øiZ æ³·n·S� VW�V�A[V���0ng +,=�AóþiVcvKV�A�:;2,6�6LZe�e2�)�#&0�6�'*=�Q�3�";<9";:;6�";AS";'9Q,"L=I@�+5<*0�";3T254à3G#&+,%(3�"?0&=�3�-&)$)K";6G%('9:)$+568%('9:;";3a0�31'R=�QC380&D�38#&+b:;"�'96�"L%�+561'J2�=[Z&va�e� ��F�­A æ³· � æ³± ¸�O æ � · Z æ³·S·S±5�V��e+5'�+,=�AO?$Vn� V#A�6�";\�+,%.6LZSA&����Ws &ï$v����P�n �evà�t380&D&%(2�0�6�'*=�"P6�2�:L+5<9:L0�<*+56�2�%e68!�"FA&2�)MO'R=&+I=,6P'*=I@�+,%('*+,=I6P380&D�38#&+b:;";3�254�+j=�2�=�31-_)$)B";68%('9:j)$+56G%('¡^uZ[�e2�)$#[V A�:;'EV��P"L#�6�V� �";:;![V��e"L#[V ��cO �S· �n´&Z&õa=�'9@[V7254��/+I%(-�<*+,=�A�Z�� �$Z�vP#&%('9< æs·S·S� ðo380&D&)K'96�61";A`6�2$va�e� ��F�­A&ñ;V

± �

Page 37: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿ ¾ "+*-"%���&[\��3��S]_^��,�����"I,�3�]-.��!.���$&�I¿U[k¤­[ ¾ pJ�Ç+È%É%Ê'Ë~Ì�ÍWA[V4?�2�A&";6(Ol !�2�D�'9",Z��@½c�e�&va�@A`+I=�A?�PVi���";3LZ�vF"L%(2,38#&+b6�'*+5<9",Z&��%�+I=�:;"ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+Í�vF"L%(2�";<*+53�6�'9:;'96(-ÕdÉ�Ö�É%ÊsÌ ÙIÌ�ÖÁÚ4Ð{ÓÛÑnÍ� �!�"a �2,<92,38+F)$+56G%('¡^B+,%('93�";3�'*=K6G!�"k3168+,D�'9<9'J6(-$+,=&+5<9-�3�'93�254u+P)B2�A&";<�254u+I=H+b'R%1#�<R+I=�"

'R=²Di'9Q�!,6�Va �!�"M'R=I6�"L%(";316�'*=�Q?)K2�A&";3F254768!�'93F3�-�3�6�"L) +,%("PA&";3�:L%('*D�";A�D,-`:;2�)$#�<9"G^Ç";'9Q,"L=I@�+5<*0�";3\a!�2,3�"e'*)$+5Q,'*=&+,%.-B#&+I%(6�3�<9'9"a'*=$+P#&%(";31:L%('*D&";AC4Y%(" » 0�"L=�:;-$%�+I=�Q,",V� �!�"e68+538ø�'J3c6�2P:;2�)$#&0�61"�68!�"";'JQI"L=,@5+5<*0�";3$\�'968!m<*+,%(QI";3�6�'*)$+5QI'R=&+I%(-]#&+,%(6�3LV` �!�"C#&%(2�D�<9"L) !&+53HD�";"L=�+,=&+b<J-:C;";Ad+56H�@½c�cO�&va�@AKðY�e"L=I68%("�½c0&%(2�#�";"L=PA&"k�N";:h!�"L%(:;!�"e";6nA&"c�i2�%1)$+56�'92�= va@5+,=�:;";"e"L=���+b<J:L0�<#A�:;'9"L=,61'�� » 0�"Lñ'R=�:;2�2�#&"L%�+561'J2�=C\�'968!`68!�"PvF"L%(2,3G#&+56�'*+5<9"�vF'*%(:L%�+�4o6@�P'9@�'93�'92�= � V �!�"à)�+568%('¡^j'93a+M38#&+,%.3�"¼�®6O�KD�<92�:;øj)�+568%('¡^j254�2�%(A&"L%�HBø · ��T­�nVK4o2�%e+,=�'R=I6�";Q,"L%kV��@øú�&V� !�"L=<HBø · �&Z�"L+5:;!?D�<92�:;øC'93�254�A&'*)K"L=�3�'92�= æ ´�6 æ ´�+,=�A

F&ø äåååååæ� ± � � �j 5 j � j � j��°j��� ± | 5 � �� ± � | � �� ± � � | �

ç èèèèèé\a!�"L%("�| � øHA � ±Z:Ncø æ - � - ± Z,+,=�ABj � +,=�AIA � +,%."PQ,'9@,"L=`Ai+56G+&V�� !�"L=<H � · �&Z

F&ø äåååååæ� ± � � �� 5 � � � � � � � �� ± | 5 � �� ± � | � �� ± � � | �

çbèèèèèé\a!�"L%(" � 5 ø

D j 5 �� A&'*+5Qð-÷ � ñ F - ÷ � ø�X"! �� - N%ø æ - 4y4$4 - ¯¤X æ ´ -� � ø

D j � �� A&'*+5Qð > � ñ F -�> � ø�X � « � ! � - Ncø æ - 4y4y4 - ¯\X æ ´ -� � ø

D j � �� � F - Ncø ± - � - � -

+,=�A

! � ø æ �S�@T!��N - « � ø # 5 N4T$# � - # 5 ø 4h�S·S·H��n�WX æ ´ - # � ø0� 4 �S� æ X # 5 4

�!�"e4o2,<9<J25\�'*=�QM4Y0�Q�0&%(";373G!�2�\�68!�"�";'9Q,"L=I@�+5<*0�"PA&'93�68%.'RD&0�61'J2�=C254n �2,<92,3G+�)$+56G%('9:;";37254�2�%(A&"L%.3 · �+,=�A ± ���&V

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�Í����P�� ��evP� :L+5<9<9'R=�Q`31" » 0�"L=�:;"�4E2�%k4E2�%1)K'*=�Qj)$+568%.'�^�OY@,";:;6�2�%iFkj 2�%LF m jí'93% ¥&ª�Ý�ªG¨o­e§�¨�±¯¦5²�Ý�­G±¯§µ´P´�­GÐk²cª�Ñ&¥&ª1®LÝ�ª1®�¨o²GÔ,º�«Y­�´5Ól²GÔ5±¯¦�²�Ý�ª;Ó(­G±¯§�ª�´$ª1Ñ�½[ÆË�ºL¼�½�¹5Î

± �

Page 38: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

-150

-100

-50

0

50

100

150

-150 -100 -50 0 50 100 150

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

* ****************** ***************** ******************

real part of eigenvalues

imag

inar

y pa

rt o

f ei

genv

alue

s

&

Eigenvalue Distribution of 90 x 90 Tolosa Matrix

-400

-200

0

200

400

-400 -200 0 200 400

******************************************************************************************************************************************************

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

*

**********************************************************

real part of eigenvalues

imag

inar

y pa

rt o

f ei

genv

alue

s

&

Eigenvalue Distribution of 340 x 340 Tolosa Matrix

��'9Q�0&%(" æ ��½�'9Q,"L=I@�+5<*0�"KA&'93�68%('*D&0�6�'92�=T254 · �$DI- · �H+I=�A ± ���KDI- ± ���$ �2,<92,38+K)$+568%.'J:;";3ÏoÐ�Ñ�Ò�ӵРÆ�ÔWÕ�ÖSò�×�ò�ÆuÂ Ï ½ Æ Ò�Ì Õ Ï Å Õ Å ò ÅhٲŠÂ�Ú ÙªÅ(۪ŠÂ2Ú Û ¿\�'968!Æ Ò�Ì Õ Ï ðo'*=&#&0�68ñ�WY�F @½�?R½7�

'�4:Æ Ò�Ì Õ Ï ø��&Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF@jdZ'�4:Æ Ò�Ì Õ Ï ø æ Z&:;2�)$#&0�6�";3�68!�"�#&%.2�Ai0�:;6WF m jUZÕ ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"K2�%(A&"L% 254768!�"$)$+568%.'�^ FMV®ÕÇ!&+53F6�2`D&" · �STW� � � 4E2�%F+C=�";Q�+56�'9@,"K'*=,61";Q,"L%�KV

ò ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�:;2,<*0&)$=�3a2b4 Ù VÙ ðo'*=&#&0�68ñL���PõF�köI½��c�@½7� W-A&WY�P� +,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Â�Ú Ù²Å òqñ:;2�=,6G+5'*=�3�68!�"P@,";:;6�2�%LjdVÂ�Ú Ù ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Ù Z�Â�Ú Ù^Ü )�+�^uð æ Z�Õqñ;VÛ ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ðªÂ2Ú Û²Å ò?ñ:;2�=,6G+5'*=�3�68!�"�#&%(2�Ai0�:;6¼Fkjí2�%@F m jUVÂ�Ú Û ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"P<9"L+5A&'*=�Q`A&'R)B"L=�3�'92�=T254n68!�"K+,%�%�+�- Û Z�Â�Ú Û^Ü )�+�^uð æ Z�Õqñ;V

Wo6F'J3P%(" » 0�'*%(";Am6�2q%."L+5AÇ+KAi+b68+K�i<9"K'*=T68!�"H)$+b'R=T#&%(2,Q�%1+,) 6�2C'*=�'J61'R+b<J'6C;"C68!�"�Ai+b68+K3�68%10�:;680&%("+,=�AÇ#&+5313P'J6P+53P+C:;2�)$)K2�=?D�<92�:;ø`612j68!�"M380&D&%(2�0�61'R=�"��^�F�] �ö%A[V[ �!�"KAi+568+B�i<9"H'93u9 �b���5ô Vè&�,¢�� 9�ü-7T'J3�68!�"j���P�� ��evP� 380&D&%(2�0�61'R=�"C4o2�%M%("L+5A&'*=�Q]68!�"$Ai+b68+��i<J",Vm �!�"�4E2I<J<925\�'*=�Q]'93$+38!�2�%(6eA&";2�)K2�=�3�68%�+561'J2�=`#&%(2,Q�%�+I) '*=����P�� ��evP��V

ü ' Ò�Ó û Ò�Ì ò Æ�Ö Ï ÆÔWÕ�Æ�Öuû2Ö Ò Õ Å Ô Å Â2Ú Ù²Å Â2Ú Û' Ì�Ò�Ì ò�Ö�Æ�Ö Ò ½ Â2Ú Ù ¹ (�)�) Å Â2Ú Û ¹­Â�Ú Ù ¿Ú ÓµÐ�Ñ Â2Ö ' Ò ÖuúsÔ Ï Ô Ó Õ Ù:½ Â�Ú Ù ¿ Å(Ûr½ Â2Ú Û ¿± ¸

Page 39: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

Á Ú ÓµÐ�Ñ Â2Ö ' Ò ÖuúsÔ Ï Ô Ó Õ Ó Õ�Ö' Ì�Ò�Ì ò�Ö�Æ�Ö Ò ½ Ó Õ�Ö£¹¼»�ü*)�Ú ¾ ) ¿Á Ú ÓµÐ�Ñ Â2Ö ' Ò ÖuúsÔ Ï Ô Ó Õ Ñ Â � ½ »�+ Å-, ) ¿ú Ó ò�ò Ó Õ Ñ Â � ½ »�+ Å-, ) ¿ÁÁ Ò �,¢��d�i¢I�_è�Ló ç&� 8 �Á Ò Ö Ì Ú ½ Á Å Á�¿yÕÁÁ Ú ¢I�&¢�� ù ���5ôÁ Ô/. ½ ÕkübÂ2Ækü , ) ü Ó�Ò üCò Ó Ú ½ ÕuÇ , ) Å ( ¿nü÷Õ�Öeü*) ¿$Æ�0�Ö�ÕØ�Ò ÔoÆ�Ö ½ Á Å »�»�» ¿û Ó Æ Ó ; )ÖuÂ Ï Ö Ô1. ½ Õkübû2ÆkübÂ�Ú Ù ¿$Æ�0�Ö�ÕØ�Ò ÔoÆ�Ö ½ Á Å »�» ; ¿û Ó Æ Ó ; )Ö�Õ�Ú Ô/.ÁÁ Ò �,¢�� �Í� ��¢,�&¢Á ú Ì Â�Â Ò Ö Ì Ú�Æu ½ Ñ Â � ¿ÁÁ Ï �5��¢5� �;��ú��&�Sþi���5�_��èHÙÁ Ú Ó »�) Ô¸¹¬» Å ÕÙ:½ Ô ¿�¹ Ó Õ�Ö»�) ú Ó Õ�ÆÔoÕ Ð ÖÁÁ ú �b��ú��&�i��Û ¹ Ì Á ÙÁ ú Ì Â�£ò�×�ò�Æ�Â Ï ½ ) Å Õ Å » Åh٪ŠÂ2Ú Ù²Åh۲ŠÂ�Ú Û ¿Á; ) ú Ó Õ�ÆÔoÕ Ð ÖÁ »�»�» . Ó2Ò ò Ì Æ ½32 Ö è�è���ècû Õ ���[ç�� 9 �4, ) ¾ ( � 2 ¿»�» ; . Ó2Ò ò Ì Æ ½32 Ö è�è���ècû Õ ���[ç��S�i�I� 9 ���,¢�è ý �bè�� ù ¢b� Â�Ú Ì 2 ¿Á Ï Æ Ó 'Ö�Õ�Ú

± ´

Page 40: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&" ��Pö%A · � · � æ ¸���� %("L+5< ��Pö%A ± ��� ± ��� ��æ³· � %("L+5< ��PöIA æ � · � æ � · � ± ����� %("L+5< ��PöIA � �S�S� � �n�S� � æ ´�� %("L+5< ��PöIA:���S�S� ���n�S� ´n¸S´�� %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#Ñ­A[V4?�2�A&";6.Ol �!�2�D�'9",Z4½�'9Q,"L=I@�+b<R0�";3F254�<*+,%(Q,"P!�'9Q�!�<9-Ç=�2�=&=�2�%1)$+5<�)�+568%('9:;";3LZ4�c![Vÿ�$V�68!�"GO3�'93LZS��+,%('93�W65ó��+I0&#&!�'R=�"Fõa=�'9@,"L%(31'J6(-,Zn�P";:,V æs·S·S� V��@½c�e�&va�@AM68!�";31'J37%."L#&2�%(6� �rulS�v¼l ·S± lS�S��V��Vk��!&+b6�";<9'R= +,=�A¶A[V@?P2�A&";6(Ol �!�2�D�'J",Z A�68+,D�'9<9'J6(-�+,=&+5<9-�3�'93?'*=�+5"L%.2�=&+,0�6�'9:L+5<P'*=�Ai0�3�68%.'J";3�ZP'*=�7%(2�:;";";A&'*=�Q,3j2b4à68!�" � =�A�A�-&)$#&2,31'R0&) 2�=�r�'9Q�!IOP��"L%s4o2�%�)�+,=�:;"?�e2�)$#&0�61'R=�QZe�Ç2�=,68#�";<9<J'9"L%;Z��%�+,=�:;",ZI�dVS��0&%�+,=�A`+,=�AC��V�½p<4��+,D&+5Q�!�'&";A&3LZ#½�<93�";@�'J"L%1l,��2�%(68!IOlr 2,<9<R+I=�A�Z�#&#[Vÿ� æ ��O-� �S� Z æ³·S·&ævHV���0&!�",Z���+56�'92�=&+b<��P%(-�<925@[Zn+`#&%�+5:;61'J:L+b<7+5<9Q,2�%('968!&)ë4o2�%F<*+,%(Q,"K38#&+I%(3�"j=�2�=�31-_)$)B";68%('9:$)$+�O68%('¡^Ç#&"L=�:;'9<93LV$�e2�)�#&0�6�"L%¹A�:;'9"L=�:;"U�P'9@�'93�'92�=]õF���Ll,�@A:�FO · ��OP´n¸ æ ZiõF=�'9@,"L%(3�'96(-?254���+5<9'¡4E2�%�=�'*+&Z�7"L%1ø5";<9";-,Z��evKZ�và#&%.'J< æ³·S· �&V5�Va�e+5'oZ��$V@��+�- +I=�A º Vu��",ZKvP�köI½��P+,=X+5Ai+,#�61'J@I"UD�<92�:hø ö�+,=�:ÁC;2,3÷)K";68!�2�A�4o2�%m=�2�=IOr�"L%�)B'J61'R+I=C";'JQI"L=,@5+5<*0�"H#&%(2�D�<9"L)K3�Zi�e";3�"L+,%.:h!C�e"L#&2�%(6 · ��OP�~�iZS�P"L#&+,%.68)K"L=I67254n�]+56G!�"L)$+56�'9:;3LZõa=�'9@,"L%(31'J6(-C254��F"L=,680�:;øI-,Zi�]+�- æ³·S· �

±S·

Page 41: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

�����C�e���K�q�¦¥

� ze�i��������� �G�¦�M��îM�����à�[�G�����M����� zN�

e'96�<9" A&0&D&%.2�0�6�'*=�"H�F+,)K";3

��+,=�A&2�)\A&#&+I%(3�"��]+56G%('¡^ �mv7 ��Nvà��Ç2�A&";<�";<9<9'*#�6�'9:ð��+,%(6�'*+5<+�P'hg�"L%("L=I6�'*+5<c½ » 0&+56�'92�= �mv7 @�d�R½

���

Page 42: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿�tÃ�+.�(�"%$ �����������ç[ �43��S]_^��,�����"I,�3�]-.��!.���$&�I¿U[k¤­[�tàÄÇ+È%É%Ê'Ë~Ì�ÍP+,0�68!�2�%(3ÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍH=�0&)K"L%('9:L+5<�<9'*=�"L+,%a+b<JQI"LD&%�+ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK��+,=�A&2�) )�+568%('9:;";3�+,%("K+5<9\�+L-�3F68!�"M4 +�@,2�%.'J61"�6�";3�6P)$+56G%('9:;";3P'R=m+,=m+5<9Q,2�%('968!&)

6�";3�6�380�'96LV��]"�#&%(25@�'9A&"�+F380&D&%(2�0�61'R=�"e\a!�'9:;!KQ,"L=�"L%�+b6�";3�+P%1+,=�A&2�)t38#&+,%(3�"�)$+b68%('¡^uV�õ�31"L%(3�:L+,=38#&";:;'¡4o-Ç6G!�"H)$+56G%('¡^Ç3�'6C;",Z�6G!�"H=�0&)HD�"L%F254N=�2�=:C;"L%(2`"L=,6G%('9";3P'R=T"L+5:;!T:;2,<*0&)$=[V� �!�"$%�+I=�A&2�)=�0&)KD&"L%.3a+,%("F4Y%(2�) 6G!�"�0&=�'�4o2�%�)ëA&'93�68%('*D&0�6�'92�=T2�=>ð¯O æ Z æ ñ;Vn �!�"MQ,"L=�"L%�+561";A?)$+568%('¡^?'93�3�612�%(";A'R=/:;2�)$#&%(";3�31";A]:;2,<*0&)$=/4E2�%1)$+56LVKõ�61'J<9'96(-]%(2�0�6�'*=�" ��çLú��&þi� ü-7T:L+,=]D�"j0�3�";Am4o2�%F:;2�)$#&0�61'R=�Q68!�"�)$+568%.'�^�OY@,";:;6�2�%k#&%.2�Ai0�:;6�3WFu÷?+,=�ABF m ÷�V �!�"e4o2,<9<J25\�'*=�QM�iQ�0&%(" 38!�25\�3k+,=B"G^�+,)�#�<J"F254�68!�"�3G#&+,%(3�'96(-$#&+56�6�"L%�=B254n+�%�+,=�A&2�) æ �S��DI- æ �S�)$+568%('¡^j\ 'J6G! æ �$=�2�=:C;"L%(2$"L=I68%('9";3a'*=�"L+5:h!C:;2I<R0&)�=[V

0 20 40 60 80 100

0

20

40

60

80

100

nz = 1000

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�Í����P�� ��evP�X:L+5<9<9'*=�Qm3�" » 0�"L=�:;";3�4E2�%�Q,"L=�"L%1+56�'*=�Q?+j%1+,=�A&2�)ë38#&+,%(3�"$)$+b68%('9:;";3P\�'968!� 5��t=�2�=:C;"L%(2$";<9"L)K"L=I6�3P#&"L% :;2,<*0&)$=`'93ÏoÐ�Ñ�Ò�ӵРÆ�ÔWÕ�ÖSò Ì Æ Ò�Ì Õ ½ Õ Å Õ87 Ò Å Ô Ï Ö�Ö�Ú Å Ì Å ú Ó Â ' Ò Æ Å Ò�Ó�Ø ÔoÕ�Ú¬¿\�'968!Õ ðo'*=&#&0�68ñ�WY�F @½�?R½7�

�!�"P2�%(A&"L%e2b4�68!�"�)�+568%('¡^BF�VÕ87 Ò ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�=�2�=:C;"L%(2C"L=,68%.'J";3F#&"L% :;2,<*0&)$=[VÔ Ï Ö�Ö�Ú ðo'*=&#&0�6fl52�0�68#&0�6Gñ7WY�F @½�?R½7�S+,%1%�+�-,Z,A&'*)K"L=�3�'92ið��$ñp2�=$"L=I68%(-,ZI68!�"F3�";";Aj2b4n68!�"%�+,=�A&2�) =�0&)KD&"L%PQI"L=�"L%�+56�2�%�[68!�"j+,%�%1+L-`";<9"L)K"L=I6�3K)H0�316�D&"`D&";6(\e";"L=­�`+,=�A��� · �&Z�+,=�AÇW�A#½�½d�$ð_��ñe)K0�3�6aD&"M2�A&A�Vc�P=`"G^&'J6�Z&68!�"P3�";";AT'J3P0&#&Ai+b6�";A�VÌ ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ð:Õ�ÁWÕ97 Ò ñ68!�"�=�0&)B"L%('9:L+5<�@�+b<R0�";3P2b4n68!�"�QI"L=�"L%�+56�";A?)$+b68%('¡^uVú Ó Â ' Æ Ò ðo2�0�68#&0�68ñeWs�a @½�?R½c��+,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Õ ¾ »Mñ68!�"P:;2,<*0&)$=`3168+,%(6�#&2I'R=I6�"L%(3�V

� æ

Page 43: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

ÒuÓ2Ø ÔoÕ�Ú ðo2�0�68#&0�68ñeWs�a @½�?R½c��+,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Õ�ÁWÕ97 Ò ñ �!�"�%(25\S'R=�A&'9:;";3LV

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍö[v¼�va�k�X%�+,=�A&2�)�=�0&)KD&"L%eQI"L=�"L%�+56�2�%���ö[vP�evP� '93a0�3�";A?612HQI"L=�"L%�+56�"�%�+I=�A&2�) =�0&)KD&"L%.3LV

� �

Page 44: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

¾ ]_3'*-�I¿�] �4�n3']-��*�(�]��¹�Æ���4.I3�]-�4*W�9�,���3']-"I.��,�����"I,�3�]-.��!.���$&�I¿U[k¤­[�]Uò��Ç+È%É%Ê'Ë~Ì�ÍPrMV4½�<*)$+,=[Zõa=�'9@,"L%(31'J6(-`254��]+,%(-�<*+,=�AÏOÐ{ѳËSÐ{ÒcÓ{ÐZÔ�Ì+ÍH#&+I%(6�'*+5<�A&'hg�"L%("L=I6�'*+5<�" » 0&+56�'92�=ÕdÉ2ÊsÖ�×+ÌØÊUÙIÌ:ÖÁÚ4ÐÛÓ{ÑSÍK �!�'93K6�";3�6�)$+56G%('¡^/'93M2�D�68+5'*=�";A>4 %(2�) 68!�"K��=�'96�"CA&'Üg�"L%("L=�:;"CA&'93�:L%(";6�'6CL+561'J2�=]254

68!�"F4E2I<J<925\�'*=�QC6l\e25OYA&'*)K"L=�31'J2�=&+5<n#&+,%(61'R+b<�A&'hgu"L%."L=,6�'*+5<�2�#&"L%�+b6�2�%

: � ø X !! ÷ & � J <"C !��! ÷ ) X !! > & � <"C !��! > ) T3Akð-÷WT > ñ !��! ÷ T�A !! ÷ ð1ð-÷RT > ñ � ñIT�7ð-÷WT > ñ !��! > T/� !! > ð�ð-÷WT > ñ � ñ+T ææ T!÷ T > �

2�=C68!�"H0&=�'96F3 » 0&+,%("$ð-� - æ ñ²6]ð-� - æ ñc\�'968!<�P'*%('9:h!�<9";6�D&2�0&=�Ai+,%(-`:;2�=�A&'96�'92�=�3LZ[\F!�"L%("KA - � � W �+,%("H#&+I%�+,)K";6�"L%.3à0�3�";Am6�2`:;2�=,68%.2,<�68!�"KA&";Q�%(";"K254�=�2�=�2�%�)�+5<9'J6(-`254e68!�"$)$+568%.'J:;";3FQ,"L=�"L%�+b6�";A�V�]"PA&'93�:L%(";6�'6C;"�6G!�"P2�#&"L%�+b6�2�%e0�3�'*=�Qj:;"L=I68%�+b<�A&'hg�"L%("L=�:;";3F2�=`+,=I¯Þ6�¯ Q�%('9A?\�'968!`)K";3G!C3�'6C;"�¶ø æ �&ð�¯õT æ ñ;VS �!�'93C<J"L+bA&3`6�2�+÷=�2�=�3�-&)$)K";68%('9:m)$+568%('¡^óF 254P2�%(A&"L%¬H ø ¯ � V�Wo6�'J3380�Q,Q,";3�61";A�6�2÷0�3�"`@�+5<*0�";3C254®A +,=�A�� D�";6(\k";"L=!�m+,=�A � �S�&V÷ �!�"`2�D:Î(";:;6K'93j6�2m";3�61'R)�+56�"68!�2,3�"K";'9Q,"L=I@�+5<*0�";3K\�'968!m68!�"�<R+I%(Q,";3�6�%("L+b<7#&+,%(6�3�+,=�Am6�2`A&";61"L%�)K'*=�"j\F!�";68!�"L%P2�%P=�2I6P68!�"L%("+,%("P3�'9Q�=�'¡�i:L+,=I6aQ�+,#�3e'R=�68!�"�3G#&";:;68%�0&)�V �!�"K4o2,<9<J25\�'*=�QT�iQ�0&%("�38!�25\�3P68!�"C";'JQI"L=,@5+5<*0�"`A&'J3168%('*D&0�6�'92�=/4E2�%�2�%(A&"L%(3 �S� �mð�¯�ø æ �,ñP+,=�A���S�Cð�¯\ø � �,ñc254�68!�"�)$+b68%('¡^q\ 'J6G!IAµø � �K+,=�A��²ø0�&V

0 1 2 3 4 5 6 7 8 9-4

-3

-2

-1

0

1

2

3

4

real part of eigenvalues

imag

inar

y pa

rt o

f eig

enva

lues

Eigenvalue Distribution of 225 x 225 Model PDE Matrix

0 1 2 3 4 5 6 7 8 9-3

-2

-1

0

1

2

3

real part of eigenvalues

imag

inar

y pa

rt o

f eig

enva

lues

Eigenvalue Distribution of 400 x 400 Model PDE Matrix

Ç�É���ÊsÈ%É+Ö³Ð_Ô+Ì�Í����P�� ��evP� :L+5<9<J'*=�Qm3�" » 0�"L=�:;";3P4o2�%FQ,"L=�"L%�+b6�'*=�QÇ+C)$+568%('¡^­F ð \a!�'9:h!m'93P3�612�%(";Am'*=:;2�)$#&%(";3�31";A?%(25\£4o2�%�)�+568ñc'93ÏoÐ�Ñ�Ò�ӵРÆ�ÔWÕ�ÖSò Ì Æ Ò�Ì Õ ½ Õ Å Õ87 Ò Å Ô Ï Ö�Ö�Ú Å Ì Å ÒuÓ2Ø ' Ò Æ Å ú Ó ÂsÔoÕ�Ú¬¿\�'968!Õ ðo2�0�68#&0�68ñeWs�a @½�?R½c�

�!�"P2�%(A&"L%e2b4�68!�"�)�+568%('¡^BF�V:ÕOø Õ Ù � Õ Û V� ±

Page 45: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

Õ Ù ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�)K";38!?#�2,'*=,613�'*=`68!�";5�Ol+�^&'93Õ Û ðo'*=&#&0�68ñ�WY�F @½�?R½7� �!�"�=�0&)KD�"L%�254�)K";38!?#�2,'*=,613�'*=`68!�" ��Ol+�^&'93Ì ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ð:Õ97jñ68!�"�=�0&)K"L%('9:L+5<K@�+5<*0�";3]2b4B6G!�"]Q,"L=�"L%�+561";A )$+b68%('¡^uZF\a!�"L%."�68!�"d=�0&)HD�"L%`254=�2�=:C;"L%(2$";<9"L)K"L=I6�3®Õ878¹8Õ Ù ÁoÕ Û ¾ ½ Õ Ù ÇY»2¿�ÁoÕ Û Á ;m¾ Õ Ù Á ½ Õ Û ÇT»2¿2Á ; VÒuÓ2Ø ' Æ Ò ðo2�0�68#&0�68ñeWs�a @½�?R½c��+,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Õ ¾ »Mñ68!�"�%(25\S3�68+,%(6�#�2,'*=,6�"L%.3LVú Ó Â�ÔoÕ�Ú ðo2�0�68#&0�68ñeWs�a @½�?R½c��+,%�%�+�-,Z�A&'*)K"L=�3�'92�=÷ð:Õ�ÁWÕ97 Ò ñ �!�"P:;2,<*0&)$=`'*=�A&'9:;";3LVÒ 0 Ï ðo2�0�68#&0�68ñ����PõF�eö%½&�7�@½c��W-A&Ws�P� +,%�%1+L-,ZIA&'*)K"L=�3�'92�=÷ð:Õ`ñ �!�"�%('9Q�!I6a!&+,=�A?31'JA&"M254�68!�"P<9'R=�"L+I%�3�-�3�6�"L) 254�" » 0&+56�'92�=OFu÷<ø£��V

WY=`+5A&A&'96�'92�=[ZsA +I=�AI�/+,%("P31";6a+53�'*=I6�"L%�=&+5<n#&+I%�+,)K";6�"L%.3LZ�\a!�'9:h!T)$+�-jD&"K+5<96�"L%(";A�V �!�"H0�6�'9<9'96(-/%.2�0�6�'*=�" �&ç�ú��&þ&è ü�7j:L+I=ÇD�"$0�3�";AT4E2�% :;2�)$#&0�61'R=�Q`6G!�"B)�+568%('¡^�OY@,";:;6�2�%F#&%(2�Ai0�:;6�3F¹÷T+,=�ABF m ÷�V

Ï<Ú#ÖÁÚ�ÝdÓÞÌØÑnÍ

��'9<J"L=&+I)K"³lS�F";- �P%.A&"L% �a0&)KD�"L%e2547=�2�=:C;"L%(2,3 ��+b68+M6l-&#&"���R½ �S� � �S� � æ �S�S� %("L+5<���R½ · �S� · �S� � ± ´S� %("L+5<���R½ �S· � æ �S· � æ æ ���n´S� %("L+5<

߬Ì�à�ÌØÊsÌ�Ô2Ë�Ì#ÑSÍr�V�½�<*)$+,=[Z�Wo6�"L%1+56�'9@,"e�m";68!�2�A&3�4o2�%�ö�+,%(QI"�A&#&+I%(3�"���2�=�3�-_)�)K";68%('9:@A�-�316�"L)K3�254�ö['*=�"L+,%�½ » 0&+�O6�'92�=�3LV��c!:�X68!�";3�'93LZ#�7+5<9"Kõa=�'9@,"L%(31'J6(-,Z[��";\ ra+�@,"L=[Zi� PZ æ³· ´ � VþiV,��0�<9<*0&) +,=�A$�PV5vKV��S'J<9<92�0�Q�!�DI-,Z�v&�7%�+b:;6�'9:L+5<Ø�c%(2�:;";Ai0&%("e4o2�%n�N2�)$#&0�6�'*=�QG½p'9Q,"L=,@5+5<*0�";37254ö�+,%(Q,"WA&#&+,%(31"à� 2�=�3�-&)$)K";68%.'J:P�]+56G%('9:;";3LZ&WY=`ö�+,%.Q,"¼A�:L+b<J"�½�'9Q,"L=I@�+5<*0�"��7%(2�D�<9"L)`Z:þiV��0�<9<R0&)+,=�A?�PV&vKV#�S'9<J<92�0�Q�!�DI-?";A&3LV�½�<93�";@�'J"L%uA�:;'9"L=�:;"U�70&D[Ve��2�%.68!IOlr�2I<J<*+,=�A�Z æ³· ´S�&V�PV�� V���%("L0&=�A�Zc�dVnrMV�?�0�68ø�=�";:h!I6LZ�+,=�Ad��V��dV��a+b:h!I6�'9Q�+5<oVTvà=÷'*)$#�<9"L)K"L=I68+56�'92�=÷2b4a68!�"<J2�2�øbOl+,!�"L+5A�ö�+,=�:ÁC;2,3$+5<9Q,2�%('968!&) 4E2�%�=�2�=IOlr "L%�)K'96�'*+,=÷)$+568%.'J:;";3�V=<?>A@CB â4ãD<FE1z-ã�æ�ä~è¹é�êØë-ã Zæ �i� æ³± ¸sï æ �S´�Z æ³·S·S± V

�S�

Page 46: ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ  ·½ À6ÃÅÄ À6¼softlib.rice.edu/pub/CRPC-TRs/reports/CRPC-TR96715.pdf³ ´µ-¶¸·e¹»ºk·¼)½X¾»¿:À6Á Á µ Â_·½

�����C�e���K�q�¦¥ �¬«`�w�� �F}­ �����1�(��®°¯X���P���G�����

�bú�èI�,�&� ü-7 ���P�n ��Nvà� 3G0&D&%(2�0�6�'*=�"C4o2�%P\a%.'J61'R=�Q]+T%("L+5<73G#&+,%(3�"j)�+568%('¡^�'*=>68!�"j3168+,=�Ai+,%(A÷ra�38#&+,%.3�"`4o2�%�)$+b6LV�Wo6`'93?+53�3G0&)K";A£68!&+b6j68!�"m)$+568%.'�^£'93`3�612�%(";A£'*=�68!�"m:;2�)$#&%.";3�3�";A:;2,<*0&)$=q4E2�%1)$+56LV

8 ú�èI�,�&� ü-7 :;2�)$#�<9"G^?@,"L%.3�'92�=C254 �5úiè,�I�&� ü�7XV

��è&�,¢��b� ü-7 ���P�n ��Nvà� 380&D&%(2�0�6�'*=�"K4o2�%F%("L+5A&'*=�Q?+`%("L+5<�38#&+,%.3�"H)$+b68%('¡^?\a!�'9:h!/'J3P'*=T3�68+I=�Ai+,%(ArF�£3G#&+,%(3�"F4o2�%�)$+b6LV

8 è&�,¢��b� ü-7 :;2�)$#�<9"G^?@,"L%.3�'92�=C254 ��è��b¢��b� ü�7XV

��è&�,¢�� ù:9Nü � ��380&D&%(2�0�61'R=�"�4E2�%k%."L+5A&'*=�Qj+K%("L+5<[38#&+,%(31"�)$+568%('¡^j\F!�'J:;!`'93�'*=C3�6G+,=�Ai+,%(A`ra��38#&+I%(3�"4o2�%�)$+56�V

�b�Æ; ù�9�ü � �]+56�<*+,D��TOo�i<9"?4o2�%C\a%.'J61'R=�Q£+÷%("L+5<P3G#&+,%(3�"m)$+568%('¡^S'R= 68!�"m3�68+,=�Ai+,%.A rF��38#&+I%(3�"4o2�%�)$+56�V

8 �Æ; ù�9�ü � :;2�)$#�<9"G^?@,"L%.3�'92�=C254 �5�4; ù:9�ü � V

��çLú��_þ� ü-7 ���P�n ��Nvà� 380&D&%.2�0�6�'*=�"M4E2�%N:;2�)$#&0�6�'*=�QC68!�"H)$+b68%('¡^�OY@I";:;6�2�%e#&%(2�Ai0�:;6¼Fu÷T2�%@F m ÷�Z'96�'93à+b3�380&)K";A`68!&+b6¹F�'93F3�6�2�%.";A`'R=�:;2�)$#&%(";313�";A`:;2,<*0&)$=C4o2�%�)�+56LV

8 çLú��_þ� ü-7 :;2�)$#�<9"G^?@,"L%.3�'92�=C254 �&ç�ú��&þ� ü�7�V

��çLú��_þ&è ü-7 ���P�n ��Nvà� 380&D&%.2�0�6�'*=�"M4E2�%N:;2�)$#&0�6�'*=�QC68!�"H)$+b68%('¡^�OY@I";:;6�2�%e#&%(2�Ai0�:;6¼Fu÷T2�%@F m ÷�Z'96�'93à+b3�380&)K";A`68!&+b6¹F�'93F3�6�2�%.";A`'R=�:;2�)$#&%(";313�";A?%(25\�4E2�%1)$+56LV

8 çLú��_þ&è ü-7 :;2�)$#�<9"G^?@,"L%.3�'92�=C254 �&ç�ú��&þ&è ü�7�V

�&þ,�4; ù:9�ü-7 ���P�n ��Nvà� #&%.2,Q�%�+,) 6�2d'9<9<*0�3�68%�+561"�68!&+b6`'�4$2�=�"÷!&+53?+£)$+b68%('¡^�OY@I";:;6�2�%`#&%(2�Ai0�:;6380&D&%(2�0�6�'*=�",Z�!�25\S6�2$\a%.'J61"P'J6F'*=`68!�"P3168+,=�Ai+,%(A?rF��38#&+,%(31"�)$+568%('¡^C4E2�%�)$+56LV

WY=T+5A&A&'96�'92�=[Z��i<J"�ù�9 ;b��¢I�i�,¢ 9 �Í� 7 � #&%(25@�'9A&";3F'*=I4E2�%1)$+56�'92�=`!�25\�6�2�Q,";6e3�254o6l\�+,%."�4Y%(2�) �]+568!:�]2�%�ø6�2j%."L+5A?+$rF�£3G#&+,%(3�"�)$+b68%('¡^j4o2�%�)�+56e'R=I6�2$�]+561<R+ID[V

���